Repository navigation

Fix SimultaneousIncongruences complexity to include the search period - #1212

Merged

GiggleLiu merged 53 commits into

feat/graph-explorer-overhead-structurefrom

fix/simultaneous-incongruences-complexity

Oct 29, 2026

Merged

Fix SimultaneousIncongruences complexity to include the search period#1212
GiggleLiu merged 53 commits into
feat/graph-explorer-overhead-structurefrom
fix/simultaneous-incongruences-complexity

Commits on Oct 12, 2026
- feat: SetSplitting to NAE-SAT clause-per-subset reduction (#1100)
  peda-cos
  committed
  309c562
Commits on Oct 22, 2026
Commits on Oct 23, 2026
- Tighten direct QUBO bounds and replace costly encodings
  isPANN
  committed
  3d3b020
- Add binary decision ILP to SAT reduction
  isPANN
  committed
  c6bfae6
- Fix solution length validation and remove redundant test scaffolding
  isPANN
  committed
  0daa9a8
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
- Bound scheduling QUBO sizes by worker bits and start windows
  
  isPANN
  and
  claude
  committed
  4ce1d38
- Restate StaffScheduling and SWRTD QUBO sizes in the paper and tests
  
  isPANN
  and
  claude
  committed
  0801132
- 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

Commits

Commits on Oct 12, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 29, 2026