1 | 10. ![]() ![]() 11. s2: traversal(the_graph) 12. l_disjoint(Vertices(the_graph)+Vertices(the_graph);s2;s) 13. paren(Vertices(the_graph);s2) 14. no_repeats(Vertices(the_graph)+Vertices(the_graph);s2) & ![]() ![]() 15. ![]() ![]() ![]() ![]() 16. df-traversal(the_graph;([inl(i)] @ s2 @ [inr(i)]) @ s) ![]() | 147 steps |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |