Tait's conjecture

path）有许多研究。1880年，P.G. Tait（英语：Peter Tait (physicist)）猜想任一立方多面体图都有哈密顿回路。1946年，威廉·湯瑪斯·圖特提出了Tait猜想（英语：Tait's conjecture）的反例，有46个点的图特图（英语：Tutte

纽曼常数为非正数，陶和罗杰斯的结论说明了黎曼猜想等价于德布鲁因-纽曼常数为0。 2020 年，陶哲轩证明了森多夫猜想（英语：Sendov's conjecture），该猜想涉及在具有足够高（英语：sufficiently large）阶的多项式的情况下，复多项式的根和临界点的位置。

les lieux, et, après avoir mûrement examiné les nombreux échantillons que j’y rencontrai, je fus convaincu que ma conjecture était fondée » (Lévy, 1843)

项可定义的(Plotkin-Statman-conjecture)。这个推测被 Loader 在 1993 年证明为假。 A. Church: A Formulation of the Simple Theory of Types, JSL 5, 1940 W.W.Tait: Intensional Interpretations

平面图判定：判定给定的图是否是平面图（此问题与子图的关系，参见库拉托夫斯基定理） 一个尚未解决的与子图相关的猜想，重构猜想（Reconstruction conjecture）：一个n阶图是否能够由其所有n-1阶导出子图唯一确定？ 点色数（Chromatic number） 边色数（Chromatic index）