Searched refs:K_3_3 (Results 1 – 12 of 12) sorted by relevance
42 Graph K_3_3(6); in make_K_3_3() local43 bipartition_start = next(next(next(vertices(K_3_3).first))); in make_K_3_3()44 for (boost::tie(vi, vi_end) = vertices(K_3_3); vi != bipartition_start; in make_K_3_3()47 add_edge(*vi, *inner_vi, K_3_3); in make_K_3_3()48 return K_3_3; in make_K_3_3()116 static small_graph_t K_3_3(detail::make_K_3_3< small_graph_t >()); in is_kuratowski_subgraph() local282 return boost::isomorphism(K_3_3, contracted_graph); in is_kuratowski_subgraph()
1 c K_3_3