1632
правки
Изменения
м
rollbackEdits.php mass rollback
{{Определение
|id = finite_graph
|definition =
'''Конечным графом''' (англ. ''finite graph'') <tex>G</tex> называется граф, в котором множества <tex>V</tex> и <tex>E</tex> {{---}} конечны. Следует заметить, что большинство рассматриваевых нами графов {{---}} конечны.
{{Определение
|id = isomorphic_graphs
|definition=
'''Изоморфные графы''' (англ. ''isomorphic graphs'') {{---}} два графа <tex>A</tex> и <tex>B</tex> называются изоморфными, если можно установить биекцию между их вершинами и соответствующими им рёбрами.
}}
{{Определение
|id=def_edge_und
|definition =
'''Ребром''' в неориентированном графе называют неупорядоченную пару вершин <tex> \{v, u\} \in E </tex>.
{{main|Дерево, эквивалентные определения}}
{{Определение
|id=defTree
|definition='''Дерево''' (англ. ''tree'') {{---}} связный ациклический граф.
}}
