研究人员开发了一种新的无歧义析取范式(DNF)构造方法,该方法在宽度和证书复杂度之间表现出显著的分离。这种构造方法能够最优地反驳Alon-Saks-Seymour猜想,并为Clique与Independent Set问题提供了改进的通信下界。这项工作还带来了查询复杂度和学习理论中的最优分离,包括证书复杂度与近似度之间的四次分离,以及多类概念类别的下界。 AI
排序理由 该条目是一篇详细介绍理论计算机科学研究的学术论文。[lever_c_demoted from research: ic=1 ai=0.1]
- Alon-Saks-Seymour conjecture
- Ben-David
- Clique versus Independent Set problem
- Columba
- FOCS 2021
- Göös
- Jain
- Kothari
- SICOMP 2023
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →