Генетический алгоритм
Хотим переложить успешный алгоритм синтеза AIG/MIG на нашу задачу.
Тут есть вопросы:
- Каким образом получаем начальную базу?
- Какие делаем мутации?
- Что сохраняем в популяции?
- Используем ли классы эквивалентности? Если да, то как? Тут вспоминаем ещё, что нам, вообще говоря, можно инвертировать часть выходов умножителя.