docs: Add reduction classification and detailed survey

Makefile

@@ -1,6 +1,6 @@
 # Makefile for problemreductions
 
-.PHONY: help build test fmt clippy doc clean coverage
+.PHONY: help build test fmt clippy doc mdbook paper clean coverage
 
 # Default target
 help:
@@ -10,7 +10,9 @@ help:
 	@echo "  fmt        - Format code with rustfmt"
 	@echo "  fmt-check  - Check code formatting"
 	@echo "  clippy     - Run clippy lints"
-	@echo "  doc        - Build and open documentation"
+	@echo "  doc        - Build mdBook documentation"
+	@echo "  mdbook     - Build and serve mdBook (with live reload)"
+	@echo "  paper      - Build Typst paper (requires typst)"
 	@echo "  coverage   - Generate coverage report (requires cargo-llvm-cov)"
 	@echo "  clean      - Clean build artifacts"
 	@echo "  check      - Quick check (fmt + clippy + test)"
@@ -35,9 +37,18 @@ fmt-check:
 clippy:
 	cargo clippy --all-targets --all-features -- -D warnings
 
-# Build and open documentation
+# Build mdBook documentation
 doc:
-	cargo doc --all-features --no-deps --open
+	mdbook build docs
+
+# Build and serve mdBook with live reload
+mdbook:
+	mdbook serve docs --open
+
+# Build Typst paper
+paper:
+	cargo run --example export_graph
+	cd docs/paper && typst compile reductions.typ reductions.pdf
 
 # Generate coverage report (requires: cargo install cargo-llvm-cov)
 coverage:

book.toml

@@ -5,12 +5,15 @@ description = "A Rust library for reducing NP-hard problems"
 language = "en"
 src = "docs/src"
 
+[preprocessor.mermaid]
+command = "mdbook-mermaid"
+
 [output.html]
 default-theme = "rust"
 git-repository-url = "https://github.com/liujinguo/problemreductions"
 edit-url-template = "https://github.com/liujinguo/problemreductions/edit/main/{path}"
 additional-css = []
-additional-js = []
+additional-js = ["mermaid.min.js", "mermaid-init.js"]
 no-section-label = false
 
 [output.html.fold]

docs/paper/reduction_graph.json

@@ -0,0 +1,136 @@
+{
+  "nodes": [
+    {
+      "id": "MaxCut",
+      "label": "MaxCut",
+      "category": "graph"
+    },
+    {
+      "id": "DominatingSet",
+      "label": "DominatingSet",
+      "category": "graph"
+    },
+    {
+      "id": "SpinGlass",
+      "label": "SpinGlass",
+      "category": "optimization"
+    },
+    {
+      "id": "QUBO",
+      "label": "QUBO",
+      "category": "optimization"
+    },
+    {
+      "id": "IndependentSet",
+      "label": "IndependentSet",
+      "category": "graph"
+    },
+    {
+      "id": "SetPacking",
+      "label": "SetPacking",
+      "category": "set"
+    },
+    {
+      "id": "Satisfiability",
+      "label": "Satisfiability",
+      "category": "satisfiability"
+    },
+    {
+      "id": "Coloring",
+      "label": "Coloring",
+      "category": "graph"
+    },
+    {
+      "id": "VertexCovering",
+      "label": "VertexCovering",
+      "category": "graph"
+    },
+    {
+      "id": "KSatisfiability",
+      "label": "KSatisfiability",
+      "category": "satisfiability"
+    },
+    {
+      "id": "CircuitSAT",
+      "label": "CircuitSAT",
+      "category": "satisfiability"
+    },
+    {
+      "id": "Factoring",
+      "label": "Factoring",
+      "category": "specialized"
+    },
+    {
+      "id": "Matching",
+      "label": "Matching",
+      "category": "graph"
+    },
+    {
+      "id": "SetCovering",
+      "label": "SetCovering",
+      "category": "set"
+    }
+  ],
+  "edges": [
+    {
+      "source": "CircuitSAT",
+      "target": "SpinGlass",
+      "bidirectional": false
+    },
+    {
+      "source": "Matching",
+      "target": "SetPacking",
+      "bidirectional": false
+    },
+    {
+      "source": "Satisfiability",
+      "target": "KSatisfiability",
+      "bidirectional": true
+    },
+    {
+      "source": "Factoring",
+      "target": "CircuitSAT",
+      "bidirectional": false
+    },
+    {
+      "source": "IndependentSet",
+      "target": "SetPacking",
+      "bidirectional": true
+    },
+    {
+      "source": "SpinGlass",
+      "target": "QUBO",
+      "bidirectional": true
+    },
+    {
+      "source": "MaxCut",
+      "target": "SpinGlass",
+      "bidirectional": true
+    },
+    {
+      "source": "VertexCovering",
+      "target": "SetCovering",
+      "bidirectional": false
+    },
+    {
+      "source": "Satisfiability",
+      "target": "IndependentSet",
+      "bidirectional": false
+    },
+    {
+      "source": "Satisfiability",
+      "target": "Coloring",
+      "bidirectional": false
+    },
+    {
+      "source": "IndependentSet",
+      "target": "VertexCovering",
+      "bidirectional": true
+    },
+    {
+      "source": "Satisfiability",
+      "target": "DominatingSet",
+      "bidirectional": false
+    }
+  ]
+}