分享给好友:
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
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2019年12月10日 |
| ISBN13 | 9781680836363 |
| 出版商 | now publishers Inc |
| 页数 | 234 |
| 商品尺寸 | 156 × 234 × 13 mm · 335 g |
| 语言 | 英语 |
