易数函数与Tally NP集合
摘要：P集合是否拥有易于计算的普查函数的问题研究。我们通过类似于FP中的#P\_1的容纳，其中#P\_1是计算NP集合的证据数量的函数类的倒塌等语言和函数类的特征来描述这个问题。我们证明了每个#P\_{1}^{PH}函数可以在FP^{#P\_{1}^{#P\_{1}}}中计算。因此，当且仅当多项式层次中的所有集合都有时，每个P集合都有一个易于计算的普查函数。我们证明#P\_1被包含在FP中的假设意味着P = BPP并且PH被包含在MOD\_{k}P中，其中k大于等于2，这 further 提供了证据表明并不是所有P集合都有易于计算的普查函数。我们还将集合的拥有易于计算的普查函数的属性与其他众所周知的集合属性（如可排序性和可伸缩性）相关联。最后，我们证明，任何P集合的普查函数不能如同多项式时间内精确地计算一样是可能的（更准确地说，对于固定的alpha和eta，不能在时间n^{eta}中以n^{alpha}方式枚举）。
作者：Judy Goldsmith, Mitsunori Ogihara, Joerg Rothe
论文ID：cs/9809002
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23