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ắt thông báo chơi game EverWing trên Facebook Messenger

Cách làm là các bạn vào tài khoản Facebook chính chủ của trò EverWing (đường dẫn tại đây). Sau đó bấm vào tin nhắn để hiện khung chat lên. Trên điện thoại, chúng ta vào tài khoản chat với EverWing, sau đó bấm vào dòng

5 công cụ dịch thuật trực tuyến tốt nhất hiện nay

Google Translate hay còn gọi là Google Dịch là công cụ dịch thuật trực tuyến của ông lớn Google. Với khả năng dịch văn bản từ tiếng Anh sang tiếng Việt và rất nhiều ngôn ngữ khác vô cùng nhanh chóng. Bạn có thể dịch

Cách đổi tên tài khoản người dùng trên Windows 10

Đổi tên tài khoản Windows 10 là thủ thuật đơn giản nhất cho những ai sử dụng máy tính sài hệ điều hành Windows hiện nay, khi mà công nghệ thông tin ngày một phát triển và ai cũng có cơ hội sở hữu cũng như sử dụng một

Cách đổi ngôn ngữ Facebook trên máy tính

Đổi ngôn ngữ Facebook sang tiếng Việt, chuyển Facebook sang tiếng Việt hoặc các ngôn ngữ khác giúp bạn thuận tiện hơn khi chat với bạn bè. Bài viết này sẽ hướng dẫn bạn cách đổi ngôn ngữ Facebook sang bất kỳ ngôn ngữ

Cách xem Youtube trên laptop Hyundai Hybook Celeron không bị quảng cáo làm phiền mà bạn nên thử qua

Cùng thử qua thủ thuật cực đơn giản để xem video Youtube không quảng cáo trên laptop Hyundai Hybook Celeron

ĐÁNH GIÁ NHANH

Trên tay Sony SBH24: Tai nghe Bluetooth nhỏ gọn, cổng sạc USB-C

Về thông số kỹ thuật, SBH24 không quá nổi bật so với các mẫu tai nghe cùng tầm giá. Ngay cả chuẩn truyền dữ liệu aptX cũng chưa được Sony đưa vào sản phẩm này.

Subaru Levorg đạt đánh giá an toàn năm sao tại Úc

Subaru Levorg đã được đánh giá năm sao trong chương trình đánh giá xe mới Australia (Australasian New Car Assessment Program - ANCAP), với tổng điểm 35,85/37 điểm. Mẫu xe wagon vừa ra mắt mới đây tại...

Trải nghiệm Yamaha Sirius sau 10.000km sử dụng

Các dòng xe số phổ thông đã trở nên rất phổ biến bởi sự tiện dụng, nhỏ gọn và tiết kiệm của nó. Tại thị trường nước ta, các dòng xe số phổ thông đã thâm nhập vào thị trường được hơn 20 năm và đã có những thành công