Repository navigation

Add Phase 1 direct QUBO encodings for scheduling and assignment - #1214

Merged

GiggleLiu merged 34 commits into

fix/simultaneous-incongruences-complexityfrom

feat/direct-scheduling-qubo

Oct 29, 2026

Merged

Add Phase 1 direct QUBO encodings for scheduling and assignment#1214
GiggleLiu merged 34 commits into
fix/simultaneous-incongruences-complexityfrom
feat/direct-scheduling-qubo

Commits on Oct 22, 2026
- Add direct QUBO reductions for scheduling and assignment
  isPANN
  committed
  e46a40e
- Reject source arithmetic overflow in direct QUBO reductions
  isPANN
  committed
  37aa878
- Add verified Phase 2 direct QUBO reductions
  isPANN
  committed
  ecc0ad5
- Add conditional Phase 3 direct QUBO reductions
  isPANN
  committed
  01f6e3a
- Defer direct QUBO rules with unresolved target timeouts
  isPANN
  committed
  109985f
- Add verified direct decision QUBO reduction for integer staff scheduling
  isPANN
  committed
  0dd7448
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 22, 2026

Commits on Oct 23, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 29, 2026