私の課題: グラフの色付け - グラフに 4 色が含まれているかどうかを確認するための回答セット プログラムを作成します。ぬりえがない場合は、答えが設定されていません。プログラムは、4 色塗りを行うコードとサンプル グラフ表現で構成する必要があります。
私はこれを持っています (ASP Graph Coloring Wikipedia から) が、それがどのように機能するのか正確にはわかりません - 誰かがこのコードを説明してもらえますか?
c(1..n).
1 {color(X,I) : c(I)} 1 :- v(X).
:- color(X,I), color(Y,I), e(X,Y), c(I).
v(1..100). % 1,...,100 are vertices
e(1,55). % there is an edge from 1 to 55