未解决问题,组合数学与离散数学,1977年提出
埃尔德什–哈伊纳尔猜想
未解决埃尔德什
对任意有限图 ,存在常数 ,使得任意不含诱导子图 的 顶点图 必包含规模至少为 (即多项式规模)的团或独立集。
截至2026年,埃尔德什–哈伊纳尔猜想对 个及以上顶点的一般禁止子图 (如 与 )仍未解决。对任意 ,不含诱导 的 顶点图中最大同质集的最优普适下界为 (布契奇、阮松、斯科特与西摩,2023)。在结构方面,阮松、斯科特与西摩的 Induced subgraph density 系列论文解决了不含诱导 的图的情形(完成了所有顶点数不超过 的图),并证明了有界VC维的遗传图类满足多项式埃尔德什–哈伊纳尔性质。
已知最佳结果
- 对任意图 ,每个不含诱导 的 顶点图都含有规模至少为 的团或独立集(布契奇、阮松、斯科特与西摩,2023)。
- 完整的多项式猜想对所有满足 的图 (由丘德诺夫斯基–斯科特–西摩–施皮尔克尔2021年解决 以及阮松–斯科特–西摩2023年解决 而收官)及由其经顶点替换生成的全部图均成立。
使用的方法及其局限
| 方法 | 取得的结果 | 局限所在 |
|---|---|---|
| 勒德尔定理与迭代密度递增/封锁分解法 | 结合勒德尔定理(不含诱导 的图必含线性规模的 -受限子集)与均衡封锁分解结构,证明了 下界,并解决了 及有界VC维图的情形。 | 对于闭包VC维无界的一般图 ,若无法在多项式尺度上维持结构性分裂,密度递增过程会在多轮迭代中使顶点集按准多项式因子缩减。 |
尚未解决的问题
- 埃尔德什–哈伊纳尔猜想对不含诱导 的图和不含诱导 的图是否成立?
- 能否将任意 的一般下界从 提升至某个 对应的 ?
参考文献
- Paul Erdős, András Hajnal (1989). Ramsey-type theorems · DOI:10.1016/0166-218X(89)90045-0
- Maria Chudnovsky (2014). The Erdős–Hajnal conjecture—a survey · DOI:10.1002/jgt.21730
- Matija Bucić, Tung Nguyen, Alex Scott, Paul Seymour (2024). Induced subgraph density. I. A loglog step towards Erdős–Hajnal · DOI:10.1093/imrn/rnae066 · arXiv:2301.10147
- Tung Nguyen, Alex Scott, Paul Seymour (2023). Induced subgraph density. VII. The five-vertex path · arXiv:2312.15333 [预印本,未经同行评审]