เป็น NP ในหรือไม่
เป็น NP ในหรือไม่
คำตอบ:
อีกเหตุผลที่ดีที่จะเชื่อว่าคือN P ⊆ Q PหมายถึงE X P = N E X Pและหลังนั้นคิดว่าไม่น่าเป็นไปได้สูง ความหมายนี้สามารถพิสูจน์ได้โดยอาร์กิวเมนต์การเติมดูที่ตัวอย่างเช่นในการพิสูจน์ข้อเสนอที่ 2 ในเอกสารต่อไปนี้:
H. Buhrman และ S. Homer, "วงจร Superpolynomial, oracles เบาบางและลำดับชั้นแบบทวีคูณ," รากฐานของเทคโนโลยีซอฟต์แวร์และวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี, Springer LNCS Vol. 652, 1992, pp. 116-127, pdf