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

您现在的位置是:虫虫下载站 > 资源下载 > 数据结构 > 此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。

此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。

  • 资源大小:3 K
  • 上传时间: 2015-11-07
  • 上传用户:xiaoexiao
  • 资源积分:2 下载积分
  • 标      签: 2CNF 算法 多项式

资 源 简 介

此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。

相 关 资 源