分割问题-伊庭研究室-东京大学.PDF

分割問題 東京大学大学院 工学系研究科 伊庭斉志 分割問題  与えられたn 個の整数a1,...,an を二つの集合に 分け、各々の集合内の数の和がもう一方の集合内 の数の和と等しくなるようにできるかどうかを判定 する問題  NP完全問題 分割問題  問題: {2,10,3,8,5,7,9,5,3,2} の10個の数の完璧 な分割は見つけられるか？  答え: 存在する。{2,5,3,10,7}と{2,5,3,9,8}  どちらも和は27  分割方法は23通り存在する（対称をのぞく） 分割問題  これはまれな例ではない。  １から１０までの自然数１０個からなる組みについ て、完璧な分割が可能な組みは99％以上ある。  では、自然数の数が大きくなるとどうなるか？  たとえば1000個の１から１０の自然数では？？？  とても時間がかかるので、なにか効率的なアルゴリズム はないか？ 欲張りアルゴリズム  山登り法の１つ  数を大きな順にならべる  大きき順から、その時点で和が小さいほうの 組みに割り当てていく 欲張りアルゴリズム  分割すべき集合： {19,13,9,17,6}  数を大きな順にならべる  分割すべき集合： {19,17,13,9,6} 欲張りアルゴリズム  分割すべき集合： {19,17,13,9,6}  集合１  集合2  食い違い 欲張りアルゴリズム  分割すべき集合： {17,13,9,6}  集合１ 19  集合2  食い違い 19 欲張りアルゴリズム  分割すべき集合： {13,9,6}  集合１ 19  集合2 17  食い違い 2 欲張りアルゴリズム  分割すべき集合： {9,6}  集合１ 19  集合2 17, 13  食い違い 11 欲張りアルゴリズム  分割すべき集合： {6}  集合１ 19, 9  集合2 17, 13  食い違い 2 欲張りアルゴリズム  どのくらい効率的か？  速さ  正確さ  ランダムに1万個の整数を発生させて分割可 能かを確かめてみる  成功率はどのくらいか？  もっと効率的なアルゴリズムはないか？ 差分法  1982年 ＵＣＢ  ナレンドラ・カーマーカー  リチャード・Ｍ・カープ  速さ  正確さ  各段階で元となる集合から数を２つ選んでは、 それらの差の絶対値で置き換える 差分法  各段階で元となる集合から数を２つ選んでは、 それらの差の絶対値で置き換える  選んだ２つの整数のどちらがどの組に行くかは決 めない  とりあえず別々の組に行くことのみ決める  この作業を残る数が１個になるまで続けると、残っ た数がその分割による食い違いになる  その後で作業を逆にたどり分割を再構成する 差分法  分割すべき集合： {19,17,13,9,6}  差