WikiDer > График ладей - Википедия

График ладьи
График ладьи 8x8
Вершины	нм
Края	нм(п + м)/2 − нм
Диаметр	2
Обхват	3 (если Максимум(п, м) ≥ 3)
Хроматическое число	Максимум(п, м)
Характеристики	обычный, вершинно-транзитивный, идеально хорошо покрытый
Таблица графиков и параметров

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

Графы Ладья очень симметричны. Для квадратных шахматных досок они дистанционно-транзитивные графы и дистанционно регулярные графы, а для прямоугольных шахматных досок с относительно простыми размерами они равны циркулянтные графикиИх можно охарактеризовать числом треугольников, которым принадлежит каждое ребро, и наличием 4-цикл, соединяющий каждую несмежную пару вершин.

Графики Ладьи идеальные графики, что означает, что их индуцированные подграфы (линейные графы двудольных графов) все имеют хроматическое число равный их номер кликиИндуцированные подграфы ладейных графов являются одним из ключевых компонентов разложения совершенных графов, используемых для доказательства сильная теорема о совершенном графе характеризующие все совершенные графы. число независимости и число господства графика ладьи оба равны меньшему из двух его измерений, и это хорошо покрытые графики это означает, что каждый независимый набор можно расширить до максимальный независимый набор.

Определение

An п × м График ладьи представляет ходы ладьи на п × м шахматная доска.^[1]Его вершинам можно дать координаты (Икс, у), куда 1 ≤ Икс ≤ п и 1 ≤ у ≤ м. Две вершины (Икс₁, у₁) и (Икс₂,у₂) смежны тогда и только тогда, когда либо Икс₁ = Икс₂ или же у₁ = у₂; то есть, если они принадлежат к одному и тому же рангу или одной вертикали шахматной доски.^[1]

Для п × м граф ладьи общее количество вершин просто нм. Для п × п граф ладьи общее количество вершин просто п² а общее количество ребер равно п³ − п²; в этом случае граф также известен как двумерный Граф Хэмминга^[2] или Латинский квадрат график.^[3]

График ладьи для п × м шахматную доску также можно определить как Декартово произведение из двух полные графики K_п и K_м, выраженный одной формулой как K_п ◻ K_м. В дополнительный граф из 2 × п График ладьи - это граф короны.

Сильная регулярность

Луна (1963) и Хоффман (1964) обратите внимание, что ${ Displaystyle м раз п}$ График ладьи обладает всеми следующими свойствами:

• Она имеет ${ displaystyle mn}$ вершины, каждая из которых смежна с ${ displaystyle m + n-2}$ края.
• Когда ${ displaystyle m neq n}$, точно ${ Displaystyle п { tbinom {м} {2}}}$ края принадлежат ${ displaystyle m-2}$ треугольники и остальные ${ Displaystyle м { tbinom {п} {2}}}$ края принадлежат ${ displaystyle n-2}$ треугольники. Когда ${ displaystyle m = n}$, каждое ребро принадлежит ${ Displaystyle m-2 = n-2}$ треугольники.
• Каждые две вершины, не смежные друг с другом, принадлежат единственному ${ displaystyle 4}$-вертекс цикл.

Как они показывают, кроме случая ${ displaystyle m = n = 4}$, эти свойства однозначно характеризуют график ладьи. То есть графы ладьи - единственные графы, подчиняющиеся всем этим свойствам.^[4][5]

Когда ${ displaystyle m = n}$, эти условия могут быть сокращены, указав, что ${ Displaystyle п раз п}$ График ладьи - это сильно регулярный граф с параметрами${ displaystyle operatorname {srg} (n ^ {2}, 2n-2, n-2,2)}$.^[1] И наоборот, любой сильно регулярный граф с этими параметрами должен быть ${ Displaystyle п раз п}$ график ладьи, если только ${ displaystyle n = 4}$.^[4][5]

В Граф Шриханде вложен в тор. Это не ладейный график, но строго регулярный с теми же параметрами, что и у ${ displaystyle 4 times 4}$ График ладьи.

Когда ${ displaystyle n = 4}$, существует еще один сильно регулярный граф - Граф Шриханде, с теми же параметрами, что и ${ displaystyle 4 times 4}$ График ладьи.^[6]Граф Шриханде подчиняется тем же свойствам, что и Мун и Мозер. Его можно отличить от ${ displaystyle 4 times 4}$ график ладьи в том, что район каждой вершины в графе Шриханде соединяется, чтобы сформировать ${ displaystyle 6}$-цикл. Напротив, в ${ displaystyle 4 times 4}$ Графа ладьи, окрестность каждой вершины образует два не связанных друг с другом треугольника.^[7] В качестве альтернативы их можно отличить по обложка клики числа: ${ displaystyle n = 4}$ График ладьи может быть покрыт четырьмя кликами (четырьмя строками или четырьмя столбцами графа), тогда как для покрытия графа Шриханде необходимо шесть клик.^[6]

Симметрия

Графики Ладьи вершинно-транзитивный и ${ Displaystyle (м + п-2)}$-обычный; это единственные регулярные графы, сформированные таким образом из ходов стандартных шахматных фигур.^[8] Когда ${ displaystyle m neq n}$, симметрии графа ладьи формируются путем независимой перестановки строк и столбцов графа, так что группа автоморфизмов графика имеет ${ displaystyle m! n!}$ элементы. Когда ${ displaystyle m = n}$, граф обладает дополнительными симметриями, которые меняют местами строки и столбцы, поэтому количество автоморфизмов равно ${ displaystyle 2n! ^ {2}}$.^[9]

Любые две вершины в графе ладьи находятся на расстоянии один или два друг от друга, в зависимости от того, являются ли они смежными или несмежными соответственно. Любые две несмежные вершины могут быть преобразованы в любые две другие несмежные вершины с помощью симметрии графа. Когда график ладьи не квадратный, пары соседних вершин распадаются на две. орбиты группы симметрии в зависимости от того, являются ли они смежными по горизонтали или вертикали, но когда граф квадратный, любые две смежные вершины также могут быть отображены друг в друга посредством симметрии, и поэтому граф является дистанционно-переходный.^[10]

Когда ${ displaystyle m}$ и ${ displaystyle n}$ находятся относительно простой, группа симметрии ${ displaystyle S_ {m} times S_ {n}}$ графа ладьи содержит в качестве подгруппы циклическая группа ${ Displaystyle C_ {mn} = C_ {m} times C_ {n}}$ который действует путем циклической перестановки ${ displaystyle mn}$ вершины; следовательно, в этом случае график ладьи представляет собой циркулянтный график.^[11]

Графики квадратной ладьи связно-однородный, означающее, что любой изоморфизм между двумя связными индуцированными подграфами можно продолжить до автоморфизма всего графа.^[12]

Совершенство

График ладьи 3 × 3 (график 3-3 дуопризма), раскрашенный в три цвета и показывающий клику из трех вершин. В этом графе и каждом из его индуцированных подграфов хроматическое число равно кликовому числу, так что это идеальный граф.

График ладьи также можно рассматривать как линейный график из полный двудольный граф K_п,м - то есть у него по одной вершине на каждое ребро K_п,м, а две вершины града ладьи смежны тогда и только тогда, когда соответствующие ребра полного двудольного графа имеют общий конец.^[13] С этой точки зрения ребро в полном двудольном графе из я-й вершине на одной стороне двудольного j-я вершина на другой стороне соответствует квадрату шахматной доски с координатами (я, j).^[1]

Любой двудольный граф это подграф полного двудольного графа, и, соответственно, любой линейный граф двудольного графа является индуцированный подграф ладейного графика.^[14] Линейные графы двудольных графов имеют вид идеально: в них и в любом из их индуцированных подграфов количество цветов, необходимое в любом раскраска вершин равно количеству вершин в наибольшем полный подграф. Линейные графы двудольных графов образуют важное семейство совершенных графов: они являются одним из небольшого числа семейств, используемых Чудновский и др. (2006) чтобы охарактеризовать идеальные графы и показать, что любой граф без нечетных отверстий и без нечетных антидоров идеален.^[15] В частности, графики ладьи сами по себе совершенны.

Поскольку граф ладьи идеален, количество цветов, необходимых для любой раскраски графа, равно размеру его самой большой клики. Клики в графе ладьи - это подмножества его строк и столбцов, и самые большие из них имеют размер Максимум(м, п), так что это также хроматическое число графа. An п-раскрашивание п × п график ладьи можно интерпретировать как Латинский квадрат: описывает способ заполнения строк и столбцов п × п сетка с п разные значения таким образом, чтобы одно и то же значение не появлялось дважды ни в одной строке или столбце.^[16] Хотя найти оптимальную окраску графика ладьи несложно, это НП-полный чтобы определить, можно ли распространить частичную раскраску до раскраски всего графа (эта задача называется расширение предварительной окраски). Эквивалентно, NP-полный, чтобы определить, может ли частичный латинский квадрат быть завершен до полного латинского квадрата.^[17]

Независимость

	а	б	c	d	е	ж	грамм	час
8									8
7									7
6									6
5									5
4									4
3									3
2									2
1									1
	а	б	c	d	е	ж	грамм	час

Не атакующее размещение восьми ладей на шахматной доске, образующих максимально независимый набор в графе соответствующей ладьи.

An независимый набор в графе ладьи - набор вершин, никакие две из которых не принадлежат одной строке или столбцу графа; в шахматном плане это соответствует расстановке ладей, две из которых не атакуют друг друга. Совершенные графы также могут быть описаны как графы, в которых в каждом индуцированном подграфе размер наибольшего независимого множества равен количеству клик в разбиении вершин графа на минимальное количество клик. В графе ладьи наборы строк или наборы столбцов (в зависимости от того, у кого меньше наборов) образуют такое оптимальное разделение. Таким образом, размер самого большого независимого множества в графе равен мин (м, п).^[1] Каждый цветовой класс в каждой оптимальной раскраске града ладьи является максимально независимым множеством.

Графики Ладьи хорошо покрытые графики: каждый независимый набор в графе ладьи может быть расширен до максимально независимого множества, и каждый максимальное независимое множество в ладейной графе такой же размер, мин (м, п).^[18]

Господство

В число господства графа - это минимальная мощность среди всех доминирующих множеств. На графе ладьи набор вершин является доминирующим множеством тогда и только тогда, когда соответствующие им поля либо занимают, либо находятся на удалении ладьи от всех полей на графе. м × п доска. Для м × п доска номер доминирования мин (м, п).^[19]

На графе ладьи k-доминантное множество - это набор вершин, соответствующие клетки которых атакуют все остальные клетки (ходом ладьи) как минимум k раз. А k-набор доминирующего множества на графе ладьи - это множество вершин, соответствующие квадраты которых атакуют все остальные клетки как минимум k раз и сами подвергаются нападению по крайней мере k − 1 раз. Минимальная мощность среди всех k-доминантное и k-набора доминирующих множеств являются k-число доминирования и kчисло доминирования пары соответственно. На квадратной доске и даже на k, то k- номер доминирования нк/2 когда п ≥ (k² − 2k)/4 и k < 2п. Аналогичным образом kчисло доминирования пары п(k + 1)/2 когда k странно и меньше 2п.^[20]

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

3-3 дуопризма

• 3-3 дуопризма, 4-мерный многогранник, имеющий ${ displaystyle 3 times 3}$ граф ладьи как граф его вершин и ребер
• Граф короля и Граф рыцаря, два других графа, определенные по ходам шахматных фигур
• Решетчатый граф, график горизонтального и вертикального примыкания квадратов на шахматной доске
• Судоку граф, суперграф графа Ладьи, соединяющий квадраты головоломки Судоку, которые должны иметь неравные значения

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

внешняя ссылка

• Вайсштейн, Эрик В. «Решетчатый граф». MathWorld.