一些结论

任意一个自然数最多只需要3个三角形数即可表示

最大独立集 = 顶点个数 – 最小顶点覆盖（最大匹配）

二部图的最小覆盖数=二部图的最大匹配数

有向图的最小覆盖数=节点数-二部图的最大匹配数