安定结婚问题対的.pptVIP

安定結婚問題に対する 1.875-近似アルゴリズム;発表内容;入力：男性N人 　　　 女性N人 希望リスト ;;安定結婚問題;1: a c b d e a: 2 1 3 4 5 2: c a e b d b: 2 1 4 5 3 3: b a e d c c: 1 2 3 5 4 4: c b d e a d: 3 1 4 2 5 5: c d b e a e: 4 3 1 2 5 ;証明; 希望リストの制限;（１）　同順位リスト　(SMT);定理 [Gusfield Irving 1989] 任意のSMT例題は、少なくとも1つ安定マッチングを持つ。;（２）　不完全リスト (SMI);定理　 [Gale Sotomayor 1985] I : SMI　例題 M : Iの男性集合 W : Iの女性集合 M と Wを以下のように分割することができる。 M = M U M W = W U W s.t. Iの任意の安定マッチングにおいて, M 　と W の人はみんな相手がいる。 M 　と W の人はみんな独身。;SMI例題の全ての安定マッチングは同サイズ。;Stable Marriage (SM) Stable Marriage with Ties (SMT) Stable Marriage with Incomplete lists (SMI);MAX SMTI　に対する近似可能性;M;Approximation ratio;Procedure Increase;M;a good edge;;;;ブロッキングペアができないことを保証するアイデア;ここからが、今回のアルゴリズム;サイズをあと１増やせれば良い;ここをうまく組み替えて、さっきの操作を施したとき、 少なくとも1人の男で成功するようにする。;組み替えアルゴリズム;組み替えアルゴリズム;最後の仕上げ;1つ前のマッチングには禁止ブロッキングペアはなかった。;あとは、　　男の存在が言えれば良い;まとめ ?安定結婚問題(MAX SMTI)に対する近似度を 改善した。