差分進化

進化的計算における差分進化（さぶんしんか、Differential evolution、略称: DE）とは、与えられた評価尺度に関するFeasible_region#Candidate_solutionを反復的に改良していき、問題を最適化する手法である。このような手法は、最適化の対象となる問題に関する仮定を一切置かないか、あるいはわずかしか置かないメタヒューリスティクスであり、広範な解の候補の空間を探索できる。ただし、DEのようなメタヒューリスティクスは真の最適解を見つけられる保証はない。DEは多次元空間での実数値関数に対して用いることができるが、最適化対象である関数（目的関数）の勾配は使用しない。つまり、最急降下法や準ニュートン法のような古典的な最適化手法が要求する次の条件 「最適化問題が微分可能」 をDEは必要としない。それゆえ、DEは関数が連続でない場合やノイズの多い場合、時間変化する場合の最適化問題に対しても用いることができる。DEは単純な式に従って候補解集団を更新し、最適化問題に対して最良のスコアまたは最良の当てはまりを示した候補解を保持しておく。これにより、最適化すべき目的関数は解の候補に評価尺度を与える単なるブラックボックスと見なせて、その勾配の値を必要としない。
DEは元々はStomおよびPriceの着想である。並列計算、多目的最適化、制約付き最適化の分野に於いて、DEの使用に関する理論的見地、実用的見地および応用領域からの調査に基づく書籍が出版されている。DEの多面的研究は論文に投稿されている。

**アルゴリズム**
DEアルゴリズムは候補解集団（エージェントとよばれる）を保持して動作する。エージェントは、単純な数式に従ってその集団内の位置を組み合わせながら、探索すべき空間内を動き回り、その位置を更新する。エージェントを更新した位置が評価尺度の上で改良を示したならば、それは棄却されずに解の候補集団の一部となる。そうでなければ、その位置は棄却される。この過程が繰り返されて、（真の最適解である保証はないが）解に到達する。形式的には、 を最小化すべき目的関数または最大化すべき適合度（フィットネス）関数とする。この関数は引数として実数値ベクトルで表された候補解を受け取り、その候補解の適合度を示す実数を出力する。その際に  の勾配は不明である。行いたいことは、探索空間におけるすべての点  に対して  であるような解 、つまり大域的な最小点を見つけ出すことである。もしも最小化ではなくて最大化を行いたい場合には、 を考えればよい。 を集団における候補解（エージェント）とする。 を交叉率 (crossover rate) とする。 をスケール因子 (scaling factor )とする。 を集団サイズとする。これらのパラメータは、 のもとで、計算を行なう者が決める（以下を参照）。DEアルゴリズムの基本的な流れは以下のとおりである。- 探索空間における全エージェント  をランダムな位置に初期化する。- 終了条件が満たされるまで（たとえば、繰り返し回数やフィットネス値の閾値を越えた、など）、以下を繰り返す。
** 集団の各エージェント  について、以下を行う。
*** ランダムに 3 つのエージェント  を選ぶ。ここで、,,,は互いに異なるエージェントであるようにする。
*** ランダムにインデックス  を選ぶ( は最適化問題の次元数である)。
*** エージェントの更新位置  を次のように計算する。
**** 各  ごとに、一様分布に従う乱数  を選ぶ。
**** もし、 または  であれば  とし、そうでなければ  とする。
**** (本質的には、更新位置は中間エージェント  とエージェント  のバイナリクロスオーバー(binary crossover) の出力である。
*** もし、 であればその位置のエージェントを更新された解に置換、すなわち  と  を入れ替える。- 最も大きい適合度または最も小さい目的関数値を持つエージェントを集団から選び、それを最適解として返す。

**パラメータ選択**
Performance landscape showing how the basic DE performs in aggregate on the Sphere and Rosenbrock benchmark problems when varying the two DE parameters  and , and keeping fixed =0.9.
DEアルゴリズムのパラメータである  および  は最適化性能に大きな影響を与えうる。良い性能を引き出すようにDEパラメータを選ぶことが、多くの研究活動における主題となる。パラメータ選択として、正確ではないが大雑把な方法がStornら、LiuおよびLampienによって考案された。パラメータ選択に関する収束判定はZaharieによって行われている。DEパラメータのメタ最適化はPedersenおよびZhangらによって行われている。

**亜種**
最適化パフォーマンスを改良すべく、DEアルゴリズムの多くの亜種が開発されている。上記で与えた基本アルゴリズムにおける交叉およびエージェントの変異方法を変更しても良い。

**サンプルコード**
以下はDEアルゴリズムの実装を擬似コードで示した例である（Java言語に類似の形式により記述されている）。より一般的な擬似コードについては、アルゴリズムセクションを参照すること。
//definition of one individual in population
public class Individual {
	//normally DifferentialEvolution uses floating point variables
	float data1, data2
	//but using integers is possible too  
	int data3
}
public class DifferentialEvolution {
	//Variables
	//linked list that has our population inside
	LinkedList population=new LinkedList()
	//New instance of Random number generator
	Random random=new Random()
	int PopulationSize=20
	//differential weight 0,2
	float F=1
	//crossover probability 0,1
	float CR=0.5
	//dimensionality of problem, means how many variables problem has. this case 3 (data1,data2,data3)
	int N=3;
	//This function tells how well given individual performs at given problem.
	public float fitnessFunction(Individual in) {
		...
		return	fitness	
	}
	//this is main function of program
	public void Main() {
		//Initialize population with individuals that have been initialized with uniform random noise
		//uniform noise means random value inside your search space
		int i=0
		while(i

**脚注**

**関連項目**
 人工蜂コロニーアルゴリズム- CMA-ES- Differential search algorithm- 進化戦略- 遺伝的アルゴリズム

**外部リンク**
  Storn's Homepage on DE featuring source-code for several programming languages.-  Fast DE Algorithm A Fast Differential Evolution Algorithm using k-Nearest Neighbour Predictor.-  MODE Application Parameter Estimation of a Pressure Swing Adsorption Model for Air Separation Using Multi-objective Optimisation and Support Vector Regression Model.-  The runner-root algorithm (RRA)