feat: batch add 14 reduction rules (hard rules phase 2) - #1028

Merged

GiggleLiu merged 25 commits into

mainfrom

jg/hard-rules-2

Apr 10, 2026

Commits on Apr 8, 2026

feat: add PartitionIntoCliques to MinimumCoveringByCliques rule
GiggleLiu
committed
8e43381
feat: add 3SAT to RegisterSufficiency reduction (Sethi Reduction I)

GiggleLiu
and
claude
committed
9f0d05f
feat: add DecisionMinimumVertexCover to HamiltonianCircuit reduction
GiggleLiu
committed
1679683
feat: add DecisionMinimumDominatingSet to MinMaxMulticenter
GiggleLiu
committed
e4479b0
feat: add DecisionMinimumDominatingSet to MinimumSumMulticenter
GiggleLiu
committed
b96ed41
style: fix rustfmt formatting

GiggleLiu
and
claude
committed
b242bfe

Commits on Apr 9, 2026

Add KColoring to Clustering reduction
GiggleLiu
committed
d80ed33
Add ExactCoverBy3Sets to MinimumAxiomSet reduction
GiggleLiu
committed
fc285f1
Fix MaximumLikelihoodRanking constructor validation
GiggleLiu
committed
a1b7117
fix: allow negative entries in MaximumLikelihoodRanking (c=0 skew-symmetric)

GiggleLiu
and
claude
committed
33a3f29
feat: add x3c to fault detection test set reduction
GiggleLiu
committed
9b2adc5
feat: add MinimumFeedbackArcSet to MaximumLikelihoodRanking reduction
GiggleLiu
committed
73f7ecf
feat: add fvs to unlimited-register codegen rule
GiggleLiu
committed
e98b6fe
feat: add mvc to minimum weight and/or graph reduction
GiggleLiu
committed
c828d9e
Add 3-SAT to quadratic diophantine equations reduction
GiggleLiu
committed
904ffcb
test: pin max2sat maxcut affine relation
GiggleLiu
committed
05ebfc9

Commits on Apr 10, 2026

fix: resolve clippy warnings and test assertion after new reductions

GiggleLiu
and
claude
committed
cbd9f19
fix: add B&B solver for RegisterSufficiency, avoid slow ILP in tests

GiggleLiu
and
claude
committed
dd714ee
feat: add Clustering→ILP and MinimumFaultDetectionTestSet→ILP reductions

GiggleLiu
and
claude
committed
ac6ff0a
fix: structural review fixes — overheads, paper entries, test speedup

GiggleLiu
and
claude
committed
9811f67
fix: speed up BMF→ILP closed-loop test (36s → 0.01s)

GiggleLiu
and
claude
committed
06b4c1a
fix: model_specs_are_optimal stuck on DecisionMVC→HC→QA→ILP chain

GiggleLiu
and
claude
committed
38e377d
feat: add witness edge for Decision<P> → P, enabling cheaper ILP paths

GiggleLiu
and
claude
committed
7d55e3d
fix: paper build errors — cast QDE strings to int, fix missing optimal_value keys

GiggleLiu
and
claude
committed
9838da0
test: add coverage for find_paths_up_to_mode_bounded

GiggleLiu
and
claude
committed
9fa0c6c