Thuật toán chuyển đổi sơ đồ cấutrúc logic sang đồ thị liên kết

Một phần của tài liệu Các phương pháp dự phòng nâng cao tin cậy của hệ thống tính toán (Trang 29 - 31)

a)Phân loại các đỉnh và các cạnh của đồ thị liên kết

- Nút nguồn: Có ít nhất một cung đi ra và không có cung đến. - Nút đích: Có ít nhất một cung đi vào và không có cung đi ra.

- Cạnh: Nối 2 đỉnh khác nhau của đồ thị. Ví dụ: Cạnh nối đỉnh i và j, ký hiệu là (i,j).

- Cung: Là cạnh có hƣớng. Ví dụ: Cạnh nối 2 đỉnh i và j tƣơng ứng với 2 cung là (i,j) và (j,i) và có (i,j)=(j,i).

Số hóa bởi Trung tâm Học liệu http://www.lrc-tnu.edu.vn/

- Đƣờng đi bắt đầu từ một đỉnh và kết thúc tại chính đỉnh đó đƣợc gọi là chu trình hay vòng lặp. Độ dài của đƣờng đi bằng số các cạnh (hoặc cung) trong đƣờng đi đó.

- Đƣờng (chu trình) trong đồ thị đƣợc gọi là đơn nếu nó đi qua mỗi cạnh đúng một lần.

- Đƣờng (chu trình) trong đồ thị đƣợc gọi là sơ cấp nếu nó đi qua mỗi đỉnh đúng một lần.

- Đƣờng đi qua tất cả các đỉnh gọi là đƣờng đi đầy đủ.

b) Thuật toán chuyển đổi từ sơ đồ cấu trúc logic sang đồ thị liên kết

Thuật toán chuyển đổi từ sơ đồ cấu trúc logic sang đồ thị liên kếtgồm các bƣớc sau:

- Nguồn của sơ đồ cấu trúc logic đƣợc thay thể bằng các đỉnh của đồ thị, gọi là đỉnh gốc. Các cung bắt đầu từ đỉnh nguồn của sơ đồ cấu trúc logic đƣợc thay thế bằng các cung của đồ thị và xuất phát từ đỉnh gốc.

- Các nút đỉnh đƣợc thay thế bằng các đỉnh của sơ đồ cấu trúc logic .

- Các cung trong sơ đồ cấu trúc logic đƣợc thể hiện bằng các cung trong đồ thị với các đỉnh tƣơng ứng.

- Tất cả các đỉnh khác (đỉnh khuyên – bắt đầu và kết thúc tại chính nó) đƣợc thể hiện bằng các cung trong đồ thị.

- Các cung và các cạnh của đồ thị đƣợc thay thế bởi các cung của sơ đồ cấu trúc logic .

Trong trƣờng hợp sơ đồ cấu trúc logic vô hƣớng thì việc biến đổi là đơn giản nhƣng nếu sơ đồ cấu trúc logic là có hƣớng thì việc quan trọng là phải xác định hƣớng của các cung và xây dựng làm sao cho hệ thống đạt hiệu quả.

Số hóa bởi Trung tâm Học liệu http://www.lrc-tnu.edu.vn/

Đồ thị liên kết nói chung (có ít nhất một cạnh) là có hƣớng nếu các cặp (i,j) đƣợc sắp thứ tự và mỗi cặp (i,j) là một cung. Đồ thị là vô hƣớng nếu các cặp (i,j) không sắp thứ tự và mỗi cặp (i,j) gọi là một cạnh

Một phần của tài liệu Các phương pháp dự phòng nâng cao tin cậy của hệ thống tính toán (Trang 29 - 31)