Spanning Tree in infinite Graphs Axiom of Choice Eulertour Fleurys Algorithm Hierholzer Algrithmus de Bruijn sequence
