ヨーロッパの地図の4色を求める 

ヨーロッパ各国の隣接国を求める.

In[1]:=
Click for copyable input
X

以下はオーストリアの隣接国である.

In[2]:=
Click for copyable input
X
Out[2]=

4つの色を1つの国につき2つのブール値として符号化する.

In[3]:=
Click for copyable input
X
In[4]:=
Click for copyable input
X

隣り合う国がすべて異なる色を持つような条件を論理式として表す.

In[5]:=
Click for copyable input
X

4色問題の解を計算する.

In[6]:=
Click for copyable input
X

色を付ける.

In[7]:=
Click for copyable input
X
Out[7]=

求めた色付けに従って各国に色を付ける.

In[8]:=
Click for copyable input
X
Out[8]=
de en es pt-br zh