仮定の下でNPIにあることがわかっている疎な言語はありますか？

であるという仮定の下で、NPIにスパース言語（遅延ダイアゴラナイゼーションによって構成されていても）があるかどうかを知りたいと思います。$P \neq NP$

あなたが未解決の問題を求めているのか、それともすでに解決されているのかはわかりません。しかし、次の論文はこの問題にいくつかの光を当てることができます：

Kurtz、SA1985。NP-Pのスパースセット：相対化。SIAM J. Comput。14、1（1985年2月）、113-119。DOI = http://dx.doi.org/10.1137/0214008

基本的に、P≠NPを仮定しても、NP-Pにスパースセットが存在しないオラクルが相対的に存在すると述べています。

一方、次の論文：

T.ベイカー、J。ギル、およびR.ソロベイ、「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。ではコンピューティングSTOC '83の理論第15回ACMシンポジウム。ACM、ニューヨーク、ニューヨーク、382-391。DOI = http://doi.acm.org/10.1145/800061.808769

（ここで入手できるジャーナルバージョン：http : //dx.doi.org/10.1016/S0019-9958(85 ) 80004-8）