Vier-Farben-Satz
111Planarer Graph — Planare Zeichnung des K4 Ein planarer oder plättbarer Graph ist in der Graphentheorie ein Graph, der auf einer Ebene mit Punkten für die Knoten und Linien für die Kanten dargestellt werden kann, sodass sich keine Kanten schneiden. Der Satz von… …
112Graphentheorie — Ungerichteter Graph mit sechs Knoten. Die Graphentheorie ist ein Teilgebiet der Mathematik, das die Eigenschaften von Graphen und ihre Beziehungen zueinander untersucht. Dadurch, dass einerseits viele algorithmische Probleme auf Graphen… …
113Alfred Kempe — Alfred Bray Kempe (* 1849; † 1922) war ein britischer Mathematiker, sein Name ist insbesondere mit der Geschichte des Vier Farben Satzes verbunden. Kempe studierte am Trinity College der Cambridge University, wo unter anderem Arthur Cayley einer… …
114Bedingungserfüllungsproblem — Ein Constraint Satisfaction Problem (Bedingungserfüllungsproblem, abgekürzt CSP) ist eine Aufgabenstellung aus der künstlichen Intelligenz und aus dem Operations Research. Aufgabe ist es, einen Zustand (d. h. Belegungen von Variablen) zu finden,… …
115Beweis-Assistent — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… …
116Beweisassistent — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… …
117Computerbeweis — Als Computerbeweis bezeichnet man den Beweis einer Behauptung, das heißt einer mathematischen oder logischen Aussage, mit Hilfe eines Computerprogramms. Man verwendet den Begriff insbesondere für solche Beweise, die folgendes Schema aufweisen:… …
118Constraint Satisfaction Problem — Ein Constraint Satisfaction Problem (Bedingungserfüllungsproblem, abgekürzt CSP) ist eine Aufgabenstellung aus der künstlichen Intelligenz und aus dem Operations Research. Aufgabe ist es, einen Zustand (d. h. Belegungen von Variablen) zu finden,… …
119Theorembeweis — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… …
120Theorembeweisen — Die Artikel Computerbeweis und Maschinengestütztes Beweisen überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne… …