 Ðề: P ≠ NP? It's bad news for the power of computing
Mỗi một ngành khoa học, hay thậm chí các nhóm ngành hẹp trong cũng một ngành, thường có các mindset rất khác nhau. Như ngành CS người ta thường coi trọng các ứng dụng thực tế của các nghiên cứu, phát minh. Hẹp hơn nữa thì như những người làm về database chẳng hạn thì họ lại càng coi trọng tính thực tế của các công trình. Ví dụ như khi bạn trình bày về công trình của mình mà có những thuật toán rất đẹp đẽ về mặt toán học nhưng không có ứng dụng cụ thể cả thì sẽ chẳng có ai quan tâm cả. Giới academic còn như thế, những người ở industry còn thực dụng hơn nữa.
Theoretical CS gần với toán, sử dụng nhiều toàn hơn nhưng dù sao thì nó vẫn là ngành ứng dụng, người ta vẫn luôn quan tâm đến tính áp dụng của công trình, dù là mức độ cụ thể có thể nới lỏng hơn. Bạn nào học theoretical CS vào confirm hộ tớ cái.
Quay lại bài toán P vs NP. Tôi đã nói nếu ai chứng minh được P=NP thì sẽ là một phát minh vĩ đại, vì hiển nhiên trong cách chứng minh đó cần chỉ ra cách convert từ NP về P, và thuật toán để convert này sẽ làm thay đổi rất nhiều thứ trong ngành CS.
Còn ngược lại chứng minh P#NP thì hầu như chỉ giống như đưa ra một lời giải thích làm cho người khác yên tâm hơn vê một thứ mà mọi người vẫn luôn tin tưởng là đúng. Không có nó, cả thế giới của CS vẫn chuyển động như bình thường.
Cách bạn Menam đưa fundamental lemma ra so sánh tôi thấy hơi chung chung và xa vời so với trường hợp này.   |