Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование
A weakened version of the Cutting Plane (CP) proof system with a restriction on the degree of falsity of intermediate inequalities was introduced by Goerdt. He proved an exponential lower bound for CP proofs with degree of falsity bounded by n/log2n+1 where n is the number of variables. Hirsch and Nikolenko strengthened this result by establishing a direct connection between CP and Resolution proofs. This result implies an exponential lower bound on the proof length of the Tseitin-Urquhart tautologies, when the degree of falsity is bounded by cn for some constant c. In this paper we generalize this result for extensions of Lovasz-Schrijver calculi (LS), namely for LSk+CPk proof systems introduced by Grigoriev et al. We show that any LSk+CPk proof with bounded degree of falsity can be transformed into a Res(k) proof. We also prove lower and upper bounds for the new system.
Язык оригинала | английский |
---|---|
Название основной публикации | Theory and Applications of Satisfiability Testing, SAT 2006 - 9th International Conference, Proceedings |
Издатель | Springer Nature |
Страницы | 11-21 |
Число страниц | 11 |
ISBN (печатное издание) | 3540372067, 9783540372066 |
Состояние | Опубликовано - 1 янв 2006 |
Событие | 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006 - Seattle, WA, Соединенные Штаты Америки Продолжительность: 12 авг 2006 → 15 авг 2006 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 4121 LNCS |
ISSN (печатное издание) | 0302-9743 |
ISSN (электронное издание) | 1611-3349 |
конференция | 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006 |
---|---|
Страна/Tерритория | Соединенные Штаты Америки |
Город | Seattle, WA |
Период | 12/08/06 → 15/08/06 |
ID: 49824989