วิธีที่พบมากที่สุดที่เกิดขึ้นในทฤษฎีความซับซ้อนมีดังนี้: oracle คงที่มีให้พูดเครื่องทัวริงกับทรัพยากรที่มีอยู่อย่าง จำกัด
มี แต่วิธีที่ออราเคิลบางครั้งเกิดขึ้นอีกเป็นส่วนหนึ่งของการป้อนข้อมูล ตัวอย่างเช่นสมมติว่าฉันต้องการศึกษาอัลกอริธึมสำหรับคำนวณปริมาตรของโพลีท็อปมิติที่กำหนด โดยทั่วไปจะต้องระบุ polytope โดยจัดทำรายการ facets ของมันหรือการนำเสนอที่ชัดเจนอื่น ๆ อย่างไรก็ตามเราสามารถสร้างปัญหาในการคำนวณปริมาตรของโพลีท็อปที่ระบุโดยออราเคิลปริมาณที่ใช้พิกัดของจุดในอวกาศเป็นอินพุทและเอาท์พุท "ใช่" ถ้าและถ้าจุดที่กำหนดอยู่ภายใน polytope จากนั้นเราสามารถถามได้ว่าทรัพยากรการคำนวณใดที่จำเป็นในการคำนวณปริมาตรของ polytope ที่ระบุไว้ในลักษณะนี้ ในกรณีนี้เรามีรูปแบบการประมาณเวลาพหุนามที่ดีมากของ Dyer, Frieze และ Kannan และน่าสนใจจากมุมมองของทฤษฎีความซับซ้อนการพิสูจน์ว่าการสุ่มช่วยในวิธีที่สำคัญสำหรับปัญหานี้โดยที่ไม่มีอัลกอริธึมที่กำหนดได้ ดำเนินการเช่นเดียวกับอัลกอริทึม Dyer-Frieze-Kannan
มีวิธีที่เป็นระบบในการศึกษาทฤษฎีความซับซ้อนของปัญหาที่มีการจัดออราเคิลไว้เป็นส่วนหนึ่งของข้อมูลหรือไม่? มันช่วยลดทฤษฏีของคลาสความซับซ้อนที่มีออราเคิลหรือไม่? ฉันเดาว่าไม่ได้และเนื่องจากมีหลายวิธีมากเกินไปที่ oracle สามารถจัดหาให้เป็นส่วนหนึ่งของข้อมูลได้ทุกปัญหาของการจัดเรียงนี้จะต้องได้รับการจัดการในลักษณะที่เป็นกิจวัตร อย่างไรก็ตามฉันยินดีที่จะพิสูจน์ว่าผิดในจุดนี้