AITP
精选全部 AI 动态AI 日报Agent 接入我的简报我的追踪阅读偏好内容方法关于更新日志信源提报反馈
外观
登录 / 注册
AITOP

证书复杂度

共 1 条相关 AI 资讯
8月4日
11:59
11:59官方账号arXiv cs.LG@Chirag Pabbaraju
论文构造了一族无歧义DNF,宽度为O(n),但0-证书复杂度达到Ω(n^2)。借助常数大小的提升引理,将证书复杂度分离转化为通信复杂度分离,得到Clique vs Independent Set问题的最优通信下界,并最优反驳了Alon-Saks-Seymour猜想。相比Balodis等人(FOCS 2021)的结果,通信下界改进多个双对数因子。该构造还给出证书复杂度与近似度之间的四次分离,以及c个标签上多类概念类的样本压缩下界Ω(√log c)。
论文DNFAlon-Saks-Seymour猜想Clique vs Independent Set

推荐理由:这篇论文用特制的DNF把Alon-Saks-Seymour猜想彻底推翻,还把Clique vs Independent Set的通信下界拉到最优,复杂度理论党别错过。
原文
精选全部日报登录