Завершение доказательства нижней оценки $\Omega(\log^2 n)$ глубины монотонных формул для задачи достижимости в ориентированном графе. Оценка коммуникационной сложности.
