最小点权覆盖=最大点权独立集

 

根据最大点权独立集的定义，如果(x,y) in E，则x和y不能都在独立集V'中，即

(co- 表示补集，真是不幸，没有公式用)

    !（x in V' && y in V')

  <=> ! x in V' || ! y in V'

  <=>x in co(V') || y in co(V') 

这就转化成了最小点权覆盖集。得解。

 

转的。

 

 

源到左点连点权边，汇到右点连点权边，则：

最小点权覆盖=最小割

因为能割必能覆盖，能覆盖必能割。