笔记来源:高级算法设计(孙晓明老师部分)
利用PIT 解决二分图完美匹配(代数化方法)
定理:
A
A
A的行列式
i
d
e
n
t
i
c
a
l
z
e
r
o
,
identical zero,
identicalzero,即(恒等于0,PIT ),当且仅当
G
G
G没有完美匹配。
逆否命题也成立:当:
A
A
A的行列式不恒为0时,则
G
G
G存在完美匹配
注意下面的结论是错误的:
当
G
G
G存在完美匹配,
A
A
A的行列式不恒为0。对于完全二部图的A的行列式为0
判断二分图匹配算法的代数化方法
单边错算法
if(det(A)不恒等0) 存在完美匹配//不会出错,定理保证的
if(det(A)恒为0) 不存在完美匹配//这个可能出错