Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 10. decembra 2019 |
| ISBN13 | 9781680836363 |
| Založniki | now publishers Inc |
| Strani | 234 |
| Dimenzije | 156 × 234 × 13 mm · 335 g |
| Jezik | Angleščina |
