Scifaro

中文

鸽巢公式的OBDD反驳的指数下界

计算复杂性 2009-09-29 v1 计算机科学中的逻辑

作者: Olga Tveretina , Carsten Sinz , Hans Zantema

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

Haken证明了鸽巢公式的每个归结反驳至少具有指数大小。Groote和Zantema证明了鸽巢公式的特定OBDD计算具有指数大小。这里我们证明鸽巢公式的任意OBDD反驳也具有指数大小：我们证明其中一个中间OBDD的大小至少为 $\Omega(1.025^n)$ 。

关键词

鸽巢公式 OBDD反驳指数下界归结证明复杂性

引用

@article{arxiv.0909.5038,
  title  = {An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas},
  author = {Olga Tveretina and Carsten Sinz and Hans Zantema},
  journal= {arXiv preprint arXiv:0909.5038},
  year   = {2009}
}