text: Для этого свойства результат просто проверить прямо — если алгоритм не выполнит n ( n − 1 ) 2 {\displaystyle {\tfrac {n(n-1)}{2}}} проверок, он не сможет отличить пустой граф от графа, содержащего одно ребро непроверенной пары вершин и должен дать неверный ответ для одного из двух этих графов (либо для пустого, либо для графа с ребром).