Пороговый граф

Пороговый граф (Threshold graph) — Пусть $I G$ — множество, элементами которого служат все независимые подмножества вершин графа $G$ и пустое множество; если существуют такие неотрицательные вещественные числа $α_{1}, α_{2}, \dots, α_{n}, β,$ что множество всех $(0, 1)$ -решений неравенства

$α_{1} x_{1} + α_{2} x_{2} + \dots + α_{n} x_{n} \leq β$

совпадает с множеством характеристических векторов элементов множества $I G,$ то граф $G$ называется пороговым.