Автоматический оптимизатор

Ставится задача построения автомата, минимизирующего функцию нескольких переменных $Q(x_1,\dots,x_n)$ при наличии дополнительных ограничений $H_j(x_1,\dots,x_n)\le0(j=1,\dots,m)$. Рассматриваются некоторые возможные способы решения этой задачи, а также принципиальные схемы разработанных вариантов автомата.