|
Hallo,
ich beschäftige mich gerade mit dem Computerbeweis am Vier-Farben-Satz (für die Seminararbeit), komme aber nicht weiter, da der Stoff eher Mathe-Studenten-relevant ist. Soweit ich es verstanden habe, hat Heinrich Heesch Algorithmen dafür aufgestellt und sie per Hand immer wieder "reduziert". Was ist eine Reduktion eigentlich und wie wird dabei gerechnet? Aus Internet-Recherche hab ich zumindest herausgefunden, dass das etwas mit Resten zu tun hat, aber das war's auch wieder.
Kann jemand mir das bitte erklären? Gruß
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
Hierzu passend bei OnlineMathe:
|
|
|
Hehe, ich bin mir nicht sicher, ob Du hier richtig bist ;-) Aus Wikipedia: http://de.wikipedia.org/wiki/Vier-Farben-Satz Der Vier-Farben-Satz war das erste große mathematische Problem, das mit Hilfe von Computern gelöst wurde. Deshalb wurde der Beweis von einigen Mathematikern nicht anerkannt, da er nicht direkt durch einen Menschen nachvollzogen werden kann. Schließlich muss man sich auf die Korrektheit des Compilers und der Hardware verlassen. Auch der Mangel an mathematischer Eleganz des Beweises wurde kritisiert.
|
|
Ja, hab mir auch überlegt, ob's ich nicht lieber ins Sutdentenforum stellen sollte...
Der Beweis ist umstritten das stimmt; ich möchte aber trotzdem die Lösungsansätze in meiner Arbeit vorstellen... die Reduktionen scheinen Hauptbestandteil von Heesschs Untersuchungen zu sein. Ich scheitere aber leider schon an der Definition von "Reduktion".
Danke trotzdem! Gruß :-)
|
|
Hört sich sehr nach einem Informatik-Begriff an: http://de.wikipedia.org/wiki/Reduktion_(Theoretische_Informatik) Vielleicht hilft dieser Artikel weiter um das Problem darzustellen bzw. um weitere Literatur zu finden.
|
|
Wow, vielen Dank für deine Mühe! Hm... ich glaube, ich stelle die Frage wirklich nochmal im Studi-Forum; ich glaube schon, dass hier eine mathematische Reduktion gemeint ist... aber danke nochmal!
Gruß :-)
|