Toshihide Ibaraki

Lời nhắn gửi

Cho đến nay, tôi đã tiến hành nghiên cứu trong các lĩnh vực như "Thuật toán", "Lý luận về sự phức tạp của tính toán", "Tối ưu hóa và ứng dụng của nó". Trong đó, tôi đặc biệt có niềm đam mê với việc giải quyết các dạng bài toán tối ưu hóa rời rạc khác nhau, vì vậy tôi đã phát triển thuật toán cho dạng bài này.Gọi là tối ưu hóa rời rạc nghe có vẻ trừu tượng, nhưng thực ra những bài toán kiểu này xuất hiện rất nhiều ở xung quanh chúng ta, ví dụ như lập thời gian biểu và bảng thời gian làm việc, tính toán tuyến đường ngắn nhất trên bản đồ (điều hướng Ô-tô), bài toán nhét đầy chiếc hộp sao cho còn ít khoảng trống nhất có thể trong một không gian hẹp (VLSI, bài trí nhà, chất hàng hóa lên xe tải, v.v), lập lịch trình tàu chạy, lên lịch sản xuất trong nhà máy, lập kế hoạch thi đấu thể thao và trò chơi, v.v.

Trên thực tế, đây là những vấn đề rất khó về mặt toán học, nhưng những tiến bộ gần đây trong thuật toán đã giúp chúng ta có thể xử lý chúng theo hướng thực dụng.Tuy nhiên, cho dù như vậy, việc phát triển thuật toán cấp cao cho từng vấn đề riêng lẻ không có giới hạn là vô cùng vất vả, và không có khả năng thực hiện được.Do đó, chúng tôi thiết lập một số bài toán tiêu chuẩn, và khi chúng tôi gặp một bài toán cụ thể, chúng tôi mô hình hóa nó thành một trong những bài toán tiêu chuẩn và sau đó áp dụng thuật toán của bài toán tiêu chuẩn để nghĩ ra phương hướng giải quyết vấn đề.Quy hoạch tuyến tính và quy hoạch số nguyên thường được biết đến là các thuật toán đa dụng dùng cho mục đích đó, hai thuật toán này còn có các gói dùng cho kinh doanh.Tuy nhiên, chỉ như vậy là chưa đủ, vì vậy nghiên cứu của chúng tôi tập trung vào việc lựa chọn các bài toán tiêu chuẩn mới và phát triển các thuật toán đa dụng cho những bài toán tiêu chuẩn này.Một số thuật toán được phát triển đã được tích hợp vào phần mềm thương mại để giúp giải quyết các vấn đề trong các lĩnh vực khác nhau. Thêm vào đó, chúng tôi vẫn tiếp tục đưa ra các bài toán cụ thể và thử sử dụng những thuật toán này để giải quyết các bài toán đó.

Lý luận cơ sở của tối ưu hóa rời rạc được nghiên cứu trong các lĩnh vực như "Lý thuyết mạng đồ thị", "Quy hoạch số nguyên", "Metaheuristics", "Phương pháp nhánh cận", "Hàm logic" và "Lý thuyết thuật toán". Nhiều tài liệu nghiên cứu trước đây của tôi đã mô tả các kết quả về mặt toán học trong các lĩnh vực này, nhưng gần đây tôi đã chuyển sang quan tâm về ứng dụng của chúng. Tại Trường Sau Đại học Công nghệ Thông tin Kyoto, chúng tôi muốn cùng với các bạn tìm ra những bài toán thú vị và giải quyết chúng bằng cách sử dụng tài sản là thuật toán đa dụng.