hamiltonian-decomposition

Here is 1 public repository matching this topic...

no-way-labs / residue

Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m > 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents under a structured exploration prompt. Constructions, proofs, Lean formalization, and a verification suite.

mathematics graph-theory combinatorics knuth automated-reasoning lean4 llm-agents cayley-graph ai-for-math hamiltonian-decomposition

Updated Jul 3, 2026
TeX

Improve this page

Add a description, image, and links to the hamiltonian-decomposition topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hamiltonian-decomposition topic, visit your repo's landing page and select "manage topics."

Learn more