Chúng tôi xác định gói tin được chuyển giữa từng cặp s-d với flow một thứ hàng hóa. Phía bên trái của các hạn chế bảo tồn flow tại nút tôi trong mạng tính flow net ra của một nút tôi cho một thứ hàng hóa (sd). Net flow là sự khác biệt giữa đi flow và flow đến. Bên phải là 0 nếu nút đó là không nguồn gốc, cũng không là điểm đến cho hàng hóa đó (tôi / = s, d). Nếu nút tôi là nguồn gốc của flow (tôi = s), net flow bằng λsd, tỷ lệ xuất hiện cho những gói dữ liệu, và nếu nút tôi là điểm đến, tôi = d, net flow bằng −λsd.Hạn chế λij = Diem, d λsd là chỉ definition của λij. Hạn chế λij ≤Λmax, cùng với một thực tế rằng chúng tôi đang giảm thiểu λmax, đảm bảo rằng giá trị tối thiểu của λmax các tắc nghẽn. Hạn chế λsd ≤ bij λsd đảm bảo rằng nếu bij = 0,IJ = 0 cho tất cả các giá trị của s và d. Vì vậy nếu các liên kết (i, j) không tồn tại trong tô pô, không có gói dữ liệu có thể được chuyển vào liên kết đó. Nếu các liên kết (i, j) tồn tại trong tô pô (bij = 1), hạn chế này chỉ đơn giản là tiểu bang mà λsd λsd ≤ là luôn luôn đúng; do đó, nó áp đặt không hạn chế trên các giá trị của λsd trong trường hợp này.Những hạn chế mức độ đảm bảo rằng cấu trúc liên kết được thiết kế có liên kết không nhiều hơn 6 vào và ra khỏi mỗi nút. Hai chiều lightpath hạn chế bij = bji, đảm bảo rằng cấu trúc liên kết quả đã chỉ hai chiều lightpaths; đó là, nếu có một lightpath từ nút tôi để nút j, đó cũng là một lightpath từ nút j đến nút i. Những hạn chế bij ∈ {0, 1} hạn chế bij đi trên chỉ là những giá trị 0 hoặc 1. Nhưchúng ta sẽ thấy ngay, nhưng đối với những hạn chế, các vấn đề đã có dễ dàng để giải quyết! Lưu ý rằng hàm mục tiêu và những hạn chế chức năng tuyến tính của các biến (λsd, λij, λmax, bij). Một chương trình toán học với tài sản này được gọi là một chương trình tuyến tính (LP) nếu, ngoài ra, tất cả các biến thực sự. Nó được gọi là một chương trình số nguyên tuyến tính (ILP) nếu tất cả các biến được giới hạn để có giá trị số nguyên.
đang được dịch, vui lòng đợi..
