研究人员开发出了宽度为O(n)但证书复杂度为Ω(n^2)的无歧义析取范式（DNF）。该构造利用了这些DNF的特定结构，证明了一个提升定理，将证书复杂度分离转化为通信复杂度分离。这项工作为Alon-Saks-Seymour猜想提供了最优反驳，并为Clique与Independent Set问题提供了改进的通信下界，其结果超越了先前几项双对数因子的结果。 AI
影响 推进了计算复杂性的理论理解，可能影响未来的算法设计。
排序理由 该条目描述了一篇具有新构造和证明的理论计算机科学论文。[lever_c_demoted from research: ic=1 ai=0.4]
在 Hugging Face Daily Papers 阅读 →
- Alon-Saks-Seymour conjecture
- Ben-David
- Clique versus Independent Set problem
- Columba
- FOCS 2021
- Göös
- Jain
- Kothari
- SICOMP 2023
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
