选择函数的代数性质
摘要：P-selective集合的非确定性建议复杂性已知为线性。关于P-selective集合的确定性建议复杂性，即多项式时间机器在一般情况下识别它们所需的Karp-Lipton建议的数量，目前的最佳上界是二次的[Ko，1983]，最佳下界是线性的[Hemaspaandra and Torenvliet，1996]。 我们证明每个可关联的P-selective集合也是可交换的、可关联的P-selective集合。利用这一点，我们建立了P-selective集合具有线性上界的代数充分条件（从而与现有的下界相匹配）的证据复杂性：如果所有的P-selective集合都是可关联的P-selective集合，则P-selective集合的确定性建议复杂性是线性的。以前已知最弱的充分条件是P=NP。 我们还建立了与代数属性和非确定性选择性集合的建议复杂性有关的相关结果。
作者：Lane A. Hemaspaandra, Harald Hempel, and Arfst Nickelsen
论文ID：cs/0501022
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23