並列分散遺伝的アルゴリズムにおけるハイブリッド生成交叉
Hybridization Crossover for Parallel Distributed Genetic Algorithms
正 三木 光範(同志社大工) 正 廣安 知之(同志社大工)
○学 大向 一輝(同志社大院)
Mitsunori MIKI, Doshisha University, Tatara Miyakodani 1-3, Kyo-Tanabe, Kyoto Tomoyuki HIROYASU, Doshisha University
Ikki OHMUKAI, Graduate School of Engineering, Doshisha University, [email protected]
Key word: Genetic Algorithms, Parallel Processing, Distributed Subpopulations, Crossover
1
はじめに遺伝的アルゴリズム(Genetic Algorithm : GA)は生物 の進化プロセスを模倣した確率的な最適化アルゴリズム である.
GAの並列化手法の1つに,母集団を複数のサブ母集 団に分割してGAを実行し,一定世代ごとに移住と呼ば れる個体の交換を行う並列分散GA(Parallel Distributed GA : PDGA)がある.PDGAは並列化によって計算時間 が短縮されるだけでなく,単一母集団のGAと比較して より良好な解を得ることが可能である.
本論文では,PDGAの解探索メカニズムをさらに検討 し,それに適した新たな交叉スキームを提案する.
2 PDGA
における移住および交叉の役割2.1 母集団の分割と移住の効果
単一母集団GAでは,比較的良好なスキーマを持つ個体 が多数を占めることによって他のスキーマの成長が妨げら れ,結果的に早熟収束を起こすことがある.一方,PDGA ではサブ母集団ごとの個体数は単一母集団GAよりもさ らに小さくなり,早熟を起こしやすい.しかし,個々の サブ母集団は異なる傾向に進化することが多く,移住に よって個体を交換することで全体としては多様性を保つ ことが可能である.また,あるサブ母集団で生成された 良好なスキーマが,移住によって他のサブ母集団の個体 が持つスキーマと結合し成長するために,単一母集団GA よりも高品質な解を高速に求めることができる1).すな わち,PDGAにおける移住の機能は,早熟を防ぎ多様性 を高めるとともに,その後の交叉によってスキーマを結 合させることにあると考えられる.特に,スキーマの結 合メカニズムには,移住後の第1世代での交叉が非常に 重要な役割を担っていると考えられる.
2.2 ハイブリッドの影響
次の議論のために,個体に3つの属性を定義する.あ るサブ母集団において移住が行われた後,そのサブ母集 団に留まっている個体を母個体とし,移住によって他の サブ母集団から移動してきた個体を移住個体とする.さ
らに,母個体と移住個体が交叉して生成された個体をハ イブリッドとする.
移住の機能がPDGAの性能に与える影響を検証するた め,以下の3つのスキームを用いて数値実験を行った.1)
移住をしない(w/o Mig.) 2)移住後の第1世代は母個 体同士および移住個体同士の交叉のみを許可し,ハイブ リッドを生成しない(w/o Hybrid) 3)通常の移住およ び交叉(Normal).
対象問題は10次元のテスト関数2) の最大化である.
Rastrigin関数は多峰性の関数であり,変数間に依存関係
はなく,GAでは比較的解きやすい.Rosenbrock関数は変 数間に極めて強い依存関係をもつ単峰性関数であり,GA では部分解を形成することができず,非常に解きにくい 問題であるとされている.Ridge関数はRastrigin関数
とRosenbrock関数の中間的な性質を持つ単峰性の関数
である.
ここでは,個体数を400,サブ母集団数を8,交叉率を 1.0,突然変異率を1/L(染色体長 : 100bit),移住間隔 を5世代,および移住率を0.5とした.なお,結果は20 試行の平均値である.
Table 1 The effect of migration scheme w/o Mig. w/o Hybrid Normal
Rastrigin #733 #339 #292
Ridge -4.46328 -1.07266 -0.93984 Rosenbrock -1.26808 -4.97602 -5.23925
1000世代での適合度をTable 1に示す.1000世代まで に最適解を発見できたものについてはその世代(#)を 示している.
Rastrigin関数とRidge関数では通常の交叉スキームが 最も高い性能を示している.移住後第1世代のハイブリッ ド生成を禁止したスキームは通常の交叉スキームと比較 して探索性能が劣る.
一方,GAにおける部分解の形成および組み合わせの 機能が有効に作用しないRosenbrock関数では,移住を行
わないスキームが最も良く,移住を行うスキームは両者 ともに大きな違いはない.
これらの結果より,PDGAにおける解探索を移住と交 叉が促進している場合には,移住後第1世代のハイブリッ ド生成が極めて重要であることがわかった.
3
ハイブリッドの生成を促進する交叉前節の結果より,移住後にハイブリッドを多く生成す ることでPDGAの性能をさらに高めることができると考 えられる.
通常の交叉スキームでは,あるサブ母集団において移 住後第1世代の全個体に占めるハイブリッドの割合(H)
は次の式で求めることができる.Pcは交叉率(最大1.0)
であり,µは移住率(最大0.5)である.
H = 2Pcµ(1−µ) (1) 交叉率を1.0,移住率を0.5としても,H の最大値は 0.5となる.通常の交叉ではPDGAにおける解探索の主 役であるハイブリッドは全体の50%しか生成されない.
残りの50%は母個体同士,あるいは移住個体同士から生 成される個体であり,移住の影響を受けていない.
そこで,移住後第1世代のハイブリッドをさらに多く 生成する新たな交叉スキームとして,ハイブリッド生成 交叉(Hybridization Crossover : HX)を提案する.この 交叉は,移住後の第1世代において移住個体を確実に母 個体と交叉させることにより,従来よりも多くのハイブ リッドを生成するスキームである.HXを用いることに より,Hは以下の式で求めることができる.
H = 2Pcµ (2) 交叉率を1.0,移住率を0.5とすることで,全ての個体 をハイブリッドにすることができる.
4
ハイブリッド生成交叉の効果移住後第1世代に生成されるハイブリッドの数がPDGA の性能に及ぼす影響を調べるため,2.2節と同様の数値実 験を行った.比較するパラメータHは,0.2,0.5,およ び1.0とする.
Table 2 The performance of HX H = 0.2 H = 0.5 H = 1.0 Rastrigin #337 #296 #281 Ridge -1.40312 -1.32812 -0.94375 Rosenbrock -3.57505 -4.70237 -5.87565
実験の結果をTable 2に示す.Rastrigin関数とRidge 関数においては,Hが高いものほど良い性能を示してお り,特にRastrigin関数では,2.2節の通常のスキームよ
りも良い.一方,Rosenbrock関数では,H = 1.0とする と他のスキームと比較しても最も性能が悪くなる.これ らより,HXを用いることで,PDGAにおいて移住が果 たす機能は最大化されることがわかる.
Fig. 1はRidge関数での適合度の推移である.HがGA の探索に及ぼす影響は探索の前半と後半で大きく異なる ことが明らかになった.まず,探索の前半では,Hが高 いほうが適合度の上昇は速い.これにより,移住および 交叉による解探索は,Hを高めることによって有効に機 能していることがわかる.
Fig. 1 History of the fitness value
探索の終盤では個体間の多様性が低くなり,母個体と 移住個体が同じような傾向となる.そのため,生成され たハイブリッドによって大きく適合度が上昇することも 少ない.このことから,探索の後半ではHXの効果は小 さくなるといえる.
5
おわりに並列分散GAにおける解の成長メカニズムが単一母集 団のGAとは異なることに注目し,その性能をさらに高 める交叉スキームを提案した.並列分散GAでは,移住 オペレータによってサブ母集団内の早熟を避けるととも に,その後の交叉によって母個体と移住個体から両者の スキーマを併せ持つハイブリッドを生成する機能をもつ.
ハイブリッド生成交叉(HX)はこの解探索機能をさらに 高めるためものであり,提案手法を3つの代表的なテス ト関数に適用した結果,良好な結果を示した.
参考文献
1) 三木,廣安,金子. 分散母集団遺伝的アルゴリズムにおける 解探索能力. 人工知能学会全国大会, 1999.
2) S. Rana D. Whitley, K. Mathias and J. Dzubera. Build- ing better test functions. International Conference on Genetic Algorithms, 1995.
出典:
日本機械学会 第13回計算力学講演会講演論文集 pp. 299 - 300
(2000年11月28-30日)
問い合わせ先:
同志社大学工学部/同志社大学大学院工学研究科 知的システムデザイン研究室
(http://mikilab.doshisha.ac.jp)