de Grey 圖

De Grey (2018) 發現了色數為 5 的 單位距離圖 的首批示例，從而證明了 Hadwiger-Nelson 問題（即平面的色數）的解至少為 5。雖然 de Grey 的原始圖包含 個頂點，但他能夠將這個數字（在修正後）減少到上面所示的 1581 個頂點的圖（de Grey 2018），在本工作中稱為 de Grey 圖。

在最初的預印本釋出幾天後，Mixon (2018) 構建了一個類似的 1585 個頂點的圖，從中移除 8 個頂點後，得到了一個更小的 1577 個頂點的圖。這項工作將這兩個圖稱為 Mixon 圖。

更小的色數為 5 的 單位距離圖，此處稱為 Heule 圖 和 Parts 圖，是由 Marijn Heule 和 Jaan Parts 在 2018 年至 2020 年間透過計算從 de Grey 圖中推匯出來的。截至 2022 年，其中最小的是 509 個頂點的 Parts 圖 (Parts 2020a)。

de Grey 圖在 Wolfram 語言 中實現為GraphData["DeGreyGraph"].

由於 de Grey 的其他圖是色數為 6 的 59 頂點和 60 頂點圖，它們在 3 維（但不在 2 維）中是單位距離圖，以及 Parts (2020b) 討論的 126 頂點圖。