虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 数据结构 > 对于给定的2-CNF

对于给定的2-CNF

  • 资源大小:2 K
  • 上传时间: 2015-05-31
  • 上传用户:wy50094777
  • 资源积分:2 下载积分
  • 标      签: CNF

资 源 简 介

对于给定的2-CNF,设计一个线性时间算法,判定其是否可满足。

相 关 资 源