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

並列シ ミュレ ーテッド アニーリング

N/A
N/A
Protected

Academic year: 2021

シェア "並列シ ミュレ ーテッド アニーリング"

Copied!
3
0
0

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

全文

(1)

遺伝的交叉を用いた

並列シ ミュレ ーテッド アニーリング

Parallel Simulated Annealing using Genetic Crossover

同志社 大学工学部 廣安 知之,三木 光範,○ 小掠 真貴

Tomoyuki Hiroyasu, Mitsunori Miki and Maki Ogura

Department of Knowledge Engineering and Computer Science , Doshisha University Abstract In this paper, we propose Parallel Simulated Annealing using Genetic Crossover.

In the proposed algorithm, there are plural processes and the sequential SA is operated in each process. After some steps, the genetic crossover is used to exchange the information between the solutions. This operation reduces the computational cost while SA needs large cost especially in the continuous problems. The proposed algorithm is applied to the continuous test problems.

Through the numerical examples, it is found that our algorithm can search the solution effectively, compare to distributed genetic algorithms and sequential SAs.

1

はじ め に

シ ミュレ ーテッド ア ニ ー リング

(Simulated Annealing : SA)

は 最適化問題を 解く近似解法の 一つで あり,多くの 組 合せ 最 適 化 問題に 対し て 有 効な 手 法で あ る1).SAの 探 索は 最 適 解 へ 収 束 す る と い う 保 証 を 持 つが ,解を 得 る まで の 計 算 量が 非 常に 多 いと い う 短 所を 持 つ .連 続 最 適 化 問 題を 対 象とし た 場 合は ,特に 最 適 解 を 得 る ま で に 多 く の 計 算 量が 必 要 と な り 実 用 的で は な い .そ の ため 逐次処理で あ る

SA

を 並列化し 高速化を 図る研究が され て い る 2)

本 研 究では ,並 列

SA

の 適 用範 囲を 広げ るため ,連 続 最適化問題を 対象とする場合で も ,比較的少ない計算量 で 良好な 解を 得るこ とので き る新たな 並列

SA

アルゴ リ ズ ムを 提案する .提案する手法は ,並列に 複数実行し て い る

SA

の 解 の 伝 達 時に ,遺 伝 的ア ルゴ リズ ム

(Genetic Algorithm : GA)

の オ ペレ ー タで あ る 遺 伝 的 交 叉を 用 い た もので あ る .局所 的な 探 索が 得 意な

SA

に ,大 局 的な 探 索が 得 意で か つ 部 分 解の 組 み 合 わ せで 最 適 解が 得ら れ る

GA

オペレ ータを 取り入れ ることで ,適用可能な 対 象 問 題の 範 囲 を 拡 張 す る こ とが 可 能で あ る .本 研 究で は ,提 案 す る ア ルゴ リズ ムを い く つか の テ スト 関 数に 適 用し ,その 有 効 性を 検 討す る .

2

遺 伝 的 交 叉を 用い た 並 列シ ミュレ ー テッド ア ニ ーリ ン グ

本 手 法で 提 案 す る ア ルゴ リズ ムは ,複 数のプ ロセ ス 上で それぞ れ

SA

の 操作が 並 列に 行われ る .一定 間隔の ア ニ ー リング が 繰 り 返 され た 後 ,次に 示 す よ うな 遺 伝 的 操 作に より 解の 伝 達を 行 う.本研 究で は

SA

の 探 索点 の 総 数を 個 体 数 ,アニ ー リング ステップ

(計 算 繰り 返し

回 数)を 世 代 数と 呼ぶ こ と と す る .

並列に 実行し て い る

SA

から ランダ ムに 親とし て

2

個 体を 選択し ,設計変数間交叉を 行 う.もとの 親と 生成し た 子と の

4

個 体 間 の うち 評 価 値 の 高 い

2

個 体 を 選 択し て ,この

2

個体から 次の 探索を 続け る .この 操作は すべ て の 個 体に 対し て 行 われ る .あ る 設 計 変 数の 最 適 値が

求 まって いる 場合 ,遺 伝的交 叉に よって その 設 計変 数の 最 適値を 他の

SA

探 索に 伝 達す ることが で きるた め ,ア ニ ー リング の 収 束を 早め ることが で きると 考え られ る . 図

1

に その 概 念 図を 示 す.

n : crossover interval

SA SA SA SA

...

n n

hightemperature low

temperature n

end

randomselection crossover randomselection crossover

1:

遺伝 的 交 叉を 用 いた 並 列

SA

の 概 念 図

3

数 値 実 験

3.1 GA

オペレ ー タを 用い た

3

種の 並 列

SA

と の 比 較 提 案 す る モデ ル で は

GA

オ ペレ ー タで あ る 遺 伝 的 交 叉を 用いている .この有 効性を 検証するため ,解の伝 達 方法とし て 遺 伝的 交叉以 外の

GA

オペレ ータを 用いた

3

つの 並列

SA

と ,解 探索 能 力を 比較し た .これ ら は 一 定 間 隔ご と に 以 下の よ うな 方 法で 解の 伝 達を 行 うもの で あ る .

エ リート 選 択を 用い た 並 列

SA(elitePSA):

複 数 個 体の 中で の エ リ ート 個 体を 他の すべ て の 個 体の 新た な 探 索 点と す る

ル ーレット 選 択を 用いた 並 列

SA(roulettePSA):

各個体の 評価値を 基にし たル ーレット 選択に よりす べ て の 個 体の 新た な 探 索 点を 決 定 す る

エ リ ート 保 存 を 含 むル ーレット 選 択 を 用 い た 並 列

SA(e-roulettePSA):

エ リート 保存を 用いたル ーレット 選択に よりすべて の 個 体の 新た な 探 索 点を 決 定す る

対 象 問 題 と し て ,2 設 計 変 数 の

Rastrigin

関 数 と

Griewank

関 数 の

2

つ の 連 続 関 数 最 小 化 問 題 を 用 い た . 個 体 数は

20,200

とし た .

(2)

それぞれ の並列

SA

の個体数を

20

とし て

Rastrigin

関数 を解いた結果を図

2に 示し ,個体数を 200

とし て

Griewank

関数を 解いた 結果を 図

3

に 示し た .横軸は 初 期温度 ,縦 軸は

1

個 体の 持 つエ ネルギ ー ,すな わ ち 解の 値で あ り,

結 果は

10

試 行の 平 均 値で あ る .

Energy

crossoverPSA elitePSA roulettePSA e-roulettePSA

1.0E-08 1.0E-06 1.0E-04 1.0E-02 1.0E+00

5 10 20 30

Initial temperature

2: Rastrigin

関 数の 結 果

(20

個 体)

Energy

crossoverPSA elitePSA roulettePSA e-roulettePSA

1.0E-08 1.0E-06 1.0E-04 1.0E-02 1.0E+00

5 10 20 30

Initial temperature

3: Griewank

関 数の 結 果

(200

個 体)

2

か ら は 提 案 手 法と 他の 手 法の 結 果に 大 きな 違 い が あ るこ とが わか る .遺 伝 的交 叉を 用いた 並列

SA

は 初 期温度に よらずに 常に 良好な 解を 求められ ているが ,他 の

3

つ の 手 法で はど の よ うな 初 期 温 度で も 精 度の 良 い 解を 求め るこ とが で きな かった .

各 並 列

SA

の 個 体 数を

10

倍 の

200

とし て

Rastrigin

関 数を 解いた 場合には ,4つの 手 法すべ てで 常に 良好な 解 が 求めら れ た .個 体 数 を 増 加 させ て も 各 個 体 の 繰 り 返 し 計算回数が あまり変わらなかったために 全体の計 算回 数が 増え ,すべ て の 手 法で 解が 求 まった と 考え られ る .

Griewank

関 数を

20

個 体で 解いた 際に は ,ど の 手 法で も 良好な 解が 求められ ず 有意な 差は なかったが ,個体数 を

200

とし た と きには 図

3

に 示すよ うに 大きな 差が あっ た .ル ーレット 選 択を 用いた 並 列

SA

と エ リート 保 存を 含 むル ーレット 選 択を 用いた 並列

SA

で はど の 初 期 温 度 で も 常に 得ら れ る 解 の 精 度は 良 く な いが ,エ リ ート 選 択を 用いた 並列

SA

で は 初 期温 度に よって 良 好な 解が 求 め ら れ る 場 合が あ る こ と が わ か る .遺 伝 的 交 叉を 用 い た 並列

SA

では 初期温度に よら ず 常に 良好な 解が 求めら れ た .

これ ら の 結 果か ら ,適 用 させ た テ スト 関 数に 対し て は ,遺 伝的 交叉を 用いた 並 列

SA

の 解 探索 能力が 最も 優 れ て いると いえ る .また エ リート 選 択を 用いた 並 列

SA

も 比 較 的 優れ た 解 探 索 能 力を 示し て い るが ,最 適 解 を 求 め ら れ る 確 率は 遺 伝 的 交 叉 を 用 い た 並 列

SA

よ り 低 い .こ のた め エ リート 選 択を 用いた 並 列

SA

は ,遺 伝的 交叉を 用いた 並列

SA

と 比較すると 解探索能力は 低いと いえ る .

3.2

遺 伝 的 交 叉を 用い た 並 列

SA

の 解 探 索 能 力

3.1

節の 数値実験に より,遺伝的交叉を 用いた 並列

SA

の 解探索能力が 優れ て いることが 明らかとなった .本節 で は ,分 散

GA

と 逐 次

SA

と の 探 索 能 力の 比 較を 行 う.

対象問題は

10

設計変数,

30

設計変数の

Rastrigin

関数,

Griewank

関数,

Rosenbrock

関数で ある .各手法の評 価計 算 回 数 を 等し くし ,終 了 条 件を 満たし た と きに 探 索を 終 了し た .遺 伝 的 交 叉を 用いた 並 列

SA

の 個 体 数は

400

とし ,8000世 代の 探 索 を 行った .逐 次

SA

3200000

世 代

(8000

世 代

×400

個 体に 相 当)の 計 算を 行 うもの

(表 中

で は

SSA-long

と す る),8000世 代の 計 算を 独 立に

400

回 実 行す る も の

(表中で は SSA-short

と す る)の

2

種 類とし て ,並 列

SA

と 性能を 比較し た .また 分 散

GA

20

個 体

×

20

島の

400

個体とし ,8000世代まで 探索を 行った ,並 列

SA

2

つの 逐 次

SA

の 初 期 温 度は

10

に 統 一し た .各 手 法に ついて 試 行は それぞ れ

10

回ず つ 行 い ,10試 行 中 で 最適解が 得られ た 回数を 表

1

に 示し た .ここでの 最適 解とは 評 価 値が

1 . 0 × 10 e

−6以 下の こ と を 示す.

1:

逐 次

SA,分 散 GA

と の 比 較

Rastrigin

Griewank

Rosenbrock 10dimensions 10dimensions 10dimensions

30dimensions

30dimensions 30dimensions

SA SSA-long SSA-short GA

10 0 0 10

0

0 0

0 0

0 0

0 0

0 0 1

1 0

0

7 9

10 10 10

まず,提 案手 法と 逐 次

SA

と の 結 果を 比 較す ると ,逐 次

SA

と 遺 伝 的 交 叉を 用い た 並 列

SA

の 評 価 計 算 回 数は 等し いこ とから ,単に

SA

のア ニ ー リング 時間や 回 数を 増 加し ただ け で は 結 果が 向 上し な い こ と が わ か る .ま た 分 散

GA

と の 結 果を 比 較す ると ,GAで の 探 索が 困 難 な 設 計 変 数 間に 依 存 関 係 の あ る 問 題に 関し て は ,特に 遺伝的交叉を 用いた 並列

SA

の 探 索が 有効で あ ることが わ か る .設 計 変 数 間に 依 存 関 係 の な い 関 数 を 対 象 とし た と きも ,GAに 劣ら な い探 索が 行われ て い る .これ ら の 結果から ,提 案す る 遺 伝的交 叉を 用いた 並 列

SA

の 探 索 能 力は 有 効で あ ると いえ る .

4

結 論

本研究で は ,組合せ 最適化問題を 得意と する

SA

が 連 続 最 適 化 問 題を 対 象とし た と きに も ,実 用 的に 解 を 得 る た め の 並 列ア ルゴ リズ ムとし て ,遺 伝 的 交 叉を 用 い た 並列

SA

を 提案し た .また 提 案手 法を い く つか の 連続 最適化問題に 適用し ,その 探索能力を 逐次

SA,分散 GA

と 比 較し た .その 結 果 ,遺 伝 的 交 叉を 用いた 並 列

SA

は アニー リング の 収束が 早く,得られ る解の 品質も良いこ とが 示され た .

参 考 文 献

1) Bruce E. Rosen,

中 野 良 平.シ ミュレ ーテッド ア ニ ー リ ング

-基礎と 最新 技術-.

人工知 能学会誌, Vol. 9, No. 3,

1994.

2) E. H. L. Aarts, J. H. M. Korst. Simulated annealing and

Boltzmann machines. John Wiley

Sons, 1989.

(3)

出 典:  第

44

回シ ステ ム 制 御 情 報 学 会 研 究 発 表 講 演 会 講 演 論 文 集  

113-114

ペ ージ

図 1: 遺伝 的 交 叉を 用 いた 並 列 SA の 概 念 図 3 数 値 実 験 3.1 GA オペレ ー タを 用い た 3 種の 並 列 SA と の 比 較 提 案 す る モデ ル で は GA オ ペレ ー タで あ る 遺 伝 的 交 叉を 用いている .この有 効性を 検証するため ,解の伝 達 方法とし て 遺 伝的 交叉以 外の GA オペレ ータを 用いた 3 つの 並列 SA と ,解 探索 能 力を 比較し た .これ ら は 一 定 間 隔ご と に 以 下の よ うな 方

参照

関連したドキュメント

In this paper, we propose the column-parallel LoS detection architecture for the integrated image sensor, which has a capability to track the saccade, as well as its implementation

In 1989 John joined Laboratory for Foundations of Computer Science, University of Edinburgh, and started his career in computer science.. In Edinburgh John mostly focused

New Bounds for Ternary Covering Arrays Using a Parallel Simulated Annealing.. Himer Avila-George, 1 Jose Torres-Jimenez, 2 and Vicente Hern

To capture the variation of effective control reproduction number (R c (t)), the control process are divided into three periods, the average of R c (t) are calculated for each stage

q-series, which are also called basic hypergeometric series, plays a very important role in many fields, such as affine root systems, Lie algebras and groups, number theory,

* Department of Mathematical Science, School of Fundamental Science and Engineering, Waseda University, 3‐4‐1 Okubo, Shinjuku, Tokyo 169‐8555, Japan... \mathrm{e}

Using right instead of left singular vectors for these examples leads to the same number of blocks in the first example, although of different size and, hence, with a different

– Classical solutions to a multidimensional free boundary problem arising in combustion theory, Commun.. – Mathematics contribute to the progress of combustion science, in