没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
2-SAT学习资料
2-SAT学习资料
共31个文件
js:9个
gif:7个
css:4个
2-SAT
需积分: 9
5 下载量
138 浏览量
2015-09-07
20:01:05
上传
评论
收藏
568KB
ZIP
举报
温馨提示
立即下载
非原创,仅供学习交流用。 2-sat不是NPC的!
资源推荐
资源详情
资源评论
2-sat 求解
浏览:141
2-sat在近期的比赛中出现的很多,一般会结合二分来进行出题
2-SAT图解法
浏览:125
有2-SAT图的介绍与解法,有详细的例题讲解。仙人掌图的判断方法与其3个性质,最后还附上模板。
2-sat---hdu3062
浏览:143
2-sat---hdu3062,代码详尽,清晰,格式规范,亲测无误。
two_SAT资料
浏览:171
这是关于ACM 相关的 2-SAT算法资料。
SAT资料大家看看SAT资料大家看看
浏览:116
资源:SAT 资源:SAT 资源:SAT 资源:SAT 资源:SAT 资源:SAT
考研雅思t英语备考资料Barrons SAT科目考试Barron’sSATSubject Test Chemistry .pdf
浏览:111
考研雅思t英语备考资料Barrons SAT科目考试Barron’sSATSubject Test Chemistry .pdf
基于回跳层数的SAT求解器学习子句删除策略
浏览:109
目前学习子句删除策略广泛采用的是基于LBD的评估方式,LBD评估方式在每次执行删除时都会删除前一半LBD值大的学习子句,这种方式对LBD值大的学习子句的删除过于激进。针对此问题,提出了一种利用冲突回跳层数(back-jump levels)的评估方式来保留LBD值较大的有用学习子句。以CDCL(conflict driven clause learning)完备算法为框架,在子句删除环节形成了BJ
SAT问题的NPC证明学习课程.pptx
浏览:87
SAT问题的NPC证明学习课程.pptx
2-SAT 经典讲解 ACM必备
浏览:193
2-SAT 经典讲解 ACM必备 2-SAT 经典讲解 ACM必备
ACM-2-sat资料
浏览:191
ACM2-sat不错的资料,比较适合初学者,理解起来比较好
由对称性解2-SAT问题
浏览:72
由对称性解2-SAT问题 资料非常全面详细 绝对有用的哦! 强烈推荐!!
top_2-sat演示_2-SAT_algorithm_
浏览:34
关于2-SAT算法实现的一个小步骤演示。
SAT-FastAPI:证券分析工具,但带有FastAPI服务器-学习!
浏览:5
SAT-FastAPI 证券分析工具,但带有FastAPI服务器-学习! 怎么跑 运行pip install -r requirements.txt运行uvicorn app.main:app --reload 准备好! 版本发布 0.0.1,03-18-2021:第一组API +结构; RSI +移动平均+“ DB”
YilaWord:Android应用程序供用户学习SAT词汇
浏览:83
宜拉词 Android App,供用户学习SAT词汇。 用户每天可以学习10个新的Vocab单词。 可以玩游戏来帮助他们记住单词。 每个单词都附带列出的定义和一些示例。 用户可以查看其他网站以获得有关单词的更多信息。
学习SAT数学备考重点有哪些.pdf
浏览:176
学习SAT数学备考重点有哪些.pdf
SAT问题的NPC证明PPT学习教案.pptx
浏览:168
SAT问题的NPC证明PPT学习教案.pptx
专题资料(2021-2022年)SAT考试介绍.docx
浏览:111
专题资料
基于寻找2-SAT子问题的SAT算法
浏览:74
将SAT问题化为2-SAT子问题进行求解,算法效果比UnitWalk算法高效
信息学算法 2-SAT
浏览:56
5星 · 资源好评率100%
2-SAT 感觉PPT最关键的部分写的不是很好 。
基于java的开发源码-SAT算法库 OpenSAT.zip
浏览:148
基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT.zip 基于java的开发源码-SAT算法库 OpenSAT...
2-sat.rar_2sat_SAT求解
浏览:162
2-sat模板,用来求解图的2-sat问题。共有两种算法,速度都很快,空间复杂度也低。
ACM之2-sat
浏览:111
它是ACM方面的2-sat方面的相关资料。。
专题资料(2021-2022年)SAT咨询收集.doc
浏览:85
专题资料
2-sat.rar_2sat
浏览:31
所为2-sat问题,就是2判断问题。该算法是用拆点的方式建图,用找强连通子图的方法推出矛盾,用以判断2-sat是否可行。经典实现,
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览:111
可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。...使用2-SAT算法-BinSat求解2-SAT子问题,当它不满足时,根据赋值选择新的2-SAT子问题。实验结果表明,采用本算法的结果优于UnitWalk。
Tarjan及2-SAT讲课PPT
浏览:150
信息学竞赛,图论算法,Tarjan,缩点,2-SAT 寒假期间的集训讲课 PPT,主要详细讲解了 Tarjan 算法的思想及应用,同时对于 Tarjan 算法的一个扩展——2-SAT 问题进行了详细的讲解,是图论讲课非常好的课件和资料。
图论- 2-SAT 问题.rar
浏览:21
图论- 2-SAT 问题.rar
2-sat.rar_2sat_worst case
浏览:68
可以解决2sat问题,时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
收起资源包目录
2-sat学习资料.zip
(31个子文件)
【2-sat】专题~ - Amb@HDU - 博客园_files
jquery.js
92KB
ExpandedBlockStart.gif
79B
icon_weibo_24.png
4KB
24442-20150902140529310-1251936098.jpg
43KB
blog-common.js
56KB
encoder.js
7KB
analytics.js
25KB
blog-common.css
24KB
bundle-LessIsMoreRight.css
4KB
43228
0B
ContractedBlock.gif
80B
sample_face.gif
431B
【2-sat】专题~ - Amb@HDU - 博客园.html
384KB
2-SAT.PPT
263KB
sat2_sjtu_zhaoshuang.pdf
179KB
2-SAT总结 - kuangbin - 博客园_files
jquery.js
92KB
ExpandedBlockStart.gif
79B
icon_weibo_24.png
4KB
24442-20150902140529310-1251936098.jpg
43KB
blog-common.js
56KB
xml.gif
404B
encoder.js
7KB
analytics.js
25KB
blog-common.css
24KB
icon_9.gif
893B
ContractedBlock.gif
80B
honehone_clock_tr.js
1KB
u303230.jpg
2KB
saved_resource
9KB
bundle-BOOK.css
4KB
2-SAT总结 - kuangbin - 博客园.html
221KB
共 31 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
_傲寒
粉丝: 7
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
JMeter第一课;创建项目,自动注册
后端开发h264流头部结构,iOS开发安卓开发Java开发,后端开发
第十届大唐杯本科A,截图
单片机如何精简代码量以及提升运行速度技巧介绍.docx
第十一届大唐杯本科A,仿真真题是物理层过程
三次样条插值在C语言如何实现步骤介绍.docx
SD6084电流模式同步降压转换器固定频率1.5MHz二极管封装SOT23-5
NokoPrint-wifi蓝牙USB连接打印机[安卓免费App]
20211115aMmF9NbS.zip
解线性方程组-直接解法:(Gauss)高斯消去法、列主元、全主元 - 北太天元
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功