docs: Add reduction classification and detailed survey#9

Merged

GiggleLiu merged 18 commits intomainfrom

docs/reduction-classification-survey

Jan 26, 2026

Commits on Jan 25, 2026

docs: Add reduction classification and detailed survey

GiggleLiu
and
claude
committed
fix: Correct citation for Factoring→CircuitSAT reduction

GiggleLiu
and
claude
committed
docs: Polish writing to NeurIPS academic standard

GiggleLiu
and
claude
committed
docs: Combine detailed constructions with theorem/proof structure

GiggleLiu
and
claude
committed
docs: Improve summary table with overhead column and gray highlighting

GiggleLiu
and
claude
committed
docs: Add notation section and improve symbol introductions

GiggleLiu
and
claude
committed
docs: Verify facts and fix references

GiggleLiu
and
claude
committed
test: Improve test coverage for ReductionGraph module

GiggleLiu
and
claude
committed
fix: Fix clippy warnings and improve test coverage

GiggleLiu
and
claude
committed
fix: Correct Factoring→CircuitSAT citation and remove unused refs

GiggleLiu
and
claude
committed
test: Add coverage tests for ReductionGraph layout

GiggleLiu
and
claude
committed
refactor: Simplify layout code to remove dead branches

GiggleLiu
and
claude
committed
refactor: Remove unused iteration limit in BFS layout

GiggleLiu
and
claude
committed
refactor: Move layout computation from Rust to Typst

GiggleLiu
and
claude
committed