高級算法設計-代數化方法解決Bipartite Pefect Matching

筆記來源：高級算法設計（孫曉明老師部分）

利用PIT 解決二分圖完美匹配（代數化方法）

定理：$A$的行列式$identical zero,$即（恆等於0，PIT ）,當且僅當$G$沒有完美匹配。
逆否命題也成立：當：$A$的行列式不恆爲０時，則$G$存在完美匹配
注意下面的結論是錯誤的：
當$G$存在完美匹配，$A$的行列式不恆爲０。對於完全二部圖的A的行列式爲0

判斷二分圖匹配算法的代數化方法

單邊錯算法

if(det(A)不恆等0) 存在完美匹配//不會出錯，定理保證的
if(det(A)恆爲0) 不存在完美匹配//這個可能出錯