Forbidden graph characterization (source code)

= Forbidden graph characterization
{wiki=Forbidden_graph_characterization}