Arad, Itai ;
Bouland, Adam ;
Grier, Daniel ;
Santha, Miklos ;
Sundaram, Aarthi ;
Zhang, Shengyu
On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems
Abstract
What is the minimum amount of information and time needed to solve 2SAT? When the instance is known, it can be solved in polynomial time, but is this also possible without knowing the instance? Bei, Chen and Zhang (STOC'13) considered a model where the input is accessed by proposing possible assignments to a special oracle. This oracle, on encountering some constraint unsatisfied by the proposal, returns only the constraint index. It turns out that, in this model, even 1SAT cannot be solved in polynomial time unless P=NP. Hence, we consider a model in which the input is accessed by proposing probability distributions over assignments to the variables. The oracle then returns the index of the constraint that is most likely to be violated by this distribution. We show that the information obtained this way is sufficient to solve 1SAT in polynomial time, even when the clauses can be repeated. For 2SAT, as long as there are no repeated clauses, in polynomial time we can even learn an equivalent formula for the hidden instance and hence also solve it. Furthermore, we extend these results to the quantum regime. We show that in this setting 1QSAT can be solved in polynomial time up to constant precision, and 2QSAT can be learnt in polynomial time up to inverse polynomial precision.
BibTeX  Entry
@InProceedings{arad_et_al:LIPIcs:2016:6428,
author = {Itai Arad and Adam Bouland and Daniel Grier and Miklos Santha and Aarthi Sundaram and Shengyu Zhang},
title = {{On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems}},
booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
pages = {12:112:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959770163},
ISSN = {18688969},
year = {2016},
volume = {58},
editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6428},
URN = {urn:nbn:de:0030drops64284},
doi = {http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.12},
annote = {Keywords: computational complexity, satisfiability problems, trial and error, quantum computing, learning theory}
}
2016
Keywords: 

computational complexity, satisfiability problems, trial and error, quantum computing, learning theory 
Seminar: 

41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)

Issue date: 

2016 
Date of publication: 

2016 