Trong phần này, luận văn đưa ra một điều kiện đủ cho một LCM vđểđạt được cận max-flow trên dim(v(T)) trong Định đề 2.3
Định nghĩa: Một LCM v trên một mạng truyền thông được gọi là generic nếu
điều kiện sau thỏa mãn đối với bất kỳ tập kênh khi và chỉ khi các vector là độc lập tuyến tính.
Nếu là độc lập tuyến tính, thì vì Một LCM yêu cầu rằng điều
ngược lại cũng đúng. Theo ý nghĩa này, một generic LCM gán các vector là độc lập tuyến tính nhất có thể cho các kênh.
Ví dụ 3.1: Với với truyền thông trong hình 1b, LCM v trong ví dụ 2.2 là một generic LCM. Tuy nhiên LCM u định nghĩa bởi:
thì không phải là generic. Điều này có thể thấy được bằng cách xét một tập các kênh {ST, WX} mà . Lúc đó nhưng u(ST) và u(WX) không độc lập tuyến tính. Vì vậy, u không phải là generic.
Bổ đề 3.2: Gọi v là một generic LCM. Bất kỳ tập các kênh từ một node X với phải được v gán các vector độc lập tuyến tính.
Định lý: Nếu v là một generic LCM trên một kênh truyền thông thì đối với tất cả
các node T ta có:
dim(v(T)) = maxflow(T).
Một LCM trong đó đối với tất cả T cung cấp một cách quảng bá một thông điệp phát sinh từ node nguồn S, trong đó mỗi node không phải nguồn T sẽ nhận thông điệp ở tốc độ bằng với maxflow(T). Điều này được minh họa bởi ví dụ sau, dựa trên giả sử rằng trường cơ sở của là một trường vô hạn hoặc trường hữu hạn đủ lớn. Trong ví dụ này, chúng ta triển khai một kỹ thuật được chứng minh bởi bổđề sau:
Bổ đề 3.4: Gọi X, Y và Z là các node mà
và , với và . Bằng cách loại bỏ bất kỳ cạnh UX nào trong đồ thị, maxflow(X) và maxflow(Y) bị giảm nhiều nhất là 1 và maxflow(Z) vẫn giữ nguyên.
Ví dụ 3.5: Xét một mạng truyền thông trong đó maxflow(T) = 4,3 hoặc 1 đối với tất cả các node T trong mạng. Node nguồn S phải quảng bá 12 ký tự a1, .., a12. Các ký tự này được lấy từ trường cơ sở F đủ lớn. (Chú ý rằng 12 là bội số chung nhỏ
nhất của 4,3 và 1). Định nghĩa tập
Đểđơn giản, chúng ta sử dụng giây như là đơn vị thời gian. Chúng ta sẽ mô tả
cách a1, …, a12 có thểđược quảng bá tới các node trong trong 3, 4 và 12s tương ứng , giả sử rằng tồn tại một LCM trên mạng đối với d=4,3,1.
Chúng ta sẽ đưa ra tóm tắt của lược đồ phía trên. Trong giây thứ i đối với i = 1, 2,3, thông qua generic LCM v1, mỗi node trong nhận cả 4 chiều của , mỗi node trong nhận ba chiều của , và mỗi node trong nhận một chiều của . Trong giây thứ tư, thông qua generic LCM v2, mỗi node trong nhận vector , vector này cung cấp 3 chiều còn thiếu của và (1 chiều cho mỗi cái) trong suốt 3s đầu tiên trong việc multicast bởi v1. Trong cùng thời gian đó, mỗi node trong nhận một chiều của . Bây giờ, để khôi phục lại , mỗi node trong cần nhận hai chiều còn thiếu của trong suốt giây thứ tư. Điều này đạt được bằng LCM v3 trong giây thứ năm và thứ sáu. Mỗi node trong nhận được một chiều của cho i = 1,2,3 từ thông qua v2 và v3 trong suốt từ giây thứ tưđến giây thứ sáu. Vì vậy, nó duy trì việc cung cấp sáu chiều còn thiếu của (mỗi cái 2 chiều) cho mỗi node trong , và điều này đạt được trong giây thứ 7 đến thứ 12 thông qua generic
LCM v3.
Nhận xét: Lược đồ trong ví dụ 3.5 có thể dễ dàng được tổng quát hóa tới một tập các giá trị luồng-cực đại bất kỳ.
Trong lược đồ ví dụ 3.5, ở cuối giây thứ 12, mỗi node nhận được một thông
điệp của 12 kí tự. Vì vậy, tốc độ thông tin đến mỗi node trung bình trên toàn bộ quá trình là 1 kí tự/s. Kết quả trong [1] xác nhận rằng có thể đạt được tốc độ này – giá trị
nhỏ nhất của cận luồng-cực đại của tất cả các node. Tuy nhiên, trong lược đồ của bài báo này các node trong có thể thực sự nhận được toàn bộ thông điệp ở tốc
độ bằng với cận luồng-cực đại của chúng. Vì vậy, kết quả của bài báo phần nào mạnh hơn trong [1]. Tuy nhiên, không có nghĩa là thông tin có thểđược multicast liên tục từ