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的通信下界拉到最优,复杂度理论党别错过。原文稍后读已读值得跟进有用关注 DNF