Zusammenfassung
Graphen bilden ein grundlegendes Modell der diskreten Mathematik, und sie sind mit vielen computerorientierten Aspekten verknüpft. Von besonderem Interesse für die computerorientierte Mathematik ist darüber hinaus die historische Tatsache, dass das in die Graphentheorie fallende Vier-Farben-Problem das erste Beispiel einer vielbeachteten und weitreichenden mathematischen Aussage ist, die im Jahr 1976 mittels intensiven Computereinsatzes bewiesen wurde. Dieser Beweis prägte die Frage nach der Berechtigung computergestützter Beweise maßgeblich. Trotz intensiver Forschungsaktivitäten ist bis heute kein „klassischer“ Beweis bekannt, der nur die Hilfsmittel Bleistift und Papier verwendet und ohne umfangreiche computerbasierte Berechnungen auskommt.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Theobald, T., Iliman, S. (2016). Graphen. In: Einführung in die computerorientierte Mathematik mit Sage. Springer Studium Mathematik - Bachelor. Springer Spektrum, Wiesbaden. https://doi.org/10.1007/978-3-658-10453-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-658-10453-5_4
Published:
Publisher Name: Springer Spektrum, Wiesbaden
Print ISBN: 978-3-658-10452-8
Online ISBN: 978-3-658-10453-5
eBook Packages: Life Science and Basic Disciplines (German Language)