Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

D. M. Itsykson; A. A. Kojevnikov

doi:10.1007/s10958-007-0329-5

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

D. M. Itsykson
, A. A. Kojevnikov

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Abstract

An exponential lower bound on the size of static Lovász-Schrijver proofs of Tseitin tautologies is established. Several techniques, such as translating a static LS₊ proof into a Positivstellensatz proof, extracting a "good" expander out of a given graph by removing edges and vertices, and proving a linear lower bound on the degree of Positivstellensatz proofs for Tseitin tautologies, are used. Bibliography: 22 titles.

Original language	English
Pages (from-to)	4942-4952
Number of pages	11
Journal	Journal of Mathematical Sciences (Switzerland)
Volume	145
Issue number	3
DOIs	https://doi.org/10.1007/s10958-007-0329-5
State	Published - 1 Sep 2007
Externally published	Yes

ASJC Scopus subject areas

Statistics and Probability
General Mathematics
Applied Mathematics

Access to Document

10.1007/s10958-007-0329-5

Cite this

@article{12c83f9dea7f4e4ba5bdfd8276306e71,

title = "Lower bounds on static Lov{\'a}sz-Schrijver calculus proofs for Tseitin tautologies",

abstract = "An exponential lower bound on the size of static Lov{\'a}sz-Schrijver proofs of Tseitin tautologies is established. Several techniques, such as translating a static LS+ proof into a Positivstellensatz proof, extracting a {"}good{"} expander out of a given graph by removing edges and vertices, and proving a linear lower bound on the degree of Positivstellensatz proofs for Tseitin tautologies, are used. Bibliography: 22 titles.",

author = "Itsykson, \{D. M.\} and Kojevnikov, \{A. A.\}",

year = "2007",

month = sep,

day = "1",

doi = "10.1007/s10958-007-0329-5",

language = "English",

volume = "145",

pages = "4942--4952",

journal = "Journal of Mathematical Sciences (Switzerland)",

issn = "1072-3374",

publisher = "Springer Nature",

number = "3",

}

TY - JOUR

T1 - Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

AU - Itsykson, D. M.

AU - Kojevnikov, A. A.

PY - 2007/9/1

Y1 - 2007/9/1

N2 - An exponential lower bound on the size of static Lovász-Schrijver proofs of Tseitin tautologies is established. Several techniques, such as translating a static LS+ proof into a Positivstellensatz proof, extracting a "good" expander out of a given graph by removing edges and vertices, and proving a linear lower bound on the degree of Positivstellensatz proofs for Tseitin tautologies, are used. Bibliography: 22 titles.

AB - An exponential lower bound on the size of static Lovász-Schrijver proofs of Tseitin tautologies is established. Several techniques, such as translating a static LS+ proof into a Positivstellensatz proof, extracting a "good" expander out of a given graph by removing edges and vertices, and proving a linear lower bound on the degree of Positivstellensatz proofs for Tseitin tautologies, are used. Bibliography: 22 titles.

UR - https://www.scopus.com/pages/publications/34547672951

U2 - 10.1007/s10958-007-0329-5

DO - 10.1007/s10958-007-0329-5

M3 - Article

AN - SCOPUS:34547672951

SN - 1072-3374

VL - 145

SP - 4942

EP - 4952

JO - Journal of Mathematical Sciences (Switzerland)

JF - Journal of Mathematical Sciences (Switzerland)

IS - 3

ER -

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this