在

我想知道是否在的假设下，NPI中是否存在稀疏语言（甚至是由延迟的diagolanization构建）。$P \neq NP$

我不知道您是在问一个开放的问题，还是已经解决了。然而，以下论文可以阐明这个问题：

1985年，库尔兹（Kurtz），《稀疏》中的NP-P：相对化。SIAM J.计算。14，14（1985年2月），113-119。DOI = http://dx.doi.org/10.1137/0214008

基本上，它指出，即使假设P≠NP，也存在一个相对论，NP-P中不存在稀疏集。

另一方面，以下论文：

T. Baker，J。Gill和R. Solovay，“ P =？NP问题的相对化”，SIAM J. Computing（1975），431-442。DOI = http://dx.doi.org/10.1137/0204037

演示相对于NP-P中存在稀疏集的预言。

$NPI \subset NP-P$

$E \neq NE$

Hartmanis，J.，Sewelson，V.和Immerman，N.1983。NP-P中的稀疏集：Exptime与nexptime。在第15届ACM年度STOC '83计算理论研讨会上的论文集。ACM，纽约，纽约，382-391。DOI = http://doi.acm.org/10.1145/800061.808769

（可在此处找到期刊版本：http：//dx.doi.org/10.1016/S0019-9958（85）80004-8）