一是有20棵树,每行四棵,古罗马、古希腊在16世纪就完成了16行的排列,18世纪高斯猜想能排18行,19世纪美国劳埃德完成此猜想,20世纪末两位电子计算机高手完成20行纪录,跨入21世纪还会有新突破吗?
二是相邻两国不同着一色,任一地图着色最少可用几色完成着色?五色已证出,四色至今仅美国阿佩尔和哈肯,罗列了很多图谱,通过电子计算机逐一理论完成,全面的逻辑的人工推理证明尚待有志者。
三是任三人中可证必有两人同性,任六人中必有三人互相认识或互相不认识(认识用红线连,不认识用蓝线连,即六质点中二色线连必出现单色三角形)。近年来国际奥林匹克数学竞赛也围绕此类热点题型遴选后备攻坚力量。(如十七个科学家讨论三课题,两两讨论一个题,证至少三个科学家讨论同一题;十八个点用两色连必出现单色四边形;两色连六个点必出现两个单色三角形,等等。)单色三角形研究中,尤以不出现单色三角形的极值图谱的研究更是难点中之难点,热门中之热门。
归纳为20棵树植树问题,四色绘地图问题,单色三角形问题。通称现代数学三大难题。