Ứng dụng lý thuyết đồ thị để khảo sát đặc trưng một số lớp ngôn ngữ và điều khiển tương tranh : Luận án Tiến sỹ Toán học chuyên ngành Đảm bảo Toán học cho Máy tinh và Hệ thống tính toán [Mã số: 62463501]

Abstract

Trình bày các khái niệm cơ sở về lý thuyết đồ thị, ngôn ngữ hình thức Otomat, hệ mạng cùng các đối tượng khác liên quan đến chúng – là công cụ hữu ích để xây dựng nên các thuật toán hữu hiệu. Nghiên cứu bài toán điều khiển tương tranh các quá trình xảy ra trên một hệ thống và xây dựng hai thuật toán điều khiển tương tranh dựa trên đồ thị gán nhãn có hướng, làm rõ độ phức tạp của chúng. Điều khiển các giao tác trong tìm kiếm và khai phá dữ liệu trong các cơ sở dữ liệu lớn, song song hóa một số chương trình tính toán hay dùng để thực thi trên các bộ máy tính.