Apr 25, 2024 · We prove that Sherali-Adams with polynomially bounded coefficients requires proofs of size n^{\Omega(d)} to rule out the existence of an n^{\Theta(1)}-clique.

Apr 19, 2023 · Susanna F. de Rezende (Lund University) https://simons.berkeley.edu/talks/susanna-f-de ...
Duration: 34:36
Posted: Apr 19, 2023

We prove that unary Sherali-Adams requires proofs of size $n^{\Omega(d)}$ to rule out the existence of an $n^{\Theta(1)}$-clique in Erdős-Rényi random graphs ...

Intuition: µ(m) should be contribution of m towards contradiction. • Idea 1: Let µ(m) be the fraction of assignments m rules out.

Apr 25, 2024 · Unary Sherali-Adams is a subsystem of Sherali-Adams where all coefficients of monomials are either + 1 1 +1 + 1 or − 1 1 -1 - 1 and the ...

Abstract. We prove that unary Sherali-Adams requires proofs of size nΩ(d) to rule out the existence of an nΘ(1)-clique in Erdős-Rényi random graphs whose ...

We are now ready to state the pseudorandomness property of graphs that allows us to prove average-case unary Sherali-. Adams lower bounds for the k-clique ...

Dec 18, 2020 · Not only is this problem widely believed to be intractable to solve exactly (unless P = NP), there does not even exist any polynomial-time.

Dive into the research topics of 'Clique Is Hard on Average for Unary Sherali-Adams'. Together they form a unique fingerprint.

Jun 30, 2021 · Sherali-Adams and the binary encoding of combinatorial principles. In Proceedings of the 14th Latin American Symposium on Theoretical ...