On Monotonicity Testing and the 2-to-2 Games Conjecture

On Monotonicity Testing and the 2-to-2 Games Conjecture
Author :
Publisher : Morgan & Claypool
Total Pages : 233
Release :
ISBN-10 : 9781450399692
ISBN-13 : 145039969X
Rating : 4/5 (92 Downloads)

Book Synopsis On Monotonicity Testing and the 2-to-2 Games Conjecture by : Dor Minzer

Download or read book On Monotonicity Testing and the 2-to-2 Games Conjecture written by Dor Minzer and published by Morgan & Claypool. This book was released on 2022-12-06 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


On Monotonicity Testing and the 2-to-2 Games Conjecture Related Books

On Monotonicity Testing and the 2-to-2 Games Conjecture
Language: en
Pages: 233
Authors: Dor Minzer
Categories: Computers
Type: BOOK - Published: 2022-12-06 - Publisher: Morgan & Claypool

DOWNLOAD EBOOK

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
On Monotonicity Testing and the 2-to-2 Games Conjecture
Language: en
Pages: 0
Authors: Dor Minzer
Categories: Computers
Type: BOOK - Published: 2022-12-06 - Publisher: ACM Books

DOWNLOAD EBOOK

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
Prophets of Computing
Language: en
Pages: 556
Authors: Dick van Lente
Categories: Computers
Type: BOOK - Published: 2022-12-14 - Publisher: Morgan & Claypool

DOWNLOAD EBOOK

When electronic digital computers first appeared after World War II, they appeared as a revolutionary force. Business management, the world of work, administrat
Current Index to Statistics, Applications, Methods and Theory
Language: en
Pages: 878
Authors:
Categories: Mathematical statistics
Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

The Current Index to Statistics (CIS) is a bibliographic index of publications in statistics, probability, and related fields.
Analysis of Boolean Functions
Language: en
Pages: 445
Authors: Ryan O'Donnell
Categories: Computers
Type: BOOK - Published: 2014-06-05 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced to