docs: add proposed reduction rules verification note (9 reductions)#975

Open

zazabap wants to merge 32 commits intomainfrom

feat/proposed-reductions-note

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

zazabap
and
claude
committed
docs: scaffold proposed-reductions Typst note with preamble

zazabap
and
claude
committed
docs: add SubsetSum -> Partition reduction (#973)

zazabap
and
claude
committed
docs: add VertexCover -> HamiltonianCircuit reduction (#198)

zazabap
and
claude
committed
docs: add VertexCover -> HamiltonianPath reduction (#892)

zazabap
and
claude
committed
docs: add MaxCut -> OptimalLinearArrangement reduction (#890)

zazabap
and
claude
committed
docs: add OLA -> RootedTreeArrangement reduction (#888)

zazabap
and
claude
committed
docs: add DominatingSet -> MinMax/MinSum Multicenter reductions (#379, #380)

zazabap
and
claude
committed
docs: add X3C -> AcyclicPartition reduction (#822) — marked as open

zazabap
and
claude
committed
docs: add VC -> PartialFeedbackEdgeSet reduction (#894) — marked as open

zazabap
and
claude
committed
docs: finalize proposed-reductions note with references

zazabap
and
claude
committed
docs: complete X3C->AcyclicPartition and VC->PFES reductions

zazabap
and
claude
committed
docs: full rewrite of proposed-reductions note — rigorous proofs

zazabap
and
claude
committed

Commits on Apr 1, 2026