Эволюционно-генетические алгоритмы
Кафедра информатики и автоматизации научных исследований
Специальность: Прикладная информатика
Преподаватель: Неймарк Е.А.
Целями освоения дисциплины (модуля) «Эволюционно-генетические алгоритмы» являются знакомство студентов с практическим применением теории оптимизации на примере эволюционно-генетических алгоритмов. В рамках курса засматриваются непрерывные и дискретные задачи оптимизации, схема эволюционно-генетического алгоритма и его операторы. Затрагиваются теоретические основы работы алгоритма.
В курс включены основные понятия теории оптимизации, понятие генетического алгоритма, его структура и основные операторы.
К дисциплинам, необходимых для освоения данной дисциплиной, относятся дисциплины базовой части математического и естественнонаучного цикла «Информатика (математические основы информатики)», вариативной части «Теория вычислительной сложности».
В результате освоения дисциплины обучающийся должен:
Знать: базовую схему эволюционно-генетического алгоритма и его операторы, основные методы обработки ограничений задач оптимизации при использовании эволюционно-генетического алгоритма.
Уметь: ориентироваться в особенностях применения генетических операторов к различным оптимизационным задачам
Владеть: навыками программной реализации эволюционно-генетического алгоритма, умением грамотно ставить условия эксперимента и делать из него выводы.
Содержание
- Математическая модель принятия оптимальных решений. Критерии сравнения. Задача однокритериального выбора. Задачи переборного типа. Классы сложности задач однокритериального выбора. Комбинаторные задачи оптимизации.
- Переход от задачи оптимизации к задаче поиска. Кодирование решений. Бинарное кодирование, коды Грея (понятие близости решений и соответствующих кодировок). Функции кодирования и декодирования. Функция приспособленности. Задача поиска. Диаграмма связи задач. Преобразование непрерывной задачи оптимизации в задачу поиска (метод целочисленного кодирования). Кодирование дискретных задач оптимизации на примере задачи о ранце, задачи коммивояжера.
- Пространство поиска и ландшафты приспособленности. Одномутантные соседи конкретных строковых кодировок. Локальный и глобальный оптимумы. Методы «слепого» поиска. Эволюционные стратегии. Эволюционно-генетических алгоритмы. Принципы неодарвинизма, аналогии в эволюционно-генетических алгоритмах.
- Генетические алгоритмы и их основные свойства. Схема эволюционно-генетических алгоритмов. Репродукция (схемы скрещивания, кроссоверы, мутация), стратегии формирования следующего поколения популяции, схемы селекции.
Уравнение жизни, рождения и смерти, уравнение экспоненциального роста высокоприспособленных особей.
Алгоритмы селекции, реализующие принципы естественного отбора. Ститистические оценки этих алгоритмов. - Особенности решения комбинаторных задач на примере задачи о ранце и задачи коммивояжера. Кодирование решений , операторы кроссовера и мутации, обработка ограничений.
Причины, требующие масштабирования. Линейное динамическое масштабирование. - Шаблоны сходства. Интерпретация шаблонов сходства в пространстве поиска. Статистические характеристики шаблонов сходства.
Понятие разбиения. Конкурирующие шаблоны сходства, победитель. Статистическая и динамическая гипотезы строительных блоков. Коэффициент репродукции, рост числа примеров шаблонов сходства. - Фундаментальная теорема эволюционно-генетических алгоритмов. Теорема о неявном параллелизме. Принцип минимальных алфавитов.
Изменение пропорции аллелей во времени, оценки времени сходимости и захвата. - Исследование эволюционно-генетических алгоритмов с помощью цепей Маркова. Основные понятия марковской цепи. Моделирование эволюционно-генетических алгоритмов при помощи цепи Маркова. Сходимость классического и элитарного эволюционно-генетических алгоритмов к оптимальному решению.
Процесс генетического дрейфа. Оценка времени дрейфа. - Выбор параметров эволюционно-генетических алгоритмов. Минимальный размер популяции. Nо free lunch теорема .
Лабораторный практикум
- Кодирование решений дискретных задач оптимизации. Бинарное и другие способы кодирования. Понятие близости решений и соответствующих кодировок. Функции кодирования и декодирования. Определение и вычисление функции приспособленности.
- Основная схема эволюционно-генетических алгоритмов. Рассмотрение различных схем реализации операторов эволюционно-генетических алгоритмов.
- Применение эволюционно-генетических алгоритмов при решении задач дискретной оптимизации. Выбор операторов. Методы обработки ограничений. Определение и вычисление функции приспособленности.
- Подбор параметров для решения задач дискретной оптимизации при помощи эволюционно-генетических алгоритмов.
Литература
а) основная литература:
- Батищев, Д.И. Вычислительная сложность экстремальных задач переборного типа: Учебное пособие./ Батищев Д.И., Коган Д.И. – Н.Новгород, ННГУ, 1994.
- Батищев Д.И., Неймарк Е.А., Старостин Н.В. Применение генетических алгоритмов к решению задач дискретной оптимизации: Учебное пособие. – Н.Новгород, изд-во ННГУ им. Н.И.Лобачевского, 2006. – 136с.
- Батищев Д.И., Костюков В.Е., Неймарк Е.А., Старостин Н.В. Решение дискретных задач с помощью эволюционно-генетических алгоритмов: Учебное пособие. - Нижний Новгород: Изд-во ННГУ им. Н.И. Лобачевского, 2011. - 199 с.
- Holland, J.H., Adaptation in Natural and Artificial Systems/ J.H. Holland - Ann Arbor: University of Michigan Press, 1975.
б) дополнительная литература:
- Батищев Д.И., Костюков В.Е., Старостин Н.В., Смирнов А.И. Популяционно-генетический подход к решению задач покрытия множества: Учебное пособие. Нижний Новгород: Изд-во ННГУ, 2004. 152 с.
- Сигал И.Х., Иванова А.П. Введение в прикладное дискретное программирование. Модели и вычислительные алгоритмы. М.: Физматлит, 2002. 229 с.
- Rudolph, G. Convergence Analysis of Canonical Genetic Algorithms./ G.Rudolph // IEEE Trans. on Neural Networks, special issue on Evolutionary Computation, vol. 5, no. 1, pages 96-101, Jan. 1994.
- Wolpert, D. No Free Lunch Theorems for Search/ D. Wolpert, W. Macready // Santa Fe Institute Technical Report 95-02-010, 1995
в) программное обеспечение и Интернет-ресурсы: http://iani.unn.ru/courses/mathematical/genetic_alg
Отчетность
- Семестр 5: Экз