找出欧洲地图的四种颜色 

找出每个欧洲国家的邻国.

In[1]:=
Click for copyable input
X

以下为奥地利的邻国.

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

对每个国家用两个布尔值 进行4种可能颜色的编码.

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

以所有接壤国家的组合为不同颜色的逻辑表达式表达条件.

In[5]:=
Click for copyable input
X

计算四色问题的解.

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 ja pt-br