Теоретико-графовый алгоритм построения комитета несовместной системы линейных неравенств

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