>>29446
Попыток моделирования предпринималось множество почти что со времен первых ЭВМ. Вопрос в том, какие именно аспекты моделировать, ведь для моделирования эволюции в широком смысле, с макромолекулами-репликаторами и учетом фактора влияния взмахов крыла бабочки ЭВМ размером со спираль галактики не хватит. Моделируются конкуренция абстрактных видов в условиях ограниченных ресурсов: больше кроликов — больше волков, больше волков — меньше кроликов; альфа в борьбе получил тян — потерял силы и время, омега ни с кем не дрался, а ждал, пока альфу не загрызет бета, и при этом сам потеряет много крови, омега получил тян; особи с геном на +10 к харизме не прижились, а уступили тем, у кого -2 к заметности. Так что баланс между видами и внутри приходит в равновесие или совершает колебания. Это не сильно отличается от генетического алгоритма, только для отбора особей применяется теория игр. Ну а соображения такие, что система стремится к балансу, пока не появится мутация, потом равновесие снова восстанавливается. В "Эгоистичном гене" это на пальцах объяснено 1976 однако.
(теги: читай Докинза)

>>29447

> Попыток моделирования предпринималось множество почти что со времен первых ЭВМ.

Я в курсе.

> какие именно аспекты моделировать

Меня интересует, есть ли более-менее общая теория.

> Ну а соображения такие, что система стремится к балансу, пока не появится мутация, потом равновесие снова восстанавливается.

Это какие-то не очень обоснованные соображения. Как, например, понять, за конечное или бесконечное время система стремится к равновесному положению, устойчиво ли оно и т.д?
Создан ли математический аппарат аналогичный тому, который используется для исследования решений диффуров?

> В "Эгоистичном гене" это на пальцах объяснено 1976 однако.

Собственно, после "расширенного фенотипа" меня это и заинтересовало.

Ответов не поступило, а делать поиск по незнакомой теме мне было лень. Выкатываю свой велосипед (7zjpeg).
tl;dr: PDE, похожее на уравнение Хатчинсона с диффузией, может описать нечто похожее на эволюцию на небольшом промежутке времени.

animated

>Создана ли математическая теория эволюции?

Столь резкий вопрос неуместен, на него нельзя ответить сопоставимым количеством символов. Хотя бы рассказал что в твоём понимании является "математической теорией эволюции".

>где генетическими алгоритмами

эволюция не представляет собой генетический алгоритмам. Она осуществляет метод градиентного спуска.

>А есть ли какие-то общие соображения и теоремы насчёт того, в каких условиях и как быстро генетический алгоритм сходится к локальному минимуму?

Можешь взять интернет и прочитать больше про метод градиентного спуска и про то, почему эволюция идёт по нему.

>Если пойти дальше, то эволюция видов -- это ведь никакая не задача оптимизации, а скорее игра.

Каким образом тут некто "идёт дальше"?простите, не люблю, когда пафосные речевые обороты не несут смысла В любом случае, задача поиска оптимальной смешанной стратегии для игры - это задача оптимизации.

>>29469
Пардон, у меня иногда бывает ебал её рука.

>>29469

> эволюция не представляет собой генетический алгоритмам. Она осуществляет метод градиентного спуска.

Эволюция осуществляет метод спуска с помощью генетического алгоритма, afaik.

> Каким образом тут некто "идёт дальше"?

В модели выше и некоторой литературе давление отбора (∇u) считается функцией только от фенотипа. Особенность такой модели -- популяция скатывается в локальный минимум и там существует бесконечно долго (либо вымирает). Это не соответствует реальности: возможна, например, "гонка вооружений" между хищником и жертвой. Придёт ли при этом система к каком-то равновесному состоянию -- неизвестно.

> В любом случае, задача поиска оптимальной смешанной стратегии для игры - это задача оптимизации.

Тебе виднее.

>>29472

>Эволюция осуществляет метод спуска с помощью генетического алгоритма, afaik.

Насколько я представляю, это вопрос достаточно сложный, причем далеко не факт, что система идет к минимуму, да и саму систему если рассматривать, то это скорее ценоз, а для него функция совсем сложная получится.

В любом случае, я не понимаю исходный вопрос -- он о модели биологической эволюции? Или теоретическое описание генетического алгоритма, которое бы могло предсказывать врем достижения результата?

>>29473

> он о модели биологической эволюции

Да.

> Или теоретическое описание генетического алгоритма, которое бы могло предсказывать врем достижения результата?

Сначала мне казалось, что такое описание могло бы помочь ответить на вопрос выше. Теперь я склоняюсь к тому, что здесь хватит и простой динамики популяций в пространстве фенотипов (а лучше генотипов).

>>29476

>Да.

А что ты ищешь в такой модели? Что она должна предсказывать?

>>29472

>Эволюция осуществляет .... с помощью генетического алгоритма

Угу, а волк караулит зайца у норки с помошью теории игр. Все наоборот, это генетические алгоритмы были спроектированы напоминать эволюцию (а вообще, учитывая, что у эволюции цели нет, в случае если у генетического алгоритма она есть, даже не столько эволюцию, сколько селекцию искусственным отбором). Можно говорить как модель что-то описывает, а не как ей что-то делают.

http://libgen.info/view.php?id=43440

> Создана ли математическая теория эволюции?

Да, всё давно сделано. То, что меня интересовало, называется "детерминированной моделью эволюции".
В первой части этой книжки получена некая общая система интегро-дифференциальных уравнений про частоты аллелей. В этой системе есть, естественно, куча подгоночных функций, которые никак, кроме как высасыванием из пальца, не могут быть определены. Мне лень было проверять, но, думаю, подобрав определённые подгоночные функции и сделав несколько подстановок, можно из этой системы получить и моё уравнение.
Конвергенцию эта система описывает столь же неправильно, как и мой велосипед. Думаю, это первородный грех любой детерминированной модели эволюции.
P.S. Книжка забавная. Есть ли в ней ответ на второй вопрос, скоро узнаю.

>>29535

Напомнило шутку:

"Инженер думает, что его расчёты - приближение к реальности. Физик думает, что реальность - приближение к его расчётам.
Математик вообще не видит связи."

>>29844
Eto plohoi, negodnyi fizik.

А посоветуйте какой-нибудь фундаментальный труд про обоснование метода функций Грина для нелинейных систем. Проблема известная, работ масса, нужна наиболее респектабельная, чтоб сослаться.
inb4: use citation index, use sort by date, use web of science, use google, use hands

>>29859
Хотя, если подумать, это же полностью некорректная задача и вообще бред, похоже. Линейность -- необходимое условие принципа суперпозиции и существования собственных векторов. Так что ли?

>>29446
Создан ли хоть один космический аппарат из дерева?
К вопросу о соответствии средств и задачи.

>>29446
Если речь идёт о биологической эволюции, то пока алгоритм функционирования днк даже кишечной палочки (самого изученного пожалуй организма) полностью не расшифрован, эволюционные матмодели проверить невозможно, поэтому при рассмотрении самоорганизационных поцессов руководствоваться приходиься иными подходами, системными. В частности теорией хаоса и теорией диссипативных систем.
Фундаментальная наука тут как всегда отстала от прикладной. Создавать в лаборатории можно организмы с днк уже из нескольких десятков тысяч оснований. Но матмодели их развития даже в чашке петри не соответствуют потом эмпирическим данным.
>>29447

> > вопрос о матмоделях
> читай докинза

Шизик.

>>29463>>29464
В связи с чисткой НЖМД мне посчастливилось наткнуться на этот мартышкин труд. Оказывается картинки были посчитаны несколько неправильно, ибо глупая Mathematica не может в интегро-дифференциальные уравнения. Бампану тред, чтобы напомнить себе переделать всё это ручками.

ITT очередной школьник пишет искусственный интеллект на Бейсике.

Силина читни, "Логику Случая". Там наполовину популярно, наполовину по хардкору поясняется про современную биологическую (и в достаточной степени математическую) теорию эволюции. И ссылок на материалы по теме вагон. Но завершенных теорий там нет, только наброски пока.

>>31976
Может, Кунин, а не Силин?
Гугл не знает никакого Силина. А книжка. по ходу, интересная, сейчас выйду за попкорном и сажусь читать.

Мимопроходил

>>31988

Знамо как таки книжки лабаются.

1. Берётся англоязычный оригинал.
2. Переводится с кучей ошибок и недопониманий.
3. Имя автора и копирайты заменяются своими.
4. ???
5. ПРОФИТ!!!

>>31988
Кунин, конечно же. Это у меня в голове чего-то перепуталось.

>>31989
ты выдыхай, бобер
http://www.ncbi.nlm.nih.gov/CBBresearch/Koonin/
http://scholar.google.ru/scholar?hl=ru&q=koonin