Phát biểu bài toán

CHƯƠNG 5 GIẢI THUẬT ĐỀ XUẤT CHO MAGP TRÊN MẠNG ĐẦY ĐỦ

5.1. Phát biểu bài toán

Cho mạng là một đồ thị đầy đủ vô hướng G = (V, E), trong đó V và E tương ứng là tập các nút và tập các cạnh của G, với các nút là các bộ xử lý, mỗi cạnh là một kênh truyền mà ở trên đó hai bộ xử lý trong mạng có thể liên lạc trực tiếp với nhau. Liên kết giữa nút u và nút v được ký hiệu bởi euv hoặc evu. Số các nút N = |V|, số các tác tử trong mạng là k. Mỗi tác tử là một chương trình tự trị có thể di chuyển từ một nút sang một nút khác trong mạng. Mỗi tác tử và mỗi nút có định danh phân biệt. Mỗi tác tử ban đầu không biết các định danh của tất các tác tử và các nút khác, cũng không biết trước số nút N và số tác tử k. Không có quá một tác tử được khởi tạo trên cùng một nút. Nút mà ở đó tác tử khởi tạo vị trí ban đầu là nút nhà của tác tử. Các tác tử ở trên nút u V có thể di chuyển sang nút vV chỉ khi liên kết euv E. Chúng ta giả thiết sự tồn tại một vòng ảo trong mạng kết nối các nút với nhau theo một hướng nhất định, mỗi nút chỉ biết định danh của nút kề cận nó ở trên vòng. Ở cấu hình ban đầu, mỗi tác tử pj có thông tin riêng Ij. Ta cần thiết kế giải thuật MAGP để mỗi tác tử thu thập thông tin của tất cả các tác tử còn lại:

Cho Sj(Ci) là một tập thông tin mà tác tử pj có trong cấu hình Ci. Trong cấu hình khởi tạo C0, mỗi tác tử pj có thông tin riêng Ij:

Sj(C0) = {Ij}

MAGP được giải quyết trong cấu hình Ci nếu tất cả k tác tử kết thúc và thỏa mãn điều kiện sau đây:

j (0 ≤ j < k) Sj(Ci) =

k l

0 {Il}