Slide 39
Slide 39 text
g = Graph()
n1 = g.addNode()
n2 = g.addNode()
n3 = g.addNode()
e1 = g.addEdge(n1, n2)
e2 = g.addEdge(n2, n3)
e3 = g.addEdge(n1, n3)
Assert(Not(And(e1, e2, e3)))
Assert(Or(e1, e3))
Assert(g.reaches(n1, n3))
=> e1: False, e2: False, e3: True
n1
n2
n3
e1 e2
e3
● e1, e2, e3 の 3 辺のうち
少なくとも 1 辺は通行不能
● e1, e3 の 2 辺のうち
少なくとも 1 辺は通行可能
● n1 から n3 へは到達可能