ในงานล่าสุดของเราเราแก้ไขปัญหาการคำนวณที่เกิดขึ้นในบริบท combinatorial ภายใต้สมมติฐานว่าโดยที่ ⊕คือ E X P-เวอร์ชันของ ⊕P เฉพาะกระดาษบน ⊕ที่เราพบเป็น Beigel-Buhrman-Fortnow1998 กระดาษที่ถูกอ้างถึงในสวนสัตว์ซับซ้อน เราเข้าใจว่าเราสามารถจัดการกับปัญหาที่ไม่สมบูรณ์ของ N E X P ได้ (ดูคำถามนี้) แต่บางทีหลายคนในความเป็นจริงอาจไม่สมบูรณ์ใน P
คำถาม: มีเหตุผลที่ซับซ้อนที่จะเชื่อว่า ? มีปัญหา combinatorial ตามธรรมชาติที่สมบูรณ์ใน ⊕ ? มีข้อมูลอ้างอิงบางส่วนที่เราอาจหายไปหรือไม่