2. A: Vertices(the_graph) List
3. B: Vertices(the_graph) List
4. A = B
B 
A
For any graph
A,B:V List. A = B 
A-- > *B
A,B:V List. B A A-- > *B
| 1 | 1. the_graph: Graph 2. A: Vertices(the_graph) List 3. B: Vertices(the_graph) List 4. A = B B A | 1 step |
About:
 |  |  |  |