情報数理研究室の研究って？ - nda.ac.jp.pptVIP

 情報数理研究室の研究って？ 組合せ最適化 (より一般的には数理計画法) ナップサック問題 一定の大きさのナップサックに収容する商品の組で価値の総和が最大 となるものを求める問題です 巡回セールスマン問題 n 個の都市の全てを最短距離で訪問するにはどのように回れば良いか 　 という問題です グラフ（点と線からなる図形）の計算に関する問題 各中継点を結ぶ通信ネットワークで総距離最短のものを求める問題や， 出発点から目的地まで最短の経路を見つける問題，などです 組合せ最適化関連図 厳密解法 ○ 分枝限定法 釘づけテスト，上下界値の高速な算出etc. ○ 動的計画法 　 問題例（１）　ナップサック問題 アルゴリズムの重要性 問題例（２）　巡回セールスマン問題 TSP 研究の最前線 分枝限定法 局所探索法 最適解の概念図 数理計画法との関連 計算の複雑さの理論 最近の研究紹介 卒業研究 修士論文 * 教　　授 山田　武夫　yamada@nda.ac.jp 助教授 片岡　靖詞 seiji@nda.ac.jp 助　　手 渡辺宏太郎 wata@nda.ac.jp http://www.nda.ac.jp/~yamada/labo/ 理工学3号館1階北側中央部分 NP困難問題とよばれる，普通に計算するとべらぼうに時間のかかる問題を，短時間で計算するための工夫（アルゴリズムの研究?開発）をしています．具体的には下のような問題と，それらの応用が対象です． ● 他に，シミュレーション，微分方程式の数値解法の研究も … 組合せ 最適化問題 （ドイツの15000都市についての 巡回セールスマン問題の解：セー ルスマンが通った経路） 近似解法 ○欲張り（Greedy）法 ○局所探索（LS）法 ○ Lagrange緩和 アルゴリズムの世界 （いろいろな解法があります） 数理計画法 ○ 単体法 ○ 内点法 ○ 整数計画法 ○ 非線形最適化 　 　計算機による実装 ○ プログラミング ○ 可視化 ○ 数値実験 　現実問題への応用 ○ 物流，交通，輸送など １（任○堂） 重量１ 価値２ ２（お昼） 重量３ 価値５ ３（デジカメ） 重量３ 価値４ ４（地図） 重量３ 価値３ ナップサック 重量W=６まで収納可 重量W まで収納可能なナップサックにできるだけ価値の総和が大きくなるように商品を詰め込もうという問題です 商品iの価値をpi，重量をwiと書けば次のように定式化できます 上の例だと です ナップサック問題は，2ｎ 個の組み合わせを全て調べれば解くことができます（全探索）．　　　　　　　　しかし，10000商品の場合その数は210000≒103000個というとんでもない数になってしまい，　現在最速の計算機を1億台並べて並列計算しても，地球が滅亡するまでに計算が終了することはないでしょう ． ちなみに，本研究室の計算機IBM RS6000は236.5MIPS（１秒間に約2億3千万回の演算を実行）というまあまあ速いものですが，これだと102983年以上かかります．何の工夫もない全探索ではせいぜい30～40商品の問題が限界です． 計算量の壁 全探索の計算時間 n! 2n n n2 問題サイズ n 1.1n 計算量の壁！ 計算容易 巡回セールスマン問題 ナップサック問題 これです．他にDOS/V機Pentium4 2.8GHzにLinuxを導入して数台稼動中！ 10,000商品程度のナップサック問題ならば，良いアルゴリズムを使えばほんの数秒で解くことができます 計算量の壁をぶち破るには，巧妙な枝刈り を導入した高度な技法が要求されます．このために，個々の問題の数学的特徴を利用して，調べなければならない場合の数を劇的に削減するというのが腕のふるいどころで，ここに研究の難しさと，（成功した場合の）醍醐味があります． 巡回セールスマン問題　（TSP： Traveling Salesman Problem） すべての都市を最短距離で回る巡回路を見出せ. アメリカ532都市の問題 n 都市の場合，n! 通りの巡回路があり， n=100 でもこれは9.33×10157というとんでもない数になります. 普通の計算法ではどんなコンピュータを用いても，計算終了前に地球は破滅しているでしょう. ??????????????????????????????????????????????????????????????????????????????????? Applegate, Bixby, Chvatal, Cook, Helsgaun による現在の世界記録（2004.5） スエーデンの24,978都市の最短巡回路 /sweden/