sherali-adams

Here is 1 public repository matching this topic...

jsnider3 / leastnumber-strongavoid

LeastNumber is not decision-tree reducible to StrongAvoid: a coefficient-mass size lower bound for Sigma_2-unary Sherali-Adams, formalised in Lean 4. Answers the open problem in Fleming-Gal-Imrek-Marciot, CCC 2026, Section 6.

formal-verification computational-complexity lean4 proof-complexity tfnp sherali-adams

Updated Aug 19, 2026
Python

Improve this page

Add a description, image, and links to the sherali-adams topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sherali-adams topic, visit your repo's landing page and select "manage topics."

Learn more