มีภาษากระจัดกระจายในภาษา NPI ภายใต้สมมติฐาน

ฉันสงสัยจะรู้ว่าสภาพอากาศมีภาษาเบาบาง (สร้างได้โดย diagolanization ล่าช้า) ใน NPI ภายใต้สมมติฐานว่าNP$P \neq NP$

ฉันไม่รู้ว่าคุณกำลังถามปัญหาแบบเปิดหรือไม่หรือว่ามันได้รับการแก้ไขแล้ว กระนั้นบทความต่อไปนี้สามารถอธิบายปัญหานี้ได้:

Kurtz, SA 1985. Sparse set ใน NP-P: relativizations SIAM J. Comput 14, 1 (ก.พ. 1985), 113-119 DOI = http://dx.doi.org/10.1137/0214008

โดยพื้นฐานแล้วกล่าวว่าแม้สมมติว่า P ≠ NP มี oracle สัมพันธ์ซึ่งไม่มีชุดกระจัดกระจายใน NP-P อยู่

ในทางตรงกันข้ามกระดาษต่อไปนี้:

T. Baker, J. Gill และ R. Solovay, "Relativizations ของ P =? NP คำถาม", SIAM J. Computing (1975), 431-442 DOI = http://dx.doi.org/10.1137/0204037

แสดงให้เห็นถึง oracle ที่เกี่ยวข้องกับชุด sparse ใน NP-P ที่มีอยู่

$NPI \subset NP-P$

$E \neq NE$

Hartmanis, J. , Sewelson, V. , และ Immerman, N. 1983. Sparse set ใน NP-P: Exptime กับ nexptime ในการดำเนินการของ ACM ประชุมวิชาการประจำปีครั้งที่ห้าในทฤษฎีของคอมพิวเตอร์ STOC 83 ACM, New York, NY, 382-391 DOI = http://doi.acm.org/10.1145/800061.808769

(รุ่นวารสารมีให้ที่นี่: http://dx.doi.org/10.1016/S0019-9958(85)80004-8 )