В чём заключается теорема Эрдёша — Галлаи?

Теорема Эрдёша — Галлаи (критерий Эрдёша — Галлаи) — утверждение в теории графов, которое задаёт условие, при котором конечной последовательности натуральных чисел можно сопоставить степени вершин некоторого графа. ru.ruwiki.ru ru.wikipedia.org

Такие последовательности чисел называются графическими. ru.ruwiki.ru Теорема утверждает, что правильная последовательность является графической тогда и только тогда, когда для каждого числа в последовательности (1 ≤ k ≤ n − 1) верно определённое неравенство. ru.ruwiki.ru ru.wikipedia.org

Теорема доказана венгерскими математиками Палом Эрдёшем и Тибором Галлаи в 1960 году. ru.ruwiki.ru ru.wikipedia.org