没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
2-SAT问题解法浅析
2-SAT问题解法浅析
2-SAT
需积分: 10
4 下载量
168 浏览量
2016-08-12
13:25:08
上传
评论
收藏
179KB
PDF
举报
温馨提示
立即下载
2-SAT问题浅析,论文资料。
资源推荐
资源评论
2-SAT图解法
浏览:134
有2-SAT图的介绍与解法,有详细的例题讲解。仙人掌图的判断方法与其3个性质,最后还附上模板。
2-sat 求解
浏览:71
2-sat在近期的比赛中出现的很多,一般会结合二分来进行出题
2-SAT学习资料
浏览:145
非原创,仅供学习交流用。 2-sat不是NPC的!
2-sat---hdu3062
浏览:85
2-sat---hdu3062,代码详尽,清晰,格式规范,亲测无误。
two_SAT资料
浏览:42
这是关于ACM 相关的 2-SAT算法资料。
由对称性解2-SAT问题
浏览:158
由对称性解2-SAT问题 个人觉得是一份很好的教材
2-SAT 经典讲解 ACM必备
浏览:122
2-SAT 经典讲解 ACM必备 2-SAT 经典讲解 ACM必备
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览:201
可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。...使用2-SAT算法-BinSat求解2-SAT子问题,当它不满足时,根据赋值选择新的2-SAT子问题。实验结果表明,采用本算法的结果优于UnitWalk。
基于寻找2-SAT子问题的SAT算法
浏览:127
将SAT问题化为2-SAT子问题进行求解,算法效果比UnitWalk算法高效
图论- 2-SAT 问题.rar
浏览:186
图论- 2-SAT 问题.rar
2-SAT问题的求解思想
浏览:4
基于2-SAT问题的通用算法进行了详细的证明,结合例题图形深入剖析该算法的解题思想,充分挖掘图的性质,更好的解决问题。
top_2-sat演示_2-SAT_algorithm_
浏览:125
关于2-SAT算法实现的一个小步骤演示。
2-sat.rar_2sat_SAT求解
浏览:41
2-sat模板,用来求解图的2-sat问题。共有两种算法,速度都很快,空间复杂度也低。
基于java的开发源码-SAT算法库 OpenSAT.zip
浏览:133
基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT...
由对称性解2-SAT问题_未知作者.ppt
浏览:199
由对称性解2-SAT问题_未知作者.ppt
2-sat.rar_2sat
浏览:156
所为2-sat问题,就是2判断问题。该算法是用拆点的方式建图,用找强连通子图的方法推出矛盾,用以判断2-sat是否可行。经典实现,
Tarjan及2-SAT讲课PPT
浏览:116
信息学竞赛,图论算法,Tarjan,缩点,2-SAT 寒假期间的集训讲课 PPT,主要详细讲解了 Tarjan 算法的思想及应用,同时对于 Tarjan 算法的一个扩展——2-SAT 问题进行了详细的讲解,是图论讲课非常好的课件和资料。
ACM-2-sat资料
浏览:159
ACM2-sat不错的资料,比较适合初学者,理解起来比较好
信息学算法 2-SAT
浏览:64
5星 · 资源好评率100%
2-SAT 感觉PPT最关键的部分写的不是很好 。
Qt上位机软件串口通讯,视频源码,免费下载
浏览:174
3星 · 编辑精心推荐
Qt上位机软件串口通讯,视频源码,免费下载,视频上我的b站主页找https://space.bilibili.com/401094174
代码随想录算法PDF.rar
浏览:11
3星 · 编辑精心推荐
代码随想录算法PDF.rar
张玉生《C语言程序设计》双色版 C语言程序设计理论教材习题参考答案.pdf
浏览:169
5星 · 资源好评率100%
张玉生《C语言程序设计》双色版 教材课后习题答案,仅供参考,大家一定要自己做一遍再校对答案,实验书的答案已经以文章的形式发布了。
cloud compare用户手册(中文+英文)
浏览:149
4星 · 用户满意度95%
cloud compare用户手册官方英文版本和中文翻译版本(WPS翻译的260页),我之前都没有找到靠谱的帮助文档,自己找了半天,花了50块钱翻译的。希望能给大家提供帮助。
CRC8/CRC16/CRC32常见几个标准的算法及C语言实现
浏览:194
5星 · 资源好评率100%
用表驱动法来实现CRC8、CRC16、CRC32的数据校验,程序简洁,通俗易懂
STM32F4 ADC采样FFT运算测试代码
浏览:40
5星 · 资源好评率100%
模拟信号经过ADC采样后变成数字信号,数字信号可以进行FFT运算,在频域中更容易分析信号的特征。此代码用STM32F407的ADC-DMA模式采集4096个点的数据,利用DSP库里的FFT算法进行快速傅里叶变换,经实测可以使用。
第十二届蓝桥杯大赛模拟赛(第三期).pdf
浏览:182
5星 · 资源好评率100%
蓝桥杯
Qt Qss三套样式文件 qss.zip
浏览:59
此文件为Qt Qss三套样式文件,下载后,在工程中引入使用即可。具体可参考博客: https://tangxing.blog.csdn.net/article/details/109160027
C++读取excel数据
浏览:184
4星 · 用户满意度95%
读取环境为Win10+VS2015,个人参考资料封装的excel读取模块用来读取Excel2007中的数据,文件为压缩文件,亲测可用。
点云粗配准算法
浏览:148
4星 · 用户满意度95%
写了几个点云配准的算法,主要包括PFH、FPFH、icp、NDT、3Dsc几种粗配准算法,并计算出误差。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
JacquesdeH
粉丝: 39
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
test1test1test1test1test1
Dev-Cpp.zip
Mixed Reality Toolkit 微软增强现实Unity开发包
数据库课程设计jsp选题系统sqlserver.7z
Redis多版本安装包及免安装包
axure8-导航菜单
QT6实战-QML与C++联合编程
二分查找算法代码高级版本+二分查找算法思想
二分查找算法代码+二分查找算法思想
批量下载辽宁建造工程材料价格的爬虫
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功