定理1:最小点覆盖=最大匹配数 matrix67神牛的证明(需要翻墙):https://www.matrix67.com/blog/archives/116 例题:Asteroids 定理2:最小边覆盖=顶点数-最小点覆盖(最大匹配数) 定理3:最大独立集=ΣV-最大匹配数