การประยุกต์ทฤษฎีความซับซ้อน


18

ทฤษฎีความซับซ้อนดูเหมือนว่าจะจับอะไรบางอย่างพื้นฐานเกี่ยวกับโครงสร้างของจักรวาลในการที่มันทำให้ความคิดที่ใช้งานง่ายว่าปัญหาบางอย่างจะยากกว่าคนอื่น ๆ

Scott Aaronson ทำนายว่า "ในที่สุด NP Hardness Assumption จะถูกมองว่าคล้ายกับกฎข้อที่สองของอุณหพลศาสตร์หรือความเป็นไปไม่ได้ของการส่งสัญญาณ superluminal"

สิ่งที่เรียกว่า "ปัญหาที่ยาก" เป็นพื้นฐานของการเข้ารหัสสมัยใหม่

มีแอปพลิเคชันอื่น ๆที่ใช้ขึ้นอยู่กับหรือเป็นตัวอย่างของปัญหาที่มีการคำนวณอย่างหนักหรือไม่?

คำตอบ:


14

ฉบับล่าสุดของ CACM มีบทความโดย Faliszewski, Hemaspaandra และ Hemaspaandraเกี่ยวกับการใช้ทฤษฎีความซับซ้อนในขอบเขตของทฤษฎีทางเลือกทางสังคมและการออกแบบการเลือกตั้งโดยเฉพาะ ตัวอย่างหนึ่งของผลลัพธ์ดังกล่าวคือในขณะที่ทฤษฎีบทของ Arrow รับประกันว่าระบบการเลือกตั้งใด ๆ นั้น 'แฮ็ค' ได้มันอาจเป็นเรื่องยากสำหรับการทำเช่นนั้น


1
ฉันไม่ได้อ่านบทความนั้น แต่ดูเหมือนว่าผู้เขียนกำลังออกแบบระบบลงคะแนนอิเล็กทรอนิกส์ที่ปลอดภัย นั่นเป็นแอปพลิเคชันของการเข้ารหัสลับกับระบบความปลอดภัยหรือไม่ โปรดทราบว่า OP ขอแอปพลิเคชันที่มีปัญหาหนักไปยังฟิลด์อื่นนอกเหนือจากการเข้ารหัส
MS Dousti

2
ไม่มันไม่ถูกต้องนัก พวกเขากำลังมองหาคณิตศาสตร์ของระบบการลงคะแนนและพยายามเข้าใจว่ามุมมองของทฤษฎีความซับซ้อนมีการเปลี่ยนแปลงตัวเลือกการออกแบบอย่างไร ตัวอย่างเช่นในสามรูปแบบที่มีลักษณะคล้ายกันอันที่หนึ่งคือ NP-hard to hack และส่วนอื่น ๆ นั้นไม่ใช่ มันเป็นมุมมองการคำนวณเกี่ยวกับทฤษฎีทางเลือกทางสังคมเช่นเดียวกับการเข้ารหัสลับที่ทันสมัยให้มุมมองการคำนวณความลับในการเข้ารหัส
Suresh Venkat

7

εε1/ε


กัน: การเข้ารหัสจะเห็นได้ชัดในเชิงบวกการประยุกต์ใช้คอมพิวเตอร์ปัญหาหนัก นี้จะเป็นตัวอย่างของการประยุกต์ใช้นอกซับซ้อนทฤษฎีบทของสนามซับซ้อนที่เป็นเชิงลบ คุณมีความสนใจเป็นพิเศษในอีกด้านหนึ่ง @rphv หรือไม่?
Daniel Apon

1
ฉันสนใจทั้งในเชิงบวกและเชิงลบ หากการดำรงอยู่ของปัญหาหนักที่คำนวณได้นั้นคล้ายคลึงกับ 2LOT หรือ C ดังนั้นฉันรู้สึกว่าเราควรจะชนกับตัวอย่าง / ผลที่ตามมาของมันบ่อยครั้งมากเท่าที่เรามักจะพบวัตถุในโลกแห่งความจริงที่ 'รวบรวม' คุณสมบัติเหล่านั้น ไฟฟ้า ฯลฯ ) แม้ว่าเราจะไม่ "เอาอะไร" (เช่น crypto) ออกจากข้อเท็จจริงที่ว่ามีปัญหาหนักอยู่ฉันคิดว่ามันอาจจะมีประโยชน์ในการพิจารณาปัญหาที่มีอยู่เมื่อคิดเกี่ยวกับโลก กล่าวอีกอย่างว่า "การมีปัญหาอย่างหนักส่งผลกระทบต่อชีวิตของเราอย่างไร"
rphv


2

สมมติว่ามีฟังก์ชั่น "hard" อยู่ (สำหรับคำจำกัดความที่หลากหลายของ "hard") เราสามารถสร้างเครื่องกำเนิดไฟฟ้าหลอกเทียม

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