Modellierung durch SAT

gesucht ist Kanten-2-Färbung des K5 ohne einfarbigen K3.

das ist ein Beispiel für ein Ramsey-Problem

(F. P. Ramsey, 1903-1930) http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Ramsey.html

diese sind schwer, z. B. ist bis heute unbekannt: gibt es eine Kanten-2-Färbung des K43 ohne einfarbigen K5?

http://www1.combinatorics.org/Surveys/ds1/sur.pdf



2014-07-06