【導讀】意兩邊均不相鄰。M-非飽和點i:i∈N,且i不同M的任一條邊關聯(lián)。G的最大基數(shù)對集M:不存在另外一個對集M’,和的一條M-交錯路。條邊都至少有一個端點在K中。圖G的最小覆蓋K:G不存在另外一個覆蓋K',僅當G不包含M-增廣路。定理6.8.2設G為具有二分劃(S,T)的一個二分圖,從圖G的任意一個對集M開始,若M飽和S的所有點,出發(fā),用一個系統(tǒng)方法搜索一條M-增廣路P。到一個其基數(shù)增加1的對集,然后從新的對集開始,找一個具有未檢查的標號點i,如果i∈S,轉向();步;否則,辨認同點i關聯(lián)的屬于M的唯一邊{i,j},LSTU,表示所有標號點的集合,則。在路上點i的前點,通過把路上不在M中的邊加入M,令vi=0和πj=+∞,這時沒有點被標號。果ui+vj-wij<πj,給點j標號“i”,并令πj=ui+vj-wij,抹掉所有標號,轉回。第4步設δ1=min{ui|i∈S},對每個i∈L∩S,從ui減去δ;對每個。權對集,變量ui和vj是最優(yōu)對偶解。