Questions tagged «nexp»

周围存在大量NP完全问题，并有大量文献收集，例如，请参阅Garey和Johnson的书。我也希望看到NEXP完整问题的列表。有没有一个？我假设没有，所以我提出了一个问题（这应该是社区Wiki吗？我不知道这件事）。 理想情况下，该列表应涵盖NEXP完全问题的不同“类型”，也许可以通过一些适当的冗余来获得全面的了解，但无需过多重复。例如，如果精简编码的形式略有不同，最好具有两个或三个相同的NP-complete问题的精简版本。一打。添加冗余的一种干净方法是添加以下形式的子句：“如果为BLAH，则还应为NEXP-complete”。还欢迎采用“如果输入图最多具有BLAH度，则保持NEXP完整”形式的子句。 最后，让我添加个人喜好。如果有的话，我最感兴趣的是“代数”味的完全问题。例如，我最喜欢的#P完全问题是其代数形式的永久性问题。我希望等式NEXP = MIP也可以提供一些我不知道的不错的代数NEXP完全问题。

31 cc.complexity-theory  complexity-classes  big-list  nexp 

是有可能，？这样的遏制会产生有趣的后果吗？它会与指数时间假说相抵触吗？小号一个牛逼¯¯¯¯¯¯¯¯¯¯∈ ñŤ一世中号Ë（exp（n0.9））小号一个Ť¯∈ñŤ一世中号Ë（经验值⁡（ñ0.9））\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

我有一个NEXP NP中的问题，也可以通过使用指数时间和一个交替（从存在状态开始）的交替TM来解决。NPNP^{\text{NP}} 关于NEXP NP有什么已知的吗？它等于NEXP或其他同类产品吗？除了通用的问题以外，是否还有其他完整的问题（考虑到NEXP NP机器和一个词，它可以接受吗？）。NPNP^{\text{NP}}NPNP^{\text{NP}}

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

确实意味着？E X P = N E X PËXP=ñËXP\mathsf{EXP}=\mathsf{NEXP}E = N EË=ñË\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity