Изменения

Перейти к: навигация, поиск

Дерево, эквивалентные определения

487 байт добавлено, 19:58, 24 ноября 2011
Определения
}}
==Определения==
Дерево - неориентированный простой граф Для графа G, который удовлетворяет любому из эквивалентных утвержденийэвивалентны следущие утверждения:# G - дерево
# Любые две вершины графа G соединены единственным простым путем
# G - связен и , количество вершин <tex>n</tex>, а ребер <tex> n - 1 </tex># G - ацикличен, количество вершин <tex>n</tex>, а ребер <tex>n - 1</tex># G - ацикличен, и простой при добавлении любого ребра для несмежных вершин появляется цикл формируется # G - связный граф, отличный от <tex> K_p </tex> для <tex> p >= 3 </tex>, при добавлении любого ребрадля несмежных вершин появляется цикл# G - связенграф, отличный от <tex> K_3 K_1 </tex> и удаление <tex> K_3 K_2 </tex>, количество вершин <tex>n</tex>, а ребер <tex>n - 1</tex>, при добавлении любого ребра приводит к потере связностидля несмежных вершин появляется цикл
==Доказательство эквивалентности==
Анонимный участник

Навигация