Repository navigation

Tighten ILP num_nonzeros bounds to per-constraint counts - #1222

Merged

GiggleLiu merged 16 commits into

feat/binary-ilp-to-satfrom

fix/ilp-nonzeros-bounds

Oct 29, 2026

Merged

Tighten ILP num_nonzeros bounds to per-constraint counts#1222
GiggleLiu merged 16 commits into
feat/binary-ilp-to-satfrom
fix/ilp-nonzeros-bounds

Commits on Oct 27, 2026
- Count ILP nonzeros per constraint family instead of rows times columns
  
  isPANN
  and
  claude
  committed
  4da646d
- Check ILP nonzero bounds on dense sources
  
  isPANN
  and
  claude
  committed
  f95447a
- 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