欢迎来到虫虫开发者社区 — 百万工程师技术资源
关于我们
网站地图
登录
注册
虫
虫虫开发者社区
首页
资源下载
资源专辑
热门软件
精品资源
电子书
上传资源
首页
›
资源下载
›
其他书籍
›
1971年Cook发表的库克定理,证明了第一的NPC问题:3
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
其他书籍
444 K
59 次下载
2016-07-09
资源详细信息
文件格式
压缩包
文件大小
444 K
资源分类
其他书籍
上传者
huihuisasa
发布时间
2016-07-09 20:40
下载统计
59
次
所需积分
2 积分
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT - 资源详细说明
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT - 源码文件列表
本资源包含 1 个源码文件
支持在线预览,点击文件名即可查看
1
cook theorem.pdf
查看源码
温馨提示:
点击文件名或"查看源码"按钮可在线浏览源代码,支持语法高亮显示。
立即下载 1971年Cook发表的库克定理,证明了第一的NPC问题:3
立即下载
提示:下载后请用压缩软件解压,推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
本资源需消耗
2积分
24小时内重复下载不扣分
支持断点续传功能
资源永久有效可用
使用说明
下载后使用解压软件解压
推荐使用 WinRAR 或 7-Zip
如有密码请查看资源说明
解压后即可正常使用
积分获取方式
上传优质资源获得积分
每日签到免费领取积分
邀请好友注册获得奖励
查看详情 →
相关技术标签
点击标签浏览更多相关其他书籍资源:
#库克定理
#NPC问题
#计算复杂性
#理论计算机
相关其他书籍资源推荐
1
1971年Cook发表的
库克定理
,证明了第一的
NPC问题
:3SAT
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT...
2016-07-09
59 次
1349 浏览
2
82年卡马卡-卡谱 Karmarkar-Karp 联合发表的KK算法,近似求解分子集问题(NPC)
82年卡马卡-卡谱 Karmarkar-Karp 联合发表的KK算法,近似求解分子集问题(NPC)...
2014-08-02
82 次
1314 浏览
3
这是个
NPC问题
求解
这是个NPC问题求解,PassBridge code...
2013-12-23
160 次
1101 浏览
4
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年...
2013-12-31
126 次
1075 浏览
5
用模拟退火方法解决3SAT问题
用模拟退火方法解决3SAT问题,里面的3sat.c就是源程序...
2016-06-26
81 次
1070 浏览
6
著名的3SAT问题 用蒙特卡罗算法实现的!
著名的3SAT问题 用蒙特卡罗算法实现的!...
2013-12-21
197 次
1110 浏览
7
本程序实现了
NPC问题
旅行商的三个近似算法。
本程序实现了NPC问题旅行商的三个近似算法。...
2014-11-01
60 次
1072 浏览
8
2008年全国信息学奥林匹克竞赛第一天试题 noi2008day1
2008年全国信息学奥林匹克竞赛第一天试题 noi2008day1...
2014-01-07
123 次
1117 浏览
9
扩散的菲克第二定律的数值求解 第一次弄
扩散的菲克第二定律的数值求解 第一次弄,请大家赐较...
2014-01-18
134 次
2872 浏览
10
加强肋 理想的设计 为了克服壁厚大可能引起的问题
加强肋 理想的设计 为了克服壁厚大可能引起的问题,使用是一种可减少壁厚并能增加刚性的有效方法。 一般来说,部件的刚性可用以下方法增强 增加壁厚; 增大弹性模量(...
2013-12-22
169 次
1032 浏览
用户登录
登录后可下载更多技术资源
×
加载中...
加载登录表单中...
用户注册
送10积分
加入工程师资源平台
×
加载中...
加载注册表单中...
找回密码
通过邮箱重置您的账号密码
×
加载中...
加载表单中...
需要登录
登录后即可使用更多功能
×
新用户注册即送10积分,可用于下载资源
👋
退出登录
确认要退出当前账号吗?
×
退出后需要重新登录才能下载资源