摘要：构建一个非二可染色的k-均匀超图，并且边数为(2^(1 + o(1)))^k。通过超图的对偶性和单调k-CNF公式，我们得到一个不可满足的单调k-CNF公式，其中子句数为(2^(1 + o(1)))^k。
作者：Heidi Gebauer
论文ID：0911.0900
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2009-11-05
PDF 下载： 英文版 中文版pdf翻译中