Cho đồ thị có hướng G = (V, E) trong đó tập đỉnh V = {1,2,3,4,5,6} và tập cung E = {(1,6),(2,1),(2,5),(2,6),(3,1),(3,2),(5,4),(5,6),(6,4)}. Hỏi có thể tiến hành sắp xếp TOPO các đỉnh trên G hay không?
Trả lời:
Đáp án đúng: A
Đồ thị có hướng G có thể sắp xếp TOPO khi và chỉ khi đồ thị không có chu trình. Để kiểm tra xem đồ thị đã cho có chu trình hay không, ta có thể thực hiện duyệt đồ thị (DFS hoặc BFS) và kiểm tra tính reachable của các đỉnh. Hoặc có thể kiểm tra bằng thuật toán Tarjan hoặc Kosaraju. Trong trường hợp này, ta nhận thấy có chu trình 1 -> 6 -> 4 -> (không đi đến 1 được) hoặc 2 -> 1 -> 6 -> 4 -> (không đi đến 2 được) , nhưng không có chu trình.
Tuy nhiên, ta thấy có chu trình 2 -> 1 -> 6 -> 4 -> quay lại (không trực tiếp). Hoặc 3 -> 1 -> 6 -> 4 -> (không trực tiếp quay lại 3). Do đó, đồ thị này có chu trình và không thể sắp xếp TOPO.





