Mơ hình mã mạng đơn giản

Một phần của tài liệu (LUẬN án TIẾN sĩ) mã mạng trên một số cấu trúc đại số (Trang 34 - 36)

CHƯƠNG 1 TỔNG QUAN VỀ MÃ MẠNG

1.2. TỔNG QUAN CHUNG VỀ MÃ MẠNG

1.2.2. Mơ hình mã mạng đơn giản

Mơ hình mạng cánh bướm là một mơ hình kinh điển, dễ hiểu được sử dụng để mô tả hệ thống mạng sử dụng mã hóa mạng một cách đơn giản nhất [19]. Khi một nguồn thông tin được phát đa hướng trên mạng truyền thơng điểm-điểm thì việc mã hóa mạng có thể giúp hoạt động tốt hơn việc định tuyến.

Hình 1.6. Mạng cánh bướm

Xem xét mạng trong Hình 1.6 (a). Hai bit X và Y được tạo ra tại các nút nguồn . Nhiệm vụ là phát đa hướng cho cả hai bit X và Y tới hai nút đích 1 và 2. Trong mạng, mỗi cạnh đại diện cho một kênh truyền dữ liệu khơng có nhiễu và trên đó một bit có thể được truyền qua. Có một kênh đặc biệt từ nút 3 đến nút 4; Phương pháp tiếp cận định tuyến thông thường cho thấy rằng tác vụ con của phát đa hướng

X và tác vụ con của phát đa hướng Y có thể được thực hiện một cách độc lập. Để phát đa hướng X, bit phải được gửi dọc theo các đường dẫn màu đỏ, trong đó bit được nhân bản tại nút 1. Tương tự, bit Y phải được gửi dọc theo các đường dẫn màu xanh và bit được nhân bản tại nút 2.

Rõ ràng, có một xung đột giữa đường dẫn màu đỏ và đường dẫn màu xanh tại kênh từ nút 3 đến nút 4 mà không thể giải quyết được. Do đó, khơng thể phát đa hướng hai bit từ nút nguồn s đến các nút đích 1 và 2 bằng cách định tuyến đơn thuần. Tuy nhiên, xung đột tại kênh từ nút 3 đến nút 4 có thể được giải quyết bằng cách mã hóa hai bit X và Y thành một bit đơn X + Y. Đây chính là giải pháp mã hóa mạng và được hiển thị trong Hình 1.6 (b). Rõ ràng, cả hai nút đích 1 và 2 đều có thể giải mã X và Y.

Trong mạng cánh bướm, có hai đường truyền riêng biệt có thể truyền từ nút nguồn s đến nút đích , trong đó

i = 1, 2. Ví dụ, hai đường phân tách cạnh từ s đến1 là: Đường 1: → 1 →1;

Đường 2: → 2 → 3 → 4 →1.

Chúng ta nói rằng lưu lượng tối đa (maximum flow) từ nút nguồn s đến nút đích là bằng 2. Rõ ràng, khơng thể gửi nhiều hơn hai bit từ nút nguồn đến bất kỳ nút nào trong số các nút đích có thể ở dạng mã hóa hoặc khơng mã hóa. Nếu chúng ta cần gửi hai bit từ nút nguồn s đến bất kỳ một trong các nút đích, thì hai bit có thể được định tuyến dọc theo hai đường truyền riêng biệt tương ứng với hai cạnh. Nói cách khác, số bit có thể được gửi từ nút s đến nút bằng với lưu lượng lớn nhất từ nút

s đến nút . Theo nghĩa này, chúng ta nói rằng lưu lượng tối đa từ

nút s đến nút có thể đạt được bằng cách định tuyến. Nếu chúng ta cần phát đa hướng hai bit từ nút nguồn s đến cả hai nút đích, thì lưu lượng tối đa của hai nút đích khơng thể đồng thời đạt được bằng cách định tuyến. Tuy nhiên, điều này có thể đạt được bằng phương pháp mã hóa mạng như chúng ta đã thấy.

Trong một mạng điểm-điểm, hãy xem xét phát đa hướng nguồn thông tin từ một nút nguồn đến một số lượng cố định các nút đích 1; 2; … ; . Biểu thị lưu lượng tối đa từ nút s đến nút bởi luồng tối đa - maxflow ( ). Như đã thảo luận, tốc độ của nguồn thông tin không thể vượt quá maxflow ( ) cho mỗi i, hoặc tương đương, tốc độ của nguồn thông tin không thể vượt quá mức tối thiểu của maxflow ( ) với tất cả = 1, 2, … , . Định lý Max-flow - Min-cut đưa ra giới hạn trên cho luồng thơng tin và được gọi là giới hạn dịng chảy tối đa (Max-flow bound) hay cũng được gọi là giới hạn Min-cut và nó có thể đạt được bằng mã hóa mạng.

Giải pháp mã hóa mạng trong Hình 1.6 (b) là sự chứng minh định lý Max-flow - Min-cut cho mạng cánh bướm. Trong giải pháp này, cơ chế mã hóa chỉ liên quan đến phép toán cộng modulo 2 tạo thành từ một mã trong mã mạng tuyến tính trên trường nhị phân. Mã mạng tuyến tính là quan trọng nhất trong thực tế vì thuật tốn mã hóa và giải mã hiệu quả có thể được thiết kế cho các mã như vậy.

Giải pháp mã hóa mạng cho mạng cánh bướm cho thấy rằng đối với một vấn đề mã hóa mạng đơn nguồn, thì giới hạn Max-flow có thể đạt được bằng mã hóa mạng tuyến tính. Điều này đã được chứng minh bởi Li, sau đó Koetter và Medard đã chứng minh kết quả tương tự bằng phương pháp của một kỹ thuật quen thuộc hơn với các kỹ thuật giao tiếp do đó mở rộng hơn nữa lĩnh vực này.

Một phần của tài liệu (LUẬN án TIẾN sĩ) mã mạng trên một số cấu trúc đại số (Trang 34 - 36)

Tải bản đầy đủ (DOCX)

(123 trang)
w