Преобразованиереальной задачи в процесс исследования EvoXозначает, что прежде чем прописать хотя бы одну строку конфигурации алгоритма, нужно переформулировать расплывчатый инженерный или научный запрос в определение эволюционной задачи, которое можно «сэмплировать, оценивать, сохранять и итеративно проверять». Преобразование происходит до выбора алгоритма: оно определяет верхнюю границу пространства поиска и то, верно ли выбрано направление оптимизации. Каким бы мощным ни был сам алгоритм, он не сможет найти правильный ответ в неправильно определённой задаче.
Сначала преобразование задачи, потом выбор алгоритма
Когда перед нами стоит реальная задача, первая реакция обычно — «какой оператор и какую стратегию использовать?». Но EvoX — это конвейер исследования: ему нужно знать, в каком пространстве вести сэмплирование, по каким критериям оценивать кандидатов и какие результаты сохранять для продолжения. Эта информация может исходить только из самой задачи, поэтому преобразование естественным образом предшествует выбору алгоритма. Одна и та же фраза «сделай этот дизайн лучше» даст совершенно разные результаты исследования, стоит лишь изменить границы переменных или критерии оценки.
Определите, «что можно изменить»
Переведите реальный запрос в переменные решения: определите их форму представления, размерность и границы, а также различайте непрерывные параметры, дискретные структуры и даже объекты программного уровня. Если задать границы слишком узко, истинное оптимальное решение просто не попадёт в пространство поиска; если слишком широко — бюджет сэмплирования будет съеден массой неэффективных областей. У этого шага единственный критерий приёмки: переменные должны быть сэмплируемыми.
Определите, «как оценивать после изменения»
Разложите расплывчатую цель на вычислимую целевую функцию и ограничения: уточните, какие показатели нужно максимизировать, какие являются жёсткими ограничениями и как балансировать между несколькими целями. Когда обратная связь разрежена или одна оценка требует дорогостоящего моделирования, введите суррогатную модель вместо высокозатратных вычислений. Критерий приёмки: цель вычислима, а результат при одном и том же входе стабилен и воспроизводим.
Создайте механизм сохранения и отбора
Определите, как кандидаты сохраняются, сравниваются и продолжаются. Именно благодаря механизму сохранения эволюционный процесс обретает память, направление и разнообразие, а не превращается в череду не связанных между собой одноразовых проб и ошибок. Критерий приёмки: кандидаты должны быть наследуемыми.
Сделайте каждый шаг проверяемым
Результат преобразования должен быть воспроизводимым, измеримым и итеративно проверяемым, а каждый шаг — отвечать на вопрос «действительно ли это изменение лучше?». Две категории отклонений, которые легче всего разрастаются, возникают именно на этапе преобразования: пропущенные переменные приводят к неверному пониманию пространства решений, а искажение оценки уводит оптимизацию в сторону. Ни то, ни другое нельзя компенсировать последующими операторами или дополнительными итерациями.
Четырёхшаговый процесс преобразования задачиЭта схема показывает последовательность преобразования реальной задачи в задачу исследования EvoX: сначала определяются изменяемые переменные решения, затем устанавливаются вычислимые критерии оценки, далее создаётся механизм сохранения и отбора кандидатов, и наконец обеспечивается воспроизводимость, измеримость и итеративная проверяемость каждого шага. Только после этого переходят к выбору алгоритма.
