是7。
历史.这个问题由E. Nelson在1950年提出，马丁·加德纳在1960年的《科学美国人》杂志公开发表。Hugo Hadwiger在1945年曾发表一个相关的定理。2018年，业余数学家兼生物学家奥布里·大卫·尼古拉斯·杰士伯·德格雷找到了一个1581个点的、不可4染色的、所有边长度为1的图。其证明是基于计算机辅助的。