Вопросы к Поиску с Алисой
Теорема Тарана в компьютерных алгоритмах применяется в теории графов. en.wikipedia.org Она ограничивает количество рёбер, которые можно включить в неориентированный граф, не имеющий полного подграфа заданного размера. en.wikipedia.org
Также на основе этой теоремы разработан алгоритм Тарьяна — алгоритм поиска компонент сильной связности в орграфе, работающий за линейное время. ru.ruwiki.ru ru.wikipedia.org