가정 하에서 NPI로 알려진 스파 스 언어가 있습니까?

나는 라는 가정하에 NPI에 희소 언어 (지연된 diagolanization으로 구성됨)가 있는지 알고 싶습니다 .$P \neq NP$

공개 된 문제를 묻고 있는지 또는 이미 해결되었는지 여부를 모르겠습니다. 그러나 다음의 논문은이 문제에 대해 어느 정도 설명 할 수 있습니다.

Kurtz, SA 1985. NP-P의 스파 스 세트 : 상대화. SIAM J. 컴퓨팅 14, 1 (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 vs. nexptime. 에서 컴퓨팅 STOC '83의 이론에 대한 15 차 연례 ACM 심포지엄 논문집 . ACM, 뉴욕, NY, 382-391. DOI = http://doi.acm.org/10.1145/800061.808769

(저널 버전 : http://dx.doi.org/10.1016/S0019-9958(85)80004-8 )