Thông cáo báo chí
kèo bóng đá châu á Lab có hai bài báo được chấp nhận tại ICALP 2025, hội nghị hàng đầu trong lĩnh vực khoa học máy tính lý thuyết
xem kèo bóng đá (Trụ sở chính: Shibuya-ku, Tokyo, Giám đốc đại diện: Susumu Fujita, TSE Prime Market: Mã chứng khoán: 4751) đã thông báo rằng hai bài báo của Naoto Osaka, nhà nghiên cứu liên kết với AI Lab, một tổ chức nghiên cứu và phát triển công nghệ trí tuệ nhân tạo, và Shuichi Hirahara, phó giáo sư tại Viện Tin học Quốc gia, sẽ được trình bày tại hội nghị hàng đầu trong lĩnh vực này về khoa học máy tính lý thuyết, ``Hội thảo quốc tế EATCS lần thứ 52 về Automata,'' Ngôn ngữ và lập trình (ICALP 2025, sau đây gọi là ICALP)"※1
``ICALP'' 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à là hội nghị quốc tế cao nhất của Châu Âu về khoa học máy tính lý thuyết Bài viết được chấp nhận sẽ được trình bày tại ICALP 2025, được tổ chức tại Aarhus, Đan Mạch vào tháng 7 năm 2025
■Giới thiệu về các giấy tờ được chấp nhận
"Phòng thí nghiệm kèo bóng đá châu á" nghiên cứu và phát triển nhiều công nghệ kèo bóng đá châu á 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ũng 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à tất cả các bài báo được chấp nhận lần này đều thuộc danh mục nghiên cứu cơ bản trong lĩnh vực khoa học máy tính lý thuyết
「」Tác giả: Shuichi Hirahara (Viện Tin học Quốc gia), Naoto Osaka (Phòng thí nghiệm kèo bóng đá châu á của CyberAgent)
「」Tác giả: Naoto Osaka (Phòng thí nghiệm kèo bóng đá châu á của CyberAgent)
| Trong nghiên cứu nhằm tìm hiểu xem liệu có thể chuyển đổi hiệu quả từ "trạng thái tối ưu" hiện tại sang "trạng thái tối ưu" khác trong thiết kế hệ thống và kèo bóng đá châu á hay không, bài viết này đã nghiên cứu tính gần đúng của một bài toán chuyển tiếp tổ hợp được gọi là "bài toán chuyển tiếp 𝑘-Cắt tối đa"Bài toán này được biết là có độ khó PSPACE gần đúng khi 𝑘=4, nhưng trạng thái tiệm cận đối với 𝑘 thì chưa được biết Trong nghiên cứu này, chúng tôi đã chứng minh rằng trong khi phép tính gần đúng (1-2/𝑘) của bài toán chuyển tiếp 𝑘-Cut cực đại có thể thực hiện được trong thời gian đa thức thì phép tính gần đúng (1-Ω(1/𝑘)) là PSPACE-hard và chúng tôi đã làm sáng tỏ khả năng xấp xỉ tối ưu tiệm cận |
| Nghiên cứu này có khả năng làm sáng tỏ ``khó khăn cơ bản trong việc tìm ra quy trình tối ưu'' trong các hệ thống phức tạp như kèo bóng đá châu á và dẫn đến việc thiết kế các phương pháp giải quyết vấn đề hiệu quả hơn Bằng chứng định lý Bằng chứng cấu hình lại có thể kiểm tra xác suất (PCRP) đã được đơn giản hóaĐịnh lý PCRP là định lý áp dụng cho độ khó của phép gần đúng trong các bài toán chuyển tiếp tổ hợp và là định lý được áp dụng cho độ khó của phép gần đúng trong các bài toán chuyển tiếp tổ hợpSTOC 2024'' giấy vàCả hai cách chứng minh đều liên quan đến các kỹ thuật đặc biệt chuyên dùng cho các vấn đề chuyển tiếp, nhưng trong nghiên cứu này, chúng tôi đã thành công trong việc tạo ra một chứng minh không yêu cầu các kỹ thuật này và tách biệt giữa “tính mạnh mẽ” và “tổng hợp chứng minh”, cho phép hiểu một cách trực quan hơn |
■Tương lai
Kết quả của những 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 vấn đề không chỉ trong công ty chúng tôi mà còn trong lĩnh vực khoa học máy tính lý thuyết Trong tương lai, "Phòng thí nghiệm kèo bóng đá châu á" 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