sudoku vs. graphenfärbung - zib.de · pdf filesudoku vs. graphenfärbung wenn alles...
TRANSCRIPT
![Page 1: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/1.jpg)
Sudoku vs. GraphenfärbungWenn alles verschieden sein muss
Timo BertholdZuse Institut Berlin
DFG-Forschungszentrum MATHEONMathematik für Schlüsseltechnologien
Berlin, 14.06.2008
![Page 2: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/2.jpg)
Geschichtliches
Verschiedene Zahlenquadrate
. Magische Quadrate: Summe derZeilen-, Spalten-, Diagonal-einträge konstant
. Lateinische Quadrate: Jede Zahlnur einmal pro Spalte und Zeile
. Sudoku: Größe 9x9,Unterquadrate
Sudoku vs. Graphenfärbung 2 / 16
![Page 3: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/3.jpg)
Geschichtliches
Verschiedene Zahlenquadrate
. Magische Quadrate: Summe derZeilen-, Spalten-, Diagonal-einträge konstant
. Lateinische Quadrate: Jede Zahlnur einmal pro Spalte und Zeile
. Sudoku: Größe 9x9,Unterquadrate
Sudoku vs. Graphenfärbung 2 / 16
![Page 4: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/4.jpg)
Geschichtliches
Verschiedene Zahlenquadrate
. Magische Quadrate: Summe derZeilen-, Spalten-, Diagonal-einträge konstant
. Lateinische Quadrate: Jede Zahlnur einmal pro Spalte und Zeile
. Sudoku: Größe 9x9,Unterquadrate
Sudoku vs. Graphenfärbung 2 / 16
![Page 5: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/5.jpg)
Geschichtliches
Verschiedene Zahlenquadrate
. Magische Quadrate: Summe derZeilen-, Spalten-, Diagonal-einträge konstant
. Lateinische Quadrate: Jede Zahlnur einmal pro Spalte und Zeile
. Sudoku: Größe 9x9,Unterquadrate
Sudoku vs. Graphenfärbung 2 / 16
![Page 6: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/6.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 7: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/7.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 8: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/8.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 9: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/9.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 10: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/10.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
3
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 11: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/11.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 12: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/12.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 13: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/13.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 14: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/14.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 15: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/15.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
2
Sudoku vs. Graphenfärbung 3 / 16
![Page 16: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/16.jpg)
Sudoku
Die Regeln
. pro Feld: Genau eine Zahl
. pro Zeile: Jede Zahl genau einmal
. pro Spalte: Jede Zahl genau einmal
. pro Block: Jede Zahl genau einmal
. am Anfang:Zahlen vorgegeben
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
28
Sudoku vs. Graphenfärbung 3 / 16
![Page 17: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/17.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 18: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/18.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1,
x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1
2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 19: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/19.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2,
x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2
34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 20: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/20.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3,
x1,1,4, . . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 3
4 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 21: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/21.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4,
. . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34
5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 22: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/22.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld:
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen,
Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 23: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/23.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: Genau eine Zahl
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen,
Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 24: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/24.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile:
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen,
Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 25: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/25.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: Jede Zahl genau einmal
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 26: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/26.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte:
. pro Block:
. Fixieren:
729 Variablen, 81 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 27: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/27.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: Jede Zahl genau einmal
. pro Block:
. Fixieren:
729 Variablen, 81 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 28: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/28.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: x1,1,3+. . .+x9,1,3 = 1
. pro Block:
. Fixieren:
729 Variablen, 162 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 29: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/29.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: x1,1,3+. . .+x9,1,3 = 1
. pro Block: Jede Zahl genau einmal
. Fixieren:
729 Variablen, 162 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 30: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/30.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: x1,1,3+. . .+x9,1,3 = 1
. pro Block: x1,1,3+. . .+x3,3,3 = 1
. Fixieren:
729 Variablen, 243 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
Sudoku vs. Graphenfärbung 4 / 16
![Page 31: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/31.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: x1,1,3+. . .+x9,1,3 = 1
. pro Block: x1,1,3+. . .+x3,3,3 = 1
. Fixieren: Vorgegebene Zahlen
729 Variablen, 243 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
3
Sudoku vs. Graphenfärbung 4 / 16
![Page 32: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/32.jpg)
Modellierungsansatz
Modell mit Gleichungen
. Neun 0-1-Variablen pro Feld:x1,1,1, x1,1,2, x1,1,3, x1,1,4, . . . ,x1,1,9
. pro Feld: x1,1,1+. . .+x1,1,9 = 1
. pro Zeile: x1,1,3+. . .+x1,9,3 = 1
. pro Spalte: x1,1,3+. . .+x9,1,3 = 1
. pro Block: x1,1,3+. . .+x3,3,3 = 1
. Fixieren: x2,2,3 = 1,. . .
729 Variablen, 324 Gleichungen
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
1 2 34 5 67 8 9
3
Sudoku vs. Graphenfärbung 4 / 16
![Page 33: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/33.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 34: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/34.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 35: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/35.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 36: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/36.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 37: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/37.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 38: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/38.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 39: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/39.jpg)
Varianten
Andere Zahlenrätsel
. X-Sudoku
. 16x16-Sudoku
. 3D-Sudoku
. Kakuro
. Killer-Sudoku
. Ensaimada
. Vergleichs-Sudoku
Sudoku vs. Graphenfärbung 5 / 16
![Page 40: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/40.jpg)
Graphenfärbung
Graphen und Färbung
. Graph:
Knoten, Kanten. Färbung:
I Jeder Knoten eine FarbeI Kante ⇒ verschiedene Farben
I Färbungszahl
Sudoku vs. Graphenfärbung 6 / 16
![Page 41: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/41.jpg)
Graphenfärbung
Graphen und Färbung
. Graph: Knoten,
Kanten. Färbung:
I Jeder Knoten eine FarbeI Kante ⇒ verschiedene Farben
I Färbungszahl
Sudoku vs. Graphenfärbung 6 / 16
![Page 42: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/42.jpg)
Graphenfärbung
Graphen und Färbung
. Graph: Knoten, Kanten
. Färbung:I Jeder Knoten eine FarbeI Kante ⇒ verschiedene Farben
I Färbungszahl
Sudoku vs. Graphenfärbung 6 / 16
![Page 43: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/43.jpg)
Graphenfärbung
Graphen und Färbung
. Graph: Knoten, Kanten
. Färbung:I Jeder Knoten eine FarbeI Kante ⇒ verschiedene Farben
I Färbungszahl
Sudoku vs. Graphenfärbung 6 / 16
![Page 44: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/44.jpg)
Graphenfärbung
Graphen und Färbung
. Graph: Knoten, Kanten
. Färbung:I Jeder Knoten eine FarbeI Kante ⇒ verschiedene FarbenI Färbungszahl
Sudoku vs. Graphenfärbung 6 / 16
![Page 45: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/45.jpg)
Ein typisches Färbungsproblem
Kartenfärbung
. Ziel: Länder mit gemeinsamerGrenze verschieden einfärben
. Idee: Nachbarschaftsgraph
. Resultat: 4-Farben-Satz
Sudoku vs. Graphenfärbung 7 / 16
![Page 46: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/46.jpg)
Ein typisches Färbungsproblem
Kartenfärbung
. Ziel: Länder mit gemeinsamerGrenze verschieden einfärben
. Idee: Nachbarschaftsgraph
. Resultat: 4-Farben-Satz
Sudoku vs. Graphenfärbung 8 / 16
![Page 47: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/47.jpg)
Ein typisches Färbungsproblem
Kartenfärbung
. Ziel: Länder mit gemeinsamerGrenze verschieden einfärben
. Idee: Nachbarschaftsgraph
. Resultat: 4-Farben-Satz
Sudoku vs. Graphenfärbung 8 / 16
![Page 48: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/48.jpg)
Ein typisches Färbungsproblem
Kartenfärbung
. Ziel: Länder mit gemeinsamerGrenze verschieden einfärben
. Idee: Nachbarschaftsgraph
. Resultat: 4-Farben-Satz
Sudoku vs. Graphenfärbung 8 / 16
![Page 49: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/49.jpg)
Ein typisches Färbungsproblem
Kartenfärbung
. Ziel: Länder mit gemeinsamerGrenze verschieden einfärben
. Idee: Nachbarschaftsgraph
. Resultat: 4-Farben-Satz
Sudoku vs. Graphenfärbung 9 / 16
![Page 50: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/50.jpg)
Optimierung in der Telekommunikation
Frequenzzuweisung
. GSM-Funknetze:Farben =̂ Frequenzen
. MATHEON B-4: Planning theUMTS radio interface
. Ziel: Funknetz optimalkonfigurieren
Sudoku vs. Graphenfärbung 10 / 16
![Page 51: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/51.jpg)
Optimierung in der Telekommunikation
Frequenzzuweisung
. GSM-Funknetze:Farben =̂ Frequenzen
. MATHEON B-4: Planning theUMTS radio interface
. Ziel: Funknetz optimalkonfigurieren
Sudoku vs. Graphenfärbung 10 / 16
![Page 52: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/52.jpg)
Optimierung in der Telekommunikation
Frequenzzuweisung
. GSM-Funknetze:Farben =̂ Frequenzen
. MATHEON B-4: Planning theUMTS radio interface
. Ziel: Funknetz optimalkonfigurieren
Sudoku vs. Graphenfärbung 10 / 16
![Page 53: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/53.jpg)
Optimierung in der Telekommunikation
Frequenzzuweisung
. GSM-Funknetze:Farben =̂ Frequenzen
. MATHEON B-4: Planning theUMTS radio interface
. Ziel: Funknetz optimalkonfigurieren
Sudoku vs. Graphenfärbung 10 / 16
![Page 54: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/54.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 55: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/55.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 56: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/56.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 57: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/57.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 58: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/58.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 59: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/59.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 60: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/60.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 61: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/61.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 62: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/62.jpg)
Sudoku ⇔ Graphenfärbung
Der Sudokugraph
. Zahlen ⇔ Farben
. Felder ⇔ Knoten
. Konflikte ⇔ Kanten
. Lösung ⇔ 9-Färbung
465873192 4
35621879
786549321
824916735
617435298
359782146
178264953
962153487
543897612
Sudoku vs. Graphenfärbung 11 / 16
![Page 63: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/63.jpg)
Software
Sudoku-Löser
. Verfügbar unter:http://www.matheon.de/specialities/sudoku.asp
. Löst ein GanzzahligesProgramm
. Benutzt die Software SCIP
Sudoku vs. Graphenfärbung 12 / 16
![Page 64: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/64.jpg)
Symmetrie
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
7→ 9, 9→ 2, . . .
Anzahl möglicher Sudokus:≈ 6,67 · 1021 = 6,67 Trilliarden
3 87
429 8 2
9
73 6
5384
2
71
5 8 3
86 316
7→ 9, 9→ 2, . . .
Anzahl nichtsymm. Sudokus:≈ 5,47 · 1010 = 54,7 Milliarden
Sudoku vs. Graphenfärbung 13 / 16
![Page 65: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/65.jpg)
Symmetrie
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
7→ 9, 9→ 2, . . .
Anzahl möglicher Sudokus:≈ 6,67 · 1021 = 6,67 Trilliarden
5 19
64
2 1 4
2
95 8
75 1
6
4
93
7 1 5
1 8 538
7→ 9, 9→ 2, . . .
Anzahl nichtsymm. Sudokus:≈ 5,47 · 1010 = 54,7 Milliarden
Sudoku vs. Graphenfärbung 13 / 16
![Page 66: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/66.jpg)
Symmetrie
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
7→ 9, 9→ 2, . . .
Anzahl möglicher Sudokus:≈ 6,67 · 1021 = 6,67 Trilliarden
5 19
64
2 1 4
2
95 8
75 1
6
4
93
7 1 5
1 8 538
7→ 9, 9→ 2, . . .
Anzahl nichtsymm. Sudokus:≈ 5,47 · 1010 = 54,7 Milliarden
Sudoku vs. Graphenfärbung 13 / 16
![Page 67: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/67.jpg)
Symmetrie
3 87
42
9 8 2
9
73 6
53 8
4
2
71
5 8 3
8 6 316
7→ 9, 9→ 2, . . .
Anzahl möglicher Sudokus:≈ 6,67 · 1021 = 6,67 Trilliarden
5 19
64
2 1 4
2
95 8
75 1
6
4
93
7 1 5
1 8 538
7→ 9, 9→ 2, . . .
Anzahl nichtsymm. Sudokus:≈ 5,47 · 1010 = 54,7 Milliarden
Sudoku vs. Graphenfärbung 13 / 16
![Page 68: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/68.jpg)
Aktuelle Forschung
Umgang mit Symmetrien
. Ursache: Äquivalente Lösungen
. Problem: Langsamer,schlechtere Abschätzungen
. Idee: Sortierung
Ganzzahlige Programmierung
. Lösen “riesiger” Gleichungssysteme
. Anwendungen:I FrequenzzuweisungI FahrplanerstellungI Chip-Design, . . .
Sudoku vs. Graphenfärbung 14 / 16
![Page 69: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/69.jpg)
Aktuelle Forschung
Umgang mit Symmetrien
. Ursache: Äquivalente Lösungen
. Problem: Langsamer,schlechtere Abschätzungen
. Idee: Sortierung
Ganzzahlige Programmierung
. Lösen “riesiger” Gleichungssysteme
. Anwendungen:I FrequenzzuweisungI FahrplanerstellungI Chip-Design, . . .
Sudoku vs. Graphenfärbung 14 / 16
![Page 70: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/70.jpg)
Aktuelle Forschung
Umgang mit Symmetrien
. Ursache: Äquivalente Lösungen
. Problem: Langsamer,schlechtere Abschätzungen
. Idee: Sortierung
Ganzzahlige Programmierung
. Lösen “riesiger” Gleichungssysteme
. Anwendungen:I FrequenzzuweisungI FahrplanerstellungI Chip-Design, . . .
Sudoku vs. Graphenfärbung 14 / 16
![Page 71: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/71.jpg)
Aktuelle Forschung
Umgang mit Symmetrien
. Ursache: Äquivalente Lösungen
. Problem: Langsamer,schlechtere Abschätzungen
. Idee: Sortierung
Ganzzahlige Programmierung
. Lösen “riesiger” Gleichungssysteme
. Anwendungen:I FrequenzzuweisungI FahrplanerstellungI Chip-Design, . . .
Sudoku vs. Graphenfärbung 14 / 16
![Page 72: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/72.jpg)
P = NP? P 6= NP?
Ausgangslage
. Seien ein beliebiger Graph und eine beliebige Zahl k ∈ N gegeben
. Suchverfahren: Findet Färbung mit k Farben oder stellt fest, dass derGraph nicht k-färbbar ist
. Prüfverfahren: Überprüft für vorgegebene k-Färbung, ob sie korrekt ist
Ein Millennium-Problem
. Frage: Gibt es ein Suchverfahren, das “vergleichbar” schnell ist wie eineffizientes Prüfverfahren?
. Antwort: Ungeklärt . . .
. Belohnung: 1 Million Dollar
Sudoku vs. Graphenfärbung 15 / 16
![Page 73: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/73.jpg)
P = NP? P 6= NP?
Ausgangslage
. Seien ein beliebiger Graph und eine beliebige Zahl k ∈ N gegeben
. Suchverfahren: Findet Färbung mit k Farben oder stellt fest, dass derGraph nicht k-färbbar ist
. Prüfverfahren: Überprüft für vorgegebene k-Färbung, ob sie korrekt ist
Ein Millennium-Problem
. Frage: Gibt es ein Suchverfahren, das “vergleichbar” schnell ist wie eineffizientes Prüfverfahren?
. Antwort: Ungeklärt . . .
. Belohnung: 1 Million Dollar
Sudoku vs. Graphenfärbung 15 / 16
![Page 74: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/74.jpg)
P = NP? P 6= NP?
Ausgangslage
. Seien ein beliebiger Graph und eine beliebige Zahl k ∈ N gegeben
. Suchverfahren: Findet Färbung mit k Farben oder stellt fest, dass derGraph nicht k-färbbar ist
. Prüfverfahren: Überprüft für vorgegebene k-Färbung, ob sie korrekt ist
Ein Millennium-Problem
. Frage: Gibt es ein Suchverfahren, das “vergleichbar” schnell ist wie eineffizientes Prüfverfahren?
. Antwort: Ungeklärt . . .
. Belohnung: 1 Million Dollar
Sudoku vs. Graphenfärbung 15 / 16
![Page 75: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/75.jpg)
P = NP? P 6= NP?
Ausgangslage
. Seien ein beliebiger Graph und eine beliebige Zahl k ∈ N gegeben
. Suchverfahren: Findet Färbung mit k Farben oder stellt fest, dass derGraph nicht k-färbbar ist
. Prüfverfahren: Überprüft für vorgegebene k-Färbung, ob sie korrekt ist
Ein Millennium-Problem
. Frage: Gibt es ein Suchverfahren, das “vergleichbar” schnell ist wie eineffizientes Prüfverfahren?
. Antwort: Ungeklärt . . .
. Belohnung: 1 Million Dollar
Sudoku vs. Graphenfärbung 15 / 16
![Page 76: Sudoku vs. Graphenfärbung - zib.de · PDF fileSudoku vs. Graphenfärbung Wenn alles verschieden sein muss TimoBerthold Zuse Institut Berlin DFG-Forschungszentrum MATHEON Mathematik](https://reader031.vdokument.com/reader031/viewer/2022021817/5a9d7db57f8b9a21688ba0fd/html5/thumbnails/76.jpg)
Sudoku vs. GraphenfärbungWenn alles verschieden sein muss
Timo BertholdZuse Institut Berlin
DFG-Forschungszentrum MATHEONMathematik für Schlüsseltechnologien
Berlin, 14.06.2008