// Constraint-Graph für das Kantonfärbungsproblem im Graphviz-Format.
//
// Installation von Graphviz unter Debian/Ubuntu Linux: Paket "graphviz".
// Andere Betriebssysteme: siehe http://www.graphviz.org.
//
// Aufruf von graphviz z.B. mit "dot -T pdf -o output.pdf kantone.dot"
// (Ausgabe in output.pdf).
//
// Eine einfache Möglichkeit, mit verschiedenen Cut-Sets zu
// experimentieren, ist die zu einem bestimmten Kanton gehörenden
// Kanten im Graphen unten mit "//" auszukommentieren.

graph {
    Aargau -- BaselLandschaft
    Aargau -- Bern
    Aargau -- Luzern
    Aargau -- Solothurn
    Aargau -- Zuerich
    Aargau -- Zug
    AppenzellAusserrhoden -- AppenzellInnerrhoden
    AppenzellAusserrhoden -- StGallen
    AppenzellInnerrhoden -- StGallen
    BaselLandschaft -- BaselStadt
    BaselLandschaft -- Jura
    BaselLandschaft -- Solothurn
    Bern -- Freiburg
    Bern -- Jura
    Bern -- Luzern
    Bern -- Neuenburg
    Bern -- Nidwalden
    Bern -- Obwalden
    Bern -- Solothurn
    Bern -- Uri
    Bern -- Waadt
    Bern -- Wallis
    Freiburg -- Neuenburg
    Freiburg -- Waadt
    Genf -- Waadt
    Glarus -- Graubuenden
    Glarus -- Schwyz
    Glarus -- StGallen
    Glarus -- Uri
    Graubuenden -- StGallen
    Graubuenden -- Tessin
    Graubuenden -- Uri
    Jura -- Neuenburg
    Jura -- Solothurn
    Luzern -- Nidwalden
    Luzern -- Obwalden
    Luzern -- Schwyz
    Luzern -- Zug
    Neuenburg -- Waadt
    Nidwalden -- Obwalden
    Nidwalden -- Schwyz
    Nidwalden -- Uri
    Obwalden -- Uri
    Schaffhausen -- Thurgau
    Schaffhausen -- Zuerich
    Schwyz -- StGallen
    Schwyz -- Uri
    Schwyz -- Zuerich
    Schwyz -- Zug
    StGallen -- Thurgau
    StGallen -- Zuerich
    Tessin -- Uri
    Tessin -- Wallis
    Thurgau -- Zuerich
    Uri -- Wallis
    Waadt -- Wallis
    Zuerich -- Zug
}