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 tỷ lệ kèo châu á hôm nay lý thuyết

CyberAgent Co, Ltd (Trụ sở chính: Shibuya-ku, Tokyo, Giám đốc đại diện: Susumu Fujita, TSE Prime Market: Mã chứng khoán: 4751) và Viện Tin học Quốc gia thuộc Tập đoàn Nghiên cứu Liên Đại học (NII, Giám đốc: Sadao Kurohashi, Chiyoda-ku, Tokyo) là tổ chức nghiên cứu và phát triển công nghệ AI Bài viết chính, `` Bằng chứng cấu hình lại có thể kiểm tra theo xác suất và tỷ lệ kèo châu á hôm nay không gần đúng của các vấn đề cấu hình lại '' của Naoto Osaka, một nhà nghiên cứu liên kết với `` Lab '' và Phó Giáo sư Shuichi Hirahara của Viện Tin học Quốc gia, đã được trình bày tại hội nghị hàng đầu trong lĩnh vực khoa học máy tỷ lệ kèo châu á hôm nay lý thuyết, `` Hội nghị chuyên đề ACM lần thứ 56 về Lý thuyết Máy tỷ lệ kèo châu á hôm nay (STOC 2024)''※1

"Hội nghị chuyên đề ACM về lý thuyết máy tỷ lệ kèo châu á hôm nay (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 tỷ lệ kèo châu á hôm nay (FOCS)"※2, đây là hội nghị quốc tế cao nhất về khoa học máy tỷ lệ kèo châu á hôm nay lý thuyết STOC là một hội nghị quốc tế mang tỷ lệ kèo châu á hôm nay 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 tỷ lệ kèo châu á hôm nay 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 tỷ lệ kèo châu á hôm nay 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ác giả: Shuichi Hirahara (Viện Tin học Quốc gia), Naoto Osaka (Phòng thí nghiệm AI của CyberAgent)


■Bối cảnh 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-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 tỷ lệ kèo châu á hôm nay 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 rất nhiều bước để đạt được trạng thái mục tiêu và do đó rất 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 tỷ lệ kèo châu á hôm nay toán,※4


■Tóm tắt bài viết
Bài báo được chấp nhận gần đây đề cập đến "tỷ lệ kèo châu á hôm nay 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 tỷ lệ kèo châu á hôm nay gần đúng cho biết mức độ có thể tỷ lệ kèo châu á hôm nay 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

Dựa trên nền tảng này, trong các bài báo trước đây được AI Lab xuất bản tại 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 PSPACE khó có thể giải gần đúng một loạt các vấn đề chuyển đổi tổ hợp theo giả thuyết 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ề tỷ lệ kèo châu á hôm nay 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 đưa vào STOC


■Tương lai
Kết quả 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, cũng như 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 tỷ lệ kèo châu á hôm nay í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 ()
※6https://wwwcyberagentcojp/news/detail/id=28556vàhttps://wwwcyberagentcojp/news/detail/id=29653
*7 Giả thuyết về tỷ lệ kèo châu á hôm nay 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ỳ 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''