docs: batch verify-reduction — 34 implementable reductions verified#992

Open

zazabap wants to merge 27 commits intomainfrom

feat/batch-verify-reductions

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

zazabap
and
claude
committed

Commits on Apr 2, 2026

docs: batch verify-reduction — 11 reductions verified

zazabap
and
claude
committed
docs: verify-reduction #860 — ExactCoverBy3Sets → MinimumWeightSolutionToLinearEquations VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #380 — MinimumDominatingSet → MinimumSumMulticenter VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #842 — SetSplitting → Betweenness VERIFIED

zazabap
and
claude
committed
docs: batch verify-reduction wave 2 — 9 more reductions

zazabap
and
claude
committed
docs: verify-reduction #894 — MinimumVertexCover → PartialFeedbackEdgeSet

zazabap
and
claude
committed
fix: update ctheorems 1.1.2 → 1.1.3 in partition_open_shop_scheduling.typ

zazabap
and
claude
committed
docs: verify-reduction #388 — ExactCoverBy3Sets → SubsetProduct VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #569 — SubsetSum → IntegerExpressionMembership VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #521 — SubsetSum → IntegerKnapsack VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #389 — ThreeDimensionalMatching → ThreePartition VERIFIED

zazabap
and
claude
committed
docs: verify-reduction #822 — ExactCoverBy3Sets → AcyclicPartition REFUTED

zazabap
and
claude
committed
docs: batch verify-reduction wave 3 — 8 more reductions

zazabap
and
claude
committed
docs: verify-reduction #553 — KSatisfiability(K3) → QuadraticCongruences VERIFIED

zazabap
and
claude
committed
docs: batch verify-reduction wave 4 — collect remaining artifacts

zazabap
and
claude
committed
refactor: move 5 type-incompatible reductions to separate PR

zazabap
and
claude
committed
Delete docs/superpowers/specs/2026-03-31-proposed-reductions-note-design.md
zazabap
authored
docs: verify-reduction #476 — KSatisfiability(K3) → PrecedenceConstrainedScheduling VERIFIED

zazabap
and
claude
committed
chore: remove refuted/blocked reduction artifacts from PR

zazabap
and
claude
committed
fix: fix 4 Typst compilation errors, remove PDFs

zazabap
and
claude
committed
docs: unified Typst file with all 34 verified reduction proofs

zazabap
and
claude
committed
docs: rebuild unified Typst with consistent heading levels

zazabap
and
claude
committed
docs: reorganize unified Typst by problem type

zazabap
and
claude
committed
docs: add remaining Tier 1 reduction rules note (56 rules)

zazabap
and
claude
committed
docs: remaining Tier 1 reductions with mathematical content (56 rules)

zazabap
and
claude
committed
docs: rewrite remaining Tier 1 reductions with proper mathematical proofs

zazabap
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

docs: batch verify-reduction — 34 implementable reductions verified#992

docs: batch verify-reduction — 34 implementable reductions verified#992
zazabap wants to merge 27 commits intomainfrom
feat/batch-verify-reductions

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

Commits on Apr 2, 2026

docs: batch verify-reduction — 11 reductions verified

docs: verify-reduction #860 — ExactCoverBy3Sets → MinimumWeightSolutionToLinearEquations VERIFIED

docs: verify-reduction #380 — MinimumDominatingSet → MinimumSumMulticenter VERIFIED

docs: verify-reduction #842 — SetSplitting → Betweenness VERIFIED

docs: batch verify-reduction wave 2 — 9 more reductions

docs: verify-reduction #894 — MinimumVertexCover → PartialFeedbackEdgeSet

fix: update ctheorems 1.1.2 → 1.1.3 in partition_open_shop_scheduling.typ

docs: verify-reduction #388 — ExactCoverBy3Sets → SubsetProduct VERIFIED

docs: verify-reduction #569 — SubsetSum → IntegerExpressionMembership VERIFIED

docs: verify-reduction #521 — SubsetSum → IntegerKnapsack VERIFIED

docs: verify-reduction #389 — ThreeDimensionalMatching → ThreePartition VERIFIED

docs: verify-reduction #822 — ExactCoverBy3Sets → AcyclicPartition REFUTED

docs: batch verify-reduction wave 3 — 8 more reductions

docs: verify-reduction #553 — KSatisfiability(K3) → QuadraticCongruences VERIFIED

docs: batch verify-reduction wave 4 — collect remaining artifacts

refactor: move 5 type-incompatible reductions to separate PR

Delete docs/superpowers/specs/2026-03-31-proposed-reductions-note-design.md

docs: verify-reduction #476 — KSatisfiability(K3) → PrecedenceConstrainedScheduling VERIFIED

chore: remove refuted/blocked reduction artifacts from PR

fix: fix 4 Typst compilation errors, remove PDFs

docs: unified Typst file with all 34 verified reduction proofs

docs: rebuild unified Typst with consistent heading levels

docs: reorganize unified Typst by problem type

docs: add remaining Tier 1 reduction rules note (56 rules)

docs: remaining Tier 1 reductions with mathematical content (56 rules)

docs: rewrite remaining Tier 1 reductions with proper mathematical proofs