学科分类
/ 1
1 个结果
  • 简介:本文首先把边着色问题转化成可满足性问题,然后利用Lipton解决SAT思想来解决边着色问题,最后应用一个实例来说明算法。

  • 标签: SAT问题 边着色 DNA计算