Using the Groebner basis algorithm to find proofs of unsatisfiability
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Linear gaps between degrees for the polynomial calculus modulo distinct primes
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Short proofs are narrow—resolution made simple
Journal of the ACM (JACM)
Linear lower bound on degrees of positivstellensatz calculus proofs for the parity
Theoretical Computer Science
Algebraic proof systems over formulas
Theoretical Computer Science - Logic and complexity in computer science
Lower Bounds for Polynomial Calculus: Non-Binomial Case
FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
Expander flows, geometric embeddings and graph partitioning
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Lower bounds for k-DNF resolution on random 3-CNFs
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Towards strong nonapproximability results in the Lovasz-Schrijver hierarchy
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
New Lower Bounds for Vertex Cover in the Lovasz-Schrijver Hierarchy
CCC '06 Proceedings of the 21st Annual IEEE Conference on Computational Complexity
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Journal of Automated Reasoning
New lower bounds for approximation algorithms in the lovasz-schrijver hierarchy
New lower bounds for approximation algorithms in the lovasz-schrijver hierarchy
Tight integrality gaps for Lovasz-Schrijver LP relaxations of vertex cover and max cut
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
A Linear Round Lower Bound for Lovasz-Schrijver SDP Relaxations of Vertex Cover
CCC '07 Proceedings of the Twenty-Second Annual IEEE Conference on Computational Complexity
Linear programming relaxations of maxcut
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Lower Bounds for Lovász-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity
SIAM Journal on Computing
Towards Sharp Inapproximability For Any 2-CSP
FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
Optimal algorithms and inapproximability results for every CSP?
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Integrality gaps for Sherali-Adams relaxations
Proceedings of the forty-first annual ACM symposium on Theory of computing
Hardness amplification in proof complexity
Proceedings of the forty-second ACM symposium on Theory of computing
Integrality Gaps of $2-o(1)$ for Vertex Cover SDPs in the Lovász-Schrijver Hierarchy
SIAM Journal on Computing
On the Shannon capacity of a graph
IEEE Transactions on Information Theory
The proof-search problem between bounded-width resolution and bounded-degree semi-algebraic proofs
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |
The matrix cuts of Lovász and Schrijver are methods for tightening linear relaxations of zero-one programs by the addition of new linear inequalities. We address the question of how many new inequalities are necessary to approximate certain combinatorial problems, and we solve certain instances of Boolean satisfiability. Our first result is a size/rank tradeoff for tree-like Lovász-Schrijver refutations, showing that any refutation that has small size also has small rank. This allows us to immediately derive exponential-size lower bounds for tree-like refutations of many unsatisfiable systems of inequalities where, prior to our work, only strong rank bounds were known. Unfortunately, we show that this tradeoff does not hold more generally for derivations of arbitrary inequalities. We give a very simple example showing that derivations can be very small but nonetheless require maximal rank. This rules out a generic argument for obtaining a size-based integrality gap from the corresponding rank-based integrality gap. Our second contribution is to show that a modified argument can often be used to prove size-based integrality gaps from rank-based integrality gaps. We apply this method to prove size-based integrality gaps for several prominent examples where, prior to our work, only rank-based integrality gaps were known. Our third contribution is to prove new separation results. Using our machinery for converting rank-based lower bounds and integrality gaps into size-based lower bounds, we show that tree-like $\mbox{LS}_+$ cannot polynomially simulate tree-like cutting planes, and that tree-like $\mbox{LS}_+$ cannot polynomially simulate resolution.