1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
import("core.base.graph")
function test_topological_sort(t)
local edges = {
{0, 5},
{0, 2},
{0, 1},
{3, 6},
{3, 5},
{3, 4},
{5, 4},
{6, 4},
{6, 0},
{3, 2},
{1, 4},
}
local dag = graph.new(true)
for _, e in ipairs(edges) do
dag:add_edge(e[1], e[2])
end
local order_path = dag:topological_sort()
local orders = {}
for i, v in ipairs(order_path) do
orders[v] = i
end
for _, e in ipairs(edges) do
t:require(orders[e[1]] < orders[e[2]])
end
dag = dag:reverse()
order_path = dag:topological_sort()
orders = {}
for i, v in ipairs(order_path) do
orders[v] = i
end
for _, e in ipairs(edges) do
t:require(orders[e[1]] > orders[e[2]])
end
end
function test_find_cycle(t)
local edges = {
{9, 1},
{1, 6},
{6, 0},
{0, 1},
{4, 5}
}
local dag = graph.new(true)
for _, e in ipairs(edges) do
dag:add_edge(e[1], e[2])
end
local cycle = dag:find_cycle()
t:are_equal(cycle, {1, 6, 0})
end
|