非确定性与Nečiporuk下界方法的抽象表述
计算复杂性
2019-12-04 v1
摘要
我们给出了一种比通常的特定复杂度度量表述稍具包容性的“Nečiporuk下界方法”表述。利用这一通用表述，我们获得了该方法在若干计算模型（如可访问亚线性数量非确定比特的分支程序和布尔公式）上所能达到下界的局限性。特别地，我们证明了对于任意非确定性和奇偶分支程序的大小，Nečiporuk方法所能达到的下界至多为 。
引用
@article{arxiv.1608.01932,
title = {Nondeterminism and an abstract formulation of Ne\v{c}iporuk's lower bound method},
author = {Paul Beame and Nathan Grosshans and Pierre McKenzie and Luc Segoufin},
journal= {arXiv preprint arXiv:1608.01932},
year = {2019}
}