On monotonicity testing and boolean isoperimetric-type theorems

Subhash Khot; Dor Minzer; Muli Safra

doi:10.1137/16M1065872

On monotonicity testing and boolean isoperimetric-type theorems

Subhash Khot, Dor Minzer, Muli Safra

School of Computer Sciences

Research output: Contribution to journal › Article › peer-review

Abstract

We show a directed and robust analogue of a boolean isoperimetric-type theorem of Talagrand [Geom. Funct. Anal., 3 (1993), pp. 295-314]. As an application, we give a monotonicity testing algorithm that makes Õ(√n/ε ² ) nonadaptive queries to a function f : {0, 1} ⁿ 7→ {0, 1}, always accepts a monotone function, and rejects a function that is ε-far from being monotone with constant probability.

Original language	English
Pages (from-to)	2238-2276
Number of pages	39
Journal	SIAM Journal on Computing
Volume	47
Issue number	6
DOIs	https://doi.org/10.1137/16M1065872
State	Published - 2018

Keywords

Boolean functions
Boolean isoperimetry
Monotonicity testing
Property testing

Access to Document

10.1137/16M1065872

Cite this

@article{a7ee6953bb4e4c659390bdec4ab6eae0,

title = "On monotonicity testing and boolean isoperimetric-type theorems",

abstract = " We show a directed and robust analogue of a boolean isoperimetric-type theorem of Talagrand [Geom. Funct. Anal., 3 (1993), pp. 295-314]. As an application, we give a monotonicity testing algorithm that makes {\~O}(√n/ε 2 ) nonadaptive queries to a function f : {0, 1} n 7→ {0, 1}, always accepts a monotone function, and rejects a function that is ε-far from being monotone with constant probability. ",

keywords = "Boolean functions, Boolean isoperimetry, Monotonicity testing, Property testing",

author = "Subhash Khot and Dor Minzer and Muli Safra",

note = "Publisher Copyright: {\textcopyright} 2018 Society for Industrial and Applied Mathematics",

year = "2018",

doi = "10.1137/16M1065872",

language = "אנגלית",

volume = "47",

pages = "2238--2276",

journal = "SIAM Journal on Computing",

issn = "0097-5397",

publisher = "Society for Industrial and Applied Mathematics (SIAM)",

number = "6",

}

TY - JOUR

T1 - On monotonicity testing and boolean isoperimetric-type theorems

AU - Khot, Subhash

AU - Minzer, Dor

AU - Safra, Muli

PY - 2018

Y1 - 2018

N2 - We show a directed and robust analogue of a boolean isoperimetric-type theorem of Talagrand [Geom. Funct. Anal., 3 (1993), pp. 295-314]. As an application, we give a monotonicity testing algorithm that makes Õ(√n/ε 2 ) nonadaptive queries to a function f : {0, 1} n 7→ {0, 1}, always accepts a monotone function, and rejects a function that is ε-far from being monotone with constant probability.

AB - We show a directed and robust analogue of a boolean isoperimetric-type theorem of Talagrand [Geom. Funct. Anal., 3 (1993), pp. 295-314]. As an application, we give a monotonicity testing algorithm that makes Õ(√n/ε 2 ) nonadaptive queries to a function f : {0, 1} n 7→ {0, 1}, always accepts a monotone function, and rejects a function that is ε-far from being monotone with constant probability.

KW - Boolean functions

KW - Boolean isoperimetry

KW - Monotonicity testing

KW - Property testing

UR - http://www.scopus.com/inward/record.url?scp=85060043685&partnerID=8YFLogxK

U2 - 10.1137/16M1065872

DO - 10.1137/16M1065872

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85060043685

VL - 47

SP - 2238

EP - 2276

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

SN - 0097-5397

IS - 6

ER -

On monotonicity testing and boolean isoperimetric-type theorems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this