Storyboard ReachabilityGraphSimpleIsomorphismTest

Create two rings of three nodes with a mark at one node.

compute certificates

Check: Both certificates are equal. true

6*1 7*1 8*1 9*1 3: 1: num: 0 prev: 1 next: 1 graph: 2 4: 1: num: 42 prev: 1 next: 1 graph: 2 5: 2: nodes: 1 1 1 6: 3: num: 0 prev: 3 next: 4 graph: 5 7: 3: num: 0 prev: 4 next: 3 graph: 5 8: 4: num: 42 prev: 3 next: 3 graph: 5 9: 5: nodes: 3 3 4 1: Node 2: SimpleState

Check: Graphs are isomorphic: Map Visible CaseSensitive (4)

Map Visible CaseSensitive (4)

removing the num

Check: Both certificates are again equal. true

5*3 6*1 3: 1: num: 0 prev: 1 next: 1 graph: 2 4: 2: nodes: 1 1 1 5: 3: num: 0 prev: 3 next: 3 graph: 4 6: 4: nodes: 3 3 3 1: Node 2: SimpleState

Check: Graphs are isomorphic: Map Visible CaseSensitive (4)