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

Closed

zazabap wants to merge 32 commits into

mainfrom

feat/proposed-reductions-note

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

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

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

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

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

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

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

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

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

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

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

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

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

zazabap
and
claude
committed
a5f022a

Commits on Apr 1, 2026

docs: add Python verification scripts, mark X3C->AP as incorrect

zazabap
and
claude
committed
6431a8e
docs: add Lean 4 proofs for key algebraic lemmas

zazabap
and
claude
committed
43ad284
docs: upgrade Lean proofs with Mathlib — structural lemmas

zazabap
and
claude
committed
a18f920
docs: upgrade Lean proofs with graph-structural arguments

zazabap
and
claude
committed
f53fc8a
docs: add per-reduction verification scripts

zazabap
and
claude
committed
8a3f2fb
docs: complete per-reduction verification suite + fix VC→HC edge count

zazabap
and
claude
committed
088f54d
docs: add verify_vc_hp.py — HC→HP transformation verification

zazabap
and
claude
committed
d7c3611
docs: enhance 3 weak scripts + add verification methodology

zazabap
and
claude
committed
7ce9984
docs: split DS→Multicenter into two scripts (one per reduction)

zazabap
and
claude
committed
895923d
docs: fix 3 verification gaps + update methodology

zazabap
and
claude
committed
5419f3c
fix: correct C_4 crossing numbers in MaxCut→OLA example

zazabap
and
claude
committed
add9c9f
docs: add Current Results section to METHODOLOGY.md

zazabap
and
claude
committed
0470b90
docs: add verify-reduction skill + prompting workflow in METHODOLOGY.md

zazabap
and
claude
committed
006f974
docs: add verify_sat_nontautology.py — tests issue #868

zazabap
and
claude
committed
76db660
docs: rewrite verify-reduction skill as end-to-end pipeline

zazabap
and
claude
committed
169b4ba
docs: /verify-reduction #868 — SAT → NonTautology VERIFIED

zazabap
and
claude
committed
7b4212f
docs: add worktree + PR creation to verify-reduction skill

zazabap
and
claude
committed
79d7cb0
docs: strict verify-reduction skill — zero tolerance for shortcuts

zazabap
and
claude
committed
cc01a00
chore: remove docs/superpowers/ directory

isPANN
and
claude
committed
736558e

Navigation Menu

Uh oh!

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

docs: add proposed reduction rules verification note (9 reductions)#975
zazabap wants to merge 32 commits into
mainfrom
feat/proposed-reductions-note

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

docs: scaffold proposed-reductions Typst note with preamble

docs: add SubsetSum -> Partition reduction (#973)

docs: add VertexCover -> HamiltonianCircuit reduction (#198)

docs: add VertexCover -> HamiltonianPath reduction (#892)

docs: add MaxCut -> OptimalLinearArrangement reduction (#890)

docs: add OLA -> RootedTreeArrangement reduction (#888)

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

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

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

docs: finalize proposed-reductions note with references

docs: complete X3C->AcyclicPartition and VC->PFES reductions

docs: full rewrite of proposed-reductions note — rigorous proofs

Commits on Apr 1, 2026

docs: add Python verification scripts, mark X3C->AP as incorrect

docs: add Lean 4 proofs for key algebraic lemmas

docs: upgrade Lean proofs with Mathlib — structural lemmas

docs: upgrade Lean proofs with graph-structural arguments

docs: add per-reduction verification scripts

docs: complete per-reduction verification suite + fix VC→HC edge count

docs: add verify_vc_hp.py — HC→HP transformation verification

docs: enhance 3 weak scripts + add verification methodology

docs: split DS→Multicenter into two scripts (one per reduction)

docs: fix 3 verification gaps + update methodology

fix: correct C_4 crossing numbers in MaxCut→OLA example

docs: add Current Results section to METHODOLOGY.md

docs: add verify-reduction skill + prompting workflow in METHODOLOGY.md

docs: add verify_sat_nontautology.py — tests issue #868

docs: rewrite verify-reduction skill as end-to-end pipeline

docs: /verify-reduction #868 — SAT → NonTautology VERIFIED

docs: add worktree + PR creation to verify-reduction skill

docs: strict verify-reduction skill — zero tolerance for shortcuts

chore: remove docs/superpowers/ directory