WikiDer > Графический продукт

В математика, а граф продукта это бинарная операция на графики. В частности, это операция, которая занимает два графика грамм₁ и грамм₂ и строит график ЧАС со следующими свойствами:

• В набор вершин из ЧАС это Декартово произведение V(грамм₁) × V(грамм₂), куда V(грамм₁) и V(грамм₂) - множества вершин грамм₁ и грамм₂, соответственно.
• Две вершины (а₁, а₂) и (б₁, б₂) из ЧАС связаны край, если только условие о а₁, б₁ в грамм₁ и а₂, б₂ в грамм₂ выполняется.

Графические произведения различаются тем, что это за условие. Всегда важно, действительно ли вершины а_п, б_п в грамм_п равны или соединены ребром.

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

Обзорная таблица

В следующей таблице показаны наиболее распространенные графические продукты с ${displaystyle sim}$ означает «соединен ребром с», и ${displaystyle ot sim}$ означает отсутствие связи. Перечисленные здесь символы операторов ни в коем случае не являются стандартными, особенно в старых работах.

Имя	Условие для ${displaystyle (a_ {1}, a_ {2}) sim (b_ {1}, b_ {2})}$		Количество ребер ${displaystyle {egin {array} {cc} v_ {1} = vert mathrm {V} (G_ {1}) vert & v_ {2} = vert mathrm {V} (G_ {2}) vert e_ {1} = vert mathrm {E} (G_ {1}) vert & e_ {2} = vert mathrm {E} (G_ {2}) vert end {array}}}$	Пример
		с ${displaystyle a_ {n} ~ {ext {rel}} ~ b_ {n}}$ сокращенно ${displaystyle {ext {rel}} _ {n}}$
Декартово произведение ${displaystyle G_ {1} квадрат G_ {2}}$	${displaystyle a_ {1} = b_ {1} ~ land ~ a_ {2} sim b_ {2}}$ ${displaystyle lor}$ ${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} = b_ {2}}$	${displaystyle = _ {1} ~ sim _ {2}}$ ${displaystyle lor}$ ${displaystyle sim _ {1} ~ = _ {2}}$	${displaystyle v_ {1} ~ e_ {2} ~ + ~ e_ {1} ~ v_ {2}}$
Тензорное произведение (Произведение Кронекера, категориальный продукт) ${displaystyle G_ {1} imes G_ {2}}$	${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} sim b_ {2}}$	${displaystyle sim _ {1} ~ sim _ {2}}$	${displaystyle 2 ~ e_ {1} ~ e_ {2}}$
Лексикографический продукт ${displaystyle G_ {1} cdot G_ {2}}$ или же ${displaystyle G_ {1} [G_ {2}]}$	${displaystyle a_ {1} sim b_ {1}}$ ${displaystyle lor}$ ${displaystyle a_ {1} = b_ {1} ~ land ~ a_ {2} sim b_ {2}}$	${displaystyle sim _ {1}}$ ${displaystyle lor}$ ${displaystyle = _ {1} ~ sim _ {2}}$	${displaystyle v_ {1} ~ e_ {2} ~ + ~ e_ {1} ~ v_ {2} ^ {2}}$
Сильный продукт (Нормальный продукт, И продукт) ${displaystyle G_ {1} oxtimes G_ {2}}$	${displaystyle a_ {1} = b_ {1} ~ land ~ a_ {2} sim b_ {2}}$ ${displaystyle lor}$ ${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} = b_ {2}}$ ${displaystyle lor}$ ${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} sim b_ {2}}$	${displaystyle = _ {1} ~ sim _ {2}}$ ${displaystyle lor}$ ${displaystyle sim _ {1} ~ = _ {2}}$ ${displaystyle lor}$ ${displaystyle sim _ {1} ~ sim _ {2}}$	${displaystyle v_ {1} ~ e_ {2} ~ + ~ e_ {1} ~ v_ {2} ~ + ~ 2 ~ e_ {1} ~ e_ {2}}$
Нормальный продукт (дизъюнктивный продукт, ИЛИ продукт) ${displaystyle G_ {1} * G_ {2}}$	${displaystyle a_ {1} sim b_ {1}}$ ${displaystyle lor}$ ${displaystyle a_ {2} sim b_ {2}}$	${displaystyle sim _ {1}}$ ${displaystyle lor}$ ${displaystyle sim _ {2}}$	${displaystyle v_ {1} ^ {2} ~ e_ {2} ~ + ~ e_ {1} ~ v_ {2} ^ {2} ~ - ~ 2 ~ e_ {1} ~ e_ {2}}$
Модульный продукт	${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} sim b_ {2}}$ ${displaystyle lor}$ ${displaystyle a_ {1} ot sim b_ {1} ~ land ~ a_ {2} ot sim b_ {2}}$	${displaystyle sim _ {1} ~ sim _ {2}}$ ${displaystyle lor}$ ${displaystyle ot sim _ {1} ~ ot sim _ {2}}$
Укоренившийся продукт	см. статью		${displaystyle v_ {1} ~ e_ {2} ~ + ~ e_ {1}}$
Зигзагообразный продукт	см. статью		см. статью	см. статью
Продукт на замену
Гомоморфное произведение[1][3] ${displaystyle G_ {1} ltimes G_ {2}}$	${displaystyle a_ {1} = b_ {1}}$ ${displaystyle lor}$ ${displaystyle a_ {1} sim b_ {1} ~ land ~ a_ {2} ot sim b_ {2}}$	${displaystyle = _ {1}}$ ${displaystyle lor}$ ${displaystyle sim _ {1} ~ ot sim _ {2}}$

В общем, графическое произведение определяется любым условием для ${displaystyle (a_ {1}, a_ {2}) sim (b_ {1}, b_ {2})}$ что может быть выражено через ${displaystyle a_ {n} = b_ {n}}$ и ${displaystyle a_ {n} sim b_ {n}}$.

Мнемонический

Позволять ${displaystyle K_ {2}}$ - полный граф с двумя вершинами (то есть с одним ребром). Графики продукта ${displaystyle K_ {2} квадрат K_ {2}}$, ${displaystyle K_ {2} imes K_ {2}}$, и ${displaystyle K_ {2} волы K_ {2}}$ выглядят точно так же, как график, представляющий оператора. Например, ${displaystyle K_ {2} квадрат K_ {2}}$ представляет собой четырехцикл (квадрат) и ${displaystyle K_ {2} волы K_ {2}}$ - полный граф с четырьмя вершинами. В ${displaystyle G_ {1} [G_ {2}]}$ Обозначение для лексикографического произведения служит напоминанием о том, что данное произведение не коммутативно.

Смотрите также

• Графические операции

Примечания

Рекомендации