P ≠ NP dường như là một loại "giới hạn tốc độ tính toán" hoặc "không có định lý bữa trưa miễn phí" hoặc "nút cổ chai cơ bản" trong đó có nhiều ví dụ tương tự khác từ nhiều ngành khoa học, toán học và thậm chí cả vật lý. số lượng tính toán cần thiết để giải quyết vấn đề SAT là theo cấp số nhân trong tất cả các thuật toán đã biết, và có nhiều tính toán đã được phát minh qua nhiều năm bởi các nhà nghiên cứu hàng đầu. nhiều thập kỷ nghiên cứu đã đi vào giải quyết SAT một mình, trên thực tế trong hơn thế kỷ nghiên cứu, ví dụ từ thuật toán Davis Putnam được tìm thấy và phân tích vào năm 1960 thậm chí một thập kỷ trước khi lý thuyết về sự hoàn thiện NP vào đầu những năm 1970.
Trực giác P ≠ NP tuyên bố rằng dù nhà thiết kế thuật toán có sáng tạo đến mức nào, vẫn có những giới hạn cơ bản trong việc cải thiện hiệu quả của mã. theo cách này, nó thậm chí còn tương đồng với các định luật vật lý, ví dụ như nhiệt động lực học. nó có thể được hiểu là một giới hạn về số lượng xử lý thông tin có thể được thực hiện mỗi lần bởi bất kỳ hệ thống vật lý nào .
nhưng, không ai nghĩ rằng có một lý do "khá đơn giản" định lý này là đúng, ít nhất là theo nghĩa cấu trúc bằng chứng, bởi vì nếu một lý do như vậy tồn tại, có vẻ như nó sẽ được phát hiện ra ngay bây giờ. nói cách khác, điều đó có vẻ đúng nhưng lý do là "cực kỳ phức tạp". có thể từ một vài thập kỷ nghiên cứu và phân tích / đơn giản hóa trong tương lai sau khi được chứng minh, nó có thể bắt đầu trông "đơn giản" hơn trong 20-20 nhận thức / hồi tưởng, một số bằng chứng đặc biệt đi qua quá trình tiến hóa có phần theo thời gian.
một góc độ khác về vấn đề này là mật mã hiện đại dựa trên sự tồn tại của các hàm "cứng" và các hàm loại "bẫy" trong đó tính toán dễ dàng theo cách này chứ không phải theo cách khác. nói cách khác, các nhà nghiên cứu rất tin tưởng vào niềm tin rằng P ≠ NP họ đã xây dựng các hệ thống mật mã phức tạp dựa trên tiền đề.
tuy nhiên, một số ít các nhà nghiên cứu "không loại trừ" P = NP, một số trong số họ đã hoàn thành các chuyên gia, ví dụ như RJ Lipton .
= =?
xem những cuộc thăm dò tốt đẹp của Gasarch
[1] Gasarch P vs NP bình chọn I, 2002
[2] Gasarch P vs NP bình chọn II, 2012
đối với khả năng chứng minh vốn có của nó, có một số tranh luận chuyên gia nghiêm túc về chủ đề đó. xem tài liệu tham khảo / khảo sát này, và cũng là một bài báo đoạt giải thưởng nổi tiếng.
[3] P ≠ NP có độc lập chính thức không? Aaronson
[4] Bằng chứng tự nhiên Razborov / Rudich