This book discusses two questions in Complexity Theory: the
Monotonicity Testing problem and the 2-to-2 Games
Conjecture.Monotonicity testing is a problem from the field of
property testing, first considered by Goldreich et al. in 2000. The
input of the algorithm is a function, and the goal is to design a
tester that makes as few queries to the function as possible,
accepts monotone functions and rejects far-from monotone functions
with a probability close to 1. The first result of this book is an
essentially optimal algorithm for this problem. The analysis of the
algorithm heavily relies on a novel, directed, and robust analogue
of a Boolean isoperimetric inequality of Talagrand from 1993. The
probabilistically checkable proofs (PCP) theorem is one of the
cornerstones of modern theoretical computer science. One area in
which PCPs are essential is the area of hardness of approximation.
Therein, the goal is to prove that some optimization problems are
hard to solve, even approximately. Many hardness of approximation
results were proved using the PCP theorem; however, for some
problems optimal results were not obtained. This book touches on
some of these problems, and in particular the 2-to-2 games problem
and the vertex cover problem. The second result of this book is a
proof of the 2-to-2 games conjecture (with imperfect completeness),
which implies new hardness of approximation results for problems
such as vertex cover and independent set. It also serves as strong
evidence towards the unique games conjecture, a notorious related
open problem in theoretical computer science. At the core of the
proof is a characterization of small sets of vertices in Grassmann
graphs whose edge expansion is bounded away from 1.
General
Imprint: |
Association of Computing Machinery,U.S.
|
Country of origin: |
United States |
Series: |
ACM Books |
Release date: |
December 2022 |
Authors: |
Dor Minzer
|
Dimensions: |
229 x 152 x 12mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
233 |
ISBN-13: |
978-1-4503-9966-1 |
Categories: |
Books
|
LSN: |
1-4503-9966-5 |
Barcode: |
9781450399661 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!