Abstract
If the class Taut of tautologies of propositional logic has no almost optimal algorithm, then every algorithm \(\mathbb{A}\) deciding Taut has a polynomial time computable sequence witnessing that \(\mathbb{A}\) is not almost optimal. We show that this result extends to every \(\Pi_t^p\)-complete problem with t ≥ 1; however, assuming the Measure Hypothesis, there is a problem which has no almost optimal algorithm but is decided by an algorithm without such a hard sequence. Assuming that a problem Q has an almost optimal algorithm, we analyze whether every algorithm deciding Q, which is not almost optimal algorithm, has a hard sequence.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ben-David, S., Gringauze, A.: On the existence of optimal propositional proof systems and oracle-relativized propositional logic. Electronic Colloquium on Computational Complexity (ECCC), Technical Report TR98-021 (1998)
Beyersdorff, O.: On the correspondence between arithmetic theories and propositional proof systems - a survey. Mathematical Logic Quarterly 55(2), 116–137 (2009)
Chen, Y., Flum, J.: On p-Optimal Proof Systems and Logics for PTIME. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part II. LNCS, vol. 6199, pp. 321–332. Springer, Heidelberg (2010)
Chen, Y., Flum, J.: Listings and logics. In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), pp. 165–174. IEEE Computer Society (2011)
Hitchcock, J.M., Pavan, A.: Hardness hypotheses, derandomization, and circuit complexity. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 336–347. Springer, Heidelberg (2004)
Krajíc̆ek, J.: Bounded arithmetic, propositional logic, and complexity theory. Cambridge University Press (1995)
Krajíc̆ek, J., Pudlák, P.: Propositional proof systems, the consistency of first order theories and the complexity of computations. The Journal of Symbolic Logic 54, 1063–1088 (1989)
Köbler, J., Messner, J.: Complete problems for promise classes by optimal proof systems for test sets. In: Proceedings of the 13th IEEE Conference on Computational Complexity (CCC 1998), pp. 132–140 (1998)
Mayordomo, E.: Almost every set in exponential time is P-bi-immune. Theoretical Computer Science 136(2), 487–506 (1994)
Messner, J.: On the Simulation Order of Proof Systems. PhD Thesis, Univ. Erlangen (2000)
Monroe, H.: Speedup for natural problems and noncomputability. Theoretical Computer Science 412(4-5), 478–481 (2011)
Sadowski, Z.: On an optimal propositional proof system and the structure of easy subsets of TAUT. Theoretical Computer Science 288(1), 181–193 (2002)
Stockmeyer, L.: The Complexity of Decision Problems in Automata Theory. PhD. Thesis, MIT (1974)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Y., Flum, J., Müller, M. (2012). Hard Instances of Algorithms and Proof Systems. In: Cooper, S.B., Dawar, A., Löwe, B. (eds) How the World Computes. CiE 2012. Lecture Notes in Computer Science, vol 7318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30870-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-30870-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30869-7
Online ISBN: 978-3-642-30870-3
eBook Packages: Computer ScienceComputer Science (R0)