Circuit Generators
For planar graphs,
cycle rank
circuits always suffice. Does that bound hold for non-planar graphs?
K(3,3) — bound fails
K₅ — bound holds
—