1
สัญชาตญาณเบื้องหลังความสัมพันธ์
ฉันเรียนหลักสูตร Computational Complexity ปัญหาของฉันคือฉันไม่เข้าใจวิธีการ Relativization ฉันพยายามหาปรีชาเล็กน้อยในหนังสือเรียนหลายเล่มน่าเสียดายที่ยังไม่ประสบความสำเร็จ ฉันจะซาบซึ้งถ้ามีใครสามารถกำจัดความสว่างในหัวข้อนี้เพื่อที่ฉันจะสามารถดำเนินการต่อด้วยตัวเอง ไม่กี่ประโยคต่อไปนี้เป็นคำถามและความคิดของฉันเกี่ยวกับความสัมพันธ์พวกเขาจะช่วยนำทางการสนทนา บ่อยครั้งที่การสัมพัทธภาพสัมพันธ์กันมากเมื่อเทียบกับแนวทแยงมุมซึ่งเป็นวิธีที่ช่วยแยกความแตกต่างระหว่างชุดที่นับได้และชุดที่นับไม่ได้ มันอย่างใดมาจาก relativization ที่PPPเมื่อเทียบกับคำถามไม่สามารถแก้ไขได้โดย diagonalization ฉันไม่เห็นความคิดที่ว่าทำไมการสร้างความสัมพันธ์แสดงไร้ประโยชน์ในแนวทแยงมุมและถ้ามันไร้ประโยชน์ทำไมที่ไร้ประโยชน์จริงๆNPยังไม่มีข้อความPNP แนวคิดเบื้องหลัง oracle ทัวริงเครื่องในตอนแรกนั้นชัดเจนมาก อย่างไรก็ตามเมื่อพูดถึงN P AและP Aสัญชาตญาณจะหายไป Oracle เป็นกล่องดำที่ออกแบบมาสำหรับภาษาพิเศษและตอบคำถามว่าสตริงในการป้อนข้อมูลของ oracle เป็นภาษาในเวลาที่ 1 ตามที่ฉันเข้าใจ TM ที่มี oracle เป็นเพียงการดำเนินการเสริมและถาม oracle ดังนั้นแกนกลางของ TM คือ oracle ทุกสิ่งทุกอย่างมีความสำคัญน้อยกว่า ความแตกต่างระหว่างP AและN P Aคืออะไรแม้แต่คิดว่าคำทำนายในทั้งสองทำงานในเวลา 1MAMAM^ANPAยังไม่มีข้อความPANP^APAPAP^APAPAP^ANPAยังไม่มีข้อความPANP^A สิ่งสุดท้ายที่จะพิสูจน์การดำรงอยู่ของออราเคิลดังกล่าวว่าP B ≠ N P B ฉันพบหลักฐานในหนังสือเรียนหลายเล่มและหลักฐานทั้งหมดดูเหมือนจะคลุมเครือมาก ฉันพยายามใช้"ความรู้เบื้องต้นเกี่ยวกับความซับซ้อน" …