欢迎来到虫虫开发者社区 — 百万工程师技术资源
关于我们
网站地图
登录
注册
虫
虫虫开发者社区
首页
资源下载
资源专辑
热门软件
精品资源
电子书
上传资源
首页
›
资源下载
›
数据结构
›
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
数据结构
3 K
48 次下载
2015-11-07
资源详细信息
文件格式
RAR
文件大小
3 K
资源分类
数据结构
上传者
xiaoexiao
发布时间
2015-11-07 00:06
下载统计
48
次
所需积分
2 积分
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。 - 资源详细说明
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。 - 源码文件列表
本资源包含 1 个源码文件
支持在线预览,点击文件名即可查看
1
cnf_sat.txt
查看源码
温馨提示:
点击文件名或"查看源码"按钮可在线浏览源代码,支持语法高亮显示。
立即下载 此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。
立即下载
提示:下载后请用压缩软件解压,推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
本资源需消耗
2积分
24小时内重复下载不扣分
支持断点续传功能
资源永久有效可用
使用说明
下载后使用解压软件解压
推荐使用 WinRAR 或 7-Zip
如有密码请查看资源说明
解压后即可正常使用
积分获取方式
上传优质资源获得积分
每日签到免费领取积分
邀请好友注册获得奖励
查看详情 →
相关技术标签
点击标签浏览更多相关数据结构资源:
#2CNF
#布尔可满足性
#算法
#逻辑推理
相关数据结构资源推荐
1
此
算法
能在多项式时间里判定任一给定的
2CNF
公式是否可满足。是
算法
中的一个重要问题。
此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。...
2015-11-07
48 次
1078 浏览
2
在Z2[X]中判断一个多项式是否本原多项式
在Z2[X]中判断一个多项式是否本原多项式,并能对给定的多项式求逆。...
2015-10-19
177 次
1107 浏览
3
isodata
算法
是模式分类中的一个重要
算法
isodata算法是模式分类中的一个重要算法,该源码用c实现了isodata算法,算法来源,《c语言精彩编程百例》...
2014-02-07
171 次
1120 浏览
4
数论相关的一个
算法
:如何在多项式时间判断素数
数论相关的一个算法:如何在多项式时间判断素数...
2014-07-04
141 次
1056 浏览
5
一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式
一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式...
2016-05-26
49 次
1075 浏览
6
一个判断输入的一个时间是否为瑞年的简单
算法
一个判断输入的一个时间是否为瑞年的简单算法,也于大家分享吧!...
2015-07-23
132 次
1154 浏览
7
编写
算法
判定给定二叉树是否为完全二叉树
编写算法判定给定二叉树是否为完全二叉树...
2013-12-28
26 次
1102 浏览
8
就是两个多项式的欧几里得
算法
就是两个多项式的欧几里得算法,即求两个多项式的最大公约数。...
2013-12-19
187 次
1182 浏览
9
在密码学中判断一个数是否为素数很重要 该
算法
判断一个数是否为素数 c语言实现
在密码学中判断一个数是否为素数很重要 该算法判断一个数是否为素数 c语言实现...
2017-09-26
77 次
1219 浏览
10
这是一个多项式的乘法
这是一个多项式的乘法,能够实现几个多项式的相乘。...
2014-01-18
26 次
1049 浏览
用户登录
登录后可下载更多技术资源
×
加载中...
加载登录表单中...
用户注册
送10积分
加入工程师资源平台
×
加载中...
加载注册表单中...
找回密码
通过邮箱重置您的账号密码
×
加载中...
加载表单中...
需要登录
登录后即可使用更多功能
×
新用户注册即送10积分,可用于下载资源
👋
退出登录
确认要退出当前账号吗?
×
退出后需要重新登录才能下载资源