Car-tech

Vì vậy, điều khó hiểu là Viện Toán học Clay đã thề sẽ trao giải cho người Mỹ 1 triệu đô. Đây là một trong bảy vấn đề, được gọi chung là vấn đề giải thưởng thiên niên kỷ, viện đã cung cấp tiền thưởng này cho. Một trong bảy, giả thuyết Poincaré, đã chính thức được giải quyết vào năm 2006.

HP's Mark Hurd Resigns After Sexual Harassment Probe: Video

HP's Mark Hurd Resigns After Sexual Harassment Probe: Video
Anonim

Vấn đề này, "một trong các vấn đề nổi bật trong khoa học máy tính, "liên quan" xác định xem câu hỏi tồn tại có câu trả lời có thể được kiểm tra nhanh chóng, nhưng đòi hỏi một thời gian dài không thể giải quyết bằng bất kỳ thủ tục trực tiếp nào. P là viết tắt của thời gian đa thức và NP là viết tắt của thời gian đa thức không xác định.

"Tôi vui mừng thông báo một bằng chứng rằng P không bằng NP," Deolalikar thông báo trong một e-mail cho một nhóm các giáo sư toán học, sau đó được đăng tải vào ngày Chủ nhật bởi Greg Baker, một giảng viên cao cấp tại Đại học Simon Fraser của Anh.

Tóm lại, điều này có nghĩa là một số vấn đề chỉ có thể được giải quyết bằng cách tìm kiếm bạo lực. Tất cả.

"Bằng chứng yêu cầu ghép nối các nguyên tắc từ nhiều lĩnh vực trong toán học. Nỗ lực chính trong việc xây dựng bằng chứng này đã phát hiện ra một chuỗi các liên kết khái niệm giữa các lĩnh vực khác nhau và xem chúng thông qua một ống kính chung", Deolalikar viết.

Đương nhiên, những người am hiểu về vấn đề này ngần ngại tuyên bố rằng Deolalikar đã giải quyết được vấn đề, với số lượng kiểm tra cần phải được thực hiện. Và trong khi họ khen ngợi Deolalikar về cách tiếp cận thấu đáo của ông, một điều khác với những dự đoán ngẫu nhiên thường được trình bày, không ai dứt khoát tuyên bố ông đã giải quyết vấn đề.

"Có vẻ như giới thiệu một số ý tưởng mới kích thích tư duy, đặc biệt một kết nối giữa vật lý thống kê và đặc tính logic bậc nhất của NP, "Scott Aaronson, một trợ lý giáo sư về kỹ thuật điện và khoa học máy tính tại Học viện Công nghệ Massachusetts, viết trong một bài blog không phổ biến.

" Tôi không biết Dick Lipton, một giáo sư về khoa học máy tính tại Viện Công nghệ Georgia.

Joab Jackson nói về phần mềm doanh nghiệp và tin tức công nghệ chung cho

Dịch vụ Tin tức IDG

. Theo dõi Joab trên Twitter tại @Joab_Jackson. Địa chỉ email của Joab là [email protected]