Implement 6 problem-to-QUBO reductions (Issue #18)#29

Merged

GiggleLiu merged 13 commits intomainfrom

issue-18-qubo-reductions

Feb 9, 2026

Commits on Feb 8, 2026

Add QUBO test data generation script and ground truth datasets

GiggleLiu
and
claude
committed
Add related projects section to README

GiggleLiu
and
claude
committed

Commits on Feb 9, 2026

update
GiggleLiu
committed
feat: add IndependentSet, VertexCovering, and MaxCut → QUBO reductions

GiggleLiu
and
claude
committed
feat: add KColoring, SetPacking, and KSatisfiability → QUBO reductions

GiggleLiu
and
claude
committed
feat: add ILP (binary) → QUBO reduction

GiggleLiu
and
claude
committed
test: add integration tests for QUBO reductions against ground truth

GiggleLiu
and
claude
committed
docs: add QUBO reductions example program

GiggleLiu
and
claude
committed
docs: add QUBO reduction theorems to paper, acknowledge references

GiggleLiu
and
claude
committed
fix: fix ILP slack variables, remove redundant MaxCut→QUBO, add coverage tests

GiggleLiu
and
claude
committed
docs: add references for QUBO reductions (Glover 2019, Lucas 2014)

GiggleLiu
and
claude
committed
docs: reclassify QUBO reductions into penalty-method section

GiggleLiu
and
claude
committed
fix: address Copilot review - generic SetPacking, ILP slack bounds

GiggleLiu
and
claude
committed