弦图#

弦图算法。

如果一个图的每个长度至少为 4 的圈都存在弦(连接圈中两个不相邻节点的边),则称该图为弦图。https://en.wikipedia.org/wiki/Chordal_graph

is_chordal(G)

检查图 G 是否为弦图。

chordal_graph_cliques(G)

返回弦图的所有极大团。

chordal_graph_treewidth(G)

返回弦图 G 的树宽。

complete_to_chordal_graph(G)

返回完成为弦图的 G 的副本

find_induced_nodes(G, s, t[, treewidth_bound])

返回从 s 到 t 的路径中诱导节点集。