2015-11-14 12:43:18 +03:00
|
|
|
# frozen_string_literal: true
|
|
|
|
|
2009-02-15 02:36:45 +03:00
|
|
|
require 'tsort'
|
|
|
|
require 'test/unit'
|
|
|
|
|
|
|
|
class TSortHash < Hash # :nodoc:
|
|
|
|
include TSort
|
|
|
|
alias tsort_each_node each_key
|
|
|
|
def tsort_each_child(node, &block)
|
|
|
|
fetch(node).each(&block)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class TSortArray < Array # :nodoc:
|
|
|
|
include TSort
|
|
|
|
alias tsort_each_node each_index
|
|
|
|
def tsort_each_child(node, &block)
|
|
|
|
fetch(node).each(&block)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class TSortTest < Test::Unit::TestCase # :nodoc:
|
|
|
|
def test_dag
|
|
|
|
h = TSortHash[{1=>[2, 3], 2=>[3], 3=>[]}]
|
|
|
|
assert_equal([3, 2, 1], h.tsort)
|
|
|
|
assert_equal([[3], [2], [1]], h.strongly_connected_components)
|
|
|
|
end
|
|
|
|
|
|
|
|
def test_cycle
|
|
|
|
h = TSortHash[{1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}]
|
|
|
|
assert_equal([[4], [2, 3], [1]],
|
|
|
|
h.strongly_connected_components.map {|nodes| nodes.sort})
|
|
|
|
assert_raise(TSort::Cyclic) { h.tsort }
|
|
|
|
end
|
|
|
|
|
|
|
|
def test_array
|
|
|
|
a = TSortArray[[1], [0], [0], [2]]
|
|
|
|
assert_equal([[0, 1], [2], [3]],
|
|
|
|
a.strongly_connected_components.map {|nodes| nodes.sort})
|
|
|
|
|
|
|
|
a = TSortArray[[], [0]]
|
|
|
|
assert_equal([[0], [1]],
|
|
|
|
a.strongly_connected_components.map {|nodes| nodes.sort})
|
|
|
|
end
|
2013-10-17 07:32:15 +04:00
|
|
|
|
2013-10-17 19:59:40 +04:00
|
|
|
def test_s_tsort
|
|
|
|
g = {1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]}
|
|
|
|
each_node = lambda {|&b| g.each_key(&b) }
|
|
|
|
each_child = lambda {|n, &b| g[n].each(&b) }
|
|
|
|
assert_equal([4, 2, 3, 1], TSort.tsort(each_node, each_child))
|
|
|
|
g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
|
|
|
|
assert_raise(TSort::Cyclic) { TSort.tsort(each_node, each_child) }
|
|
|
|
end
|
|
|
|
|
|
|
|
def test_s_tsort_each
|
|
|
|
g = {1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]}
|
|
|
|
each_node = lambda {|&b| g.each_key(&b) }
|
|
|
|
each_child = lambda {|n, &b| g[n].each(&b) }
|
|
|
|
r = []
|
|
|
|
TSort.tsort_each(each_node, each_child) {|n| r << n }
|
|
|
|
assert_equal([4, 2, 3, 1], r)
|
2014-11-26 13:46:50 +03:00
|
|
|
|
|
|
|
r = TSort.tsort_each(each_node, each_child).map {|n| n.to_s }
|
|
|
|
assert_equal(['4', '2', '3', '1'], r)
|
2013-10-17 19:59:40 +04:00
|
|
|
end
|
|
|
|
|
|
|
|
def test_s_strongly_connected_components
|
|
|
|
g = {1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]}
|
|
|
|
each_node = lambda {|&b| g.each_key(&b) }
|
|
|
|
each_child = lambda {|n, &b| g[n].each(&b) }
|
|
|
|
assert_equal([[4], [2], [3], [1]],
|
|
|
|
TSort.strongly_connected_components(each_node, each_child))
|
|
|
|
g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
|
|
|
|
assert_equal([[4], [2, 3], [1]],
|
|
|
|
TSort.strongly_connected_components(each_node, each_child))
|
|
|
|
end
|
|
|
|
|
|
|
|
def test_s_each_strongly_connected_component
|
|
|
|
g = {1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]}
|
|
|
|
each_node = lambda {|&b| g.each_key(&b) }
|
|
|
|
each_child = lambda {|n, &b| g[n].each(&b) }
|
|
|
|
r = []
|
|
|
|
TSort.each_strongly_connected_component(each_node, each_child) {|scc|
|
|
|
|
r << scc
|
|
|
|
}
|
|
|
|
assert_equal([[4], [2], [3], [1]], r)
|
|
|
|
g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
|
|
|
|
r = []
|
|
|
|
TSort.each_strongly_connected_component(each_node, each_child) {|scc|
|
|
|
|
r << scc
|
|
|
|
}
|
|
|
|
assert_equal([[4], [2, 3], [1]], r)
|
2014-11-26 13:46:50 +03:00
|
|
|
|
|
|
|
r = TSort.each_strongly_connected_component(each_node, each_child).map {|scc|
|
|
|
|
scc.map(&:to_s)
|
|
|
|
}
|
|
|
|
assert_equal([['4'], ['2', '3'], ['1']], r)
|
2013-10-17 19:59:40 +04:00
|
|
|
end
|
|
|
|
|
|
|
|
def test_s_each_strongly_connected_component_from
|
2013-10-17 07:32:15 +04:00
|
|
|
g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
|
|
|
|
each_child = lambda {|n, &b| g[n].each(&b) }
|
|
|
|
r = []
|
|
|
|
TSort.each_strongly_connected_component_from(1, each_child) {|scc|
|
|
|
|
r << scc
|
|
|
|
}
|
|
|
|
assert_equal([[4], [2, 3], [1]], r)
|
2014-11-26 13:46:50 +03:00
|
|
|
|
|
|
|
r = TSort.each_strongly_connected_component_from(1, each_child).map {|scc|
|
|
|
|
scc.map(&:to_s)
|
|
|
|
}
|
|
|
|
assert_equal([['4'], ['2', '3'], ['1']], r)
|
2013-10-17 07:32:15 +04:00
|
|
|
end
|
2009-02-15 02:36:45 +03:00
|
|
|
end
|
|
|
|
|