Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Exponential Resolution Lower Bounds for Weak
Final published version, 622 KB, PDF document
We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson'01] and highly unbalanced, dense graphs as in [Raz'04] and [Razborov'03,'04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems.
Original language | English |
---|---|
Title of host publication | 35th Computational Complexity Conference, CCC 2020 |
Editors | Shubhangi Saraf |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Publication date | 1 Jul 2020 |
Pages | 1-24 |
Article number | 28 |
ISBN (Electronic) | 9783959771566 |
DOIs | |
Publication status | Published - 1 Jul 2020 |
Event | 35th Computational Complexity Conference, CCC 2020 - Virtual, Online, Germany Duration: 28 Jul 2020 → 31 Jul 2020 |
Conference
Conference | 35th Computational Complexity Conference, CCC 2020 |
---|---|
Land | Germany |
By | Virtual, Online |
Periode | 28/07/2020 → 31/07/2020 |
Series | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 169 |
ISSN | 1868-8969 |
- Perfect matching, Proof complexity, Resolution, Sparse graphs, Weak pigeonhole principle
Research areas
Number of downloads are based on statistics from Google Scholar and www.ku.dk
ID: 251867082