Semialgebraic Proofs and Efficient Algorithm Design Image close
Semialgebraic Proofs and Efficient Algorithm Design by Noah Fleming
Semialgebraic Proofs and Efficient Algorithm Design by Noah Fleming
Show Hide Adult Content
Semialgebraic Proofs and Efficient Algorithm Design close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science

Semialgebraic Proofs and Efficient Algorithm Design

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$214.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $53.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Foundations and Trends(R) in Theoretical Computer Science

See all products in this series

Communication Complexity (for Algorithm Designers) by Tim Roughgarden
$212.99
Communication Complexity (for Algorithm Designers)
by Tim Roughgarden ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Data Structures for External Memory by Jeffrey Scott Vitter
$212.99
Algorithms and Data Structures for External Memory
by Jeffrey Scott Vitter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Higher-order Fourier Analysis and Applications by Hamed Hatami
$212.99
Higher-order Fourier Analysis and Applications
by Hamed Hatami ~ Paperback / softback
Available - Usually ships in 3-4 weeks
On Doubly-Efficient Interactive Proof Systems by Oded Goldreich
$162.99
On Doubly-Efficient Interactive Proof Systems
by Oded Goldreich ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Complexity Lower Bounds using Linear Algebra by Satya Lokam
$212.99
Complexity Lower Bounds using Linear Algebra
by Satya Lokam ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Survey of Lower Bounds for Satisfiability and Related Problems by Dieter Melkebeek
$173.99
A Survey of Lower Bounds for Satisfiability and Related Problems
by Dieter Melkebeek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Bayesian Mechanism Design by Jason D. Hartline
$193.99
Bayesian Mechanism Design
by Jason D. Hartline ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Data Streams by S. Muthukrishnan
$131.99
Data Streams
by S. Muthukrishnan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Faster Algorithms via Approximation Theory by Sushant Sachdeva
$162.99
Faster Algorithms via Approximation Theory
by Sushant Sachdeva ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Valued Reasoning about Reactive Systems by Orna Kupferman
$175.99
Multi-Valued Reasoning about Reactive Systems
by Orna Kupferman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Proof Systems by Oded Goldreich
$162.99
Probabilistic Proof Systems
by Oded Goldreich ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Decade of Lattice Cryptography by Chris Peikert
$212.99
A Decade of Lattice Cryptography
by Chris Peikert ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Incidence Theorems and Their Applications by Zeev Dvir
$204.99
Incidence Theorems and Their Applications
by Zeev Dvir ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lx = b by Nisheeth K. Vishnoi
$212.99
Lx = b
by Nisheeth K. Vishnoi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Results in List Decoding by Venkatesan Guruswami
$162.99
Algorithmic Results in List Decoding
by Venkatesan Guruswami ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Sketching as a Tool for Numerical Linear Algebra by David P. Woodruff
$212.99
Sketching as a Tool for Numerical Linear Algebra
by David P. Woodruff ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

In the last two decades a link has been established that, in some cases, proof that a solution exists has enabled an algorithm to find that solution itself. This has had most effect on semialgebraic proof systems and linear and semidefinite programming.This monograph 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. It provides the readers with a rigorous treatment of these systems both as proof systems, and as a general family of optimization algorithms. The emphasis is on illustrating the main ideas by presenting a small fraction of representative results with detailed intuition and commentary. The monograph is self-contained and includes a review of the necessary mathematical background including basic theory of linear and semidefinite programming. Semialgebraic Proofs and Efficient Algorithm Design provides the advanced reader with a deep insight into the exciting line of research. It will inspire readers in deploying the techniques in their own further research.
Release date Australia
December 10th, 2019
Pages
234
Audience
  • Professional & Vocational
ISBN-13
9781680836363
Product ID
32457119

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science