Semialgebraic Proofs and Efficient Algorithm Design - Foundations and Trends (R) in Theoretical Computer Science - Noah Fleming - Bøker - now publishers Inc - 9781680836363 - 10. desember 2019
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Semialgebraic Proofs and Efficient Algorithm Design - Foundations and Trends (R) in Theoretical Computer Science


Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller

Details the interplay between proof systems and efficient algorithm design and surveys the state-of-the-art for two of the most important semi-algebraic proof systems: Sherali-Adams and Sum-of-Squares. The book provides the readers with a rigorous treatment of these systems both as proof systems, and as a general family of optimization algorithms.


234 pages

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 10. desember 2019
ISBN13 9781680836363
Utgivere now publishers Inc
Antall sider 234
Mål 156 × 234 × 13 mm   ·   335 g
Språk Engelsk  

Mere med samme udgiver