ผู้สมัครรับธรรมชาติสำหรับ NP-E และ E-NP

มันเป็นที่รู้จักกันมาตั้งแต่ต้นยุค 70 ว่า ${\bf NP}$ และ ${\bf E}=DTIME(2^{O(n)})$ ไม่เท่ากัน (เพราะ ${\bf E}$ ไม่ได้ปิดภายใต้พหุนามเวลาลดลงหลายคนในทางตรงกันข้าม ${\bf NP}$) เท่าที่ฉันรู้อย่างไรก็ตามมันยังเปิดอยู่ว่าชั้นหนึ่งเป็นส่วนย่อยของอีกชั้นหนึ่งหรือพวกเขาไม่มีที่เปรียบซึ่งหมายความว่า${\bf NP}-{\bf E}$ และ ${\bf E}-{\bf NP}$ มีทั้งที่ไม่ว่างเปล่า

คำถาม: มีปัญหาใดบ้าง (เป็นธรรมชาติกว่า) ที่ผู้สมัครเข้ามา ${\bf NP}-{\bf E}$ หรือ ${\bf E}-{\bf NP}$สมมติว่าชุดนั้นไม่ว่างเปล่า? ฉันเป็นคนที่สนใจเฉพาะปัญหาธรรมชาติภายใน${\bf NP}$ที่อาจต้องใช้เวลาเอ็กซ์โพเนนเชียลพร้อมด้วยเลขชี้กำลังแบบsuperlinearนั่นคือพวกมันอยู่ใน${\bf NP}-{\bf E}$.

TQBF (สูตรบูลีน True Quantified) อยู่ใน E และจะไม่อยู่ใน NP ยกเว้น NP = PSPACE

ภาษาใน NP-E นั้นซับซ้อนกว่า ภาษาดังกล่าวจะอยู่ใน NP-NTIME (n) และเราไม่มีตัวอย่างที่ดีของภาษาเหล่านั้น คุณสามารถใช้รูปแบบย่อแทนเช่น

$L = \{ C \ |\ $วงจรไฟฟ้า $C$ อธิบายกราฟ $G$ บน $|C|^5$ โหนดที่ $G$ เป็น 3 สี$\}$.

$L$ อยู่ใน NP ไม่น่าจะเป็น $E$ แต่ไม่ใช่ธรรมชาติ