Hình 2.7 m tree: Thuộc tính liên kết vào/ra
2.3.3 Xây dựng ILP cho mạng có kích thước lớn
Trong phần trên ta đã trình bày cách xây dụng ILP cho mạng có kích thước nhỏ khoảng 25 liên kết, tuy nhiên khi số lượng liên kết tăng lên thì các tham số trong mục A, B tương ứng có thể trở nên rất lớn hoặc là rất nhỏ điều này có thể là nguyên nhân dẫn đến việc tính toán mất ổn định trong lời giải tuyến tính. Để có thể giải quyết vấn đề trên ta tiến hành thay đổi cách xây dựng như sau:
2.3.3.1 Các tham số
Ta vẫn tiến hành gán cho mỗi liên kết hai chiều (bi-directional link) một bộ giám sát quang, màn hình này được gắn ở cuối liên kết. Một màn hình mi được gán một mã thông báo gồm |E| bít trong đó tất cả các bít này được khởi tạo là ‘0’ trừ một bít biểu diễn cho số lượng mà hình. Mã thông báo được chia thành các khối và mỗi khối có 20 bits. Tiến hành chuyển đổi các khối 20 bits này thành các giá trị thập phân tương ứng với nó. Mã thông báo thập phân được gán cho màn hình mi, mã này được biểu diễn bởi một bộ d,1, d,2,... d,
i i i Q
C C C gồm có | |
20
E
Q thành phần.
Cho C là tập các mã thông báo được gán cho các monitor; C = { , i = 1…L}. + Hai tham số A và B (phương trình 2) được định nghĩa như sau:
2.3.3.2. Các biến
- Các biến linz, , và f cũng được định nghĩa lại như sau:
- Các biến số nguyên không âm linzi,j,q trong đó i, j =1…L, q = 1…Q, được sử dụng cho việc tính toán trung gian,
- Các biến số nguyên dương Ai q, (i =1…L, q = 1…Q): biểu diễn số thập phân cho khối 20 bít thứ q trong mã thông báo được liên kết với lỗi liên kết ei (ei E).
- Các biến nhị phân fi, j, q(i, j =1…L, q = 1…Q): so sánh mã cảnh báo được đã kết nối giữa hai liên kết ei và ej (ei, ej E)).