Đây là một câu hỏi thú vị và có phần thú vị nhưng nó được xây dựng kém ở dạng hiện tại.
Tôi sẽ đưa ra một cú đâm / rủi ro khác vào một câu trả lời với hy vọng rằng việc ghi điểm sẽ mang đến khó khăn ban đầu và sự mơ hồ "mềm" cơ bản / vốn có của câu hỏi và dựa trên kiến thức văn học hiện tại, có thể có một số cách giải đáp nhưng không thể trả lời đúng ".
Truy vấn chính dường như là "sự tương tự vật lý trong khoa học máy tính" trong đó khối lượng là một trong số đó. Vì vậy, nó liên quan nhiều đến câu hỏi khác này
Kết quả vật lý trong TCS?
Để trả lời câu hỏi này, tôi sẽ thực hiện một vài cách tiếp cận khác nhau mà tôi nghĩ tất cả đều có giá trị.
đầu tiên, một cách tiếp cận đôi khi được sử dụng trong các lĩnh vực vật lý và kỹ thuật là
"phân tích thứ nguyên".
Trong trường hợp này được giải thích nghiêm ngặt, âm lượng nằm trong đơn vị "không gian" hoặc "chiều dài khối". (Mặc dù lưu ý trong vật lý đôi khi thuật ngữ "không gian" được đo bằng cả hai chiều dài hoặc chiều dài được tạo khối.)
O(n3)
O(n3)
O(nc)
Một cách tiếp cận khác về sự tương tự khối lượng (và các đại lượng vật lý khác) trong TCS như sau, như được thảo luận trong câu hỏi khác. Được biết, SAT có một điểm chuyển tiếp cực kỳ giống với điểm chuyển đổi trong vật lý / nhiệt động lực học, điều này xảy ra, ví dụ như với các khí lý tưởng được nén từ pha này sang pha khác, ví dụ như khí sang lỏng. Điều này xảy ra dưới sự giảm thể tích (nói về bình chứa khí). Bây giờ trong SAT với đầu vào ngẫu nhiên, hai tham số chính trên kích thước đầu vào là mệnh đề và biến. (Một tham số khác là số lượng biến trong mệnh đề, mặc dù điều đó thường được cố định ở mức 3 cho 3-SAT.)
Điều chỉnh các mệnh đề hoặc các biến trong khi giữ cố định khác sẽ đẩy khó khăn về vấn đề thông qua điểm chuyển tiếp dễ-khó-dễ. Do đó, có vẻ như các tham số này tương tự như Volume mặc dù tôi chưa thấy các chi tiết cụ thể được vạch ra. Đi sâu vào một số bài viết sâu về vật lý thống kê của SAT có thể tạo ra sự tương tự của Tập. Xem [5] để biết ánh xạ cơ bản của SAT vào thuật ngữ vật lý thống kê.
[5] Giải pháp phân tích và thuật toán của các vấn đề về khả năng ngẫu nhiên của Mezard, Parisi, Zechina
http://dynamics.org/Altenberg/UH_ICS/EC_REFS/K-SAT/Mezard.Science.297_812.pdf
lp
l3p