Изменения

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

Алгебра графов

160 байт добавлено, 20:49, 8 августа 2019
Была опечатка
{{Определение
|definition=
'''Одиночный граф''' (англ. ''single graph'') {{---}} [[Основные определения теории графов#Ориентированные графы|граф]] состоящий из одной вершины. Здесь и далее для удобства будем обозначать и одиночный граф и множество его как просто строчной вершин одной буквой. То есть Например, <tex> a = \{a, \varnothing \}</tex>{{---}} граф содержащий толко одну вершину <tex>a</tex>.
}}
{{Определение
Пусть <tex>G_1 = \{V_1, E_1\}</tex> и <tex>G_2 = \{V_2, E_2\}</tex>. Тогда <tex>\forall G_1, G_2</tex>
* '''Сложение''' (англ. ''overlay''): <tex>G_1 + G_2 = \{V_1 \cup V_2, E_1 \cup E_2\}</tex>
* '''СоединеиеСоединение''' (англ. ''connect''): <tex> G_1 \rightarrow G_2 = \{V_1 \cup V_2, E_1 \cup E_2 \cup V_1 \times V_2\}</tex>
}}
 
== Cвойства операций ==
Данные операции обладают следующими свойствами очевидными из определения.
=== Сложение ===
* Наличие нейтрального элемента
Анонимный участник

Навигация