3ответов 13 Доказательство правильности: алгоритм для диаметра дерева в теории графов algorithm graph-theory proof-of-correctness tree