Удаление неравенств из фасетного описания многогранника

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