AI Lab, bài báo chính được chấp nhận tại STOC 2024, hội nghị hàng đầu trong lĩnh vực khoa học máy soi kèo bóng đá ngoại hạng anh lý thuyết

※1

"Hội thảo chuyên đề ACM về lý thuyết máy soi kèo bóng đá ngoại hạng anh (STOC)" là hội nghị quốc tế được tổ chức bởi các nhà nghiên cứu từ khắp nơi trên thế giới và "Hội nghị chuyên đề IEEE về nền tảng khoa học máy soi kèo bóng đá ngoại hạng anh (FOCS)"※2, đây là hội nghị quốc tế cao nhất về khoa học máy soi kèo bóng đá ngoại hạng anh lý thuyết STOC là một hội nghị quốc tế mang soi kèo bóng đá ngoại hạng anh lịch sử được tổ chức từ năm 1969, nhiều khái niệm và định lý tạo thành nền tảng của khoa học máy soi kèo bóng đá ngoại hạng anh lý thuyết hiện đại đã được đề xuất và chứng minh, bao gồm cả "Giả thuyết P≠NP" nổi tiếng do Stephen A Cook đưa ra tại STOC tổ chức vào năm 1971 Bài báo được chấp nhận lần này là ``Chuyển đổi tổ hợp'' trong khoa học máy soi kèo bóng đá ngoại hạng anh lý thuyết※3và dự kiến sẽ được công bố tại "STOC 2024" được tổ chức tại Vancouver, Canada vào tháng 6 năm 2024

Tên giấy tờ:
Tác giả: Shuichi Hirahara (Viện Tin học Quốc gia), Naoto Osaka (Phòng thí nghiệm AI của CyberAgent)


■Nền tảng nghiên cứu
"Phòng thí nghiệm AI" nghiên cứu và phát triển nhiều công nghệ AI liên quan đến tiếp thị nói chung, đồng thời đang giải quyết nhiều vấn đề công nghệ khác nhau, đồng thời tăng cường hợp tác giữa ngành và học viện với các trường đại học và tổ chức học thuật Ngoài nghiên cứu ứng dụng, chúng tôi còn tập trung vào nghiên cứu cơ bản góp phần giải quyết các vấn đề chưa được giải quyết về mặt học thuật và nội dung của bài viết này là “sự chuyển đổi tổ hợp” trong khoa học máy soi kèo bóng đá ngoại hạng anh lý thuyết※3

Bài toán chuyển đổi tổ hợp là bài toán xác định khả năng đạt đến trạng thái mục tiêu trong các nhiệm vụ yêu cầu ``chuyển từ trạng thái ban đầu nhất định sang trạng thái mục tiêu cụ thể'', chẳng hạn như khối Rubik hoặc câu đố số 15 Một số vấn đề này đòi hỏi một số lượng lớn các bước để đạt đến trạng thái mục tiêu, khiến chúng khó đánh giá Tại thời điểm này, để làm rõ mức độ khó của nó và yếu tố nào gây khó khăn từ góc độ lý thuyết độ phức tạp soi kèo bóng đá ngoại hạng anh toán,※4


■Bài viết tóm tắt
Bài báo được chấp nhận gần đây đề cập đến "soi kèo bóng đá ngoại hạng anh gần đúng" trong các bài toán chuyển tiếp tổ hợp "Xấp xỉ" là phương tiện tìm ra manh mối để giải các bài toán khó xác định một cách chặt chẽ hoặc tìm lời giải chính xác bằng cách xem xét các bài toán có thể thu được bằng cách nới lỏng các điều kiện soi kèo bóng đá ngoại hạng anh gần đúng cho biết mức độ có thể soi kèo bóng đá ngoại hạng anh gần đúng của một vấn đề mà khó có được lời giải chính xác Cho đến nay, chỉ có một số ít kết quả được biết đến liên quan đến khả năng gần đúng (không) của các bài toán chuyển đổi tổ hợp, và đặc biệt, câu hỏi liệu ``việc xấp xỉ các bài toán chuyển đổi tổ hợp có khó PSPACE hay không'' vẫn là một bài toán chưa được giải quyết trong 15 năm※5

Với nền tảng này, trong các bài báo trước đây do AI Lab xuất bản tại các hội nghị quốc tế "STACS 2023" và "SODA 2024" *6, chúng tôi đã đề xuất giả thuyết "Giả thuyết về khả năng gần đúng về cấu hình lại" *7 và chứng minh rằng rất khó để giải gần đúng một loạt các bài toán chuyển tiếp tổ hợp theo giả thuyết này Tuy nhiên, để giải quyết các vấn đề chưa được giải quyết nêu trên bằng chính sách này, cần phải chứng minh (hoặc bác bỏ) giả thuyết đề xuất Trong nghiên cứu này, chúng tôi đã thành công trong việc chứng minh Giả thuyết về soi kèo bóng đá ngoại hạng anh không gần đúng của việc cấu hình lại,Tích cực giải quyết 15 năm bài toán chưa giải được trong lĩnh vực chuyển đổi tổ hợpTôi đã làm được Đó là một hội nghị hàng đầuĐây là lần đầu tiên một bài báo trong lĩnh vực chuyển đổi tổ hợp được chấp nhận vào STOC


■Tương lai
Kết quả của nghiên cứu này là kết quả nghiên cứu cơ bản có thể góp phần phát triển nghiên cứu lý thuyết và được kỳ vọng sẽ thúc đẩy ứng dụng xã hội của các bài toán chuyển đổi tổ hợp không chỉ trong công ty chúng tôi Trong tương lai, "Phòng thí nghiệm AI" sẽ tiếp tục thúc đẩy nghiên cứu ứng dụng gần gũi với doanh nghiệp và sẽ cố gắng tiến hành nghiên cứu và phát triển với mục tiêu đóng góp học thuật cho nghiên cứu cơ bản



※1
※2
※3 Chuyển tiếp kết hợp @Nghiên cứu lĩnh vực chuyển đổi học thuật (B):
*4 Độ khó PSPACE: đặc soi kèo bóng đá ngoại hạng anh ít nhất là khó bằng bất kỳ bài toán nào có thể giải được bằng bộ nhớ đa thức
※5 T Ito, E D Demaine, N J A Harvey, C H Papadimitriou, M Sideri, R Uehara và Y Uno “Về sự phức tạp của các vấn đề cấu hình lại” Trong ISAAC 2008, trang 28–39 () và T Ito, E D Demaine, N J A Harvey, C H Papadimitriou, M Sideri, R Uehara và Y Uno)
※6https://wwwcyberagentcojp/news/detail/id=28556vàhttps://wwwcyberagentcojp/news/detail/id=29653
*7 Giả thuyết về soi kèo bóng đá ngoại hạng anh không gần đúng của cấu hình lại: Giả thuyết cho rằng, với đầu vào Π của một vấn đề thỏa mãn ràng buộc và hai phép gán thỏa mãn A và B của nó, PSPACE khó xác định liệu ``có thể chuyển đổi từ A sang B trong khi thỏa mãn Π'' hay ''bất kỳ quá trình chuyển đổi nào cũng sẽ luôn không thỏa mãn ràng buộc tỷ lệ không đổi''