单图3着色问题可以转化成21个变量，个子句的可满足性问题：对应算法如下：（1）将编码顶点和边的d
a分子放入初始试管，经过充分反应后生成各种有向路；（2）删除包含有中任一条边未着色的方案；（3）删除相邻边着同种颜色的方案；（4）中的d
a串即为正常着色方案，对其进行prc扩增，测出结果值；（5）检测试管，如有d
a分子存在，则其为该sat问题的解；否则，该问题无解。虽然编码繁琐了些，但理论上是可行的。最终可求出一种着色方法：第一学时，第二学时，第三学时。5结论本文直接给出了边着色问题的解法，而没有化成顶点着色问题。将图的边着色问题转化为sat问题，并给出了一个实例。该算法
f中编码方式虽然简单，但也存在着编码量较大的问题。参考文献：1王丽娜仲国强基于生物芯片技术的地图四着色问题的d
a
算法j湖北师范学报（自然科学版）2008282）2马季兰杨玉星基于粘贴模型的图顶点着色问题的d
a算法
j计算机应用作者简介马莹（198111），女，在安徽理工大学理学院信息
与计算科学任教，从事高等数学，线性代数等教学工作，研究方向：d
a计算及图论。
基金项目安徽理工大学校青年基金，编号：q
201122
fr