Об одной задаче квадратичной оптимизации двоичных нелинейных последовательностных машин

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