Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
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.
Язык оригинала | английский |
---|---|
Название основной публикации | 35th Computational Complexity Conference, CCC 2020 |
Редакторы | Shubhangi Saraf |
Издатель | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
ISBN (электронное издание) | 9783959771566 |
DOI | |
Состояние | Опубликовано - 1 июл 2020 |
Событие | 35th Computational Complexity Conference, CCC 2020 - Virtual, Online, Германия Продолжительность: 28 июл 2020 → 31 июл 2020 |
Название | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Том | 169 |
ISSN (печатное издание) | 1868-8969 |
конференция | 35th Computational Complexity Conference, CCC 2020 |
---|---|
Страна/Tерритория | Германия |
Город | Virtual, Online |
Период | 28/07/20 → 31/07/20 |
ID: 75310335