图论点、边集和二分图的相关概念和性质

• 参考链接： http://dsqiu.iteye.com/blog/1689505

• 概念：

  • 最小点覆盖：

    • 点覆盖集即一个点集，使得所有边至少有一个端点在集合里。或者说是“点” 覆盖了所有“边”。最小点覆盖(minimum vertex covering)就是点最少的点覆盖。

  • 最小边覆盖：

    • 边覆盖集即一个边集，使得所有点都与集合里的边邻接。或者说是“边” 覆盖了所有“点”。最小边覆盖(minimum edge covering)就是边最少的边覆盖。

  • 最大点独立集：

    • 独立集即一个点集，集合中任两个结点不相邻，则称V为独立集。或者说是导出的子图是零图（没有边）的点集。最大独立集(maximum independent set)就是点最多的独立集。

  • 最大边独立集： 边独立集又称匹配

    • 边独立集即一个边集，满足边集中的任两边不邻接。最大边独立集(maximum edge independent set)就是边最多的边独立集

  • 最大团：

    • 团即一个点集，集合中任两个结点相邻。最大团(maximum clique)就是点最多的团。

  • 最小点支配集：

    • 支配集即一个点集，使得所有其他点至少有一个相邻点在集合里。最小支配集(minimum dominating set)就是点最少的支配集。

  • 最小边支配集：

    • 边支配集即一个边集，使得所有边至少有一条邻接边在集合里。最小边支配集(minimum edge dominating set)就是边最少的边支配集。

  • 最小路径覆盖：

    • 最小路径覆盖(path covering)：是“路径” 覆盖“点”，即用尽量少的不相交简单路径覆盖有向无环图G的所有顶点，即每个顶点严格属于一条路径。路径的长度可能为0(单个点)。

• 二分图性质

  • 二分图的 最小点覆盖数 == 最大边匹配数

    • 【即求最少的点使得每条边都至少和其中的一个点相关联，很显然直接取最大匹配的一段节点即可】

  • 二分图的 最小边覆盖数 == 总顶点数 — 最大边匹配数 == 最大点独立集

  • 二分图的 最大点独立集 == 总顶点数 — 最大边匹配数

    • 【很显然的把最大匹配两端的点都从顶点集中去掉这个时候剩余的点是独立集，这是|V|-2*|M|，同时必然可以从每条匹配边的两端取一个点加入独立集并且保持其独立集性质】

  • 二分图的 最大边独立集 == 最大匹配数

  • DAG的最小路径覆盖 == 将每个点拆点后作最大匹配，结果为n-m

• 结论

  • 6个及以上的点集合，一定含有团或者独立集（≥3个点的大小）