Эволюционность (информатика)
Термин «эволюционность» используется для обозначения недавней концепции вычислительного обучения, представленной Лесли Валиантом в его одноименной статье и описанной ниже. Цель этой теории — смоделировать биологическую эволюцию и классифицировать типы механизмов, которые могут развиваться. Эволюция — это расширение обучения PAC и обучения на основе статистических запросов.
Общие рамки
[ редактировать ]Позволять и быть коллекциями функций на переменные. Учитывая идеальную функцию , цель состоит в том, чтобы локальным поиском найти представление что близко приближается . Эта близость измеряется производительностью из относительно .
Как и в биологическом мире, существует разница между генотипом и фенотипом. В общем, может быть несколько представлений (генотипов), соответствующих одной и той же функции (фенотипу). То есть для некоторых , с , все еще для всех . Однако это не обязательно так. Таким образом, цель состоит в том, чтобы найти представление, которое точно соответствует фенотипу идеальной функции, а дух локального поиска состоит в том, чтобы допустить лишь небольшие изменения в генотипе. Пусть окрестности представительства быть набором возможных мутаций .
Для простоты рассмотрим булевы функции на , и пусть быть распределением вероятностей на . Определите производительность с этой точки зрения. Конкретно,
Обратите внимание, что В общем, для небулевых функций производительность не будет напрямую соответствовать вероятности согласования функций, хотя она будет иметь некоторую взаимосвязь.
На протяжении всей жизни организм испытывает лишь ограниченное количество сред, поэтому его работоспособность не может быть точно определена. Эмпирическая эффективность определяется где представляет собой мультимножество независимый выбор из в соответствии с . Если достаточно велик, очевидно будет близок к реальной производительности .
Учитывая идеальную функцию , исходное представление , размер выборки и толерантность , мутатор является случайной величиной, определяемой следующим образом. Каждый классифицируется как полезный, нейтральный или вредный, в зависимости от его эмпирической эффективности. Конкретно,
- является полезной мутацией, если ;
- является нейтральной мутацией, если ;
- является вредной мутацией, если .
Если есть какие-то полезные мутации, то равно одному из них в случайном порядке. Если нет полезных мутаций, то равно случайной нейтральной мутации. Ввиду сходства с биологией, сам по себе должен быть доступен в виде мутации, поэтому всегда будет хотя бы одна нейтральная мутация.
Смысл этого определения состоит в том, что на каждом этапе эволюции все возможные мутации текущего генома проверяются в окружающей среде. Из тех, кто преуспевает или, по крайней мере, выживает, один выбирается кандидатом на следующий этап. Данный , определим последовательность к . Таким образом это случайная величина, представляющая то, что развился до того, как поколения .
Позволять быть классом функций, быть классом представлений, и класс распределений на . Мы говорим, что развивается путем над если существуют полиномы , , , и такой, что для всех и все , для всех идеальных функций и представления , с вероятностью по крайней мере ,
где размеры окрестностей для самое большее , размер выборки , толерантность , а размер поколения равен .
эволюционирует над если это может быть развито некоторыми над .
является развиваемым, если оно эволюционирует по всем распределениям .
Результаты
[ редактировать ]Класс конъюнкций и класс дизъюнкций развиваются по равномерному распределению для коротких конъюнкций и дизъюнкций соответственно.
Класс функций четности (которые оценивают четность количества истинных литералов в заданном подмножестве литералов) не поддается развитию даже для равномерного распределения.
Эволюционность подразумевает обучаемость PAC .
Ссылки
[ редактировать ]- Валиант, LG (2006), Эволюция , ECCC TR06-120 .