Теорема Тарана в компьютерных алгоритмах применяется в теории графов. 1 Она ограничивает количество рёбер, которые можно включить в неориентированный граф, не имеющий полного подграфа заданного размера. 1

Также на основе этой теоремы разработан алгоритм Тарьяна — алгоритм поиска компонент сильной связности в орграфе, работающий за линейное время. 45