构造边数极少的非2-可着色k-一致超图
离散数学
2009-11-05 v2
摘要
我们展示了如何构造一个具有(2^(1 + o(1)))^k条边的非2-可着色k-一致超图。通过超图与单调k-CNF公式的对偶性，这给出了一个具有(2^(1 + o(1)))^k个子句的不可满足单调k-CNF公式。
引用
@article{arxiv.0911.0900,
title = {Construction of a Non-2-colorable k-uniform Hypergraph with Few Edges},
author = {Heidi Gebauer},
journal= {arXiv preprint arXiv:0911.0900},
year = {2009}
}
备注
3 pages