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