Прямое произведение графов

Декартово произведение графов.

Декартово произведение или прямое произведение G $\square$ H графов G и H — это граф, такой что

• множество вершин графа G $\square$ H — это прямое произведение V(G) × V(H)
• любые две вершины (u,u') и (v,v') смежны в G $\square$ H тогда и только тогда, когда
  • либо u=v и u' смежна v' в H
  • либо u' =v' и u смежна v в G.

Декартово произведение может быть распознано эффективно за линейное время . Операция является коммутативной как операция на классах изоморфизмов графов, и более строго, графы G $\square$ H и H $\square$ G естественно изоморфны, но операция не является коммутативной как операция на помеченных графах. Операция является также ассоциативной, так как графы (F $\square$ G) $\square$ H и F $\square$ (G $\square$ H) естественно изоморфны.

Обозначение G × H порой используется и для декартова произведения графов, но чаще оно используется для другой конструкции, известной как тензорное произведение графов. Символ квадратика чаще используется и является недвусмысленным для декартова произведения графов. Он показывает визуально четыре ребра, получающееся в результате декартова произведения двух рёбер

Примеры

• Декартово произведение двух рёбер является циклом с четырьмя вершинами: K₂ $\square$ K₂=C₄.
• Декартово произведение K₂ и пути является лестницей.
• Декартово произведение двух путей является решёткой.
• Декартово произведение n рёбер является гиперкубом:

$(K_{2})^{\square n}=Q_{n}.$

Таким образом, декартово произведение двух графов гиперкубов является другим гиперкубом — Q_i $\square$ Q_j=Q_i+j.

• Декартово произведение двух медианных графов является другим медианным графом.
• Граф вершин и рёбер n-угольной призмы является декартовым произведением K₂ $\square$ C_n.
• Ладейный граф является декартовым произведением двух полных графов.

Свойства

Если связный граф является декартовым произведением, его можно разложить единственным образом на произведение простых множителей, графов, которые нельзя разложить на произведение графов . Однако, Имрих и Клавжар описали несвязный граф, который можно представить двумя различными путями как декартово произведение простых графов:

(K₁ + K₂ + K₂²) $\square$ (K₁ + K₂³)=(K₁ + K₂² + K₂⁴) $\square$ (K₁ + K₂),

где знак плюс означает несвязное объединение, а верхний индекс означает кратное декартово произведение.

Декартово произведение является вершинно-транзитивным графом тогда и только тогда, когда каждое из его множителей является вершинно-транзитивным .

Декартово произведение является двудольным тогда и только тогда, когда каждый из его множителей является двудольным. Более обще, хроматическое число декартова произведения удовлетворяет уравнению

χ(G $\square$ H)=max {χ(G), χ(H)} .

Гипотеза Хедетними утверждает связанное равенство для тензорноного произведения графов. Число независимости декартовых произведений непросто вычислить, но как показал Визинг , число независимости удовлетворяет неравенствам

α(G)α(H) + min{|V(G)|-α(G),|V(H)|-α(H)} ≤ α(G $\square$ H) ≤ min{α(G) |V(H)|, α(H) |V(G)|}.

Гипотеза Визинга утверждает, что число доминирования декартова произведения удовлетворяет неравенству

γ(G $\square$ H) ≥ γ(G)γ(H).

Алгебраическая теория графов

Алгебраическую теориию графов можно использовать для анализа декартова произведения графов. Если граф $G_{1}$ имеет $n_{1}$ вершин и $n_{1}\times n_{1}$ матрицу смежности $\mathbf {A} _{1}$, а граф $G_{2}$ имеет $n_{2}$ вершин и $n_{2}\times n_{2}$ матрицу смежности $\mathbf {A} _{2}$, то матрица смежности декартова произведения двух графов задаётся формулой

$\mathbf {A} _{1\square 2}=\mathbf {A} _{1}\otimes \mathbf {E} _{n_{2}}+\mathbf {E} _{n_{1}}\otimes \mathbf {A} _{2}$,

где $\otimes$ означает произведение Кронекера матриц, а $\mathbf {E} _{n}$ означает $n\times n$ единичную матрицу .

История

Согласно Имриху и Клавжару декартовы произведения графов определили в 1912 Уайтхед и Рассел. Произведение графов неоднократно переоткрывалось позже, в частности, Гертом Сабидусси .

Ссылки

• Weisstein, Eric W. Graph Cartesian Product (англ.) на сайте Wolfram MathWorld.