Построение характеристической функции невыпуклого множества и связанная с этим задача квадратичного целочисленного программирования

Рассматривается задача построения характеристической функции невыпуклого полиэдра, имеющей минимальное количество символов. Выделяется подзадача, знание решения которой позволяет принципиально упростить процесс получения решения первоначальной задачи. Строится алгоритм решения выделенной подзадачи, и проводится его теоретическое исследование и обоснование. Приводятся результаты машинных экспериментов.