Search papers, labs, and topics across Lattice.
1
0
Unit-distance graphs with rational-multiple-of-$\pi$ edge directions are always 3-colorable, and even algebraic noninteger parameters rarely require more than 3 colors.