Abstract
We introduce a new model for testing graph properties which we call the rejection sampling model. We show that testing bipartiteness of n-nodes graphs using rejection sampling queries requires complexity Ω(e n2). Via reductions from the rejection sampling model, we give three new lower bounds for tolerant testing of Boolean functions of the form f : {0, 1}n → {0, 1}: ■ Tolerant k-junta testing with non-adaptive queries requires Ω(e k2) queries. ■ Tolerant unateness testing requires Ω(e n) queries. ■ Tolerant unateness testing with non-adaptive queries requires Ω(e n3/2) queries. Given the Õ(k3/2)-query non-adaptive junta tester of Blais [7], we conclude that non-adaptive tolerant junta testing requires more queries than non-tolerant junta testing. In addition, given the Õ(n3/4)-query unateness tester of Chen, Waingarten, and Xie [19] and the Õ(n)-query nonadaptive unateness tester of Baleshzar, Chakrabarty, Pallavoor, Raskhodnikova, and Seshadhri [3], we conclude that tolerant unateness testing requires more queries than non-tolerant unateness testing, in both adaptive and non-adaptive settings. These lower bounds provide the first separation between tolerant and non-tolerant testing for a natural property of Boolean functions.
Original language | English |
---|---|
Title of host publication | 10th Innovations in Theoretical Computer Science, ITCS 2019 |
Editors | Avrim Blum |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
ISBN (Electronic) | 9783959770958 |
DOIs | |
State | Published - 1 Jan 2019 |
Externally published | Yes |
Event | 10th Innovations in Theoretical Computer Science, ITCS 2019 - San Diego, United States Duration: 10 Jan 2019 → 12 Jan 2019 |
Publication series
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 124 |
ISSN (Print) | 1868-8969 |
Conference
Conference | 10th Innovations in Theoretical Computer Science, ITCS 2019 |
---|---|
Country/Territory | United States |
City | San Diego |
Period | 10/01/19 → 12/01/19 |
Bibliographical note
Publisher Copyright:© Amit Levi and Erik Waingarten.
Keywords
- Boolean functions
- Juntas
- Property Testing
- Tolerant Testing
ASJC Scopus subject areas
- Software