From cd087668134e9f675ce6f088c049951427304bcf Mon Sep 17 00:00:00 2001 From: Xiwei Pan Date: Tue, 14 Apr 2026 11:57:40 +0800 Subject: [PATCH 1/4] fix completeness check: use covered-rules.final() instead of .get() The warning falsely reported 4 missing rules because .get() only sees state accumulated before the current location. Rules defined after the check were invisible. Using .final() sees all rules in the document. Co-Authored-By: Claude Opus 4.6 (1M context) --- docs/paper/reductions.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/paper/reductions.typ b/docs/paper/reductions.typ index 9448c587..f173056b 100644 --- a/docs/paper/reductions.typ +++ b/docs/paper/reductions.typ @@ -15027,7 +15027,7 @@ Problems parameterized by graph type, weight type, or clause-width ($k$) admit i // Completeness check: warn about reduction rules in JSON but missing from paper #context { - let covered = covered-rules.get() + let covered = covered-rules.final() let json-edges = { let edges = graph-data.edges.map(e => (graph-data.nodes.at(e.source).name, graph-data.nodes.at(e.target).name)) let unique = () From e5fbae15b06f58de3916bb38e5c360ed61bd5e23 Mon Sep 17 00:00:00 2001 From: Xiwei Pan Date: Tue, 14 Apr 2026 12:11:27 +0800 Subject: [PATCH 2/4] update arxiv --- docs/paper/reductions.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/paper/reductions.typ b/docs/paper/reductions.typ index f173056b..a2f6b754 100644 --- a/docs/paper/reductions.typ +++ b/docs/paper/reductions.typ @@ -607,7 +607,7 @@ #super[2]Institute of Science Tokyo #h(0.3em) #super[3]RIKEN ] #v(1.5em) - #text(size: 10pt, style: "italic")[arXiv:2604.xxxxx] + #text(size: 10pt, style: "italic")[arXiv:2604.11535] #v(0.3em) #text(size: 10pt, style: "italic", fill: blue)[#link("https://github.com/CodingThrust/problem-reductions")[github.com/CodingThrust/problem-reductions]] #v(1.5em) From 3f0da0acbbff128d12eb59a5ad528d708dd77d20 Mon Sep 17 00:00:00 2001 From: Xiwei Pan Date: Tue, 14 Apr 2026 12:12:59 +0800 Subject: [PATCH 3/4] Update arXiv link --- docs/paper/reductions.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/paper/reductions.typ b/docs/paper/reductions.typ index a2f6b754..e64bb909 100644 --- a/docs/paper/reductions.typ +++ b/docs/paper/reductions.typ @@ -607,7 +607,7 @@ #super[2]Institute of Science Tokyo #h(0.3em) #super[3]RIKEN ] #v(1.5em) - #text(size: 10pt, style: "italic")[arXiv:2604.11535] + #text(size: 10pt, style: "italic")[#link("https://arxiv.org/abs/2604.11535")[arXiv:2604.11535]] #v(0.3em) #text(size: 10pt, style: "italic", fill: blue)[#link("https://github.com/CodingThrust/problem-reductions")[github.com/CodingThrust/problem-reductions]] #v(1.5em) From db1b534611fb883cbecc2e782ce41da5713e3170 Mon Sep 17 00:00:00 2001 From: Xiwei Pan Date: Tue, 14 Apr 2026 12:19:46 +0800 Subject: [PATCH 4/4] add citation section to README Co-Authored-By: Claude Opus 4.6 (1M context) --- README.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/README.md b/README.md index 8fb589bc..0efcb285 100644 --- a/README.md +++ b/README.md @@ -100,6 +100,22 @@ This project draws inspiration from the following packages: - **[A Compendium of NP Optimization Problems](https://www.csc.kth.se/tcs/compendium/)** — Online catalog of NP optimization problems with approximability results (Crescenzi & Kann). - **Computers and Intractability** (Garey & Johnson, 1979) — The classic reference cataloging 300+ NP-complete problems with reductions. The most cited book in computer science. +## Citation + +If you find this project useful in your research, please cite: + +```bibtex +@misc{pan2026problemreductionsscaleagentic, + title={Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems}, + author={Xi-Wei Pan and Shi-Wen An and Jin-Guo Liu}, + year={2026}, + eprint={2604.11535}, + archivePrefix={arXiv}, + primaryClass={cs.AI}, + url={https://arxiv.org/abs/2604.11535}, +} +``` + ## License MIT License - see [LICENSE](LICENSE) for details.