假如要使用RGBY四种颜色对以下地图进行着色
变为点状图
变为树
使用简单点的例子，对以下图进行着色：
*按照先扩充枝条数较小的节点。
对A进行着色的时候，考虑C可以有RGBY颜色可以使用。
1. A：R C：(R,G,B,Y)
2. B：G ，和A不矛盾 C：(R,G,B,Y)
3. D：B， 和B不矛盾 C：(R,G,B,Y)
4. E：Y，和D不矛盾，（不能先考虑R，因为还有Y可用） C：(R,G,B,Y) C无颜色可用 所以第4步要撤销
5. 转而C：Y， 可以重新考虑E用R了，因为颜色已经循环了一次。
//
按照一个路线，给每一块进行着色后，要进行以下程序：
Foreah 每一个深度优先搜索
Foreach 每一个“被考虑过的” 块(Vi)
Foreach 每一个颜色(Xi) in 可选颜色的值域(Di)
Foreach 每一个约束(Ci) in C(xi,xj) , xj是属于Dj
if 不存在Xj，Xj在C(xi,xj)当中 //如果存在Xj，Xj不在C(xi,xj)当中
从Di中移除Xi
if Di是空的
返回
//先胡乱赋值颜色
foreach in 各个线路
foreach in ABDEC[考虑所有的块]
A : foreach in (RGBY)
无事发生
A填R
B: foreach in D(RGBY) R
R：违反约束，从D移除
B填G
D：foreach in D(RGBY) RG
R：还没循环一次，从D移除
G：违反约束，从D移除
D填B
无事发生
E：foeach in D(RGBY) RGBY
R：还没循环一次，从D移除
G：还没循环一次，从D移除
B：违反约束，从D移除
E填Y
C：foeach in D(RGBY)
R：违反约束，从D移除
G：违反约束，从D移除
B：违反约束，从D移除
Y：违反约束，从D移除
D为空，C不可填，遍历下一条路线
foreach in ABDCE
。。。