Loading Library Hours...

U. Schmidt (1982), Überprüfung des beweises für den Vierfarbensatz

Paper information

Title: Überprüfung des beweises für den Vierfarbensatz
Author: Ulrich Schmidt
Source: Diplomarbeit, Matr.-Nr. 066040, Mai 1982
Lehrgebiet Allgemeine Elektrotechnik und Datenverarbeitung,
Rheinisch-Westfälische Technische Hochschule Aachen
Received from: Ulrich Schmidt, June 2018 by Professor Bertram Ludäscher, School of Information Sciences
Access provided by the Mathematics Library of the University of Illinois at Urbana-Champaign with the permission of Ulrich Schmidt.
Available online: since August 2018 		Schmidt1982_frontpage

Table of Contents

  1. EINFÜHRUNG
  2. BEGRIFFE UND DEFINITIONEN DER GRAPHENTHEORIE

    3. 2.1. Definitionen
    2.2. Kantenfolgen und Zusammenhang
    2.3. Ebene Graphen

  3. DIE GESCHICHTE DES VIERFARBENSATZES

    4. 3.1. Kempes Beweis
    3.2. Der Fünffarbensatz

  4. REDUZIERBARKEIT

    5. 4.1. Definitionen
    4.2. Reduktionsarten

  5. ENTLADUNGSPROZEDUREN

    6. 5.1. Der Graph als elektrisches Netzwerk
    5.2. Eine einfache Entladungsprozedur
    5.3. Reduktionshindernisse
    5.4. Die Entladungsprozedur von Appel und Haken

  6. ÜBERPRÜFUNG DES BEWEISES

    7. 6.1. Vorgehensweise
    6.2. Datenstrukturen
    6.3. Randkreise
    6.4. Der Verschmelzungsalgorithmus
    6.5. Auffinden reduzibler Teilfiguren
    6.6. Die Prozedur ‘entlade’
    6.7. Ergebnisse

  7. PHILOSOPHISCHE AUSWIRKUNGEN DES VIERFARBENPROBLEMS
  8. ANHANG

    9. A. Das Programm ‘Entladung’
    B. Output