Выбор признаков с помощью генетических алгоритмов (пример)
Материал из MachineLearning.
(→Результаты на модельных данных) |
(→Исходный код) |
||
(41 промежуточная версия не показана) | |||
Строка 14: | Строка 14: | ||
== Описание алгоритма == | == Описание алгоритма == | ||
- | Свободные параметры: размер популяции, доля | + | Свободные параметры: размер популяции, доля кроссинговера (доля особей одного поколения, подвергающихся кроссинговеру). |
- | #Инициализация( создание начальной популяции необходимого размера ). Хромосомы особей представляют собой битовые векторы со случайными компонентами. Счетчик числа итераций: <tex>n:=0.</tex> | + | #Инициализация (создание начальной популяции необходимого размера). Хромосомы особей представляют собой битовые векторы со случайными компонентами. Счетчик числа итераций: <tex>n:=0.</tex> |
#<tex>n:=n+1.</tex> Проверка условий завершения: либо <tex>n</tex> превысило максимально допустимое значение, либо изменения целевой функции SSE для лучшей особи в популяции за некоторое число итераций оказалось слишком малым. | #<tex>n:=n+1.</tex> Проверка условий завершения: либо <tex>n</tex> превысило максимально допустимое значение, либо изменения целевой функции SSE для лучшей особи в популяции за некоторое число итераций оказалось слишком малым. | ||
- | #Селекция( выбор особей для следующего поколения ). Селекция выполняется на основе оценки SSE всех особей. Используемый механизм таков: на единичном отрезке каждой особи выделяется участок, длина которого пропорциональна SSE. Далее алгоритм-селектор движется вдоль отрезка с фиксированным шагом, выбирая каждый раз ту особь, над которой находится. Начальная точка выбирается случайно, при этом начальное расстояние до левого конца должно быть меньше шага. | + | #Селекция (выбор особей для следующего поколения). Селекция выполняется на основе оценки SSE всех особей. Используемый механизм таков: на единичном отрезке каждой особи выделяется участок, длина которого пропорциональна SSE. Далее алгоритм-селектор движется вдоль отрезка с фиксированным шагом, выбирая каждый раз ту особь, над которой находится. Начальная точка выбирается случайно, при этом начальное расстояние до левого конца должно быть меньше шага. |
- | # | + | #Кроссинговер. Выбирается число особей, равное доли кроссинговера * размер популяции. С парами особей выполняется так называемый кроссинговер с маской (см. [[Генетический алгоритм|Оператор скрещивания]]). В результате этой операции каждая аллель (т. е. позиция в хромосоме особи) случайным образом заполняется геном 1-ого или 2-ого родителя. |
- | #Мутация. Для каждой особи в каждой аллели с вероятностью 0.01 происходит мутация, которая выражается в замене текущего гена на 0 или 1 случайным образом( равновероятно ). | + | #Мутация. Для каждой особи в каждой аллели с вероятностью 0.01 происходит мутация, которая выражается в замене текущего гена на 0 или 1 случайным образом (равновероятно). |
#Возвращение на шаг 2. | #Возвращение на шаг 2. | ||
+ | === Замечание === | ||
+ | Существует еще одна модификация оператора кроссинговера - одноточечная, когда случайным образом выбирается позиция в хромосоме, и хромосомы особей обмениваются подстроками, заключенными между этой позицией и правым концом строки (см. [[Генетический алгоритм|Оператор скрещивания]]). Для этой модификации справедлива [[теорема схемы]], которая имеет наглядную интерпретацию в терминах рассматриваемой задачи. Кратко изложим основную идею. <br /> | ||
+ | Пусть имеется какая-то начальная популяция. Рассмотрим некоторую совокупность признаков, не очень большую и имеющую не очень большое расстояние между крайними левыми и правыми позициями в хромосоме, дающую приближение в смысле SSE лучше, чем в среднем по данной популяции. Тогда количество появлений такой совокупности признаков в последующих популяциях будет расти экспоненциально на протяжении некоторого числа популяций. Таким образом, наборы признаков с высоким качеством сохраняются и распространяются по популяции. <br /> | ||
+ | Однако в данном исследовании используется кроссинговер с маской, для которого теорема схемы формально не может применяться. | ||
== Вычислительный эксперимент == | == Вычислительный эксперимент == | ||
Строка 38: | Строка 42: | ||
В наборе не было следующих функций, участвовавших в порождении: <tex>sin(x),\; x^2*sin(x).</tex> | В наборе не было следующих функций, участвовавших в порождении: <tex>sin(x),\; x^2*sin(x).</tex> | ||
==== Случай небольшой дисперсии (D=1) ==== | ==== Случай небольшой дисперсии (D=1) ==== | ||
- | [[Изображение:SSE( number of generations ) for | + | [[Изображение:SSE( number of generations ) for varyingPopulationSizeN.png|600px]] <br /> |
- | График | + | График для размера популяции 5 демонстрирует раннюю сходимость на обучающем множестве (training,5). Графики для размера популяции 10 демонстрируют раннюю сходимость и переобучение (т.е. SSE мало на обучающем множестве и велико на контрольном). Графики для размера популяции 15 показывают сходимость без переобучения. <br /> |
- | [[Изображение:Number of Iterations(PopulationSize).png| | + | [[Изображение:Number of Iterations(PopulationSize).png|600px]] <br /> |
- | Подтверждение ранней сходимости для | + | Подтверждение ранней сходимости для размеров популяции 5, 10. Дольше всего алгоритм работает для значения 15. <br /> |
- | [[Изображение:Least squares linear fit for varyingPopulationSize.png| | + | [[Изображение:Least squares linear fit for varyingPopulationSize.png|600px]] <br /> |
- | Наглядная демонстрация ранней сходимости и переобучения. | + | Наглядная демонстрация ранней сходимости и переобучения. Для размеров популяции 5, 10 SSE мало на training-части и велико на test-части. Для размера популяции 15 - подтверждается отсутствие ранней сходимости, переобучения. <br /> |
- | [[Изображение:SSE( number of generations ) for varyingCrossoverFraction.png| | + | [[Изображение:SSE( number of generations ) for varyingCrossoverFraction.png|600px]] <br /> |
- | + | Графики для долей кроссинговера 0.3, 0.7 характеризуются переобучением. Для доли кроссинговера 0.5 переобучение не наблюдается, только ранняя сходимость. <br /> | |
- | [[Изображение:Number of Iterations(CrossoverFraction).png| | + | [[Изображение:Number of Iterations(CrossoverFraction).png|600px]] <br /> |
- | [[Изображение:Least squares linear fit for varyingCrossoverFraction.png| | + | [[Изображение:Least squares linear fit for varyingCrossoverFraction.png|600px]] <br /> |
- | Наглядная демонстрация переобучения для | + | Наглядная демонстрация переобучения для долей кроссинговера 0.3, 0.7. Для значения 0.5 нет явного переобучения, как уже было замечено ранее. |
+ | ===== Выводы ===== | ||
+ | Чем больше размер популяции, тем менее вероятно переобучение и ранняя сходимость. Оптимальное значение доли кроссинговера равно 0.5. | ||
- | === | + | ==== Случай значительной дисперсии (D=160000) ==== |
- | + | [[Изображение:SSE( number of generations ) for varyingPopulationSize( huge disp )N.png|600px]] <br /> | |
+ | Видно, что для размера популяции 5 результатом работы алгоритма является точка пространства поиска с SSE значительно большим, чем для размеров популяции 10, 15. <br /> | ||
+ | [[Изображение:SSE( number of generations ) for varyingCrossoverFraction( huge disp )N.png|600px]] <br /> | ||
+ | Начиная с 36-ой итерации все графики сливаются. <br /> | ||
+ | [[Изображение:Least squares linear fit for varyingPopulationSize( huge disp )N.png|600px]] <br /> | ||
+ | Четко видно отклонение синей линии, соответствующей размеру популяции 5, от линий, соответствующих значениям 10, 15 (эти линии сливаются). Графики SSE для всех значений, приведенные ранее, показали, что SSE для итоговой точки при значении 5 больше SSE в случаях 10, 15. <br /> | ||
+ | [[Изображение:Least squares linear fit for varyingCrossoverFraction( huge disp )N.png|600px]] <br /> | ||
+ | Все 3 графика сливаются, как уже было замечено ранее. <br /> | ||
+ | ===== Выводы ===== | ||
+ | При значительном шуме зависимость эффективности от доли кроссинговера очень слабая. Однако зависимость от размера популяции по-прежнему заметна, чем больше значение этого параметра - тем лучше. | ||
=== Реальные данные === | === Реальные данные === | ||
Выборка с улыбкой волатильности. 2 независимые переменные: время и страйк, зависимая переменная - волатильность. Выборка делилась как и прежде. | Выборка с улыбкой волатильности. 2 независимые переменные: время и страйк, зависимая переменная - волатильность. Выборка делилась как и прежде. | ||
=== Результаты на реальных данных === | === Результаты на реальных данных === | ||
- | Использовался следующий набор порождающих функций ( всего | + | Использовался следующий набор порождающих функций (всего 26): <br /> |
<tex>1,\; x(1),\; x(1)^2,\; x(1)^3,\; x(1)^4,\; x(2),\; x(2)^2,\; x(2)^3,\; x(2)^4,\; sin(x(1)),\; sin(x(2)),\; x(1)*x(2),\; x(1)*x(2)^2,\; x(1)*x(2)^3,\; x(1)*x(2)^4,</tex> <br /> | <tex>1,\; x(1),\; x(1)^2,\; x(1)^3,\; x(1)^4,\; x(2),\; x(2)^2,\; x(2)^3,\; x(2)^4,\; sin(x(1)),\; sin(x(2)),\; x(1)*x(2),\; x(1)*x(2)^2,\; x(1)*x(2)^3,\; x(1)*x(2)^4,</tex> <br /> | ||
- | <tex>x(1)^2*x(2),\; x(1)^2*x(2)^2,\; sin(x(1))*x(2),\; sin(x(1))*x(2)^2,\; sin(x(2))*x(1),\; sin(x(2))*x(1)^2.</tex> <br /> | + | <tex>x(1)^2*x(2),\; x(1)^2*x(2)^2,\; sin(x(1))*x(2),\; sin(x(1))*x(2)^2,\; sin(x(2))*x(1),\; sin(x(2))*x(1)^2,\; 1/(x(1)+0.1),\; 1/(x(2)+0.1),</tex> <br /> |
- | [[Изображение:Sample.png| | + | <tex>log(0.1+x(1)),\; log(0.1+x(2)),\; exp(x(1)).</tex> <br /> |
- | [[Изображение:SSE( number of generations ) for varyingPopulationSize2D.png| | + | [[Изображение:Sample.png|800px]] <br /> |
- | + | [[Изображение:SSE( number of generations ) for varyingPopulationSize2D!.png|600px]] <br /> | |
- | [[Изображение:Least squares linear fit, varyingPopulationSize(value1).png| | + | Результат с наименьшим SSE - при размере популяции 15, с наибольшим SSE - при размере популяции 5. <br /> |
- | + | [[Изображение:Least squares linear fit, varyingPopulationSize(value1)!.png|600px]] <br /> | |
- | [[Изображение:Least squares linear fit, varyingPopulationSize(value2).png| | + | Результат с наибольшим SSE. Никакого сходства с данными. <br /> |
- | + | [[Изображение:Least squares linear fit, varyingPopulationSize(value2)!.png|600px]] <br /> | |
- | [[Изображение:Least squares linear fit, varyingPopulationSize(value3).png| | + | Неплохой результат, но видно, что красный край недостаточно загнут вверх относительно исходных данных, что выражается в большом значении SSE по сравнению с результатом для размера популяции 15. <br /> |
- | + | [[Изображение:Least squares linear fit, varyingPopulationSize(value3)!.png|600px]] <br /> | |
- | [[Изображение:SSE( number of generations ) for | + | Результат с наименьшим SSE. <br /> |
- | + | [[Изображение:SSE( number of generations ) for varyingCrossoverFraction!.png|600px]] <br /> | |
- | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value1).png| | + | Разницы в эффективности для различных значений доли кроссинговера нет. Для всех 3 значений training-графики быстро сливаются (начиная с 30-ой итерации), test-графики достаточно близки.<br /> |
- | + | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value1)!.png|300px]] | |
- | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value2).png| | + | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value2)!.png|300px]] |
- | + | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value3)!.png|300px]] <br /> | |
- | [[Изображение:Least squares linear fit, varyingCrossoverFraction(value3).png| | + | На всех 3 графиках видно, что поверхности почти не отличаются, все очень похожи на данные выборки. |
- | + | ||
- | === Выводы === | + | ==== Выводы ==== |
- | Подтверждаются выводы, сделанные для модельных данных. | + | Подтверждаются выводы, сделанные для модельных данных с большой дисперсией. |
== Исходный код == | == Исходный код == | ||
- | Скачать код MATLAB можно здесь: [https://mlalgorithms.svn.sourceforge.net/svnroot/mlalgorithms/ | + | Скачать код MATLAB можно здесь: [https://mlalgorithms.svn.sourceforge.net/svnroot/mlalgorithms/Group774/Savinov2010Genetic/]. <br /> |
- | + | Скачать реальные данные по опционам можно здесь: [https://mlalgorithms.svn.sourceforge.net/svnroot/mlalgorithms/Group774/Savinov2010Genetic/realOptions2D.txt realOptions2D.txt]. | |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | Скачать реальные данные по опционам можно здесь: [https://mlalgorithms.svn.sourceforge.net/svnroot/mlalgorithms/ | + | |
- | == | + | == Смотрите также == |
* [[Генетический алгоритм]] | * [[Генетический алгоритм]] | ||
+ | * [[Теорема схемы]] | ||
* [[Регрессионный анализ]] | * [[Регрессионный анализ]] | ||
* [[Линейная регрессия (пример)]] | * [[Линейная регрессия (пример)]] | ||
Строка 96: | Строка 106: | ||
== Литература == | == Литература == | ||
- | * | + | * Zbigniew Michalevicz, "Genetic Algorithms + Data Structures = Evolution Programs" (chapter 3: "GAs: Why Do They Work?"). |
- | {{ | + | * Melanie Mitchell, "An Introduction to Genetic Algorithms". |
- | [[Категория: | + | {{ЗаданиеВыполнено|Nikolay Savinov|V.V. Strijov|20 июня 2010}} |
+ | [[Категория:Практика и вычислительные эксперименты]] |
Текущая версия
|
Генетический алгоритм — эвристический алгоритм поиска, используется для решения задач оптимизации. Название обусловлено смыслом эвристики: моделируется биологический естественный отбор, степень приспособленности определяется значением целевой функции. Возможно применение генетического алгоритма для выбора признаков линейной регрессии, поскольку данная задача допускает оптимизационную формулировку (если множество порождающих функций зафиксировано).
Постановка задачи
Задана выборка множество значений свободных
переменных и множество
соответствующих им значений зависимой переменной.
Задано множество порождающих функций линейной регрессионной модели
где
. Введем обозначения:
при
Требуется решить следующую задачу:
Описание алгоритма
Свободные параметры: размер популяции, доля кроссинговера (доля особей одного поколения, подвергающихся кроссинговеру).
- Инициализация (создание начальной популяции необходимого размера). Хромосомы особей представляют собой битовые векторы со случайными компонентами. Счетчик числа итераций:
Проверка условий завершения: либо
превысило максимально допустимое значение, либо изменения целевой функции SSE для лучшей особи в популяции за некоторое число итераций оказалось слишком малым.
- Селекция (выбор особей для следующего поколения). Селекция выполняется на основе оценки SSE всех особей. Используемый механизм таков: на единичном отрезке каждой особи выделяется участок, длина которого пропорциональна SSE. Далее алгоритм-селектор движется вдоль отрезка с фиксированным шагом, выбирая каждый раз ту особь, над которой находится. Начальная точка выбирается случайно, при этом начальное расстояние до левого конца должно быть меньше шага.
- Кроссинговер. Выбирается число особей, равное доли кроссинговера * размер популяции. С парами особей выполняется так называемый кроссинговер с маской (см. Оператор скрещивания). В результате этой операции каждая аллель (т. е. позиция в хромосоме особи) случайным образом заполняется геном 1-ого или 2-ого родителя.
- Мутация. Для каждой особи в каждой аллели с вероятностью 0.01 происходит мутация, которая выражается в замене текущего гена на 0 или 1 случайным образом (равновероятно).
- Возвращение на шаг 2.
Замечание
Существует еще одна модификация оператора кроссинговера - одноточечная, когда случайным образом выбирается позиция в хромосоме, и хромосомы особей обмениваются подстроками, заключенными между этой позицией и правым концом строки (см. Оператор скрещивания). Для этой модификации справедлива теорема схемы, которая имеет наглядную интерпретацию в терминах рассматриваемой задачи. Кратко изложим основную идею.
Пусть имеется какая-то начальная популяция. Рассмотрим некоторую совокупность признаков, не очень большую и имеющую не очень большое расстояние между крайними левыми и правыми позициями в хромосоме, дающую приближение в смысле SSE лучше, чем в среднем по данной популяции. Тогда количество появлений такой совокупности признаков в последующих популяциях будет расти экспоненциально на протяжении некоторого числа популяций. Таким образом, наборы признаков с высоким качеством сохраняются и распространяются по популяции.
Однако в данном исследовании используется кроссинговер с маской, для которого теорема схемы формально не может применяться.
Вычислительный эксперимент
Показана работа алгоритма на реальных и модельных данных.
Модельные данные
Данные порождались следующим образом (D - дисперсия):
x = [ 1:0.5:20 ]'; y = x + x.^2 + sin( x ) + log( x ) + x.*log( x ) + ( x.^2 ).*sin( x ) + sqrt( D ) * randn( size( x, 1 ), 1 );
Выборка делилась на training и testing части в соотношении 60%:40% случайным образом. Исследовались 2 эффекта: ложная (ранняя) сходимость и переобучение.
Результаты на модельных данных
Использовался следующий набор порождающих функций (всего 12):
В наборе не было следующих функций, участвовавших в порождении:
Случай небольшой дисперсии (D=1)
График для размера популяции 5 демонстрирует раннюю сходимость на обучающем множестве (training,5). Графики для размера популяции 10 демонстрируют раннюю сходимость и переобучение (т.е. SSE мало на обучающем множестве и велико на контрольном). Графики для размера популяции 15 показывают сходимость без переобучения.
Подтверждение ранней сходимости для размеров популяции 5, 10. Дольше всего алгоритм работает для значения 15.
Наглядная демонстрация ранней сходимости и переобучения. Для размеров популяции 5, 10 SSE мало на training-части и велико на test-части. Для размера популяции 15 - подтверждается отсутствие ранней сходимости, переобучения.
Графики для долей кроссинговера 0.3, 0.7 характеризуются переобучением. Для доли кроссинговера 0.5 переобучение не наблюдается, только ранняя сходимость.
Наглядная демонстрация переобучения для долей кроссинговера 0.3, 0.7. Для значения 0.5 нет явного переобучения, как уже было замечено ранее.
Выводы
Чем больше размер популяции, тем менее вероятно переобучение и ранняя сходимость. Оптимальное значение доли кроссинговера равно 0.5.
Случай значительной дисперсии (D=160000)
Видно, что для размера популяции 5 результатом работы алгоритма является точка пространства поиска с SSE значительно большим, чем для размеров популяции 10, 15.
Начиная с 36-ой итерации все графики сливаются.
Четко видно отклонение синей линии, соответствующей размеру популяции 5, от линий, соответствующих значениям 10, 15 (эти линии сливаются). Графики SSE для всех значений, приведенные ранее, показали, что SSE для итоговой точки при значении 5 больше SSE в случаях 10, 15.
Все 3 графика сливаются, как уже было замечено ранее.
Выводы
При значительном шуме зависимость эффективности от доли кроссинговера очень слабая. Однако зависимость от размера популяции по-прежнему заметна, чем больше значение этого параметра - тем лучше.
Реальные данные
Выборка с улыбкой волатильности. 2 независимые переменные: время и страйк, зависимая переменная - волатильность. Выборка делилась как и прежде.
Результаты на реальных данных
Использовался следующий набор порождающих функций (всего 26):
Результат с наименьшим SSE - при размере популяции 15, с наибольшим SSE - при размере популяции 5.
Результат с наибольшим SSE. Никакого сходства с данными.
Неплохой результат, но видно, что красный край недостаточно загнут вверх относительно исходных данных, что выражается в большом значении SSE по сравнению с результатом для размера популяции 15.
Результат с наименьшим SSE.
Разницы в эффективности для различных значений доли кроссинговера нет. Для всех 3 значений training-графики быстро сливаются (начиная с 30-ой итерации), test-графики достаточно близки.
На всех 3 графиках видно, что поверхности почти не отличаются, все очень похожи на данные выборки.
Выводы
Подтверждаются выводы, сделанные для модельных данных с большой дисперсией.
Исходный код
Скачать код MATLAB можно здесь: [1].
Скачать реальные данные по опционам можно здесь: realOptions2D.txt.
Смотрите также
- Генетический алгоритм
- Теорема схемы
- Регрессионный анализ
- Линейная регрессия (пример)
- Метод наименьших квадратов
Литература
- Zbigniew Michalevicz, "Genetic Algorithms + Data Structures = Evolution Programs" (chapter 3: "GAs: Why Do They Work?").
- Melanie Mitchell, "An Introduction to Genetic Algorithms".
![]() | Данная статья была создана в рамках учебного задания.
См. также методические указания по использованию Ресурса MachineLearning.ru в учебном процессе. |