Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2019. gada 10. decembris |
| ISBN13 | 9781680836363 |
| Izdevēji | now publishers Inc |
| Lapas | 234 |
| Izmēri | 156 × 234 × 13 mm · 335 g |
| Valoda | Angļu |
