问题
For a graph let denote the minimal number of vertices that include at least one from each maximal clique of (aside from isolated vertices). This is sometimes called the clique transversal number.
Estimate . In particular, is it true that if has vertices then
for some , or even
for some absolute constant ?
问题陈述引自 erdosproblems.com/610(Thomas Bloom 维护),保留英文原文。原始出处:[EGT92][Er94][Er99]。该网站上的当前状态:已证明(Lean 形式化)。
AI 贡献
以下记录来自 Terence Tao 的 Wiki AI contributions to Erdős problems(数据截至 2026 年 6 月 30 日)。🟢 完整、🟡 部分、⚪ 待核实、🔴 有误。
| 日期 | 类型 | AI 系统 | 合作者 | 结果 |
|---|---|---|---|---|
| 21 Apr, 2026 | AI 与人合作 | Aristotle, GPT-5.4 Pro | Przemek Chojecki | 🟢 完整解(Lean 形式化)(文献中已隐含) |
说明
Wiki 中的分类是暂定的,也不是一份评测榜单。许多 Erdős 问题从未有过完整的文献调研,看似新的结果日后可能被发现早已存在;也有一些问题本身的表述有歧义或错误。完整的讨论见问题页面。
∎