Esiste un linguaggio sparsa conosciuto in NPI sotto l' ipotesi

Mi chiedo di sapere wether ci sono lingua sparse (anche costruito da ritardato diagolanization) nel NPI sotto l'ipotesi che .$P \neq NP$

Non so se stai chiedendo un problema aperto o se è già stato risolto. Tuttavia, il seguente documento può far luce su questo problema:

Kurtz, SA 1985. Insiemi sparsi in NP-P: relativizzazioni. SIAM J. Comput. 14, 1 (febbraio 1985), 113-119. DOI = http://dx.doi.org/10.1137/0214008

Fondamentalmente, afferma che, anche assumendo P ≠ NP, esiste un oracolo rispetto al quale non esistono insiemi sparsi in NP-P.

D'altra parte, il seguente documento:

T. Baker, J. Gill e R. Solovay, "Relativizzazioni della domanda P =? NP", SIAM J. Computing (1975), 431-442. DOI = http://dx.doi.org/10.1137/0204037

dimostra un oracolo rispetto al quale esistono insiemi sparsi in NP-P.

$NPI \subset NP-P$

$E \neq NE$

Hartmanis, J., Sewelson, V. e Immerman, N. 1983. Sparse insiemi in NP-P: Exptime contro nexptime. In Atti del quindicesimo simposio annuale ACM sulla teoria del calcolo STOC '83 . ACM, New York, NY, 382-391. DOI = http://doi.acm.org/10.1145/800061.808769

(Versione del diario disponibile qui: http://dx.doi.org/10.1016/S0019-9958(85)80004-8 )