求最大匹配的一种算法，匈牙利数学家Edmonds于1965年提出.