Abstract
A search problem is given by a binary relation B(x,y) in P, such that ∀ x ∃ y,|y| ≤ poly(|x|) B(x,y). The computational task is for given x find such a y. We believe that in general this is not possible in polynomial time and oracles are known for which this is the case.
Many-to-one and Turing reductions between search problems are defined in a natural way. We conjecture that there is no complete search problem.
Our aim is to classify search problems and show relations between the computational complexities of them and the proof complexities of the sentences ∀ x ∃ y,|y| ≤ poly(|x|) B(x,y). A typical example of a class of search problems is the class Polynomial Local Search defined as follows.
A PLS problem is given by a P-time relation R(p,x) and a P-time function F(p,y) such that R(n,n) holds for all n. The search problem is for every p and x≤ p to find a y≤ p such that
A typical result relating proof complexity and computational complexity of search problems is the following theorem of Buss and Krajíček.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pudlák, P. (2006). On Search Problems in Complexity Theory and in Logic (Abstract). In: Calamoneri, T., Finocchi, I., Italiano, G.F. (eds) Algorithms and Complexity. CIAC 2006. Lecture Notes in Computer Science, vol 3998. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11758471_3
Download citation
DOI: https://doi.org/10.1007/11758471_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34375-2
Online ISBN: 978-3-540-34378-3
eBook Packages: Computer ScienceComputer Science (R0)