nesteruk
Multiple { input, output } to search more generic common algorithm
Может использовать множество пар { вход, выход }? При этом можно было бы искать только общий алгоритм - применимый для всех таких пар.
Сейчас для конкретного входа ищется такая последовательность вызовов некоторых функций, которая приводит данные на входе к желаемому результату. Если полученных вариантов много, то это плохо.
Можно было бы запустить поиск с другим входом и другими выходным результатом и после этого пересечь полученые последовательности вызовов функций.
Останутся только самые общие последовательности - существенно меньшее количество.
Это вполне реально сделать как некое видоизменение поиска по последовательностям: вместо того чтобы искать как a,b,c превратить в 1,2,3 можно разбить это на части и искать все вызовы которые удовлетворяют a->1 AND b->2 AND c->3.
Дмитрий, а не правильнее ли вводить пары вход-выход раздельно? Если я хочу найти длину последовательности: 1,2,3 -> 3; 1,2 -> 2; - то ваш вариант разбиения не подойдет.
