А.С. Казимиров, Л.В. Рябец Параллельный генетический алгоритм приближенной минимизации булевых функций. - презентация

1 А.С. Казимиров, Л.В. Рябец Параллельный генетический алгоритм приближенной минимизации булевых функций

2 Полиномиальные нормальные формы Полиномиальная нормальная форма (ПНФ) представление булевой функции в виде f = K 1 … K s, где K i элементарная конъюнкция. Для функции от n переменных существует различных ПНФ. Сложность функции

3 Программируемые логические матрицы

4 Минимизация булевых функций 6 переменных: возможна абсолютная минимизация с использованием библиотеки классов функций 5 переменных. isttu.irk.ru/mbf/ 7 переменных: нахождение точного минимума пока не представляется возможным. Для минимизации одной функции 7 переменных необходимо минимизировать функций 6 переменных.

5 Приближенная минимизация функций Спуск до n – 1 переменной: Одна из функций f 1, f 2, f 3 выбирается произвольно, другие получаются из соотношений:

6 Последовательный генетический алгоритм Пусть минимизируется функция f от n переменных. Тогда особями являются различные вектора функции f 1 – функции n – 1 переменной в разложении Кроссовер: Мутация:

7 Сложность функций 6 и 7 переменных Функции вида p n (x 1, …, x n )= ( … ) q n (x 1, …, x n )= ( … ) r n (x 1, …, x n )= ( … ) и эквивалентные им являются самыми сложными среди функций от n переменных при n 6. L(p 6 ) = L(q 6 ) = L(r 6 ) = 15 Предположительно p 7, q 7, r 7 являются самыми сложными среди функций 7 переменных. Для них существует теоретическая оценка сложности: L(p 7 ) = L(q 7 ) = L(r 7 ) 27

8 Экспериментальные результаты (1) Генетический алгоритм минимизации функций 6 переменных может сравниться с алгоритмом абсолютной минимизации – находит точный минимум для почти всех функций за меньшее время, в десятки раз меньшее, при следующих параметрах: Размер популяции – 10 особей Число итераций – (каждая итерация состоит из одного кроссовера и одной мутации)

9 Экспериментальные результаты (2) Генетический алгоритм для функций 7 переменных был реализован в следующем виде: при спуске до функций 6 переменных эти функции также минимизировались генетическим алгоритмом приближенной минимизации. Этот алгоритм с популяцией из 40 особей после итераций давал сложность 27 для предположительно самых сложных функций 7 переменных. Изменение параметров не дает сложности ниже 27.

10 Параллельный генетический алгоритм Миграционная модель параллельного ГА: параллельное эволюционирование нескольких популяций. Взаимодействие между популяциями осуществляется с помощью механизма миграций. Через определенный интервал времени из популяций мигрируют несколько особей.

11 Типы взаимодействия популяций

12 Организация параллельных вычислений Для связи параллельных процессов были использованы транспортные агенты (по одному на каждый компьютер), осуществляющие доставку сообщений. Работа транспортных агентов происходит в пакетном режиме. Помимо передачи информации транспортные агенты осуществляют запуск и выключение приложений.

13 Результаты В ходе работы параллельного генетического алгоритма получена сложность 26 для функций, предположительно являющихся самыми сложными среди функций 7 переменных.

14 Спасибо за внимание! Вычислительный сервер минимизации булевых функций isttu.irk.ru/mbf/