Tell your friends about this item:
Semialgebraic Proofs and Efficient Algorithm Design - Foundations and Trends (R) in Theoretical Computer Science Noah Fleming
Semialgebraic Proofs and Efficient Algorithm Design - Foundations and Trends (R) in Theoretical Computer Science
Noah Fleming
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 | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 10, 2019 |
| ISBN13 | 9781680836363 |
| Publishers | now publishers Inc |
| Pages | 234 |
| Dimensions | 156 × 234 × 13 mm · 335 g |
| Language | English |
