禁止构型：寻找 Anstee-Sali 猜想预测的数量是 NP 难的
离散数学
2013-01-30 v2 组合数学
摘要
设 F 为一个超图，forb(m,F) 表示不包含 F 作为子超图的 m 顶点超图所能拥有的最大边数。Anstee 和 Sali 的一个猜想预测了固定 F 时 forb(m,F) 的渐近行为。在本文中，我们证明即使寻找这种预测的渐近行为也是一个 NP 难问题，这意味着如果 Anstee-Sali 猜想成立，那么寻找 forb(m,F) 的渐近性将是 NP 难的。
引用
@article{arxiv.1210.8189,
title = {Forbidden Configurations: Finding the number predicted by the Anstee-Sali Conjecture is NP-hard},
author = {Miguel Raggi},
journal= {arXiv preprint arXiv:1210.8189},
year = {2013}
}