Repository navigation

Declare exact parameter counts that constructions always produce - #1224

Merged

GiggleLiu merged 13 commits into

fix/ilp-nonzeros-boundsfrom

feat/exact-tight-bounds

Oct 29, 2026

Merged

Declare exact parameter counts that constructions always produce#1224
GiggleLiu merged 13 commits into
fix/ilp-nonzeros-boundsfrom
feat/exact-tight-bounds

Commits on Oct 27, 2026
- Reject negative ConsecutiveOnesSubmatrix bounds at construction
  
  isPANN
  and
  claude
  committed
  8523caa
- Declare exact parameter counts the constructions always produce
  
  isPANN
  and
  claude
  committed
  3de4a67
- Keep 3-SAT literal-dependent counts as upper bounds
  
  isPANN
  and
  claude
  committed
  b8867cf
Commits on Oct 28, 2026
- Test exact construction counts on degenerate graphs
  
  isPANN
  and
  claude
  committed
  0318bfd
- Reduce negative-weight MaxCut to MinimumMatrixCover with an edge gadget
  
  isPANN
  and
  claude
  committed
  f7be538
- Simplify the MaxCut gadget, retype the COS bound, and clean up docs
  
  isPANN
  and
  claude
  committed
  ef18c76
- Remove the KSatisfiability KN variant and short-clause constructors
  
  isPANN
  and
  claude
  committed
  5e512c7
- Declare MonochromaticTriangle counts exact and drop stale short-clause text
  
  isPANN
  and
  claude
  committed
  86d6808
- Bound KSatisfiability by FixedK and tidy the K-SAT reductions
  
  isPANN
  and
  claude
  committed
  eafd02a
- Drop the FixedK trait
  
  isPANN
  and
  claude
  committed
  3c2f9bd
Commits on Oct 29, 2026