Khác biệt giữa bản sửa đổi của “Thành phần liên thông mạnh”

Một [[đồ thị (lý thuyết đồ thị)#đồ thị có hướng|đồ thị có hướng]] là ''liên thông mạnh'' nếu như có đường từ bất kì đỉnh nào tới bất kì đỉnh nào khác. Một '''thành phần liên thông mạnh''' của một đồ thị có hướng là một đồ thị con tối đại liên thông mạnh. Nếu mỗi thành phần liên thông mạnh được co lại thành một đỉnh, thì đồ thị sẽ trở thành một [[đồ thị có hướng không có chu trình]].

 

 

Thuật toán tìm thành phần liên thông mạnh có thể được dùng để giải [[bài toán thỏa mãn biểu thức logic]] trong đó mỗi điều kiện có hai biến số. Theo Aspvall, Plass, và Tarjan đã chứng minh năm 1979<ref>{{chú thích tạp chí