text: Натан Линиал показал, что это невозможно: любой детерминированный распределённый алгоритм требует Ω ( l o g ∗ ( n ) ) {\displaystyle \Omega (log^{*}(n))} раундов связи для уменьшения N-раскраски до 3-раскраски в n-цикле.