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

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

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

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

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

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

Примеры

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

$(K_2{)}^{◻n}=Q_n.$

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

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

Свойства

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

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

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

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

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

χ(G $◻$ H)=max {χ(G), χ(H)}Шаблон:Sfn.

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

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

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

γ(G $◻$ H) ≥ γ(G)γ(H).

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

Алгебраическую теорию графов можно использовать для анализа декартова произведения графов. Если граф $G_1$ имеет $n_1$ вершин и $n_1\times n_1$ матрицу смежности ${𝐀}_1$, а граф $G_2$ имеет $n_2$ вершин и $n_2\times n_2$ матрицу смежности ${𝐀}_2$, то матрица смежности декартова произведения двух графов задаётся формулой

${𝐀}_{1◻2}={𝐀}_1\otimes {𝐄}_{n_2}+{𝐄}_{n_1}\otimes {𝐀}_2$,

где $\otimes$ означает произведение Кронекера матриц, а ${𝐄}_n$ означает $n\times n$ единичную матрицуШаблон:Sfn.

История

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

Литература

• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья

Ссылки

• Шаблон:Mathworld