伪代码汉字形式:
如果X中本身没有M-非饱和顶点,那么X本身就是一个最小点覆盖集
假设有M-非饱和定点
- 找到一个M-非饱和顶点,并且找到所有可以通过此M-非饱和定点开始的交错道路到达的Y中的定点,加入到集合Yi中。
1.1 从这些Yi的点开始,找到属于匹配边的X中的顶点,删去。
1.2 Yx <—— Yi。 - 如果还有M-非饱和顶点,重复步骤1,直到没有M-非饱和顶点。
- 此时在一开始的匹配中X中剩余的顶点加上Yx中的顶点的并集就是此图的最小点覆盖。
Reference:Duo L., 2018.离散数学及应用.2nd.Beijing: Tsinghua University.