varsayımı altında NPI'da olduğu bilinen seyrek bir dil var mı ?

Ben NPI seyrek dil (hatta gecikmiş diagolanization tarafından inşa) varsayımı bunun altında bulunmaktadır Hava bilmek merak .$P \neq NP$

Açık bir sorun olup olmadığını veya sorunun çözülüp çözülmediğini bilmiyorum. Yine de aşağıdaki makale bu probleme ışık tutabilir:

Kurtz, SA 1985. NP-P'de seyrek kümeler: relativizasyonlar. SIAM J. Comput. 14, 1 (Şubat 1985), 113-119. DOI = http://dx.doi.org/10.1137/0214008

Temel olarak, P ≠ NP olduğu varsayıldığında bile, NP-P'de seyrek kümelerin bulunmadığı bir kehanetin olduğunu belirtir.

Öte yandan, aşağıdaki makale:

T. Baker, J. Gill ve R. Solovay, "P =? NP Sorusunun Görecelemesi", SIAM J. Computing (1975), 431-442. DOI = http://dx.doi.org/10.1137/0204037

NP-P'de seyrek kümelerin var olduğu bir kehaneti gösterir.

$NPI \subset NP-P$

$E \neq NE$

Hartmanis, J., Sewelson, V. ve Immerman, N. 1983. NP-P'deki seyrek kümeler: Nexptime'e karşı Uzatma. Gelen Bilgi İşlem STOC '83 teorisi üzerinde XV Yıllık ACM Sempozyumu . ACM, New York, NY, 382-391. DOI = http://doi.acm.org/10.1145/800061.808769

(Dergi sürümü burada bulunabilir: http://dx.doi.org/10.1016/S0019-9958(85)80004-8 )