Dr Stefan Dantchev s.s.dantchev@durham.ac.uk
Assistant Professor
We prove a dichotomy theorem for the rank of the uniformly generated(i.e. expressible in First-Order (FO) Logic) propositional tautologiesin both the Lovász-Schrijver (LS) and Sherali-Adams (SA) proofsystems. More precisely, we first show that the propositional translationsof FO formulae that are universally true, i.e. hold in all finiteand infinite models, have LS proofs whose rank is constant, independentlyfrom the size of the (finite) universe. In contrast to that, we provethat the propositional formulae that hold in all finite models butfail in some infinite structure require proofs whose SA rank grows poly-logarithmically with the size of the universe. Up to now, this kind of so-called "Complexity Gap" theorems have been known for Tree-like Resolution and, in somehow restrictedforms, for the Resolution and Nullstellensatz proof systems. As faras we are aware, this is the first time the Sherali-Adams lift-and-projectmethod has been considered as a propositional proof system. An interesting feature of the SA proof system is that it is static and rank-preserving simulates LS, the Lovász-Schrijver proof system without semidefinitecuts.
Dantchev, S. (2007). Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. In STOC '07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing : San Diego, California, USA, June 11-13, 2007 (311-317). https://doi.org/10.1145/1250790.1250837
Presentation Conference Type | Conference Paper (Published) |
---|---|
Conference Name | 39th Annual ACM Symposium on Theory of Computing |
Start Date | Jun 11, 2007 |
End Date | Jun 13, 2007 |
Publication Date | Jun 1, 2007 |
Deposit Date | Jan 23, 2009 |
Publisher | Association for Computing Machinery (ACM) |
Pages | 311-317 |
Series Title | ACM Symposium on Theory of Computing |
Book Title | STOC '07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing : San Diego, California, USA, June 11-13, 2007. |
DOI | https://doi.org/10.1145/1250790.1250837 |
Public URL | https://durham-repository.worktribe.com/output/1160886 |
Sherali-Adams and the binary encoding of combinatorial principles
(2020)
Presentation / Conference Contribution
Resolution and the binary encoding of combinatorial principles
(2019)
Presentation / Conference Contribution
Simplicial Complex Entropy
(2017)
Presentation / Conference Contribution
Sublinear-Time Algorithms for Tournament Graphs
(2009)
Presentation / Conference Contribution
Parameterized proof complexity
(2007)
Presentation / Conference Contribution
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search