WEBVTT

NOTE PGD027 – automatic transcript (Whisper large-v3, wav2vec2 alignment, Sortformer + speaker embeddings). Generated by tools/transcribe/pi3tx.py, may contain errors.

00:00:00.700 --> 00:00:01.632
<v Thomas>Hallo zusammen,

00:00:01.682 --> 00:00:03.956
<v Thomas>hier ist Pi ist genau 3 mit Folge

00:00:04.447 --> 00:00:06.852
<v Thomas>27 und wieder über

00:00:06.852 --> 00:00:10.719
<v Thomas>das Internet zugeschaltet sind meine
Wenigkeit Thomas Kahle und am anderen Ende

00:00:10.719 --> 00:00:11.770
<v Thomas>der Leitung.

00:00:12.566 --> 00:00:14.400
<v Petra>Petra Schwer, hallo. Hallo Petra.

00:00:15.302 --> 00:00:18.839
<v Petra>Hi Thomas. Ja, ist ja inzwischen
schon Routine hier alles

00:00:19.811 --> 00:00:22.366
<v Petra>remote übers Internet zu steuern.

00:00:22.677 --> 00:00:23.400
<v Petra>Ich habe ein Thema mitgebracht.

00:00:23.400 --> 00:00:23.542
<v Petra>Ja,

00:00:23.542 --> 00:00:25.368
<v Thomas>ich bin schon ganz gespannt.

00:00:25.901 --> 00:00:27.475
<v Petra>Habt ihr Schuhe geputzt am Samstag?

00:00:27.726 --> 00:00:31.136
<v Thomas>Ja, sogar recht fleißig und
es war auch erfolgreich.

00:00:31.136 --> 00:00:32.730
<v Thomas>War was drin am nächsten Morgen.

00:00:33.042 --> 00:00:37.061
<v Petra>Ja, sehr gut. Wir auch.
Der Nikolaus war da, ne?

00:00:38.435 --> 00:00:40.682
<v Petra>Du kennst doch sicher
das Haus vom Nikolaus.

00:00:40.682 --> 00:00:44.884
<v Thomas>Das Haus vom Nikolaus, das ist so
ein Grafentheorie-Problem, oder?

00:00:45.015 --> 00:00:46.520
<v Thomas>Man muss irgendwie so ein Haus malen …

00:00:46.520 --> 00:00:47.396
<v Petra>Ja, das ist erstmal so ein Häuschen, ne?

00:00:47.396 --> 00:00:48.050
<v Petra>Genau.

00:00:48.265 --> 00:00:50.650
<v Thomas>Und man darf nicht absetzen.

00:00:51.400 --> 00:00:52.521
<v Petra>Genau, das ist so ein Häuschen,

00:00:52.521 --> 00:00:55.063
<v Petra>das ist im Prinzip unten
ein Viereck mit einem X drin

00:00:55.063 --> 00:00:57.255
<v Petra>und dann hat das noch
so ein Dach oben drauf.

00:00:57.826 --> 00:01:03.031
<v Petra>Und man muss das eben zeichnen,
indem man jede Kante halt malt natürlich.

00:01:03.031 --> 00:01:07.805
<v Petra>Es ist ein Graf, wo man jede Kante
einmal, genau einmal durchlaufen darf.

00:01:07.975 --> 00:01:10.227
<v Petra>Und man muss eben diese
Hausfigur zeichnen.

00:01:11.278 --> 00:01:12.479
<v Petra>Genau, wieso funktioniert das denn?

00:01:12.479 --> 00:01:13.280
<v Petra>Wieso geht das denn? Ähm...

00:01:15.020 --> 00:01:21.155
<v Thomas>Geht das? Ja, es geht. Ich versuche
gerade mir zu überlegen, wie es geht.

00:01:21.225 --> 00:01:25.809
<v Thomas>Also das ist ja, also wenn mich das jetzt
mal meine mathematischen Kenntnisse...

00:01:25.809 --> 00:01:27.711
<v Thomas>Ja, ich habe ja nicht gesehen,
wie du es gemalt hast.

00:01:27.711 --> 00:01:30.333
<v Thomas>Also das weiß ich ja nicht, ob du
dich an die Regel gehalten hast.

00:01:30.333 --> 00:01:30.813
<v Thomas>Er soll ich eins malen.

00:01:30.813 --> 00:01:32.565
<v Petra>Also ich halte gerade hier über Skype

00:01:33.416 --> 00:01:36.198
<v Petra>Thomas ein gemaltes Haus
vom Nikolaus in die Kamera.

00:01:36.198 --> 00:01:37.739
<v Thomas>Jeder weiß, wie das Haus
vom Nikolaus aussieht.

00:01:37.739 --> 00:01:38.741
<v Thomas>Jeder weiß, wie das Haus aussieht.

00:01:38.741 --> 00:01:41.597
<v Thomas>Wie so ein Kind ein Haus malt, nur mit
einem Kreuz statt einem kleinen Fenster.

00:01:41.597 --> 00:01:43.149
<v Petra>Ich muss hier spiegelverkehrt malen.

00:01:43.149 --> 00:01:44.798
<v Petra>Also ich fange hier links unten an.

00:01:44.798 --> 00:01:45.298
<v Petra>Ja.

00:01:46.146 --> 00:01:47.596
<v Petra>Dann gehe ich hier die Diagonale hoch.

00:01:47.596 --> 00:01:48.096
<v Petra>Ja.

00:01:49.121 --> 00:01:51.763
<v Petra>Dann gehe ich an der rechten Seite runter.

00:01:51.834 --> 00:01:52.377
<v Thomas>Ja. Oh,

00:01:52.377 --> 00:01:54.232
<v Petra>ich sehe den Bus. Dann gehe
ich die andere Diagonale hoch.

00:01:54.232 --> 00:01:55.428
<v Thomas>Ja. Jetzt das Dach.

00:01:56.023 --> 00:01:58.010
<v Petra>Dann mache ich das Dach,
dann gehe ich oben quer,

00:01:58.010 --> 00:02:00.378
<v Petra>dann gehe ich rechts runter und dann
muss ich nur unten den Boden zerrecken.

00:02:00.378 --> 00:02:02.033
<v Thomas>Okay, also Petra hat es gelöst.

00:02:02.404 --> 00:02:04.477
<v Thomas>Ich bin Zeuge. Und

00:02:05.068 --> 00:02:07.292
<v Thomas>also wenn ich jetzt mal
mathematisch darüber nachdenke,

00:02:07.292 --> 00:02:11.970
<v Thomas>dann ist das ein Graph, also so ein Bild,
was aus Ecken und Kanten besteht.

00:02:13.001 --> 00:02:16.691
<v Thomas>Ecken, wir nennen die Punkte,
nennen wir Ecken, wo sich so Kanten,

00:02:16.691 --> 00:02:17.654
<v Thomas>und die Striche nennen wir Kanten.

00:02:17.654 --> 00:02:18.035
<v Thomas>Genau.

00:02:18.035 --> 00:02:19.781
<v Petra>Und die Verbindungsstriche
sind Kanten, genau.

00:02:19.781 --> 00:02:24.979
<v Thomas>Und die, was Petra gemacht hat, ist,
sie ist jede Kante einmal abgelaufen,

00:02:25.711 --> 00:02:30.629
<v Thomas>ohne eine Kante zweimal zu benutzen
und war am Ende wieder bei dem …

00:02:31.382 --> 00:02:32.698
<v Thomas>Nee, warst du bei dem gleichen Punkt?

00:02:32.931 --> 00:02:34.101
<v Thomas>Nee. Nee, muss nicht.

00:02:34.101 --> 00:02:35.344
<v Petra>Ich war nicht bei dem gleichen Punkt.

00:02:35.344 --> 00:02:36.686
<v Petra>Kann man das gleiche … Muss man nicht.

00:02:36.686 --> 00:02:38.069
<v Petra>Ich hab nur das Haus gezeichnet, ne?

00:02:38.069 --> 00:02:39.802
<v Petra>Also ich hab das Haus fertig gezeichnet.

00:02:40.194 --> 00:02:42.047
<v Petra>Genau, ich war nicht beim gleichen Punkt.

00:02:42.378 --> 00:02:43.109
<v Petra>Könnte ich denn?

00:02:44.521 --> 00:02:47.235
<v Thomas>Du stellst Fragen. Nee,
das geht nicht, weil …

00:02:47.265 --> 00:02:50.159
<v Thomas>weil das geht nicht,
weil das ist ja dieses …

00:02:50.370 --> 00:02:51.491
<v Thomas>das kennt ja jeder, dieses Argument.

00:02:51.491 --> 00:02:54.756
<v Thomas>Nee, nicht jeder, aber das ist bekannt,
weil an dem jeden die Werte …

00:02:54.756 --> 00:02:57.930
<v Thomas>es gibt ja so Vertizes mit drei,
wo drei Kanten rausgehen.

00:02:58.622 --> 00:03:02.282
<v Thomas>Und wenn du da rausgehst und wieder
reinkommst und nochmal rausgehst …

00:03:03.056 --> 00:03:04.522
<v Petra>Kann ich nicht mehr reinkommen, ne?

00:03:04.522 --> 00:03:05.445
<v Thomas>Kannst du nicht mehr reinkommen.

00:03:05.445 --> 00:03:08.293
<v Thomas>Aber es gibt ja oben,
das Dach hat nur zwei Nachbarn.

00:03:08.293 --> 00:03:11.070
<v Thomas>Also eigentlich könntest du es
vielleicht doch schaffen oder nicht?

00:03:11.121 --> 00:03:13.967
<v Petra>Nee, könnte ich nicht schaffen,
weil ich müsste ja tatsächlich,

00:03:13.967 --> 00:03:17.723
<v Petra>wenn ich in derselben
Ecke starte und ende,

00:03:18.495 --> 00:03:21.330
<v Petra>dann gehe ich da gleich oft raus wie rein.

00:03:21.388 --> 00:03:22.510
<v Thomas>Ja, das stimmt.

00:03:22.861 --> 00:03:25.809
<v Petra>Bei der Start- und Endecke,
bei jeder anderen Ecke aber auch.

00:03:25.809 --> 00:03:27.794
<v Petra>Ja, wenn ich ankomme,
ich darf da ja nicht enden,

00:03:27.794 --> 00:03:30.024
<v Petra>weil ich ja wieder bei
meiner Startecke enden muss.

00:03:30.024 --> 00:03:31.456
<v Thomas>Reinkommen, rausgehen,
erstmal jede Ecke, natürlich.

00:03:31.456 --> 00:03:31.821
<v Thomas>Also muss ich da

00:03:31.821 --> 00:03:32.702
<v Petra>ja auch wieder raus.

00:03:32.702 --> 00:03:36.307
<v Petra>Ja, also ist jede Ecke muss
gerade viele Kanten dran haben,

00:03:36.307 --> 00:03:38.559
<v Petra>also man nennt das
geraden Eckengrad haben.

00:03:39.130 --> 00:03:43.145
<v Petra>Und ich kann nur dann in
derselben Ecke anfangen und enden,

00:03:43.496 --> 00:03:46.950
<v Petra>wenn alle Ecken geraden Eckengrad haben.

00:03:47.167 --> 00:03:49.661
<v Thomas>Ja, also … Man müsste sich jetzt …

00:03:49.661 --> 00:03:49.881
<v Thomas>Genau,

00:03:49.881 --> 00:03:53.083
<v Petra>zusätzlich will ich ja noch, dass ich
jede Kante nur einmal benutze, ne?

00:03:53.083 --> 00:03:55.786
<v Petra>Also das, das ist aber eine
Bedingung, die sozusagen egal ist.

00:03:55.786 --> 00:03:59.329
<v Petra>Da gibt es diesen eulerschen
Satz, der, der eben gesagt,

00:03:59.329 --> 00:04:02.181
<v Petra>wenn jede Ecke gerade viele Kanten,

00:04:03.072 --> 00:04:07.845
<v Petra>an jede Ecke gerade viele Kanten angrenzen,
dann gibt es genau so einen Weg,

00:04:08.076 --> 00:04:13.630
<v Petra>der im selben Punkt startet und endet
und jede Kante genau einmal benutzt.

00:04:13.720 --> 00:04:15.862
<v Thomas>Okay, also ich, das ist,
bringe ich immer durcheinander.

00:04:15.862 --> 00:04:17.704
<v Thomas>Also wir können ja mal
die Fachbegriffe sagen.

00:04:17.704 --> 00:04:20.026
<v Thomas>Also es gibt, das nennt
man dann Eulerschen Kreis.

00:04:20.026 --> 00:04:24.150
<v Thomas>Genau. Und Eulerscher Kreis, das ist,
gibt es ein einfaches Kriterium, das,

00:04:24.150 --> 00:04:26.542
<v Thomas>was du gerade gesagt hast, ob das geht.

00:04:26.732 --> 00:04:27.433
<v Thomas>Und aber.

00:04:27.433 --> 00:04:30.205
<v Petra>Genau, das ist dieser Satz,
den ich gerade gesagt habe.

00:04:31.277 --> 00:04:35.110
<v Petra>Das, was wir hier suchen, ist ein
sogenannter offener Euler Zug.

00:04:36.020 --> 00:04:36.441
<v Thomas>Ah ja.

00:04:36.441 --> 00:04:37.723
<v Petra>Er hat eben die Bedingung,

00:04:37.723 --> 00:04:42.240
<v Petra>dass er irgendwo startet und
potenziell woanders endet,

00:04:42.551 --> 00:04:47.742
<v Petra>aber auch jede Kante genau einmal
benutzt und die komplette Figur zeichnet.

00:04:47.742 --> 00:04:51.721
<v Thomas>Genau, weil ein Euler Kreis hat nach
deinem Satz das Haus vom Nikolaus ja nicht.

00:04:52.012 --> 00:04:54.438
<v Thomas>Weil es hat ja diese,
am Boden diese Dreiervertizes.

00:04:54.438 --> 00:04:55.420
<v Thomas>Genau, nach meinem Satz
gibt's die nicht, ne?

00:04:55.420 --> 00:04:59.663
<v Thomas>Die Vertizes, wo drei Kanten die
Kantengrad, die Grad 3 haben.

00:05:00.416 --> 00:05:02.270
<v Petra>Genau, das kann's hier nicht geben.

00:05:02.842 --> 00:05:05.775
<v Petra>Das ist entstanden im Rahmen von
diesem Königsberger Brückenproblem, ne?

00:05:05.775 --> 00:05:06.884
<v Petra>Das sagt sicher was.

00:05:06.884 --> 00:05:09.510
<v Thomas>Ja. Die ganze Grafentheorie, meinst du?

00:05:09.862 --> 00:05:11.537
<v Petra>Nein, dieser Euler-Satz.

00:05:12.150 --> 00:05:13.374
<v Petra>Die Grafentheorie weiß ich nicht,

00:05:13.374 --> 00:05:14.859
<v Petra>ob die aus dem Euler-Königsberger
Brückenproblem entstanden ist.

00:05:14.859 --> 00:05:15.744
<v Thomas>Sagt man das nicht immer so?

00:05:15.744 --> 00:05:19.213
<v Thomas>Ich glaube doch, das ist das
erste grafentheoretische Problem.

00:05:19.213 --> 00:05:22.170
<v Thomas>Ob man im Königsberg,
Königsberg hat sieben Brücken.

00:05:22.501 --> 00:05:23.965
<v Thomas>Ob man da so einen
Spaziergang machen kann,

00:05:23.965 --> 00:05:29.498
<v Thomas>der jede Brücke einmal beschreitet und
dann wieder, das ist mal wieder da,

00:05:29.498 --> 00:05:30.463
<v Thomas>wo man angefangen hat.

00:05:30.463 --> 00:05:33.917
<v Thomas>Und es geht eben nicht, weil es
da so einen Vertex gibt, oder?

00:05:33.917 --> 00:05:34.729
<v Thomas>Wie war die Lösung?

00:05:34.781 --> 00:05:36.826
<v Petra>Ich glaube, es ging
nicht oder es ging nicht,

00:05:36.826 --> 00:05:39.652
<v Petra>bevor irgendwelche Brücken
zerstört wurden oder so.

00:05:39.652 --> 00:05:40.715
<v Petra>Inzwischen geht es vielleicht.

00:05:40.715 --> 00:05:42.298
<v Petra>Oder andersrum. Irgendwie
gab es da jedenfalls.

00:05:42.298 --> 00:05:42.950
<v Petra>Nee,

00:05:42.950 --> 00:05:43.505
<v Thomas>sowas.

00:05:44.481 --> 00:05:46.527
<v Petra>früher mehr oder weniger
Brücken als heute,

00:05:46.527 --> 00:05:49.174
<v Petra>deshalb ist es glaube ich nicht eindeutig.

00:05:49.174 --> 00:05:50.842
<v Petra>Man muss eine Jahreszahl festlegen.

00:05:50.842 --> 00:05:55.009
<v Thomas>Man muss diese alte Karte
von Königsberg nehmen, die

00:05:57.020 --> 00:05:59.923
<v Thomas>auf Wikipedia zu sehen ist,
wo die so gemalt ist.

00:05:59.923 --> 00:06:00.923
<v Thomas>Und da sind sieben Brücken.

00:06:00.923 --> 00:06:04.286
<v Petra>Genau, da gibt es so eine alte
Karte, wir können die verlinken,

00:06:04.286 --> 00:06:07.988
<v Petra>von Königsberg und Euler ist da eben
rumspaziert und hat sich das gefragt.

00:06:07.988 --> 00:06:14.983
<v Petra>Das war so 18. Jahrhundert, hat sich
tatsächlich mit diesem Problem beschäftigt.

00:06:15.013 --> 00:06:20.557
<v Petra>Genau. Was auch lustig ist,
ich habe das mal nachgeguckt,

00:06:20.557 --> 00:06:21.098
<v Petra>was schätzt du,

00:06:21.098 --> 00:06:24.730
<v Petra>wie viele Möglichkeiten es gibt,
dieses Haus vom Nikolaus zu zeichnen?

00:06:25.541 --> 00:06:26.966
<v Petra>Also eine habe ich dir ja vorgemacht,

00:06:26.966 --> 00:06:31.230
<v Petra>das hat jetzt natürlich niemand gesehen,
höchstens mitgehört und mitgezeichnet.

00:06:31.342 --> 00:06:35.350
<v Thomas>Das ist ja ein interessantes Zählproblem.

00:06:35.350 --> 00:06:37.374
<v Thomas>Also diese Zählprobleme
in der Grafentheorie,

00:06:37.374 --> 00:06:40.322
<v Thomas>die können halt manchmal ganz schwer
und manchmal ganz einfach sein.

00:06:40.322 --> 00:06:44.830
<v Thomas>Und ich soll jetzt raten, wie viele es
bei genau diesem Haus vom Nikolaus gibt.

00:06:44.830 --> 00:06:48.908
<v Thomas>Das gibt sieben Vertizes, ich zähle mal
die Anzahl der Kanten, 1, 2, 3, 4, 5, 6.

00:06:50.721 --> 00:06:53.087
<v Thomas>Sieben Kanten auch,
habe ich richtig gezählt?

00:06:53.087 --> 00:06:56.606
<v Thomas>Ne, acht Kanten. 1, 2,
3, 4, 5, 6, 7, 8 Kanten.

00:06:58.542 --> 00:07:00.568
<v Thomas>Also die würden wir jetzt in
irgendeine Ordnung bringen.

00:07:00.568 --> 00:07:02.354
<v Thomas>Also ist irgendwie eine
obere Schranke für die Zahl,

00:07:02.354 --> 00:07:04.670
<v Thomas>die ich raten will, ist acht Fakultät.

00:07:05.200 --> 00:07:07.102
<v Thomas>Und acht Fakultät ist natürlich
eine ziemlich große Zahl,

00:07:07.102 --> 00:07:09.073
<v Thomas>von der ich jetzt gar nicht
weiß, wie groß die ist.

00:07:09.163 --> 00:07:10.544
<v Thomas>Deswegen rate ich jetzt…
Eine sehr grobe Schätzung,

00:07:10.544 --> 00:07:12.606
<v Petra>ne? Weil du musst ja die Kanten hintern…

00:07:12.606 --> 00:07:13.266
<v Petra>Also du brauchst

00:07:13.266 --> 00:07:17.330
<v Thomas>ja eine Sequenz von acht… Ja, ja,
es muss halt viel, viel weniger sein,

00:07:17.330 --> 00:07:23.124
<v Thomas>also als acht Fakultät. Deswegen
rate ich mal hundertfünfzehn.

00:07:24.575 --> 00:07:26.477
<v Petra>Ist gar nicht so weit weg tatsächlich.

00:07:26.477 --> 00:07:29.629
<v Petra>Ja. Es sind achtenachtzig.

00:07:30.079 --> 00:07:31.150
<v Thomas>Achtentachtzig.

00:07:31.180 --> 00:07:33.622
<v Petra>Genau. Also man kann die,
eine Möglichkeit,

00:07:33.622 --> 00:07:37.385
<v Petra>wie man sich das überlegen
kann, ist einfach auflisten.

00:07:37.385 --> 00:07:39.296
<v Petra>Ja, also wir hatten ja ganz
am Anfang schon gesagt,

00:07:39.547 --> 00:07:40.657
<v Petra>die müssen alle links,

00:07:40.687 --> 00:07:44.730
<v Petra>die müssen alle in einer der Ecken
starten mit dem ungeraden Eckengrad,

00:07:44.730 --> 00:07:46.602
<v Petra>also links unten oder rechts unten.

00:07:47.012 --> 00:07:48.403
<v Petra>Ja, weil das die sind,

00:07:48.613 --> 00:07:52.626
<v Petra>wo man, einer davon muss man
loslaufen und einer davon endet man.

00:07:52.937 --> 00:07:53.637
<v Petra>Weil alle anderen.

00:07:53.637 --> 00:07:54.247
<v Thomas>Ach echt? Nein.

00:07:54.498 --> 00:07:54.998
<v Petra>Doch.

00:07:54.998 --> 00:07:57.840
<v Thomas>Die müssen links unten
oder rechts unten starten.

00:07:57.840 --> 00:08:01.194
<v Petra>Ja, wenn du woanders startest,
hast du eine Ecke mit geradem Eckengrad

00:08:01.705 --> 00:08:04.227
<v Petra>und dann hast du schon verloren,

00:08:04.227 --> 00:08:08.902
<v Petra>weil da musst du raus, rein, raus und
wieder rein und das kann nicht gehen.

00:08:09.974 --> 00:08:10.735
<v Petra>Ja, weil du kannst,

00:08:10.735 --> 00:08:11.656
<v Petra>also wir hatten uns ja überlegt,

00:08:11.656 --> 00:08:13.918
<v Petra>du kannst nicht in derselben
Ecke starten wie aufhören,

00:08:13.918 --> 00:08:15.870
<v Petra>weil es gibt keinen Eulerkreis.

00:08:16.882 --> 00:08:18.371
<v Thomas>Aha, sonst gäbe es einen Eulerkreis?

00:08:18.371 --> 00:08:19.685
<v Thomas>Hm, ja, stimmt, du hast recht.

00:08:19.685 --> 00:08:20.655
<v Petra>Sonst gäbe es einen Eulerkreis?

00:08:20.655 --> 00:08:21.503
<v Petra>Das ist ja ein guter,

00:08:21.503 --> 00:08:23.519
<v Thomas>das ist schon mal ein guter
Tipp für alle, die dieses,

00:08:23.670 --> 00:08:27.242
<v Thomas>vor diesem Problem stehen, immer links
unten oder rechts unten anfangen.

00:08:27.242 --> 00:08:29.829
<v Petra>Genau, also immer in links unten
oder rechts unten anfangen,

00:08:29.829 --> 00:08:31.133
<v Petra>sonst geht's schon mal schief.

00:08:31.133 --> 00:08:34.030
<v Petra>Also wenn man oben am Dach
anfangen will, wird nicht klappen.

00:08:34.160 --> 00:08:36.182
<v Thomas>Und es hat ja so eine
Spiegelsymmetrie quer durch

00:08:36.182 --> 00:08:37.893
<v Thomas>das Haus einmal von oben nach unten.

00:08:37.983 --> 00:08:39.304
<v Thomas>Das heißt, es ist eigentlich auch egal,

00:08:39.304 --> 00:08:40.244
<v Petra>ob links unten oder rechts unten.

00:08:40.244 --> 00:08:42.826
<v Petra>Genau, also eigentlich sind es nicht
88, sondern nur 44 Möglichkeiten,

00:08:42.826 --> 00:08:45.978
<v Petra>wenn man sozusagen Modulo
Spiegelung das betrachtet.

00:08:46.809 --> 00:08:49.831
<v Petra>Ja, weil, also wenn du links unten
anfängst und eine Möglichkeit malst,

00:08:49.831 --> 00:08:54.084
<v Petra>kannst du ja die gespiegelte Variante
malen, die kriegst du geschenkt.

00:08:54.435 --> 00:08:54.945
<v Thomas>Ja.

00:08:55.776 --> 00:08:56.886
<v Petra>Und dann hast du nur noch,

00:08:56.937 --> 00:08:59.278
<v Petra>wenn du die als sozusagen
eine Lösung betrachtest,

00:08:59.278 --> 00:09:01.000
<v Petra>dann sind es nur noch 44 Möglichkeiten.

00:09:01.000 --> 00:09:03.611
<v Petra>Möglichkeiten. Genau.

00:09:03.661 --> 00:09:05.082
<v Petra>Aber die könnte man einfach auflisten,

00:09:05.082 --> 00:09:07.494
<v Petra>indem man die Ecken alle
nummeriert von 1 bis 5

00:09:07.504 --> 00:09:09.146
<v Petra>und dann einfach so Sequenzen hinschreibt.

00:09:09.146 --> 00:09:11.057
<v Petra>Sagen wir mal 1 ist ganz links unten,

00:09:11.087 --> 00:09:16.792
<v Petra>die 5 ist rechts unten und die anderen Ecken
sind halt irgendwie 2, 3, 4 nummeriert.

00:09:16.792 --> 00:09:19.915
<v Petra>Vielleicht einfach so im Kreis.

00:09:19.915 --> 00:09:20.995
<v Petra>Dann kannst du die einfach aufschreiben.

00:09:20.995 --> 00:09:22.517
<v Petra>Das sind irgendwelche Zahlenfolgen,

00:09:22.517 --> 00:09:26.690
<v Petra>die mit 1 anfangen und mit 5 aufhören
und die kannst du einfach enumerieren.

00:09:26.821 --> 00:09:27.833
<v Petra>Und dann gibt es eben

00:09:28.886 --> 00:09:32.456
<v Petra>88 Möglichkeiten, wo es klappt und.

00:09:32.456 --> 00:09:34.210
<v Thomas>Ich würde immer die Kanten nehmen.

00:09:35.384 --> 00:09:37.816
<v Petra>Du kannst halt die Eckennummern
einfach aufschreiben der Reihe nach,

00:09:37.816 --> 00:09:38.361
<v Petra>in welcher Kante es läuft.

00:09:38.361 --> 00:09:41.648
<v Thomas>Aber wenn ich von links unten zur
Spitze vom Dach, ist ja keine Kante.

00:09:41.648 --> 00:09:44.194
<v Thomas>Also dann gibt es noch irgendwie
zusätzliche kombinatorische Regeln,

00:09:44.194 --> 00:09:46.829
<v Thomas>welche ich gar nicht beschreiten
darf, weil da keine Kante ist.

00:09:46.972 --> 00:09:48.583
<v Petra>Genau. Die fliegen auch noch raus.

00:09:48.583 --> 00:09:49.305
<v Thomas>Okay, aber das.

00:09:49.305 --> 00:09:51.470
<v Petra>Ja, das muss man halt einmal
überprüfen, sozusagen,

00:09:51.470 --> 00:09:55.221
<v Petra>ob das eine legale Reihenfolge ist.

00:09:55.221 --> 00:09:57.736
<v Thomas>Also man würde das Problem
sozusagen brute force

00:09:58.368 --> 00:10:01.034
<v Thomas>leicht mit einem kleinen
Computerprogramm lösen können,

00:10:01.034 --> 00:10:03.621
<v Thomas>indem man diese Folgen abzählt.

00:10:03.621 --> 00:10:04.002
<v Petra>Genau.

00:10:04.002 --> 00:10:06.529
<v Thomas>Aber ist das, gibt es da einen Satz?

00:10:06.529 --> 00:10:07.772
<v Thomas>Skaliert das irgendwie schön?

00:10:07.772 --> 00:10:10.438
<v Thomas>Also wenn ich jetzt zum Beispiel so
ein großes Haus vom Nikolaus nehme,

00:10:10.438 --> 00:10:11.229
<v Thomas>wo da irgendwie

00:10:11.841 --> 00:10:12.603
<v Petra>mehrere Etagen oder so.

00:10:12.603 --> 00:10:16.302
<v Thomas>Gibt es da nicht auch mehrere Etagen oder
wenn da noch ein Fenster wäre oder so?

00:10:16.392 --> 00:10:18.959
<v Thomas>Oder gibt es nicht dieses, wenn da
so zwei nebeneinander stehen oder so?

00:10:18.959 --> 00:10:19.182
<v Thomas>Genau,

00:10:19.182 --> 00:10:22.138
<v Petra>kommen wir gleich mit dem Weihnachtsmann,
der nebenan wohnt, ne?

00:10:22.369 --> 00:10:24.563
<v Petra>Kennst du auch?
Und nebenan der Weihnachtsmann.

00:10:24.614 --> 00:10:27.570
<v Petra>Dann will man noch so ein zweites,
identisches daneben malen.

00:10:28.180 --> 00:10:28.751
<v Thomas>Okay.

00:10:29.522 --> 00:10:31.503
<v Petra>Eine Sache wollte ich noch
sagen zu den Möglichkeiten.

00:10:31.503 --> 00:10:33.025
<v Petra>Ich habe es nicht selber nachgeprüft,

00:10:33.025 --> 00:10:34.847
<v Petra>aber auf irgendeiner
Webseite habe ich gefunden,

00:10:34.847 --> 00:10:37.109
<v Petra>es gibt anscheinend nur zehn
Möglichkeiten zu scheitern,

00:10:37.109 --> 00:10:43.084
<v Petra>wenn man links unten anfängt. Also
die sozusagen in vier von fünf Fällen.

00:10:43.154 --> 00:10:45.897
<v Thomas>Ist gut für Leute, die einfach
erst mal gern probieren wollen.

00:10:45.897 --> 00:10:47.098
<v Petra>Genau, muss man nicht nachdenken,

00:10:47.098 --> 00:10:49.290
<v Petra>sondern einfach probieren,
dann wird es schon klappen.

00:10:49.701 --> 00:10:51.802
<v Petra>Genau, aber jetzt zu dem
Weihnachtsmann, der nebenan wohnt.

00:10:51.802 --> 00:10:52.543
<v Petra>Also wenn man sozusagen

00:10:52.543 --> 00:10:56.547
<v Petra>das identische Häuschen mit geteilter
Wand so als Doppelhaushälfte

00:10:56.547 --> 00:10:58.198
<v Petra>nochmal nebendran setzt.

00:10:58.428 --> 00:11:01.011
<v Petra>Ja, gibt's ja diesen, den Spruch
geht dann irgendwie weiter,

00:11:01.011 --> 00:11:02.422
<v Petra>dass nebenan der Weihnachtsmann wohnt.

00:11:02.932 --> 00:11:05.845
<v Petra>Da könnte man sich ja genauso
fragen, gibt's da einen Euler,

00:11:06.115 --> 00:11:08.317
<v Petra>einen offenen Eulerzug, der das abmalt?

00:11:08.317 --> 00:11:11.530
<v Petra>Also gibt's eine Möglichkeit,
diese beiden Häuser

00:11:14.482 --> 00:11:17.373
<v Petra>mit einem Strich zu zeichnen,
ohne dass man absetzen muss.

00:11:17.373 --> 00:11:18.948
<v Thomas>Es gibt immer noch Ecken von Grad 3.

00:11:19.763 --> 00:11:20.846
<v Petra>Genau, es gibt wieder links,

00:11:20.846 --> 00:11:24.589
<v Petra>unten und ganz rechts sozusagen
jetzt zwei Ecken von Grad 3.

00:11:25.943 --> 00:11:29.214
<v Petra>Aber wir haben jetzt noch zwei
Ecken mit ungeradem Eckengrad,

00:11:29.214 --> 00:11:31.230
<v Petra>nämlich die an der geteilten Hauswand.

00:11:32.529 --> 00:11:33.406
<v Petra>Die haben Grad 5.

00:11:35.001 --> 00:11:39.354
<v Thomas>Eins, zwei, drei, vier, fünf, sechs,
sieben hat sogar eine und die untere hat fünf.

00:11:39.354 --> 00:11:40.056
<v Thomas>Sieben, die Dächer,

00:11:40.056 --> 00:11:41.119
<v Petra>genau, und die untere hat fünf.

00:11:41.119 --> 00:11:45.177
<v Thomas>Die Dächerverbindung hat
sieben und die untere hat fünf.

00:11:45.177 --> 00:11:46.190
<v Thomas>Ist das schlecht?

00:11:47.825 --> 00:11:48.168
<v Petra>Ja.

00:11:48.168 --> 00:11:50.090
<v Thomas>Vorher hatten wir zwei,
jetzt haben wir vier.

00:11:51.580 --> 00:11:52.642
<v Petra>Das ist sehr schlecht,

00:11:52.642 --> 00:11:58.291
<v Petra>weil so ein Eulerzug, da gibt's auch
einen Satz, den kann es nur geben,

00:11:58.291 --> 00:12:00.235
<v Petra>wenn es höchstens zwei,

00:12:00.235 --> 00:12:03.364
<v Petra>also wenn es zwei Ecken von ungeradem
Eckengrad nur höchstens gibt.

00:12:03.364 --> 00:12:06.090
<v Thomas>Eine ist die Startecke und
das andere ist die Endecke.

00:12:06.542 --> 00:12:10.461
<v Petra>Genau, weil jede andere Ecke musst du
ja sozusagen besuchen und wieder gehen

00:12:10.873 --> 00:12:13.923
<v Petra>und dann brauchst du
aber geraden Eckengrad.

00:12:13.923 --> 00:12:17.496
<v Petra>Wir haben hier vier Ecken
mit ungeradem Eckengrad.

00:12:17.496 --> 00:12:22.439
<v Petra>Wenn wir jetzt aber eine davon als Startecke
nehmen und eine als Endecke nehmen,

00:12:22.630 --> 00:12:24.295
<v Petra>die dürfen ungeraden Eckengrad haben.

00:12:24.295 --> 00:12:26.350
<v Thomas>Ja, die anderen unterwegs nicht.

00:12:26.642 --> 00:12:27.836
<v Petra>Genau, die nicht.

00:12:27.887 --> 00:12:29.171
<v Petra>Das wird dann nicht funktionieren,

00:12:29.171 --> 00:12:31.523
<v Petra>weil du musst ja jede Ecke
besuchen und wieder verlassen.

00:12:31.523 --> 00:12:34.190
<v Thomas>In jede rein, aus jeder raus. Gleich oft.

00:12:34.382 --> 00:12:35.926
<v Petra>Gleich, ja nicht gleich oft.

00:12:35.926 --> 00:12:38.193
<v Petra>Eine kannst du vielleicht zweimal
besuchen, die andere dreimal,

00:12:38.193 --> 00:12:40.100
<v Petra>aber du musst jedenfalls
eine gerade Anzahl.

00:12:40.100 --> 00:12:40.582
<v Petra>Ne,

00:12:40.582 --> 00:12:43.332
<v Thomas>ich meine an einer Ecke sozusagen
musst du genauso oft rausgehen

00:12:43.332 --> 00:12:45.930
<v Thomas>wie da rein gegangen bist,
sonst bist du ja da geblieben.

00:12:46.040 --> 00:12:49.854
<v Petra>Genau, das, ja. Genau,
also das gibt's nicht, ja.

00:12:49.964 --> 00:12:53.797
<v Petra>Da gibt's auch einen Satz zu, dass
wenn man so einen planaren Grafen hat,

00:12:54.008 --> 00:13:00.163
<v Petra>dass der dann so einen offenen Eulerzug
hat, wenn er höchstens zwei Ecken hat,

00:13:00.454 --> 00:13:02.946
<v Petra>die ungeraden Eckengrad haben.

00:13:03.517 --> 00:13:06.280
<v Petra>Sonst kann das nicht funktionieren.

00:13:06.280 --> 00:13:07.671
<v Thomas>Okay. Okay. Prima.

00:13:07.841 --> 00:13:11.146
<v Thomas>Also kann man eigentlich mit diesen
Sätzen immer genau für jedes Haus

00:13:11.146 --> 00:13:13.078
<v Thomas>vom irgendwelchen

00:13:14.351 --> 00:13:17.715
<v Thomas>real existierenden
Weihnachtskarakter entscheiden,

00:13:17.715 --> 00:13:21.250
<v Thomas>ob die mit einem Strich zeichenbar sind.

00:13:21.782 --> 00:13:24.197
<v Petra>Genau. Es gibt noch eine
Variante mit Einbahnstraßen,

00:13:24.288 --> 00:13:25.792
<v Petra>also für gerichtete Graphen,

00:13:25.792 --> 00:13:29.243
<v Petra>wenn man nicht jede Kante in
beliebige Richtung durchlaufen darf.

00:13:29.243 --> 00:13:32.810
<v Thomas>Oh ja. Das ist vielleicht
sogar echt praktisch relevant.

00:13:33.282 --> 00:13:36.162
<v Petra>Für den Stadtplan, ne? Da gibt's
ja tatsächlich so Einbahnstraßen.

00:13:36.162 --> 00:13:38.587
<v Thomas>Aber wenn man jetzt zum Beispiel
irgendwie so viele Einbahnstraßen machen

00:13:38.587 --> 00:13:40.631
<v Thomas>will, um den Verkehr neu zu steuern,
dann muss man ja aufpassen,

00:13:40.631 --> 00:13:42.916
<v Thomas>dass man überall noch
hinkommen kann oder so.

00:13:42.916 --> 00:13:45.230
<v Thomas>Aber, na gut, das ist
vielleicht einfacher.

00:13:45.821 --> 00:13:49.558
<v Thomas>Genau. Oder ich weiß nicht. Ist jedenfalls
auch ein graphentheoretisches Problem.

00:13:49.889 --> 00:13:52.323
<v Thomas>Wenn ich jede Straße in meiner Stadt
zu einer Einbahnstraße machen kann,

00:13:52.554 --> 00:13:55.630
<v Thomas>kann ich dann immer noch von
überall zu überall hinkommen.

00:13:56.040 --> 00:13:58.242
<v Petra>Das ist auch ein
graphentheoretisches Problem, ja.

00:13:58.242 --> 00:14:02.486
<v Petra>Das gibt doch so, wie heißen die denn,
das sind so Transportprobleme, ne?

00:14:02.486 --> 00:14:03.907
<v Petra>Wo man irgendwie eine Quelle hat

00:14:03.907 --> 00:14:07.471
<v Petra>und bis zu einer Senke irgendwas
transportieren will und sich dann fragt,

00:14:07.471 --> 00:14:09.713
<v Petra>erstens geht das überhaupt
und dann was kann ich da,

00:14:09.713 --> 00:14:11.014
<v Petra>wenn die noch gewichtet sind,

00:14:11.014 --> 00:14:14.757
<v Petra>also so eine Größe haben,
sozusagen eine Durchlässigkeit,

00:14:14.757 --> 00:14:16.559
<v Petra>kann man sich ja auch noch fragen,
wie viel kriegt man dann da.

00:14:16.559 --> 00:14:17.730
<v Thomas>Wie viel kommt da durch und so, ja.

00:14:18.680 --> 00:14:23.264
<v Thomas>Wenn dann eine gesperrt wird,
ist es immer noch und ja,

00:14:23.264 --> 00:14:26.136
<v Thomas>da kann man irgendwie
die Dualität verwenden.

00:14:26.146 --> 00:14:28.527
<v Thomas>Naja, aber das ist
vielleicht ein anderes Thema.

00:14:28.527 --> 00:14:29.378
<v Thomas>Verkehrsplanung.

00:14:29.768 --> 00:14:31.900
<v Petra>Verkehrsplanung, ja. Oder
wolltest du jetzt Verkehrsplanung?

00:14:31.950 --> 00:14:33.611
<v Petra>Nö, wollte ich jetzt eigentlich gar nicht.

00:14:33.611 --> 00:14:35.903
<v Petra>Ich wollte eigentlich wirklich nur
über die Häuser vom Nikolaus reden.

00:14:37.314 --> 00:14:40.646
<v Thomas>Aber jetzt gibt es ja noch diese
Hamilton-Kreise und das ist ja viel schwieriger.

00:14:41.077 --> 00:14:46.030
<v Thomas>Da ist doch die Frage,
jede Ecke einmal zu besuchen.

00:14:46.602 --> 00:14:48.390
<v Thomas>Genau, das ist unverwahrt.
Und keine zweimal.

00:14:49.386 --> 00:14:52.021
<v Petra>Genau, da, richtig. Völlig richtig.

00:14:52.021 --> 00:14:52.861
<v Petra>Das ist auch eine Frage,

00:14:52.861 --> 00:14:55.384
<v Petra>die sich Euler schon gestellt
hat, damals in Königsberg,

00:14:55.384 --> 00:14:56.955
<v Petra>als er über die Brücken gewandert ist.

00:14:58.046 --> 00:14:59.847
<v Petra>Da wollte er eben diesen
Spaziergang finden,

00:14:59.847 --> 00:15:02.469
<v Petra>der sozusagen alle Brücken einmal abläuft,

00:15:02.469 --> 00:15:08.134
<v Petra>aber auch Spaziergänge finden, die eine
bestimmte Anzahl von Lokalitäten aufsucht.

00:15:08.134 --> 00:15:13.218
<v Petra>Ja, also Beispiel Besuch kommt,
wenn man mal wieder reisen darf.

00:15:13.218 --> 00:15:15.121
<v Petra>Wir wollen den Magdeburg
zeigen und wir wollen.

00:15:15.121 --> 00:15:18.796
<v Petra>Am Pinken Haus vorbei, am Dom,
über die Hubbrücke, in den Stadtpark.

00:15:18.796 --> 00:15:21.254
<v Petra>Wo muss man noch hin?
In irgendeinen Kneipe.

00:15:21.254 --> 00:15:23.878
<v Petra>In den Elbauenpark vielleicht,
in irgendeine Kneipe, genau.

00:15:24.250 --> 00:15:27.750
<v Petra>Wenn die noch da sind bis dahin, hoffen
wir, dass die nicht alles schließen.

00:15:29.342 --> 00:15:31.877
<v Petra>Genau und dann noch das
beste Eis der Stadt und so.

00:15:32.810 --> 00:15:34.916
<v Petra>Und dann will man sich aber
einen Spaziergang aussuchen,

00:15:34.916 --> 00:15:36.890
<v Petra>wo man keinen Weg zweimal geht.

00:15:38.481 --> 00:15:39.744
<v Petra>Das ist die eine Variante.

00:15:39.744 --> 00:15:41.908
<v Petra>Und die andere Variante ist,
man braucht einen Spaziergang,

00:15:41.908 --> 00:15:45.404
<v Petra>der überhaupt jeden dieser
Punkte genau einmal anläuft,

00:15:45.475 --> 00:15:48.381
<v Petra>ohne dass man nochmal am Dom vorbeikommt.

00:15:48.381 --> 00:15:50.426
<v Thomas>Genau. Ja, nicht nochmal
am Dom vorbeikommen.

00:15:50.426 --> 00:15:52.430
<v Thomas>Da darf man, und das ist viel schwieriger.

00:15:52.430 --> 00:15:54.655
<v Thomas>Das ist ja eigentlich kurios,
weil das so dual ist.

00:15:54.655 --> 00:15:57.430
<v Thomas>Bei einem will man jede Kante,
jeden Weg einmal gehen.

00:15:58.480 --> 00:16:03.576
<v Thomas>Ja. Und bei dem anderen will man jeden
Vertex, also jeden Ort einmal besuchen.

00:16:03.806 --> 00:16:05.348
<v Thomas>Und das eine hat eine einfache Lösung.

00:16:05.348 --> 00:16:08.351
<v Thomas>Wenn man, kann man jeden Weg einmal gehen,
ohne einen Weg zweimal zu gehen,

00:16:08.351 --> 00:16:09.513
<v Thomas>hat einfach eine einfache Lösung.

00:16:09.513 --> 00:16:11.525
<v Thomas>Guckt man einfach diese Gerade an.

00:16:11.995 --> 00:16:14.218
<v Thomas>Und das andere Problem, kann
man jeden Ort einmal besuchen,

00:16:14.218 --> 00:16:15.999
<v Thomas>das ist ja ziemlich schwer. Ja.

00:16:16.640 --> 00:16:19.546
<v Petra>Das ist ziemlich schwer und es gibt keine,

00:16:19.546 --> 00:16:22.533
<v Petra>es gibt kein gutes Kriterium
und es gibt auch tatsächlich,

00:16:22.533 --> 00:16:25.740
<v Petra>ich habe das extra nochmal nachgeguckt,
keine gute algorithmische Lösung.

00:16:25.740 --> 00:16:31.210
<v Petra>Ja. Also außer so Brutforce-Sachen,
ja, also alles ausprobieren,

00:16:31.210 --> 00:16:32.893
<v Petra>was geht und dann hoffen,

00:16:32.893 --> 00:16:33.534
<v Thomas>dass es klappt.

00:16:33.534 --> 00:16:37.230
<v Thomas>Ist das NP, ist das hier eines von den
NP-vollständigen Problemen oder so?

00:16:37.422 --> 00:16:42.137
<v Petra>Das habe ich nicht nachgeguckt jetzt,
ob das NP vollständig ist oder nicht.

00:16:42.137 --> 00:16:43.550
<v Petra>Klingt fast so, hm.

00:16:44.022 --> 00:16:47.741
<v Thomas>Also, ja. Ja, ja, doch.

00:16:47.741 --> 00:16:49.752
<v Petra>Wenn man die Kanten noch gewichtet,

00:16:50.102 --> 00:16:54.796
<v Petra>dann ist das das Traveling
Salesman Problem, der,

00:16:54.866 --> 00:16:56.688
<v Petra>also wenn man Kanten gewichtet, heißt,

00:16:56.688 --> 00:16:58.630
<v Petra>wenn die, wenn man noch berücksichtigt,

00:16:58.630 --> 00:17:00.191
<v Petra>dass zwischen den verschiedenen Punkten,

00:17:00.191 --> 00:17:02.603
<v Petra>die man besuchen will und
keinen zweimal anlaufen,

00:17:02.793 --> 00:17:04.644
<v Petra>dass die Strecke unterschiedlich lang ist.

00:17:05.175 --> 00:17:06.246
<v Petra>Und dann will man

00:17:07.917 --> 00:17:11.330
<v Petra>nicht nur sozusagen von A nach B
kommen, sondern auch bestmöglich.

00:17:12.581 --> 00:17:17.273
<v Petra>Also mit dem kürzesten Verbindungsweg
diese Punkte der Reihe nach ablaufen.

00:17:17.273 --> 00:17:20.369
<v Petra>Nicht nur eine Lösung finden,
sondern auch noch die kürzeste.

00:17:20.942 --> 00:17:21.904
<v Thomas>Es ist ja generell so,

00:17:21.904 --> 00:17:25.252
<v Thomas>wenn man irgendwie so ein kombinatorisches
Problem hat und das ist gelöst,

00:17:25.252 --> 00:17:26.476
<v Thomas>dann kann man es immer
noch schwieriger machen,

00:17:26.476 --> 00:17:28.490
<v Thomas>indem man Optimierungsprobleme macht.

00:17:28.741 --> 00:17:29.483
<v Thomas>Meistens ist es so,

00:17:29.483 --> 00:17:34.295
<v Thomas>dass man einfach nur irgendwelche Zahlen
an die Lösung schreibt und dann die mit

00:17:34.295 --> 00:17:36.469
<v Thomas>der kleinsten oder mit der
größten Zahl sucht und schon.

00:17:37.500 --> 00:17:39.243
<v Thomas>Wird viel schwerer oder noch schwerer.

00:17:39.243 --> 00:17:39.993
<v Thomas>Das stimmt.

00:17:40.004 --> 00:17:41.926
<v Petra>Ja, das ist so eine Standardfrage.

00:17:41.926 --> 00:17:43.488
<v Petra>Also eine Frage, die wir vorhin so hatten,

00:17:43.488 --> 00:17:45.831
<v Petra>die man sich immer fragen kann bei
so kombinatorischen Sachen ist,

00:17:45.831 --> 00:17:46.973
<v Petra>wie viele gibt's davon?

00:17:46.973 --> 00:17:48.224
<v Petra>Und eine ist halt auch,

00:17:48.374 --> 00:17:52.260
<v Petra>was ist die beste in irgendeiner
Maßeinheit, in dem Fall kürzeste.

00:17:52.260 --> 00:17:55.395
<v Thomas>Ist es eigentlich auch
einfach, diese Anzahl von

00:17:56.807 --> 00:17:58.479
<v Thomas>Möglichkeiten zu beschreiben?

00:17:58.550 --> 00:18:01.675
<v Thomas>Also du sagtest ja, dass es
irgendwie so einen Algorithmus gibt.

00:18:01.675 --> 00:18:05.201
<v Thomas>Würde man das bei einem großen Graphen
jetzt genauso machen und ist der schnell?

00:18:05.201 --> 00:18:08.281
<v Thomas>Wenn man diese Eulersche Pfade oder sowas,

00:18:08.774 --> 00:18:10.670
<v Petra>offene Eulersche Pfade zählen will.

00:18:10.981 --> 00:18:15.286
<v Petra>Ich habe keinen universellen
Satz gefunden, der sagt,

00:18:15.286 --> 00:18:18.859
<v Petra>wie viele Möglichkeiten
es gibt für so Euler-Züge.

00:18:18.909 --> 00:18:21.442
<v Petra>Vielleicht habe ich nicht lang
genug gesucht, das kann sein.

00:18:21.532 --> 00:18:24.015
<v Petra>Aber das wäre tatsächlich
nochmal eine spannende Frage.

00:18:24.015 --> 00:18:27.058
<v Petra>Also diese 44 Möglichkeiten,
das habe ich gefunden,

00:18:27.058 --> 00:18:28.680
<v Petra>weil das jemand explizit ausgerechnet hat.

00:18:28.680 --> 00:18:31.152
<v Petra>für das Haus vom Nikolaus.

00:18:31.562 --> 00:18:34.914
<v Petra>Genau, aber da habe ich nicht gefunden,
ob es dazu einen universellen Satz gibt.

00:18:35.545 --> 00:18:39.167
<v Petra>Genau. Nee. Es gibt noch eine
Möglichkeit, also eine Sache,

00:18:39.167 --> 00:18:40.188
<v Petra>die man dafür braucht, ist eben,

00:18:40.188 --> 00:18:43.391
<v Petra>dass man den Graph in der Ebene
überlappungsfrei zeichnen kann.

00:18:43.391 --> 00:18:46.633
<v Petra>Das sieht jetzt beim Haus vom
Nikolaus auf den ersten Blick so aus,

00:18:46.633 --> 00:18:48.654
<v Petra>als wäre das hier nicht erfüllt,

00:18:48.654 --> 00:18:53.768
<v Petra>weil diese beiden Striche in
der Mitte sich ja überkreuzen.

00:18:54.218 --> 00:18:56.810
<v Thomas>Aber ich könnte einen außen lang zeichnen.

00:18:57.183 --> 00:18:58.838
<v Petra>Genau, du kannst einen außen
lang zeichnen stattdessen.

00:18:58.838 --> 00:19:01.230
<v Thomas>Und dann habe ich den gleichen
Graphen und der ist planar.

00:19:01.469 --> 00:19:02.041
<v Petra>Richtig.

00:19:02.041 --> 00:19:02.823
<v Thomas>Und das weiß man auch,

00:19:02.823 --> 00:19:07.832
<v Thomas>weil ein planarer Graph ist ja genau
einer der, so jetzt muss ich kramen,

00:19:07.832 --> 00:19:12.349
<v Thomas>der nicht ein K5 enthält,
also ein vollständig verbundene 5.

00:19:13.962 --> 00:19:19.150
<v Thomas>Vertizes, wo jeder mit jedem oder
den K3-3, den Bipartiten-Grafen.

00:19:19.381 --> 00:19:20.243
<v Petra>Genau,

00:19:20.243 --> 00:19:21.555
<v Thomas>also zwei

00:19:22.006 --> 00:19:23.689
<v Petra>Mengen von Ecken,

00:19:23.689 --> 00:19:28.116
<v Petra>jeweils drei Stück und dann
Kanten nur zwischen den separaten,

00:19:28.116 --> 00:19:30.069
<v Petra>also es gibt drei weiße
Ecken und zwei schwarze.

00:19:30.740 --> 00:19:31.942
<v Petra>Genau, und du darfst
zwischen weiß und schwarz.

00:19:31.942 --> 00:19:33.514
<v Thomas>Jeder weiße mit jedem
schwarzen verbunden, genau.

00:19:33.584 --> 00:19:35.928
<v Thomas>Also wenn, um das jetzt nochmal
genau zu sagen, also ihr,

00:19:35.928 --> 00:19:38.952
<v Thomas>wenn diese zwei Konfigurationen,
zwei verbotenen Minoren,

00:19:38.952 --> 00:19:43.698
<v Thomas>wie wir sagen, nicht vorkommen,
dann ist der Graf planar und genau dann.

00:19:43.698 --> 00:19:44.735
<v Thomas>Genau, das ist eins. auf der

00:19:47.041 --> 00:19:48.142
<v Thomas>Ebene gezeichnet werden,

00:19:48.142 --> 00:19:49.684
<v Thomas>sodass sich die Kanten nicht überdecken

00:19:49.684 --> 00:19:52.738
<v Thomas>und beim Haus vom Nikolaus nimmt man
halt eine von diesen Nichtkreuzen.

00:19:52.929 --> 00:19:55.212
<v Thomas>Da gibt man beim Haus vom Nikolaus
nimmt man halt eine von den Kanten,

00:19:55.212 --> 00:19:58.097
<v Thomas>die durch die Mitte gehen und
lässt die halt außen rum gehen,

00:19:58.097 --> 00:20:02.506
<v Thomas>dann ist es der gleiche Graf.
Sie zwar bisschen komisch aus, aber.

00:20:02.506 --> 00:20:04.513
<v Petra>Als Haus vielleicht nicht so hübsch.

00:20:04.513 --> 00:20:06.729
<v Thomas>Für die Mathematik immer
noch der gleiche Graf.

00:20:07.221 --> 00:20:09.605
<v Petra>Genau, also für die Kombinatorik
macht es keinen Unterschied,

00:20:09.605 --> 00:20:12.540
<v Petra>weil immer noch dieselben Ecken
miteinander verbunden sind.

00:20:12.650 --> 00:20:14.914
<v Petra>Es gibt noch ein Kriterium für Planarität,

00:20:14.914 --> 00:20:18.504
<v Petra>was auch ganz hübsch ist, nämlich die
sogenannte Eulersche-Polieda-Formel.

00:20:18.504 --> 00:20:22.170
<v Petra>Ist der gleiche, der in Königsberg
über die Brücken gelaufen ist.

00:20:23.426 --> 00:20:25.448
<v Petra>Wenn man den, wenn man den Grafen

00:20:26.500 --> 00:20:30.814
<v Petra>in der Ebene tatsächlich
überlappungsfrei zeichnen kann,

00:20:31.264 --> 00:20:34.687
<v Petra>also es ist jetzt nicht so praktisch,
um damit Planarität zu überprüfen,

00:20:34.687 --> 00:20:38.650
<v Petra>aber wenn das geht, dann gilt ein
Zusammenhang zwischen der Anzahl der Ecken,

00:20:38.650 --> 00:20:41.603
<v Petra>der Anzahl der Kanten und
der Anzahl der Gebieten,

00:20:42.433 --> 00:20:45.266
<v Petra>die entstehen, wenn
man den Graph zeichnet.

00:20:45.676 --> 00:20:49.900
<v Petra>Das ist nämlich Eckenzahl minus
Kantenzahl plus Gebietszahl gleich 2.

00:20:49.900 --> 00:20:50.400
<v Petra>Hm.

00:20:53.000 --> 00:20:54.152
<v Petra>Das ist ganz lustig.

00:20:54.243 --> 00:20:58.069
<v Petra>Und Gebiete, also Gebiete ist so
zu verstehen, man malt den Graphen,

00:20:58.069 --> 00:20:59.392
<v Petra>also jetzt das Haus vom Nikolaus,

00:20:59.392 --> 00:21:02.658
<v Petra>überlappungsfrei in die Ebene und
dann zählt man in wie viele Regionen

00:21:02.658 --> 00:21:04.270
<v Petra>der die Ebene einteilt.

00:21:04.653 --> 00:21:08.788
<v Petra>Ja. Ja, also das sind dann zwei Dreiecke
in der Mitte, noch eins fürs Dach,

00:21:08.788 --> 00:21:11.794
<v Petra>dann eins, was total schief
aussieht für diese Kante,

00:21:11.794 --> 00:21:14.104
<v Petra>die man außenrum gezeichnet
hat und das Äußere.

00:21:14.104 --> 00:21:16.490
<v Thomas>Man darf das Äußere nicht vergessen,
das ist immer wichtig, genau.

00:21:16.582 --> 00:21:18.849
<v Petra>Genau, also sozusagen der umgebende Platz,

00:21:18.849 --> 00:21:22.549
<v Petra>der zählt auch als Gebiet und
dann kann man das ausrechnen hier.

00:21:22.902 --> 00:21:26.040
<v Thomas>Und es hat mit dem Beweis von dieser
Polyeder, also die Polyeder-Formel,

00:21:26.111 --> 00:21:29.480
<v Thomas>wenn man die eigentlich kennenlernt,
zählt die ja die Ecken.

00:21:29.480 --> 00:21:32.714
<v Thomas>Seiten und Flächen von einem
Polyeder im Dreidimensionalen.

00:21:32.984 --> 00:21:34.416
<v Thomas>Da gilt nämlich das Gleiche.

00:21:35.507 --> 00:21:38.751
<v Thomas>Und wenn man den Beweis
davon macht, da geht er so.

00:21:38.751 --> 00:21:43.045
<v Thomas>Dann macht man da draußen Graphen,
indem man das Polyeder aufbläht,

00:21:43.216 --> 00:21:46.029
<v Thomas>bis es auf einer Kugel, alles
auf einer Kugeloberfläche liegt.

00:21:46.379 --> 00:21:48.130
<v Thomas>Und. Und, ähm...

00:21:48.960 --> 00:21:50.992
<v Thomas>Genau, betrachtet diesen
Graphen da und zeigt dann,

00:21:51.063 --> 00:21:52.585
<v Thomas>per Induktion, erinnere
ich mich noch dran.

00:21:52.585 --> 00:21:54.647
<v Petra>Genau. Ja, genau, so funktioniert das.

00:21:54.647 --> 00:21:55.749
<v Petra>Und dann kann man das, ähm...

00:21:55.749 --> 00:21:57.951
<v Thomas>Das ist eine Invariante.
Die Zahl ist eine Invariante.

00:21:57.951 --> 00:22:01.476
<v Thomas>Genau, man fängt mit 0, mit nichts an
oder mit einer Kante und dann jedes Mal,

00:22:01.476 --> 00:22:04.639
<v Thomas>wenn man da was dazu fügt,
bleibt diese 2 gleich.

00:22:04.639 --> 00:22:05.139
<v Thomas>gleich.

00:22:06.020 --> 00:22:09.115
<v Thomas>Ja, witzig. Kennst du Outerplanar-Graphs?

00:22:09.305 --> 00:22:11.558
<v Thomas>Also ich weiß, Außenplanare-Graphen.

00:22:11.709 --> 00:22:13.912
<v Thomas>Das ist auch noch eine witzige Anekdote.

00:22:13.912 --> 00:22:17.337
<v Thomas>Da fragst du dich, kannst du
den Graphen planar zeichnen,

00:22:17.337 --> 00:22:19.650
<v Thomas>sodass alle Vertizes
auf einem Kreis liegen?

00:22:20.661 --> 00:22:22.004
<v Petra>Ah, insofern Outer,

00:22:22.004 --> 00:22:24.709
<v Petra>dass man sozusagen alles nach außen
schieben kann und alle Kanten sitzen in …

00:22:24.709 --> 00:22:25.431
<v Thomas>Genau, alles nach außen schieben.

00:22:25.431 --> 00:22:30.410
<v Thomas>Also du malst dir einen Kreis und willst
jetzt den gleichen Graphen zeichnen.

00:22:30.894 --> 00:22:31.530
<v Petra>Ja.

00:22:32.461 --> 00:22:36.070
<v Thomas>So dass alle Vertizes aber auf dem
Kreis liegen und es trotzdem planar ist.

00:22:36.364 --> 00:22:39.141
<v Petra>Also das Haus vom Nikolaus
wäre jetzt nicht Autoplanar.

00:22:39.141 --> 00:22:41.076
<v Thomas>Und das Haus … Ja, aber warum?

00:22:41.528 --> 00:22:43.454
<v Thomas>Und da die Charakterisierung von dem …

00:22:43.454 --> 00:22:45.622
<v Thomas>Also das muss man beweisen,
das ist ein Satz.

00:22:45.622 --> 00:22:48.197
<v Thomas>Die Charakterisierung von diesen
Autoplanar-Graphs, die ist nämlich,

00:22:48.328 --> 00:22:53.280
<v Thomas>die kann man sich leicht merken, die ist
einfach eins weniger bei jedem von den …

00:22:53.280 --> 00:22:55.565
<v Thomas>verbotenen Minoren von
Planaren-Graphen, das ist nämlich,

00:22:55.565 --> 00:22:57.378
<v Thomas>die darf K4 nicht enthalten,

00:22:57.429 --> 00:23:00.204
<v Thomas>also 4 Vertizes, wo jeder
mit jedem verbunden ist,

00:23:00.636 --> 00:23:02.479
<v Thomas>wie das Haus vom Nikolaus
hat in seinem Hausteil.

00:23:02.479 --> 00:23:03.962
<v Thomas>Ja, das hat so ein Viereck
mit dem Kreuz dazwischen.

00:23:04.621 --> 00:23:08.428
<v Thomas>Und es darf den K2-3 nicht enthalten,

00:23:08.428 --> 00:23:12.744
<v Thomas>also einen kompletten Bipartiten-Graphen
mit 2 weißen Vertizes und 3 schwarzen,

00:23:13.476 --> 00:23:16.030
<v Thomas>wo jeder weiße mit jedem
schwarzen verbunden ist.

00:23:16.160 --> 00:23:17.051
<v Petra>Das ist ja hübsch.

00:23:17.381 --> 00:23:23.747
<v Thomas>Also K5, K3-3 für Planar und K4 und
K2-3 für Außenplanar oder Kreisplanar.

00:23:23.747 --> 00:23:25.208
<v Thomas>Ich weiß gar nicht,
wie der deutsche Begriff ist.

00:23:25.208 --> 00:23:27.390
<v Petra>Ist auch K3 und K2-2 irgendwas Sinnvolles?

00:23:27.390 --> 00:23:30.073
<v Petra>Also dreiecksfrei und kein…

00:23:30.073 --> 00:23:31.824
<v Thomas>Dreiecksfrei und…

00:23:32.035 --> 00:23:33.326
<v Petra>Kein Viereck, ach so.

00:23:33.636 --> 00:23:36.218
<v Thomas>Dreiecksfrei und Vierecksfrei,
freie Graphen.

00:23:36.218 --> 00:23:37.299
<v Thomas>Ich glaube, das sind
schon ziemlich wenige.

00:23:37.299 --> 00:23:37.799
<v Thomas>Ähm...

00:23:40.281 --> 00:23:44.593
<v Thomas>Dreiecksfrei und Vierecksfrei, naja,
das ist doch irgendwie so eine Dicke.

00:23:44.593 --> 00:23:46.498
<v Thomas>Also da gibt's doch diese Dicke oder so?

00:23:46.498 --> 00:23:48.703
<v Petra>Heißt das wie? Also in der
geometrischen Gruppentheorie taucht

00:23:48.703 --> 00:23:52.369
<v Petra>das manchmal auf als Triangle,
Square, Free Groups.

00:23:52.369 --> 00:23:54.612
<v Petra>Also da nimmt man dann
Gruppen und guckt sich an,

00:23:54.612 --> 00:23:57.285
<v Petra>ob die Kehl-Graphen
Dreiecke und Vierecke haben.

00:23:57.416 --> 00:24:00.089
<v Petra>Und da wird das tatsächlich als
so eine Art Krümmungsbedingung.

00:24:00.962 --> 00:24:04.239
<v Petra>Benutzt, was so ein bisschen so eine
Rolle von so einer Dicke spielt.

00:24:04.239 --> 00:24:09.763
<v Thomas>Ja genau, das heißt Girth. Das englische
Wort Girth bedeutet Leibesumfang.

00:24:10.134 --> 00:24:12.770
<v Thomas>Und ein Graph von der Girth K. hat eben.

00:24:14.021 --> 00:24:17.830
<v Thomas>Keinen Kreis, so. Was ist Girth jetzt, die
obere Schranke oder die untere Schranke?

00:24:18.206 --> 00:24:20.344
<v Petra>Ich glaube die untere.

00:24:20.344 --> 00:24:22.550
<v Thomas>Also jedenfalls ist es
interessant bei beiden.

00:24:23.682 --> 00:24:25.448
<v Thomas>Sozusagen mindestens,
es gibt keine Kreise,

00:24:25.448 --> 00:24:29.163
<v Thomas>keine kurzen Kreise und es
gibt keine langen Kreise.

00:24:29.163 --> 00:24:34.290
<v Thomas>Also ein Chordaler Graph ist zum Beispiel
einer, der keine längeren Kreise hat als.

00:24:35.161 --> 00:24:36.905
<v Thomas>Äh, drei, Dreiecke.

00:24:36.905 --> 00:24:39.272
<v Petra>Ja, das ist quasi alles ganz
eng benachbart dann, ne?

00:24:39.272 --> 00:24:40.856
<v Petra>Genau. Kann man das leicht, ja okay,

00:24:40.856 --> 00:24:42.119
<v Petra>das kann man wahrscheinlich
nicht so leicht nachbauen.

00:24:42.119 --> 00:24:44.424
<v Thomas>Ne, ein Chordaler Graph
kann immer noch sozusagen,

00:24:44.424 --> 00:24:45.726
<v Thomas>es gibt nur, es ist nur die Kreise,

00:24:45.726 --> 00:24:48.580
<v Thomas>also ein Chordaler Graph
kann immer noch einen Pfad,

00:24:48.991 --> 00:24:51.374
<v Thomas>hat ja gar keine Kreise,
deswegen ist jede Bedingung,

00:24:51.374 --> 00:24:55.670
<v Thomas>die irgendwie so sich anhört wie in
jedem Kreis gibt's eine Abkürzung.

00:24:56.307 --> 00:24:57.770
<v Thomas>Muss trotzdem nicht erfüllt sein.

00:24:57.883 --> 00:24:59.429
<v Petra>Also man kann einfach eine Gerade nehmen

00:24:59.429 --> 00:25:02.604
<v Petra>und an jede Ecke einen kleinen Kreis
dran kleben, das ist auch kodal.

00:25:02.604 --> 00:25:03.524
<v Thomas>Ja.

00:25:04.433 --> 00:25:07.230
<v Petra>Okay. Gut, wunderbar.

00:25:07.341 --> 00:25:08.855
<v Thomas>Ja, Grafentheorie kann man viel,

00:25:09.006 --> 00:25:09.908
<v Thomas>das ist auch so ein Gebiet,

00:25:09.908 --> 00:25:11.381
<v Thomas>wo man halt irgendwie schön

00:25:11.632 --> 00:25:14.139
<v Thomas>von einfache und schwere Probleme
nicht unterscheiden kann.

00:25:14.139 --> 00:25:16.971
<v Thomas>Das finde ich auch immer sehr attraktiv,

00:25:16.971 --> 00:25:18.920
<v Thomas>also so an der Zahlentheorie
und an der Grafentheorie.

00:25:18.920 --> 00:25:21.576
<v Thomas>Also wenn du so ein
Grafentheorie-Buch nimmst,

00:25:21.947 --> 00:25:23.771
<v Thomas>es ist ein bisschen undankbares Feld,

00:25:23.771 --> 00:25:27.629
<v Thomas>weil es gibt sozusagen
99 Prozent der Sätze sind

00:25:28.780 --> 00:25:31.124
<v Thomas>wenn man so spaßenshalber
sagt, sind leicht,

00:25:31.124 --> 00:25:32.706
<v Thomas>wenn dir jemand den Satz sagt,

00:25:32.706 --> 00:25:36.221
<v Thomas>ist es für dich leichter,
den Beweis selbst aufzuschreiben,

00:25:36.431 --> 00:25:40.517
<v Thomas>als den Beweis in einem Buch zu finden.

00:25:40.517 --> 00:25:42.321
<v Thomas>Weil es zu viele gibt? Oder warum?

00:25:42.321 --> 00:25:44.464
<v Thomas>Weil die Grafentheorie nicht so
einfach zu strukturieren ist,

00:25:44.464 --> 00:25:45.525
<v Thomas>dass du, es ist nicht klar,

00:25:45.525 --> 00:25:47.889
<v Thomas>in welchem Kapitel du suchen sollst
und meistens sind die Beweise,

00:25:47.889 --> 00:25:52.275
<v Thomas>wenn man erstmal die Aussage hat,
sind die Beweise gar nicht mehr so schwer.

00:25:52.275 --> 00:25:55.810
<v Thomas>Das ist so ein Phänomen.
Und dann gibt's diese Sätze.

00:25:56.422 --> 00:25:58.688
<v Thomas>Wie Robertson-Seymour-Theorem oder so.

00:25:58.688 --> 00:26:00.994
<v Thomas>Also, brauchen wir jetzt
nicht mehr drauf eingehen,

00:26:00.994 --> 00:26:02.940
<v Thomas>die so 1000 Seiten Beweise haben.

00:26:02.940 --> 00:26:04.038
<v Thomas>Kann man dann überhaupt
nicht leicht selber finden.

00:26:04.038 --> 00:26:07.678
<v Thomas>Also so Charakterisierungen von
perfekten Graphen und sowas,

00:26:08.129 --> 00:26:10.924
<v Thomas>die ganz leicht zu sagen sind,
aber keiner weiß den Beweis.

00:26:11.335 --> 00:26:13.930
<v Thomas>Oder die Beweise sind extrem schwer.

00:26:14.862 --> 00:26:17.108
<v Thomas>Vom Regularity-Dilemma und solchen
Sachen wollen wir jetzt gar nicht,

00:26:17.108 --> 00:26:20.265
<v Thomas>da können wir mal eine eigene Folge
drüber machen, über tiefe Graphentheorie.

00:26:20.517 --> 00:26:22.070
<v Thomas>Schwierige Kombinatorik.

00:26:22.220 --> 00:26:23.922
<v Petra>Ja, das Schöne an der
Graphentheorie ist, finde ich,

00:26:23.922 --> 00:26:25.424
<v Petra>dass sie so leicht zugänglich ist, ja,

00:26:25.424 --> 00:26:27.586
<v Petra>dass man einfach selber so
rumexperimentieren kann.

00:26:27.586 --> 00:26:30.819
<v Petra>Man malt sich irgendwas hin und fragt
sich einfach mal ein paar Sachen und

00:26:31.050 --> 00:26:32.261
<v Petra>guckt mal, was rauskommt.

00:26:33.292 --> 00:26:37.446
<v Petra>Da können auch Kinder schon selber
sozusagen kleine Forscher werden und

00:26:37.657 --> 00:26:40.810
<v Petra>am Haus vom Nikolaus mal ausprobieren,
was ist so alles für.

00:26:41.041 --> 00:26:41.944
<v Petra>Versagen gibt.

00:26:41.944 --> 00:26:43.328
<v Thomas>Und wenn sie Pech haben,

00:26:43.328 --> 00:26:44.994
<v Thomas>nehmen sie sich irgend so ein
leichtes Problem her und es ist

00:26:44.994 --> 00:26:47.050
<v Thomas>die Äquivalenz zur
Riemann-Hypothese oder so.

00:26:48.463 --> 00:26:51.051
<v Petra>Kann natürlich auch passieren,
aber wenn sie dann die Lösung finden.

00:26:51.051 --> 00:26:54.090
<v Thomas>Und wenn sie es dann lösen,
dann ist es natürlich Jackpot.

00:26:54.242 --> 00:26:55.807
<v Petra>Genau, unbedingt bei uns melden,

00:26:55.807 --> 00:26:58.535
<v Petra>also falls jemand die Riemann-Hypothese
knackt über Weihnachten.

00:26:58.535 --> 00:27:00.330
<v Thomas>Ja, schreiben wir zusammen ein Paper.

00:27:02.765 --> 00:27:06.742
<v Thomas>Ja, gut. Dann. Gut.
Machen wir einen Deckel drauf.

00:27:06.742 --> 00:27:08.789
<v Petra>Das war's für heute. Genau.

00:27:08.789 --> 00:27:09.029
<v Thomas>Also.

00:27:09.029 --> 00:27:10.534
<v Petra>Schöne kurze Folge.

00:27:10.534 --> 00:27:10.775
<v Thomas>Bis bald.

00:27:10.775 --> 00:27:12.710
<v Petra>Alles klar. Bis dann. Ciao.
