Hamilton Decompositions of the Directed 5-Torus, Odd Modulus
Prior state unknown→proved
The directed five-dimensional torus $D_5(m)$ has a Hamilton decomposition for every odd $m \geq 3$, extending the decomposition program for directed tori beyond the three-dimensional case.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review