Treo giải 1 triệu đô la cho lập trình viên giải quyết được câu đố đơn giản Queens

Người có thể xây dựng một phần mềm cho phép giải câu đố Queens nổi tiếng sẽ được trao giải 1 triệu đô la.
Các nhà nghiên cứu từ Đại học St. Andrews gửi đi một thông điệp với nội dung bất kỳ lập trình viên nào có thể viết một bộ code giúp giải quyết câu đố Queens nổi tiếng sẽ được Viện Toán học Clay của Mỹ thưởng 1 triệu đô la. Thành quả này cũng sẽ có ảnh hưởng rất lớn đến ngành công nghiệp công nghệ thông tin và toán học. Iflscience đưa tin hôm 1/9.
Câu đố Queens là một câu đố rất đơn giản. Nó yêu cầu bạn đặt tám quân hậu trên một bàn cờ vua theo một cách làm sao để không có trường hợp hai quân hậu có thể tấn công lẫn nhau? Đồng nghĩa, không có hai quân hậu có thể nằm trên cùng một hàng, cột hoặc đường chéo. Nó được tạo ra lần đầu tiên vào năm 1850 và bất kỳ ai với một chút kiên nhẫn cũng có thể giải quyết được.
Treo giải 1 triệu đô la cho lập trình viên giải quyết được câu đố đơn giản Queens
Câu đó Queens và lời giải (Ảnh: Iflscience)
Vấn đề là, máy tính không thể xử lý công việc đó một cách dễ dàng. Máy tính sẽ so sánh tất cả các tùy chọn tiềm năng và nhiều lựa chọn hơn bạn có, nó đòi hỏi rất nhiều máy tính để tìm ra đáp án. Theo một bài viết trên Tạp chí Trí tuệ nhân tạo, sau khi bảng cờ vua trở nên lớn hơn 1000 lần, các máy tính không thể giải được nữa.
“Nếu bạn có thể viết một chương trình máy tính có thể giải quyết được vấn đề một cách nhanh chóng, bạn có thể ứng dụng nó để giải quyết nhiều vấn đề quan trọng nhất đang ảnh hưởng trực tiếp đến chúng ta hàng ngày”, Ian Gent, thành viên nhóm nghiên cứu nói.
Điều này bao gồm những thách thức nhỏ như làm thế nào để làm việc với một nhóm lớn bạn Facebook, những người không quen biết nhau hoặc những người rất quan trọng, hay như chia nhỏ các mã số để giữ cho tất cả các giao dịch trực tuyến được an toàn.
Bài toán dạng P so với NP hiện vẫn đang khiến máy tính “bó tay” (Ảnh: Pixabay)
Đây chỉ là một biến thể của bài toán P so với NP – một bài toán mở quan trọng trong lý thuyết khoa học máy tính. Mô tả một cách đơn giản, bài toán đặt ra câu hỏi phải chăng bất kì vấn đề nào có lời giải có thể được kiểm chứng “nhanh chóng” cũng có thể được giải một cách “nhanh chóng”. Ví dụ, nếu câu hỏi là tìm các ước của 4,199 máy tính sẽ cần một chút thời gian để thử hàng loạt con số. Nhưng thật nhanh chóng và dễ dàng để xác minh rằng 4,199 chỉ chia hết cho 13, 17 và 19 (ngoài 1 và chính nó).
Nhiều người tin rằng không phải mọi vấn đề đều thỏa mãn luận điểm trên, nhưng nếu bạn nghĩ rằng bạn có thể viết một thuật toán có thể làm được điều đó (hoặc chứng minh rằng nó không thể), nó chắc chắn sẽ thu hút sự chú ý rất lớn từ các nhà nghiên cứu.
Đồng tác giả Dr Christopher Jefferson cho biết: Giải thưởng trị giá 1.000.000 USD là rất lớn nhưng xứng đáng cho bất cứ ai có thể xử lý được bài toán hóc búa nhưng nhiều giá trị này.
Hoài Anh

TIN LIÊN QUAN

Hệ thống xe buýt tại New York sắp trang bị Wi-Fi

Ngay sau lời hứa của Thống đốc New York về việc triển khai các phương tiện công cộng công nghệ cao, mới đây thành phố này tuyên bố sắp đưa vào triển khai hệ thống xe buýt công nghệ cao tích hợp Wi-Fi.

Phát hiện kho báu 4,5 triệu USD dưới đáy biển

Một nhóm thợ lặn ở Florida, Mỹ đã phát hiện 350 đồng tiền vàng ngoài khơi biển Vero được cho là của một con tàu bị đắm cách đây 300 năm.

Nữ phóng viên khỏa thân bị quay lén được bồi thường 1.200 tỷ đồng

Nữ phóng viên Erin Andrews của kênh thể thao Fox Sports vừa được bồi thường 55 triệu USD sau khi cô này bị tung video quay lén cảnh khỏa thân trong phòng khách sạn.

Giải Nobel Vật lý 2016 về tay bộ ba nhà khoa học

Giải Nobel Vật lý 2016 vừa được quyết định trao cho ba nhà khoa học David Thouless, Duncan Haldane và Michael Kosterlitz.

Giải Nobel Kinh tế 2016 thuộc về hai nhà kinh tế ở Mỹ

Giải thưởng Nobel Kinh tế 2016 vừa được quyết định trao cho hai ông Oliver Hart của trường ĐH Harvard và Bengt Holmström của trường MIT.

Giải Ig Nobel năm 2021: treo ngược tê giác, mối liên hệ giữa béo phì và tham nhũng,...

Giải thưởng Ig Nobel là một giải nhại lại giải Nobel, thường diễn ra vào mùa thu hàng năm, gần với thời điểm diễn ra giải Nobel thật. Không như mọi năm…

Lỗ sâu - Chìa khóa giải quyết mâu thuẫn của vật lý hiện đại

Một phương trình mới được tìm ra liên quan đến lỗ sâu có thể giải quyết mâu thuẫn giữa lý thuyết cơ học lượng tử và thuyết tương đối tổng quát của vật lý hiện đại.

9X từng làm việc ở Google gọi vốn thành công 1 triệu USD

9X từng làm việc ở Google gọi vốn thành công 1 triệu USD 5 năm trước, chàng trai vàng tin học với hơn 100 giải thưởng, huy chương trong nước và quốc tế – Lê Yên Thanh đã từ chối cơ hội làm việc ở Google để về nước khởi nghiệp. Lê Yên Thanh, sinh

THỦ THUẬT HAY

Tổng hợp các thủ thuật khắc phục lỗi máy tính Windows 10/8/8.1/7 và Windows XP chạy chậm

Sau một thời gian dài sử dụng máy tính, bạn nhận thấy rằng máy tính của mình ngày một chạy chậm dần, không ổn định, quá trình khởi động “ì ạch”, thậm chí phải mất cả tiếng đồng hồ mới khởi động xong, việc xử lý các ứng

Bạn nên lưu ngay 5 thủ thuật này trên vivo V23e để có những trải nghiệm tốt hơn

vivo V23e là sản phẩm mới nhất của nhà vivo có mặt tại thị trường Việt Nam. Không chỉ hoàn thiện về thiết kế, camera và hiệu năng, chiếc điện thoại này còn có giao diện FunTouch OS 12 mới nhất, mang đến những tính năng

18 thủ thuật giúp bạn làm chủ Google Photos

Google Photos có thể giống như một dịch vụ lưu trữ hình ảnh đơn giản, nhưng nó thực sự khá mạnh mẽ. Google Photos làm giảm khoảng cách giữa lưu trữ đám mây, lưu trữ hình ảnh và chia sẻ hình ảnh, tạo sự cạnh tranh gay

Hướng dẫn tạo Apple ID mới trên PC hoặc Mac sử dụng iTunes

Apple ID là tài khoản bạn sử dụng để truy cập các dịch vụ của Apple như iTunes Store, App Store, iBooks Store, iCloud, iMessage, Apple Music hoặc Apple News. Bạn có thể đăng nhập vào tất cả các dịch vụ của Apple bằng

Tổng hợp các ví điện tử, cổng thanh toán quốc tế phổ biến

Bài viết tổng hợp các ví điện tử, cổng thanh toán quốc tế phổ biến để các bạn có thể lựa chọn được một dịch vụ thanh toán trực tuyến có khả năng thanh toán quốc tế để sử dụng.

ĐÁNH GIÁ NHANH

Đánh giá Sharpen Image Online - công cụ làm nét ảnh trực tuyến miễn phí

Sharpen Image Online là một công cụ trực tuyến giúp bạn làm nét ảnh của mình. Bạn có thể tải ảnh lên trang web này hoặc nhập URL của ảnh. Công cụ này cho phép bạn điều chỉnh độ nét của ảnh, từ mức thấp đến cao. Bạn có

Đánh giá LG W7 Signature phiên bản 65” giá 300 triệu

LG W7 Signature có thiết kế khác biệt so với tất cả các TV khác trên thị trường, nhưng nó cũng gây ra nhiều tranh cãi.

Đánh giá TV Samsung QLED Q7F 2018: Nâng cấp về thiết kế, tính năng và chất lượng hình ảnh

So với 2017, năm nay Samsung tung ra tới 4 dòng TV QLED Q9F, Q8F, Q7F và Q6F. Trong đó Q9F tiếp tục là dòng sản phẩm cao cấp nhất sở hữu công nghệ LED Full-Array và Q6F là dòng sản phẩm mới có mức giá hợp lý nhưng vẫn