欢迎来到虫虫开发者社区 — 百万工程师技术资源
关于我们
网站地图
登录
注册
虫
虫虫开发者社区
首页
资源下载
资源专辑
热门软件
精品资源
电子书
上传资源
首页
›
资源下载
›
数据结构
›
对于给定的2-CNF
对于给定的2-CNF
数据结构
2 K
198 次下载
2015-05-31
资源详细信息
文件格式
RAR
文件大小
2 K
资源分类
数据结构
上传者
wy50094777
发布时间
2015-05-31 00:27
下载统计
198
次
所需积分
2 积分
对于给定的2-CNF - 资源详细说明
对于给定的2-CNF,设计一个线性时间算法,判定其是否可满足。
对于给定的2-CNF - 源码文件列表
本资源包含 1 个源码文件
支持在线预览,点击文件名即可查看
1
2sat 问题2.cpp
查看源码
温馨提示:
点击文件名或"查看源码"按钮可在线浏览源代码,支持语法高亮显示。
立即下载 对于给定的2-CNF
立即下载
提示:下载后请用压缩软件解压,推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
本资源需消耗
2积分
24小时内重复下载不扣分
支持断点续传功能
资源永久有效可用
使用说明
下载后使用解压软件解压
推荐使用 WinRAR 或 7-Zip
如有密码请查看资源说明
解压后即可正常使用
积分获取方式
上传优质资源获得积分
每日签到免费领取积分
邀请好友注册获得奖励
查看详情 →
相关技术标签
点击标签浏览更多相关数据结构资源:
#2-CNF
#可满足性
#线性算法
#布尔逻辑
相关数据结构资源推荐
1
对于给定的
2-CNF
对于给定的2-CNF,设计一个线性时间算法,判定其是否可满足。...
2015-05-31
198 次
1060 浏览
2
对于给定的带权3-CNF
对于给定的带权3-CNF,设计一个蒙特卡罗算法,使其权值之和尽可能大...
2013-12-18
77 次
1117 浏览
3
对于给定的2 棵二叉树A和B
对于给定的2 棵二叉树A和B,编程计算二叉树A是否为二叉树B的子树,二叉树B 是否为二叉树A的子树...
2013-12-20
176 次
1053 浏览
4
对于给定的整数$n$
对于给定的整数$n$,生成$[n]$的所有排。采用Jonhson-Trotter算法。...
2015-11-03
173 次
1070 浏览
5
对于给定的正整数a
对于给定的正整数a,计算删去k个数字后得到的最小数...
2016-02-17
185 次
1110 浏览
6
对于给定的自然数n
对于给定的自然数n,编程计算半数集set(n)中的元素个数...
2014-01-15
194 次
1064 浏览
7
对于给定的赋权图G
对于给定的赋权图G,编程计算图的最大边权最小生成树。...
2013-12-21
181 次
1050 浏览
8
对于给定的一组进程
对于给定的一组进程,采用优先级加时间片轮转法进行调度。设有一个就绪队列,就绪进程按优先数(优先数范围0-100)由小到大排列(优先数越小,级别越高)。当某一进程运行完一个时间片后,其优先级应下调(如优...
2014-01-13
119 次
1076 浏览
9
对于给定的带权有向图
对于给定的带权有向图,计算出该图中指定顶点为起点和终点的最长 简单路...
2016-06-22
42 次
1072 浏览
10
对于给定的GPS接收信号
对于给定的GPS接收信号,输出其制定的含义,相当好用的C++代码程序!...
2017-01-25
160 次
1059 浏览
用户登录
登录后可下载更多技术资源
×
加载中...
加载登录表单中...
用户注册
送10积分
加入工程师资源平台
×
加载中...
加载注册表单中...
找回密码
通过邮箱重置您的账号密码
×
加载中...
加载表单中...
需要登录
登录后即可使用更多功能
×
新用户注册即送10积分,可用于下载资源
👋
退出登录
确认要退出当前账号吗?
×
退出后需要重新登录才能下载资源