การโต้ตอบระหว่างคลาสที่ซับซ้อนและตรรกะ


33

ฉันเข้าชั้นเรียนหนึ่งครั้งเกี่ยวกับการคำนวณและตรรกะ วัสดุรวมความสัมพันธ์ระหว่างคลาสความซับซ้อน / การคำนวณ (R, RE, co-RE, P, NP, Logspace, ... ) และ Logics (แคลคูลัสเชิงกริยา, ตรรกะลำดับแรก, ... )

ความสัมพันธ์รวมผลลัพธ์หลายรายการในฟิลด์เดียวที่ได้รับโดยใช้เทคนิคจากฟิลด์อื่น มันถูกคาดเดาว่า P! = NP สามารถถูกโจมตีเป็นปัญหาในลอจิก (โดยการคาดการณ์ปัญหาจากโดเมนของคลาสที่ซับซ้อนเพื่อลอจิก)

มีการสรุปที่ดีของเทคนิคและผลลัพธ์เหล่านี้หรือไม่

คำตอบ:


23

เป็นไปได้ว่าคุณกำลังถามเกี่ยวกับผลลัพธ์ในทฤษฎีโมเดล จำกัด (เช่นคุณสมบัติของ P และ NP ในแง่ของส่วนต่าง ๆ ของตรรกะ) ความพยายามในการพิสูจน์ล่าสุดของ P! = NP เริ่มใช้แนวคิดดังกล่าวอย่างหนักและมีการอ้างอิงที่ดี (นำมาจากวิกิ )


ฉันคิดว่าขอบเขตของ FMT นั้นกว้างกว่าเล็กน้อยเพียงแค่เชื่อมโยงตรรกะและความซับซ้อนในการคำนวณ ความซับซ้อนเชิงพรรณนาดูเหมือนจะเป็นคำที่แม่นยำยิ่งขึ้น
András Salamon

24

นีลอิมเมอร์แมนจัดทำแผนภาพที่สวยงามที่ให้การโต้ตอบแบบทันทีทันใดระหว่างคลาสที่ซับซ้อนและ logics ตีความโดยโมเดล จำกัด มันอยู่บนปกหนังสือของเขาและที่ด้านล่างของหน้าเว็บของเขาที่นี่: http://www.cs.umass.edu/~immerman/


ภาพนี้มีค่าหลายพันคำ
András Salamon

5
หนังสือของ Immerman น่าจะเป็นหนังสืออ้างอิงเดียวที่ดีที่สุดสำหรับการเชื่อมโยงโดยตรงระหว่างตรรกะและความซับซ้อนในการคำนวณ หัวข้อนี้มักจะเรียกว่า "Descriptive Complexity" เช่นเดียวกับหนังสือ
András Salamon

16

NP

S21

Antonina Kolokolova ทำงานเกี่ยวกับความสัมพันธ์ระหว่างสองแนวทางนี้


11

สำหรับผู้ที่ไม่คุ้นเคยกับความหลากหลายของคำย่อที่พบในแผนภาพที่ดีของ Immermanมีบทความวิกิพีเดียซับซ้อนพรรณนา ควรมีไดอะแกรมพร้อมลิงก์ดังนั้นคุณสามารถค้นหาคำจำกัดความได้โดยตรงใน Complexity Zoo และแหล่งอื่น ๆ ฉันต้องการดูความสัมพันธ์กับภาษาทางการ / ไวยากรณ์ที่เกี่ยวข้องและที่คุณสามารถหาหลักฐานได้ดีขึ้น

นี่ไม่ใช่คำตอบ แต่เป็นความเห็นต่อคำตอบของ Aarons ซึ่งฉันไม่สามารถให้ความเห็นได้ด้วยเหตุผลบางประการ


คุณต้องการตัวแทนเพิ่มอีกนิดเพื่อแสดงความคิดเห็น (เป็นกลไกการบล็อกสแปม)
Suresh Venkat
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.