Alexis Langlois-Rémillard
Hausdorff Center for Mathematics, Bonn
2023-10-27, Chess & learn weekend, Oostende
gebaseerd op werk met Mia Müßig en Érika Roldán-Roa
https://slides.com/aliocha/schaak-wiskunde
A. L.-R. -- GM Bator Sambuev, 2018
A. L.-R. -- GM Bator Sambuev, 2018
Tijdens covid heb ik een beetje over schaak en wiskunde gedacht
Geschiedenis
Dominantieproblemen
Spelletjes
Kort antword: nee.
Lang antword:
1. ~600, India. Volgens Ibn Kallikan heeft één man schaak uitgevonden. Als prijs vraagt deze man de koning om één rijstkorrel op het eerste veld, twee op het tweede, dan vier op het derde, etc.
Hoeveel korrels zijn er nodig?
1. ~600, India. Volgens Ibn Kallikan heeft één man schaak uitgevonden. Als prijs vraagt deze man de koning om één rijstkorrel op het eerste veld, twee op het tweede, dan vier op het derde, etc.
Hoeveel korrels zijn er nodig?
$$1+2+4+...+2^{63} = 2^{64}-1 = 18\, 446\, 744\, 073\, 709\, 551\, 615$$
(ongeveer het totaal aantal sandkorrels op de Aarde)
De koning had ja gezegd...
2. Leonard Euler (1706–1783) ontdekt de grafentheorie
Voorbeeld: 7 bruggen van Königsberg: kan men alle bruggen oversteken zonder twee keer dezelfde brug te gebruiken?
Grafentheorie heeft Euler geholpen om de Paardentour probleem op te lossen
Puzzel tijd!
Een stelling van Guarini (~16e):
Verwissel de witte en zwarte paarden.
Puzzel tijd!
Een stelling van Guarini (~16e):
Verwissel de witte en zwarte paarden.
Puzzel tijd!
Iets groters Guarinis probleem
Verwissel de witte en zwarte paarden.
3. Het acht-dames probleem.
Op hoeveel manieren kan men 8 dames op een schaakbord zetten zonder dat ze elkaar aanvallen?
Plaats 8 dames op een schaakbord zetten zonder dat ze elkaar aanvallen?
5 dames probleem
Plaats 5 dames om all velden van de bord te beschermen.
Conjecture (Hedetiemi ~1992)
Het dominantiegetal groeit monotoon met \(n\).
We willen problemen zoals de laaste twee: waar stukken het schaakbord domineren.
Minimaldominatie
Maximaldominatie (afhankelijkheid)
Deze problemen zijn moeilijk.
Dus maken we ze algemener!
Wat zijn ze?
Een polyomino is een soort groot "Tetris" stuk. En toren kan bewegen naar alle velden van een polyomino.
5 veld polyomino's (pentomino's)
Dominantie op polyomino
Stukken bewegen normaal, maar kunnen niet springen.
We studieren dominantie voor toren en dames.
Problemen
Minimal- en maximaldominantie
We kunnen het probleem niet exact oplossen. We willen het aantal dames begrenzen.
Stelling (Alpert–Roldán-Roa 2021)
We kunnen niet veel zeggen op basis van het aantal velden.
Andere vraag:
Hoe moeilijk zijn deze problemen juist?
Stelling (A–RR 2021 and LR–M–RR 2022)
MinDomR en MinDomQ zijn NP-complete.
Stelling (A-RR 2021)
MaxDomR is in P
Bewijs
De toerenschaakgraf is claw-free
Man kan een coclique in een claw-free graf in polynomial time vinden, dus MaxR is in P
https://www.erikaroldan.net/queensrooksdomination
Nu dat jullie weten dat het moeilijk is, laten ons spellen!
3D en meer
Het kan ook in hogerdimensionalruimte!
De stellingen zijn ook geldig!
bijvoorbeeld: link rook link queen
Proposition (LR-M-RR 2022)
MaxDomR and MaxDomQ are NP-complete on polycubes of dimension \(d\geq 3\).
Proof:
\(x_1\vee x_2\) or \(\bar x_1\vee \bar x_2\)
Algorithm
We hebben een Integer Linear Programming algorithm met de methoden van Huangfu and Hall 2018, Math. Program. Comp. als solver
Stelling
MaxDomQ is NP-complete voor polycubes \(d\geq 3\).
Example
Het spel:
Boeken aanrader:
Artikel
Langlois-Rémillard, A., Müßig, M., and Roldán-Roa, É. (2022) Complexity of chess domination problems. 19p. arXiv:2211.05651