不含 $K_{2,2}$ 的二分图的 CNF 复杂度
计算复杂性
2012-06-27 v1 离散数学
经典分析与常微分方程
组合数学
摘要
通过概率构造，我们发现了一个平均度为 的二分图，该图可用 个子句的合取范式表示。这一结果反驳了 Jukna 的研究问题 1.33。
引用
@article{arxiv.1206.6068,
title = {On the CNF-complexity of bipartite graphs containing no $K_{2,2}$'s},
author = {Nets Hawk Katz},
journal= {arXiv preprint arXiv:1206.6068},
year = {2012}
}
备注
6 pages