Тибор Галлаи (настоящее имя Тибор Грюнвальд, 15 июля 1912 г. — 2 января 1992 г.) — венгерский математик . Он работал в области комбинаторики , особенно в теории графов , и был другом и соратником Пауля Эрдёша на протяжении всей жизни . Он был учеником Денеша Кёнига и научным руководителем Ласло Ловаса . Он был членом-корреспондентом Венгерской академии наук (1991 г.).
Теорема разложения Эдмондса –Галлаи , доказанная независимо Галлаи и Джеком Эдмондсом , описывает конечные графы с точки зрения паросочетаний. Галлаи также доказал, совместно с Милгрэмом , теорему Дилворта в 1947 году, но поскольку они не решались опубликовать результат, Дилворт независимо обнаружил и опубликовал его. [1]
Галлаи был первым, кто доказал многомерную версию теоремы Ван дер Вардена .
Совместно с Полом Эрдёшем он сформулировал необходимое и достаточное условие для того, чтобы последовательность была последовательностью степеней графа, известное как теорема Эрдёша–Галлаи .