文档建议反馈控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

TSort

TSort使用Tarjan算法对强连通组件进行拓扑排序。

TSort被设计为能够与任何可以被解释为有向图的对象一起使用。

TSort需要两种方法将对象解释为图形#tsort_each_node和tsort_each_child。

  • #tsort_each_node用于遍历图上的所有节点。
  • #tsort_each_child用于迭代给定节点的子节点。

节点的相等性由eql?定义并且由于TSort内部使用Hash。

一个简单的例子

以下示例演示如何将TSort模块混合到现有类（在本例中为Hash）。在这里，我们将哈希中的每个关键字视为图中的一个节点，因此我们只需将所需的tsort_each_node方法别名为Hash的each_key方法。对于散列中的每个键，关联值都是该节点的子节点的数组。这个选择反过来导致我们实现所需的tsort_each_child方法，该方法获取子节点数组，然后使用用户提供的块对该数组进行迭代。

代码语言：javascript
复制
require 'tsort'

class Hash
  include TSort
  alias tsort_each_node each_key
  def tsort_each_child(node, &block)
    fetch(node).each(&block)
  end
end

{1=>[2, 3], 2=>[3], 3=>[], 4=>[]}.tsort
#=> [3, 2, 1, 4]

{1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}.strongly_connected_components
#=> [[4], [2, 3], [1]]

一个更现实的例子

一个非常简单的“make”工具可以实现如下：

代码语言：javascript
复制
require 'tsort'

class Make
  def initialize
    @dep = {}
    @dep.default = []
  end

  def rule(outputs, inputs=[], &block)
    triple = [outputs, inputs, block]
    outputs.each {|f| @dep[f] = [triple]}
    @dep[triple] = inputs
  end

  def build(target)
    each_strongly_connected_component_from(target) {|ns|
      if ns.length != 1
        fs = ns.delete_if {|n| Array === n}
        raise TSort::Cyclic.new("cyclic dependencies: #{fs.join ', '}")
      end
      n = ns.first
      if Array === n
        outputs, inputs, block = n
        inputs_time = inputs.map {|f| File.mtime f}.max
        begin
          outputs_time = outputs.map {|f| File.mtime f}.min
        rescue Errno::ENOENT
          outputs_time = nil
        end
        if outputs_time == nil ||
           inputs_time != nil && outputs_time <= inputs_time
          sleep 1 if inputs_time != nil && inputs_time.to_i == Time.now.to_i
          block.call
        end
      end
    }
  end

  def tsort_each_child(node, &block)
    @dep[node].each(&block)
  end
  include TSort
end

def command(arg)
  print arg, "\n"
  system arg
end

m = Make.new
m.rule(%w[t1]) { command 'date > t1' }
m.rule(%w[t2]) { command 'date > t2' }
m.rule(%w[t3]) { command 'date > t3' }
m.rule(%w[t4], %w[t1 t3]) { command 'cat t1 t3 > t4' }
m.rule(%w[t5], %w[t4 t2]) { command 'cat t4 t2 > t5' }
m.build('t5')

Bugs

  • 'tsort.rb'是错误的名字，因为这个库使用Tarjan算法处理强连接的组件。虽然'strongly_connected_components.rb'是正确的，但太长。

参考

    1. Tarjan, “Depth First Search and Linear Graph Algorithms”,

SIAM Journal on Computing, Vol. 1, No. 2, pp. 146-160, June 1972.

公共类别方法

each_strongly_connected_component（each_node，each_child）{| nodes | ...}显示源文件

#strongly_connected_components方法的迭代器版本。

该图由each_node和each_child表示。each_node应该有call方法其产生用于在图中的每个节点。each_child应该有一个call方法，该方法需要一个节点参数并为每个子节点生成。

代码语言：javascript
复制
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) }
TSort.each_strongly_connected_component(each_node, each_child) {|scc| p scc }
#=> [4]
#   [2]
#   [3]
#   [1]

g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
each_node = lambda {|&b| g.each_key(&b) }
each_child = lambda {|n, &b| g[n].each(&b) }
TSort.each_strongly_connected_component(each_node, each_child) {|scc| p scc }
#=> [4]
#   [2, 3]
#   [1]
代码语言：javascript
复制
# File lib/tsort.rb, line 341
def TSort.each_strongly_connected_component(each_node, each_child) # :yields: nodes
  return to_enum(__method__, each_node, each_child) unless block_given?

  id_map = {}
  stack = []
  each_node.call {|node|
    unless id_map.include? node
      TSort.each_strongly_connected_component_from(node, each_child, id_map, stack) {|c|
        yield c
      }
    end
  }
  nil
end

each_strongly_connected_component_from（node，each_child，id_map = {}，stack = []）{| nodes | ...}显示源文件

在图中迭代强连通的组件。该图由节点和each_child表示。

节点是第一个节点。each_child应该有一个call方法，该方法需要一个节点参数并为每个子节点生成。

返回值未指定。

＃TSort.each_strongly_connected_component_from是一个类方法，它不需要一个类来表示包含TSort的图。

代码语言：javascript
复制
graph = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
each_child = lambda {|n, &b| graph[n].each(&b) }
TSort.each_strongly_connected_component_from(1, each_child) {|scc|
  p scc
}
#=> [4]
#   [2, 3]
#   [1]
代码语言：javascript
复制
# File lib/tsort.rb, line 407
def TSort.each_strongly_connected_component_from(node, each_child, id_map={}, stack=[]) # :yields: nodes
  return to_enum(__method__, node, each_child, id_map, stack) unless block_given?

  minimum_id = node_id = id_map[node] = id_map.size
  stack_length = stack.length
  stack << node

  each_child.call(node) {|child|
    if id_map.include? child
      child_id = id_map[child]
      minimum_id = child_id if child_id && child_id < minimum_id
    else
      sub_minimum_id =
        TSort.each_strongly_connected_component_from(child, each_child, id_map, stack) {|c|
          yield c
        }
      minimum_id = sub_minimum_id if sub_minimum_id < minimum_id
    end
  }

  if node_id == minimum_id
    component = stack.slice!(stack_length .. -1)
    component.each {|n| id_map[n] = nil}
    yield component
  end

  minimum_id
end

strong_connected_components（each_node，each_child）显示源文件

将强连通的组件作为节点数组的数组返回。该数组从孩子到父母排序。数组中的每个元素表示一个强连通的组件。

该图由each_node和each_child表示。each_node应该有call方法其产生用于在图中的每个节点。each_child应该有一个call方法，该方法需要一个节点参数并为每个子节点生成。

代码语言：javascript
复制
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) }
p TSort.strongly_connected_components(each_node, each_child)
#=> [[4], [2], [3], [1]]

g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
each_node = lambda {|&b| g.each_key(&b) }
each_child = lambda {|n, &b| g[n].each(&b) }
p TSort.strongly_connected_components(each_node, each_child)
#=> [[4], [2, 3], [1]]
代码语言：javascript
复制
# File lib/tsort.rb, line 279
def TSort.strongly_connected_components(each_node, each_child)
  TSort.each_strongly_connected_component(each_node, each_child).to_a
end

tsort(each_node, each_child) Show source

返回拓扑排序的节点数组。这个数组从孩子到父母排序，即第一个元素没有孩子，最后一个节点没有父亲。

该图由each_node和each_child表示。each_node应该有call方法其产生用于在图中的每个节点。each_child应该有一个call方法，该方法需要一个节点参数并为每个子节点生成。

如果有循环，则引发TSort::Cyclic。

代码语言：javascript
复制
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) }
p TSort.tsort(each_node, each_child) #=> [4, 2, 3, 1]

g = {1=>[2], 2=>[3, 4], 3=>[2], 4=>[]}
each_node = lambda {|&b| g.each_key(&b) }
each_child = lambda {|n, &b| g[n].each(&b) }
p TSort.tsort(each_node, each_child) # raises TSort::Cyclic
代码语言：javascript
复制
# File lib/tsort.rb, line 174
def TSort.tsort(each_node, each_child)
  TSort.tsort_each(each_node, each_child).to_a
end

tsort_each(each_node, each_child) { |node| ... } Show source

#tsort方法的迭代器版本。

该图由each_node和each_child表示。each_node应该有call方法其产生用于在图中的每个节点。each_child应该有一个call方法，该方法需要一个节点参数并为每个子节点生成。

代码语言：javascript
复制
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) }
TSort.tsort_each(each_node, each_child) {|n| p n }
#=> 4
#   2
#   3
#   1
代码语言：javascript
复制
# File lib/tsort.rb, line 222
def TSort.tsort_each(each_node, each_child) # :yields: node
  return to_enum(__method__, each_node, each_child) unless block_given?

  TSort.each_strongly_connected_component(each_node, each_child) {|component|
    if component.size == 1
      yield component.first
    else
      raise Cyclic.new("topological sort failed: #{component.inspect}")
    end
  }
end

公共实例方法

each_strongly_connected_component() { |nodes| ... } Show source

strong_connected_components方法的迭代器版本。obj.each_strongly_connected_component和obj.strongly_connected_components.each是类似的，但在迭代过程中修改obj可能会导致意想不到的结果。

each_strongly_connected_component返回nil。

代码语言：javascript
复制
class G
  include TSort
  def initialize(g)
    @g = g
  end
  def tsort_each_child(n, &b) @g[n].each(&b) end
  def tsort_each_node(&b) @g.each_key(&b) end
end

graph = G.new({1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]})
graph.each_strongly_connected_component {|scc| p scc }
#=> [4]
#   [2]
#   [3]
#   [1]

graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
graph.each_strongly_connected_component {|scc| p scc }
#=> [4]
#   [2, 3]
#   [1]
代码语言：javascript
复制
# File lib/tsort.rb, line 312
def each_strongly_connected_component(&block) # :yields: nodes
  each_node = method(:tsort_each_node)
  each_child = method(:tsort_each_child)
  TSort.each_strongly_connected_component(each_node, each_child, &block)
end

each_strongly_connected_component_from(node, id_map={}, stack=[]) { |nodes| ... } Show source

迭代可从节点到达的子图中强连通的组件。

返回值未指定。

each_strongly_connected_component_from不会调用tsort_each_node。

代码语言：javascript
复制
class G
  include TSort
  def initialize(g)
    @g = g
  end
  def tsort_each_child(n, &b) @g[n].each(&b) end
  def tsort_each_node(&b) @g.each_key(&b) end
end

graph = G.new({1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]})
graph.each_strongly_connected_component_from(2) {|scc| p scc }
#=> [4]
#   [2]

graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
graph.each_strongly_connected_component_from(2) {|scc| p scc }
#=> [4]
#   [2, 3]
代码语言：javascript
复制
# File lib/tsort.rb, line 382
def each_strongly_connected_component_from(node, id_map={}, stack=[], &block) # :yields: nodes
  TSort.each_strongly_connected_component_from(node, method(:tsort_each_child), id_map, stack, &block)
end

strongly_connected_components() Show source

将强连通的组件作为节点数组的数组返回。该数组从孩子到父母排序。数组中的每个元素表示一个强连通的组件。

代码语言：javascript
复制
class G
  include TSort
  def initialize(g)
    @g = g
  end
  def tsort_each_child(n, &b) @g[n].each(&b) end
  def tsort_each_node(&b) @g.each_key(&b) end
end

graph = G.new({1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]})
p graph.strongly_connected_components #=> [[4], [2], [3], [1]]

graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
p graph.strongly_connected_components #=> [[4], [2, 3], [1]]
代码语言：javascript
复制
# File lib/tsort.rb, line 253
def strongly_connected_components
  each_node = method(:tsort_each_node)
  each_child = method(:tsort_each_child)
  TSort.strongly_connected_components(each_node, each_child)
end

tsort() Show source

返回拓扑排序的节点数组。这个数组从孩子到父母排序，即第一个元素没有孩子，最后一个节点没有父亲。

如果有循环，则引发TSort::Cyclic。

代码语言：javascript
复制
class G
  include TSort
  def initialize(g)
    @g = g
  end
  def tsort_each_child(n, &b) @g[n].each(&b) end
  def tsort_each_node(&b) @g.each_key(&b) end
end

graph = G.new({1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]})
p graph.tsort #=> [4, 2, 3, 1]

graph = G.new({1=>[2], 2=>[3, 4], 3=>[2], 4=>[]})
p graph.tsort # raises TSort::Cyclic
代码语言：javascript
复制
# File lib/tsort.rb, line 148
def tsort
  each_node = method(:tsort_each_node)
  each_child = method(:tsort_each_child)
  TSort.tsort(each_node, each_child)
end

tsort_each() { |node| ... } Show source

tsort方法的迭代器版本。obj.tsort_each和obj.tsort.each类似，但在迭代过程中修改obj可能会导致意想不到的结果。

tsort_each返回nil。如果有循环，则引发TSort::Cyclic。

代码语言：javascript
复制
class G
  include TSort
  def initialize(g)
    @g = g
  end
  def tsort_each_child(n, &b) @g[n].each(&b) end
  def tsort_each_node(&b) @g.each_key(&b) end
end

graph = G.new({1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]})
graph.tsort_each {|n| p n }
#=> 4
#   2
#   3
#   1
代码语言：javascript
复制
# File lib/tsort.rb, line 201
def tsort_each(&block) # :yields: node
  each_node = method(:tsort_each_node)
  each_child = method(:tsort_each_child)
  TSort.tsort_each(each_node, each_child, &block)
end

tsort_each_child(node) { |child| ... } Show source

应该由一个扩展的类来实现。

tsort_each_child用于迭代节点的子节点。

代码语言：javascript
复制
# File lib/tsort.rb, line 448
def tsort_each_child(node) # :yields: child
  raise NotImplementedError.new
end

tsort_each_node() { |node| ... } Show source

应该由一个扩展的类来实现。

tsort_each_node用于遍历图上的所有节点。

代码语言：javascript
复制
# File lib/tsort.rb, line 440
def tsort_each_node # :yields: node
  raise NotImplementedError.new
end

本文档系腾讯云开发者社区成员共同维护，如有问题请联系 cloudcommunity@tencent.com

扫码关注腾讯云开发者

领取腾讯云代金券

http://www.vxiaotou.com