Giới thiệu tài liệu
Tài liệu này giới thiệu về bài toán ghép cặp trên đồ thị, một chủ đề cơ bản trong lý thuyết đồ thị và tối ưu hóa tổ hợp. Nó đặt nền móng cho việc hiểu các khái niệm và định nghĩa liên quan đến ghép cặp.
Đối tượng sử dụng
Sinh viên, nhà nghiên cứu và những người quan tâm đến lý thuyết đồ thị, thuật toán tối ưu hóa tổ hợp và ứng dụng của chúng trong các bài toán thực tế như bài toán phân công.
Nội dung tóm tắt
Tài liệu này trình bày chi tiết về bài toán ghép cặp trên đồ thị, bắt đầu từ các định nghĩa cơ bản như cặp ghép, kích thước và trọng lượng của cặp ghép, cũng như phân biệt giữa cặp ghép cực đại và cặp ghép lớn nhất. Trọng tâm được đặt vào các bài toán ghép cặp trên đồ thị hai phía. Đối với bài toán ghép cặp cực đại, tài liệu giải thích cách quy về bài toán luồng cực đại và giới thiệu Định lý Berge, một nguyên lý quan trọng liên quan đến đường tăng cặp ghép, làm cơ sở cho các thuật toán tìm kiếm. Thuật toán tìm cặp ghép cực đại với độ phức tạp O(n^3) được trình bày rõ ràng. Tiếp theo, tài liệu chuyển sang bài toán phân công, một dạng đặc biệt của bài toán ghép cặp lớn nhất trên đồ thị hai phía đầy đủ. Các khái niệm như phép gán chấp nhận được và đồ thị cân bằng được giới thiệu để xây dựng cơ sở lý thuyết cho thuật toán. Thuật toán giải bài toán phân công được mô tả chi tiết, bao gồm quá trình điều chỉnh nhãn và tối ưu hóa hiệu suất từ O(n^4) xuống O(n^3) thông qua việc sử dụng khái niệm độ lệch (slack). Cuối cùng, tài liệu cung cấp các ví dụ minh họa và mã nguồn cài đặt bằng ngôn ngữ Pascal, giúp người đọc dễ dàng hình dung và áp dụng các lý thuyết đã học.