The same thing may be shown in the case of points of concourse where ve boundaries meet Der unwahrscheinliche Irrtum des Alfred Kempe und wie er damit einen randomisierten Algorithmus erfand Teil 1 Peter Heinig TUM August 2007
Worum es geht: Satz (Vierfarbensatz) Jeder planare Graph ist vierfärbbar, d.h. seine Knotenmenge kann in vier Mengen partitioniert werden, sodass keine zwei Knoten aus derselben Partition benachbart sind.
Geschichte
Geschichte Problem bezeugt seit Oktober 1852:
Geschichte Problem bezeugt seit Oktober 1852: Francis Guthrie fragt Augustus De Morgan,
Geschichte Problem bezeugt seit Oktober 1852: Francis Guthrie fragt Augustus De Morgan, Augustus De Morgan fragt Hamilton,
Geschichte Problem bezeugt seit Oktober 1852: Francis Guthrie fragt Augustus De Morgan, Augustus De Morgan fragt Hamilton, Hamilton hat keine Lust:
Geschichte Problem bezeugt seit Oktober 1852: Francis Guthrie fragt Augustus De Morgan, Augustus De Morgan fragt Hamilton, Hamilton hat keine Lust: I am not likely to attempt your quaternion of colour very soon.
Geschichte De Morgan popularisiert das Problem,
Geschichte De Morgan popularisiert das Problem, Problem seit den 1850ern gut bekannt in mathematischen Kreisen in Amerika und England,
Geschichte De Morgan popularisiert das Problem, Problem seit den 1850ern gut bekannt in mathematischen Kreisen in Amerika und England, Cayley erfährt 1878 von dem Problem,
Geschichte De Morgan popularisiert das Problem, Problem seit den 1850ern gut bekannt in mathematischen Kreisen in Amerika und England, Cayley erfährt 1878 von dem Problem, Cayley kann es nicht lösen,
Geschichte De Morgan popularisiert das Problem, Problem seit den 1850ern gut bekannt in mathematischen Kreisen in Amerika und England, Cayley erfährt 1878 von dem Problem, Cayley kann es nicht lösen, Cayley fragt die LMS ob es jemand gelöst hat und erhält keine Antwort.
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird.
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird. Beweis elf Jahre lang akzeptiert,
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird. Beweis elf Jahre lang akzeptiert, Beweis zerstört 1890 durch Percy Heawood (1861-1955),
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird. Beweis elf Jahre lang akzeptiert, Beweis zerstört 1890 durch Percy Heawood (1861-1955), Heawood rettet genug vom Beweis um zu zeigen, dass fünf Farben reichen,
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird. Beweis elf Jahre lang akzeptiert, Beweis zerstört 1890 durch Percy Heawood (1861-1955), Heawood rettet genug vom Beweis um zu zeigen, dass fünf Farben reichen, Kein Beweis bis zu Appel und Hakens hochumstrittenem Beweis von 1976 mit massiver Computerhilfe,
Geschichte Sommer 1879: Alfred Kempe (1849-1922) reicht einen Beweis beim American Journal of Mathematics ein, der noch im selben Jahr veröentlicht wird. Beweis elf Jahre lang akzeptiert, Beweis zerstört 1890 durch Percy Heawood (1861-1955), Heawood rettet genug vom Beweis um zu zeigen, dass fünf Farben reichen, Kein Beweis bis zu Appel und Hakens hochumstrittenem Beweis von 1976 mit massiver Computerhilfe, Bis heute kein Beweis ohne Computer.
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn:
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten.
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten:
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten:
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten:
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten: Induktion über die Anzahl der Knoten
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten: Induktion über die Anzahl der Knoten Induktionsbeginn klar.
Beweis Genügt, Satz für Triangulierungen zu zeigen, denn: Jeder planare Graph entsteht aus Triangulierung durch Weglassen von Kanten. Eine Vierfärbung bleibt bestehen nach Weglassen von Kanten: Induktion über die Anzahl der Knoten Induktionsbeginn klar. Entscheidend: Welchen Knoten herausreiÿen im Induktionsschritt?
Der Beweis von Kempe Kempe: After a somewhat arduous search, I have succeeded, suddenly, as might be expected, in hitting upon the weak point, which proved an easy one to attack. The result is, that the experience of the map-makers has not deceived them, the maps they had to deal with, viz: those drawn on simply connected surfaces, can, in every case, be painted with four colours. How this can be done I will endeavourat the request of the Editor-in-Chiefto explain.
Der Beweis von Kempe Gib jedem Knoten die Ladung 6, jeder Kante die Ladung 6, jeder Facette die Ladung 6.
Der Beweis von Kempe Gib jedem Knoten die Ladung 6, jeder Kante die Ladung 6, jeder Facette die Ladung 6. Verwende Eulers Formel und verschiebe alle Ladung gleichmäÿig in die Knoten =
Der Beweis von Kempe Gib jedem Knoten die Ladung 6, jeder Kante die Ladung 6, jeder Facette die Ladung 6. Verwende Eulers Formel und verschiebe alle Ladung gleichmäÿig in die Knoten = k=2 (6 k)n k = 4n 2 + 3n 3 + 2n 4 + 1n 5 + 0n 6 n 7 2n 8... = 12 wobei n k = Anzahl der Knoten mit Grad k =
Der Beweis von Kempe Gib jedem Knoten die Ladung 6, jeder Kante die Ladung 6, jeder Facette die Ladung 6. Verwende Eulers Formel und verschiebe alle Ladung gleichmäÿig in die Knoten = k=2 (6 k)n k = 4n 2 + 3n 3 + 2n 4 + 1n 5 + 0n 6 n 7 2n 8... = 12 wobei n k = Anzahl der Knoten mit Grad k = Es gibt einen Knoten mit Grad kleiner als sechs.
Der Beweis von Kempe Gib jedem Knoten die Ladung 6, jeder Kante die Ladung 6, jeder Facette die Ladung 6. Verwende Eulers Formel und verschiebe alle Ladung gleichmäÿig in die Knoten = k=2 (6 k)n k = 4n 2 + 3n 3 + 2n 4 + 1n 5 + 0n 6 n 7 2n 8... = 12 wobei n k = Anzahl der Knoten mit Grad k = Es gibt einen Knoten mit Grad kleiner als sechs. Blick in Kempes Artikel:
Der Beweis von Kempe Kempes unvermeidliche Menge: {,,,, }
Der Beweis von Kempe Kempes unvermeidliche Menge: {,,,, } Aber reduzibel ist sie nicht...
Grad des entfernten Knotens gleich eins
Grad des entfernten Knotens gleich eins
Grad des entfernten Knotens gleich eins
Grad des entfernten Knotens gleich eins
Grad des entfernten Knotens gleich zwei
Grad des entfernten Knotens gleich zwei
Grad des entfernten Knotens gleich zwei
Grad des entfernten Knotens gleich zwei
Grad des entfernten Knotens gleich drei
Grad des entfernten Knotens gleich drei
Grad des entfernten Knotens gleich drei
Grad des entfernten Knotens gleich drei
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Grad des entfernten Knotens gleich vier
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Kempe-Ketten
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Grad des entfernten Knotens gleich fünf
Wie Kempe es sagte Kempe: The same thing may be shown in the case of points of concourse where ve boundaries meet. The districts meeting at the point may happen to be coloured with only three colours, but they happen to be coloured with four. Fig. 6 shows the only form which the colouring can take in that case, one colour of course occurring twice.
Wie Kempe es sagte
Wie Kempe es sagte Kempe: If a and d belong to dierent red and green regions, interchanging the colours in either, a and d become both red or both green.
Wie Kempe es sagte If a and d belong to the same red and green region, see if a and c belong to different red and yellow regions; if they do, interchanging the colours in either region, a and c become both red or both yellow.
Wie Kempe es sagte If a and c belong to the same red and yellow region and a and d belong to the same red and green region, the two regions cut o b from e, so that the blue and green region to which b belongs is dierent from that to which d and e belong, and the blue and yellow region to which e belongs is dierent from that to which b and c belong.
Wie Kempe es sagte Thus, interchanging the colours in the blue and green region to which b belongs, and in the blue and yellow region to which e belongs, b becomes green and e yellow, a, c, and d remaining unchanged. In each of the three cases the number of colours at the point of concourse is reduced to three.
Der Irrtum
Der Irrtum
Der Irrtum
Der Irrtum
Der Irrtum
Prä-Kempe-Ketten
Prä-Kempe-Ketten
Prä-Kempe-Ketten
Die andere Reihenfolge scheitert auch.
Die andere Reihenfolge scheitert auch.
Die andere Reihenfolge scheitert auch.