Guy's Conjecture
Guy's conjecture, which has not yet been proven or disproven, states that the graph crossing number for a complete
graph of order
is
|
(1)
|
where
is the floor
function, which can be rewritten
![]() |
(2)
|
The first few values are 0, 0, 0, 0, 1, 3, 9, 18, 36, 60, ... (OEIS A000241).
Guy (1972) proved the conjecture for
, a result
extended to
by Pan and Richter (2007).

vertex-transitive
graph

