fix: remove 8 unsound reductions, fix 8 buggy rules (#1006)#1052

Merged

GiggleLiu merged 3 commits intomainfrom

fix/1006-unsound-reductions

Apr 17, 2026

Commits on Apr 14, 2026

Remove unsound reductions from the paper: SubsetSum to CapacityAssignment and Partition to ShortestWeightConstrainedPath. Also, delete related files for ExactCoverBy3Sets to MinimumWeightSolutionTo…
isPANN
committed
fix overhead formulas per Codex review

isPANN
and
claude
committed
use asymptotic overhead formulas, drop constant factors

isPANN
and
claude
committed