Граф королевы

Математический график, относящийся к шахматам
Граф королевы
абсгефгчас
8
d8 белый круг
h8 белый круг
а7 белый круг
d7 белый круг
g7 белый круг
b6 белый круг
d6 белый круг
f6 белый круг
c5 белый круг
d5 белый круг
е5 белый круг
а4 белый круг
b4 белый круг
c4 белый круг
d4 белый ферзь
е4 белый круг
f4 белый круг
g4 белый круг
h4 белый круг
c3 белый круг
d3 белый круг
е3 белый круг
b2 белый круг
d2 белый круг
f2 белый круг
а1 белый круг
d1 белый круг
g1 белый круг
8
77
66
55
44
33
22
11
абсгефгчас
В графе ферзя каждая клетка шахматной доски выше является вершиной . Между любыми двумя вершинами есть ребро, между которыми может ходить ферзь; например, вершины, смежные с d4, отмечены белой точкой (т. е. есть ребро от d4 до каждой отмеченной вершины). 8 × 8 {\displaystyle 8\times 8}
Вершины м н {\displaystyle mn}
Хроматическое числон если м = н 1 , 5 ( мод 6 ) {\displaystyle m=n\equiv 1,5{\pmod {6}}}
ХарактеристикиДвусвязный , гамильтонов
Таблица графиков и параметров

В математике граф ферзя — это неориентированный граф , который представляет все допустимые ходы ферзяшахматной фигуры — на шахматной доске . В графе каждая вершина представляет собой клетку на шахматной доске, а каждое ребро — допустимый ход, который может сделать ферзь, то есть горизонтальный, вертикальный или диагональный ход на любое количество клеток. Если шахматная доска имеет размеры , то индуцированный граф называется графом ферзя. м × н {\displaystyle m\times n} м × н {\displaystyle m\times n}

Независимые наборы графов соответствуют размещениям нескольких ферзей, где никакие два ферзя не атакуют друг друга. Они изучаются в головоломке с восемью ферзями , где восемь неатакующих ферзей размещаются на стандартной шахматной доске. Доминирующие наборы представляют собой расположения ферзей, где каждое поле атаковано или занято ферзем; пять ферзей, но не меньше, могут доминировать на шахматной доске. 8 × 8 {\displaystyle 8\times 8} 8 × 8 {\displaystyle 8\times 8}

Раскраски графиков представляют собой способы раскраски каждой клетки таким образом, чтобы ферзь не мог перемещаться между любыми двумя клетками одного цвета; для шахматной доски требуется не менее n цветов , но для доски необходимо 9 цветов . н × н {\displaystyle n\times n} 8 × 8 {\displaystyle 8\times 8}

Характеристики

Для каждого графа ферзя существует гамильтонов цикл , и графы являются двусвязными (они остаются связными, если удалить любую одну вершину). Частные случаи графов и ферзя являются полными . [1] 1 × н {\displaystyle 1\times n} 2 × 2 {\displaystyle 2\times 2}

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

абсгефгчас
8
c8 белый ферзь
е7 белый ферзь
b6 белый ферзь
h5 белый ферзь
а4 белая королева
g3 белый ферзь
d2 белый ферзь
f1 белый ферзь
8
77
66
55
44
33
22
11
абсгефгчас
Независимый набор размером 8 для шахматной доски (такие наборы обязательно являются также доминирующими). ​​[2] 8 × 8 {\displaystyle 8\times 8}

Независимое множество графа соответствует размещению нескольких ферзей на шахматной доске таким образом, что никакие два ферзя не атакуют друг друга. На шахматной доске наибольшее независимое множество содержит не более n вершин, поскольку никакие два ферзя не могут находиться в одной строке или столбце. [2] Эта верхняя граница может быть достигнута для всех n, кроме n =2 и n =3. [3] В случае n=8 это традиционная головоломка с восемью ферзями. [2] n × n {\displaystyle n\times n}

Доминирование

Доминирующий набор графа ферзя соответствует размещению ферзей таким образом, что каждое поле на шахматной доске либо атаковано, либо занято ферзем. На шахматной доске доминировать могут пять ферзей, и это минимально возможное число [4] : 113–114  (четыре ферзя оставляют не менее двух полей не атакованными). Существует 4860 таких размещений пяти ферзей, включая те, где ферзи контролируют также все занятые поля, т. е. они атакуют и соответственно защищают друг друга. В этой подгруппе есть также позиции, где ферзи занимают поля только на главной диагонали [4] : 113–114  (например, от a1 до h8) или все на поддиагонали (например, от a2 до g8). [5] [6] 8 × 8 {\displaystyle 8\times 8}

абсгефгчас
8
f6 белый ферзь
c5 белый ферзь
е4 белый ферзь
g3 белый ферзь
d2 белый ферзь
8
77
66
55
44
33
22
11
абсгефгчас
Доминирующий (и независимый) комплект размера 5.
абсгефгчас
8
g7 белый ферзь
f6 белый ферзь
е5 белый ферзь
c3 белый ферзь
а1 белая королева
8
77
66
55
44
33
22
11
абсгефгчас
Доминирующий набор на главной диагонали.
абсгефгчас
8
g8 белый ферзь
е6 белый ферзь
d5 белый ферзь
c4 белый ферзь
а2 белый ферзь
8
77
66
55
44
33
22
11
абсгефгчас
Доминирующий набор на поддиагонали.

Модификация графа путем замены нециклической прямоугольной шахматной доски на тор или цилиндр уменьшает минимальный размер доминирующего множества до четырех. [4] : 139  8 × 8 {\displaystyle 8\times 8}

а5 черный кругб5c5 черный кругд5е5 черный круг
а4b4 черный кругc4 черный кругd4 черный круге4
а3 черный кругb3 черный кругc3 черный крестd3 черный круге3 черный круг
а2b2 черный кругc2 черный кругd2 черный круге2
а1 черный кругб1c1 черный кругд1е1 черный круг
Пунктирные квадраты примыкают к центральному квадрату. 8 несмежных квадратов являются смежными в соответствующем конном графе . [4] : 117 

Граф ферзя доминируется единственной вершиной в центре доски. Центральная вершина графа ферзя смежна со всеми вершинами, кроме 8: те вершины, которые смежны с центральной вершиной графа коня . [4] : 117  3 × 3 {\displaystyle 3\times 3} 5 × 5 {\displaystyle 5\times 5} 5 × 5 {\displaystyle 5\times 5}

Числа доминирования

Определим число доминирования d ( n ) графа ферзя как размер наименьшего доминирующего множества, а число диагонального доминирования dd ( n ) как размер наименьшего доминирующего множества, являющегося подмножеством длинной диагонали. Обратите внимание, что для всех n . Граница достигается для , но не для . [4] : 119  n × n {\displaystyle n\times n} d ( n ) d d ( n ) {\displaystyle d(n)\leq dd(n)} d ( 8 ) = d d ( 8 ) = 5 {\displaystyle d(8)=dd(8)=5} d ( 11 ) = 5 , d d ( 11 ) = 7 {\displaystyle d(11)=5,dd(11)=7}

Число доминирования линейно зависит от n , а его границы определяются следующим образом: [4] : 119, 121 

n 1 2 d ( n ) n n 3 . {\displaystyle {\frac {n-1}{2}}\leq d(n)\leq n-\left\lfloor {\frac {n}{3}}\right\rfloor .}

Начальные значения d ( n ) для равны 1, 1, 1, 2, 3, 3, 4, 5, 5, 5, 5 (последовательность A075458 в OEIS ). n = 1 , 2 , 3 , {\displaystyle n=1,2,3,\dots }

Пусть K n будет максимальным размером подмножества такого, что все числа имеют одинаковую четность и никакие три числа не образуют арифметическую прогрессию (множество «без средней точки»). Диагональное доминирующее число графа ферзя равно . [4] : 116  { 1 , 2 , 3 , , n } {\displaystyle \{1,2,3,\dots ,n\}} n × n {\displaystyle n\times n} n K n {\displaystyle n-K_{n}}

Определим независимое доминирующее число ID ( n ) как размер наименьшего независимого доминирующего множества в графе ферзя. Известно, что . [7] n × n {\displaystyle n\times n} I D ( n ) < 0.705 n + 0.895 {\displaystyle ID(n)<0.705n+0.895}

Окрашивание

См. заголовок
Раскраска графа ферзя в 9 цветов . [8] Обратите внимание, что каждая пара клеток одного цвета не находится на одной горизонтали, линии или диагонали, поэтому ферзь не может перемещаться напрямую между клетками. 8 × 8 {\displaystyle 8\times 8}

Раскраска графа ферзя — это назначение цветов каждой вершине таким образом, что никакие две смежные вершины не имеют одного и того же цвета. Например, если a8 окрашена в красный цвет, то никакая другая клетка на a- вертикали , восьмой горизонтали или длинной диагонали не может быть окрашена в красный цвет, так как ферзь может переместиться из a8 в любую из этих клеток. Хроматическое число графа — это наименьшее количество цветов, которые можно использовать для его окраски.

В случае графа ферзя требуется не менее n цветов, так как каждая клетка в ряду или вертикали должна иметь свой цвет (т. е. строки и столбцы являются кликами ). [1] Хроматическое число равно n, если (т. е. n на единицу больше или на единицу меньше числа, кратного 6). [9] n × n {\displaystyle n\times n} n 1 , 5 ( mod 6 ) {\displaystyle n\equiv 1,5{\pmod {6}}}

Хроматическое число графа ферзя равно 9. [10] 8 × 8 {\displaystyle 8\times 8}

Избыточность

Набор вершин является неизбыточным, если удаление любой вершины из набора изменяет соседство набора, т.е. для каждой вершины существует смежная вершина, которая не является смежной ни с одной другой вершиной в наборе. Это соответствует набору ферзей, каждый из которых однозначно контролирует по крайней мере одну клетку. Максимальный размер IR ( n ) неизбыточного набора на графе ферзя трудно охарактеризовать; известные значения включают [4] : 206–207  n × n {\displaystyle n\times n} I R ( 5 ) = 5 , I R ( 6 ) = 7 , I R ( 7 ) = 9 , I R ( 8 ) = 11. {\displaystyle IR(5)=5,IR(6)=7,IR(7)=9,IR(8)=11.}

Игра «Преследование-уклонение»

Рассмотрим игру преследования-уклонения на графе ферзя, играемую по следующим правилам: белый ферзь начинает в одном углу, а черный ферзь в противоположном углу. Игроки чередуют ходы, которые состоят в перемещении ферзя в соседнюю вершину, до которой можно добраться без перехода (по горизонтали, вертикали или диагонали) или приземлении на вершину, которая соседствует с противоположной ферзем. Эту игру могут выиграть белые с помощью стратегии пар . [11] 8 × 8 {\displaystyle 8\times 8}

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

Ссылки

  1. ^ ab Weisstein, Eric W. "Queen Graph". MathWorld .
  2. ^ abc Авербах, Бонни ; Чейн, Орин (2000). Решение проблем с помощью занимательной математики . Dover Publications . стр. 211–212. ISBN 9780486131740.
  3. ^ Бернхардссон, Бо (1991). «Явные решения проблемы N-ферзей для всех N». ACM Sigart . 2 (2): 7. doi :10.1145/122319.122322. S2CID  10644706.
  4. ^ abcdefghi Уоткинс, Джон Дж. (2012). Через доску: Математика шахматных задач . Princeton University Press .
  5. ^ Доминирующие королевы - в researchgate.net
  6. ^ 5 ферзей на шахматной доске
  7. ^ Кокейн, Э. Дж. (1990). «Проблемы доминирования на шахматной доске». Дискретная математика . 86 (1–3): 13–20. doi : 10.1016/0012-365X(90)90344-H . hdl : 1828/2415 .
  8. ^ Айер, М. Р.; Менон, В. В. (1966). «О раскрашивании шахматной доски». The American Mathematical Monthly . 72 (7): 723. n × n {\displaystyle n\times n}
  9. ^ Chvátal, Václav . "Colouring the queen graphs" (Раскраска королевских графов) . Получено 14 февраля 2022 г.
  10. ^ Белл, Джордан; Стивенс, Бретт (2009). «Обзор известных результатов и областей исследований для n-ферзей». Дискретная математика . 309 (1): 1–31. doi : 10.1016/j.disc.2007.12.043 .
  11. ^ Авербах и Чейн 2000, стр. 257–258, 443.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Queen%27s_graph&oldid=1252283717"