นี่เป็นคำถามที่น่าสนใจและน่าขบขัน แต่เป็นคำถามที่ไม่ดีพอในรูปแบบปัจจุบัน
ฉันจะรับความเสี่ยง / คำตอบอื่น ๆ โดยหวังว่าการให้คะแนนจะต้องใช้ความยากลำบากดั้งเดิมและความกำกวมแบบ "เบา ๆ " ของคำถามในใจและอยู่บนพื้นฐานของความรู้ทางวรรณกรรมในปัจจุบันมีช่องทางที่เป็นไปได้หลายประการ "
ข้อความค้นหาหลักดูเหมือนจะเป็น "analogies ฟิสิกส์ในวิทยาศาสตร์คอมพิวเตอร์" ซึ่งเป็นหนึ่งในนั้น ดังนั้นมันเกี่ยวข้องอย่างมากกับคำถามอื่น ๆ
ผลทางฟิสิกส์ใน TCS?
เพื่อตอบคำถามนี้ฉันจะใช้แนวทางที่ต่างกันเล็กน้อยซึ่งฉันคิดว่าทุกคนมีข้อดี
แรกวิธีหนึ่งที่บางครั้งใช้ในสาขาฟิสิกส์และวิศวกรรมคือ
"การวิเคราะห์มิติ"
ในกรณีนี้ตีความอย่างเคร่งครัดเสียงอยู่ในหน่วย "ช่องว่าง" หรือ "ความยาวคีบ" (แม้ว่าโน้ตในฟิสิกส์บางครั้งคำว่า "ช่องว่าง" จะถูกวัดในความยาวเทอมหรือความยาวคีบ)
O ( n3)อัลกอริทึมพื้นที่ดูเหมือนว่ายังจะมีหน่วยงานที่ "ความยาว cubed" ซึ่งระยะเวลาในการแสดงออกในแง่ของขนาดการป้อนข้อมูล
O ( n3)อัลกอริทึมเป็นเพียงขีด จำกัด contrived ในความรู้สึก TCS ได้พิจารณา "หลายมิติอวกาศต่อเนื่อง" นับตั้งแต่ก่อตั้งขึ้นเห็นในทฤษฎีบทลำดับชั้นอวกาศ
O ( nค)
อีกวิธีหนึ่งในการเปรียบเทียบปริมาณ (และปริมาณฟิสิกส์อื่น ๆ ) ใน TCS มีดังนี้ดังที่กล่าวไว้ในคำถามอื่น เป็นที่ทราบกันว่า SAT มีจุดเปลี่ยนคล้ายกับจุดเปลี่ยนในฟิสิกส์ / อุณหพลศาสตร์ซึ่งเกิดขึ้นเช่นกับก๊าซอุดมคติภายใต้การบีบอัดจากเฟสหนึ่งไปอีกเฟสหนึ่งเช่นแก๊สกับของเหลว สิ่งนี้เกิดขึ้นภายใต้ปริมาณที่ลดลง (พูดถึงภาชนะบรรจุก๊าซ) ตอนนี้ใน SAT ที่มีอินพุตแบบสุ่มสองพารามิเตอร์หลักในขนาดอินพุตคือส่วนคำสั่งและตัวแปร (พารามิเตอร์อื่นคือจำนวนตัวแปรในส่วนคำสั่งแม้ว่ามักจะได้รับการแก้ไขที่ 3 สำหรับ 3-SAT)
การปรับคำสั่งหรือตัวแปรในขณะที่คงที่อื่น ๆ ผลักดันปัญหาผ่านจุดเปลี่ยนยากง่าย ดังนั้นดูเหมือนว่าพารามิเตอร์เหล่านี้มีความคล้ายคลึงกับปริมาณแม้ว่าฉันไม่ได้เห็นเฉพาะที่แมปออก การขุดลงไปในเอกสารเชิงลึกบางส่วนเกี่ยวกับฟิสิกส์เชิงสถิติของ SAT อาจทำให้แอนะล็อกของไดรฟ์ข้อมูล ดู [5] สำหรับการทำแผนที่พื้นฐานของ SAT บนคำศัพท์ฟิสิกส์เชิงสถิติ
[5] โซลูชันการวิเคราะห์และอัลกอริทึมของปัญหาความสามารถในการตอบสนองแบบสุ่มโดย Mezard, Parisi, Zechina
http://dynamics.org/Altenberg/UH_ICS/EC_REFS/K-SAT/Mezard.Science.297_812.pdf
ล.พีนี้
ล.3พี