Как стать автором
Обновить

Комментарии 4

Задолго до AI хайпа мне пришла в голову идея написать программу, решающую уравнения эволюционным алгоритмом - выбираем следующее случайное преобразование и смотрим, не решилось ли. Повторить миллион раз в разных потоках.

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

Надо сказать, отличная идея! Я давно хотел сделать что-то с эволюционным подходом.

А программу написали? Решала уравнения?

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

Буквально на неделе читал статью, там фигурировала некая питоновская библиотека-солвер z3. очень похоже на то, что вы описыаете, но я не вдавался в подробности

Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации