• 検索結果がありません。

8 回 : 組合せ最適化問題 ゲーム理論と最適化手法第

N/A
N/A
Protected

Academic year: 2021

シェア "8 回 : 組合せ最適化問題 ゲーム理論と最適化手法第"

Copied!
10
0
0

読み込み中.... (全文を見る)

全文

(1)

ゲーム理論と最適化手法 第 8 : 組合せ最適化問題

上田 俊

佐賀大学理工学部

Email: [email protected] Web: https://www.fu.is.saga-u.ac.jp/sgrueda/

2019 11 26

(2)

卒論テーマ : 万能工作機械

あなたは機械工学科の学生で,万能工作 機械の作成が卒論テーマとなった.

ほとんどの機能は偉大な先輩たちが完成 させており,残りはドリルで必要なねじ 穴をあける機能だけである.

あなたは穴をあける最適な順番を求める

アルゴリズムの開発を命じられた.

(3)

ドリル穴あけ問題

インスタンス : 平面上の n 個の点 p

1

, . . . , p

n

R

2

タスク : ∑

n−1

i=1

d(p

π(i)

, p

π(i+1)

) が最小と なるような順列

π : { 1, . . . , n } → { 1, . . . , n } を求める.

AI の知識があるあなたは強化学習・遺伝

的アルゴリズム・ニューラルネットワー

クのどれかで解決できるのではないかと

(4)

再訪 : 巡回セールスマン問題

ドリル穴あけ問題は巡回セールスマン問 題のバリエーションのひとつ.

巡回セールスマン問題は典型的な組合せ 最適化問題であり,実は 10000 都市以上 でも現実的な時間で解ける.

IBM ILOG CPLEX といった汎用最適化エン ジン等も販売されている.

素人が遺伝的アルゴリズムを工夫したとこ

ろで太刀打ちできない.

(5)

チューリング機械

計算時間を議論するための仮想的な機械

有限の状態を持つ機械と読み書き用テー プを持つ.

テープに問題が記されている.

テープを読み,内部状態を変化させること で計算する.

計算が終わると,テープに答えが書き出さ れ停止する.

現代のコンピュータはチューリング機械

(6)

多項式時間チューリング機械

問題サイズ n に対して,計算の長さが n の多項式で抑えられるチューリング機械

全ての問題に対して,計算時間 p(n) となるような多項式 p(n) が存在する.

多項式時間チューリング機械が存在する 問題は多項式時間で計算可能といい,簡 単に解ける.

クラス P はそのような決定問題の集合.

(7)

クラス NP

問題サイズの多項式時間で解の検証がで きる問題のクラス

多項式時間で解けるか否かはわからな い. ( 有名な P ̸ = NP? 問題 )

もちろん,多項式時間アルゴリズムは見つ かっていない.

多項式時間アルゴリズムがないという証明 もない.

巡回セールスマン問題も NP に属する.

ゲーム理論で解くことを要求される問題

(8)

NP の意味

非多項式 non-polynomial ではない.

非決定性多項式 nondeterministic polynomial の略

計算時間が多項式で抑えられる非決定性 チューリング機械が存在する.

かなり乱暴に言うと,内部状態が確率的に 遷移できる. ( まるで量子のように !)

ただし,量子コンピュータが非決定性

チューリング機械を模倣できるという証明

はない.

(9)

まとめ ( メッセージ )

AI で解く = 手軽で簡単な問題解決法」

ではない.

紹介した機械学習,遺伝的アルゴリズ ム,ニューラルネットワーク,どれも職 人芸的なチューニングを必要とする.

問題特有に知識を活用できるかどうかが

重要

(10)

来週から

ゲーム理論の内容に入ります.

8 回小レポートは欠番.

中間レポートは準備中です.来週には用

意します.

参照

関連したドキュメント

Dual averaging and proximal gradient descent for online alternating direction multiplier method. Stochastic dual coordinate ascent with alternating direction method

Hungarian Method Kuhn (1955) based on works of K ő nig and

of IEEE 51st Annual Symposium on Foundations of Computer Science (FOCS 2010), pp..

情報理工学研究科 情報・通信工学専攻. 2012/7/12

最大消滅部分空間問題 MVSP Maximum Vanishing Subspace Problem.. MVSP:

参考文献 Niv Buchbinder and Joseph (Seffi) Naor: The Design of Com- petitive Online Algorithms via a Primal-Dual Approach. Foundations and Trends® in Theoretical Computer

"A matroid generalization of the stable matching polytope." International Conference on Integer Programming and Combinatorial Optimization (IPCO 2001). "An extension of

Murota: Discrete Convex Analysis (SIAM Monographs on Dis- crete Mathematics and Applications 10, SIAM,