กล่าวอย่างง่ายๆคืออะไรการติดต่อกันระหว่างเครื่องจักรทัวริงกับ oracles และตระกูลวงจรที่มี oracles? วิธีหลังถูกกำหนดเพื่อให้ได้แบบจำลองการคำนวณเดียวกันสำหรับเครื่องพยากรณ์ทัวริงที่กำหนด?
นี่อาจเป็นคำถามระดับประถม แต่ก็ไม่ชัดเจนว่าจะต้องดูที่ไหนและฉันเป็นคนประเภทที่ชอบที่จะทำให้แน่ใจว่ารากฐานของฉันกำลังใช้ปูนคุณภาพดี หากมีการอ้างอิงมาตรฐานโปรดชี้ฉันไปที่มัน (ตัวอย่างเช่นหนังสือของ Papadimitriou ดูเหมือนจะไม่อธิบายวงจรที่มี oracles เลย)
สมมุติฐานการทำงานของฉันคือ: ชุดวงจรตระกูลที่มีการเข้าถึง oracle (เช่นสำหรับการแก้ปัญหา NP-complete) ถูกกำหนดดังนี้:
หนึ่งกำหนดตระกูลอนันต์ของ "oracle gates" O n , หนึ่งสำหรับแต่ละขนาดวงจร n, แต่ละอันคำนวณฟังก์ชัน f n : {0,1} cn → {0,1} สำหรับค่าคงที่บางค่า
ฟังก์ชั่น f nคำนวณโดย oracle gates O nควรเป็น "ชุด" ในแง่ต่อไปนี้: สำหรับ n <N และx ∈ {0,1} n ใดๆ เราต้องการ f n ( x ) = f N (0 c ( N − n) x ) --- นั่นคือ oracle gates ต้องใช้ "การเข้ารหัส" ที่ต่อเนื่องและยืดขยายได้ของอินพุตของพวกเขา
หนึ่งแล้วกำหนดครอบครัววงจรเครื่องแบบที่ประตูพยากรณ์อยู่ในหมู่ผู้ได้รับอนุญาตให้ดำเนินงานวงจร จำกัด วงจรสำหรับขนาดอินพุต n ใช้ประตู O n
ฉันจินตนาการว่าตัวเลือกบางตัวด้านบนอาจได้รับการแก้ไขตามอำเภอใจโดยไม่สูญเสียความสามารถ สิ่งที่ฉันสนใจคือการอ้างอิงสำหรับการโต้ตอบหรืออย่างน้อยคำอธิบายของวิธีการแก้ไขคำอธิบายข้างต้นเพื่อให้ได้มาตรฐาน