Hamilton Decompositions of the Directed 3-Torus
Prior state unknown→proved
For $D_3(m) = \vec{C}_m \square \vec{C}_m \square \vec{C}_m$, can the full arc set be partitioned into three directed Hamilton cycles for every integer $m \ge 3$?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review