在平均情况和最坏情况假设下，完备性概念的折叠与分离
摘要：1. 在NP中存在一类问题，其在几乎所有长度上需要指数时间解决，那么每个多对一NP完全集都可以在通过多项式大小的电路计算的长度递增约简下完成。 2. 如果在coNP中存在一个不能通过多项式大小的非确定性电路来解决的问题，则每个多对一完全集都可以在通过多项式大小的电路计算的长度递增约简下完成。 3. 如果存在一个相对于亚指数大小电路安全的单向置换，并且在NP和coNP的交集中存在一个困难的清点语言，那么存在一个对于NP是图灵完全的语言，但其不是多对一完全的。
作者：Xiaoyang Gu, John M. Hitchcock, and A. Pavan
论文ID：1001.0117
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-03