Следует отметить, что ГА представляет собой сложную нелинейную динамическую структуру, и его поведение поддается математическому описанию, также как и предсказанию, очень относительно. Но, тем не менее, доказать, что он будет работать, можно. Такое доказательство опубликовано Д. Холландом в 1975 и носит название «теорема схем» [20]. Также в 1989 Дэвид Голдберг (Goldberg D. E.), один из основоположников ГА, выдвинул «гипотезу строящих блоков» [15]. В этих же источниках впервые наглядно показывается схема параллельных вычислений ГА. Мы не будем приводить здесь полное математическое изложение этих доказательств, ограничившись только сутью.
Объектом всех действий ГА является решение, закодированное в виде последовательности параметров (генов). На ее основе и производиться воспроизведение новых решений из уже имеющихся, а также оценка и отбор решений. Принцип наследственности предполагает, что решение-потомок, должно сочетать в себе свойства обоих решений-родителей. Фактически, ГА выделяет неудачные комбинации генов и пресекает их развитие. Т.е. происходит структуризация пространства поиска, и отсекаются области, содержащие плохие решения. За счет этого объем поиска (здесь и далее под объемом поиска имеется в виду «просмотренная» алгоритмом область пространства поиска) очень сильно сокращается, а ГА продолжает поиск в других областях.
Loading ...