没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
2SAT problem ppt 教程
2SAT problem ppt 教程
2SAT
2星
需积分: 9
19 下载量
72 浏览量
2009-12-23
01:43:05
上传
评论
1
收藏
77KB
PDF
举报
温馨提示
立即下载
2SAT problem ppt 教程， 计算机算法导论
资源推荐
资源评论
sat-problem.zip_c语言sat_sat_sat problem
浏览：189
sat 算法作业 c语言 源代码
Tarjan及2-SAT讲课PPT
浏览：60
信息学竞赛，图论算法，Tarjan，缩点，2-SAT 寒假期间的集训讲课 PPT，主要详细讲解了 Tarjan 算法的思想及应用，同时对于 Tarjan 算法的一个扩展——2-SAT 问题进行了详细的讲解，是图论讲课非常好的课件和资料。
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem.zip
浏览：158
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem.zip
信息学算法 2-SAT
浏览：170
5星 · 资源好评率100%
2-SAT 感觉PPT最关键的部分写的不是很好 。
由对称性解2-SAT问题
浏览：166
由对称性解2-SAT问题 个人觉得是一份很好的教材
2-sat.rar_2sat_worst case
浏览：26
可以解决2sat问题，时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览：134
可满足问题（SAT）是一个NP-Hard问题。提出了一种求解SAT的新算法（FFSAT）。...使用2-SAT算法-BinSat求解2-SAT子问题，当它不满足时，根据赋值选择新的2-SAT子问题。实验结果表明，采用本算法的结果优于UnitWalk。
基于寻找2-SAT子问题的SAT算法
浏览：39
将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效
SAT问题的NPC证明PPT学习教案.pptx
浏览：74
SAT问题的NPC证明PPT学习教案.pptx
由对称性解2-SAT问题_未知作者.ppt
浏览：160
由对称性解2-SAT问题_未知作者.ppt
2-SAT图解法
浏览：71
有2-SAT图的介绍与解法，有详细的例题讲解。仙人掌图的判断方法与其3个性质，最后还附上模板。
2-SAT 经典讲解 ACM必备
浏览：190
2-SAT 经典讲解 ACM必备 2-SAT 经典讲解 ACM必备
2-SAT学习资料
浏览：167
非原创,仅供学习交流用。 2-sat不是NPC的！
SAT问题求解
浏览：72
sat problem 模拟退火算法接近Sat问题
2-sat.rar_2sat_SAT求解
浏览：146
2-sat模板，用来求解图的2-sat问题。共有两种算法，速度都很快，空间复杂度也低。
SAT问题的NPC证明PPT教案.pptx
浏览：116
SAT问题的NPC证明PPT教案.pptx
2-sat 求解
浏览：4
2-sat在近期的比赛中出现的很多，一般会结合二分来进行出题
2-sat.rar_2sat
浏览：180
所为2-sat问题，就是2判断问题。该算法是用拆点的方式建图，用找强连通子图的方法推出矛盾，用以判断2-sat是否可行。经典实现，
2-sat.zip_2sat算法
浏览：159
很方便的2sat算法实现程序，快速高效，代码量小
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：168
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：49
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：25
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：44
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
NPPJSONViewer.zip
浏览：83
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览：73
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览：137
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi
浏览：140
3星 · 编辑精心推荐
vs2015.iso包安装，不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览：147
现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
蓝牙BLE协议中文版.pdf
浏览：165
蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
且走且珍惜
2012-09-05
讲的不是很详细。不适合入门，还不如维基百科，那讲的详细得多！
adamdingliang
粉丝: 3
资源:
15
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
NOSQL数据库监控工具，目前实现了对Redis、MongoDB的监控功能 .zip
mongoDB数据库的增删改查，以及所需要的配置.zip
mongodb数据库idea测试.zip
koa 分别 连接 mysql、mongodb数据库操作.zip
基于pytorch实现的人体部件分割源码+模型.zip
学生成绩管理系统数据库设计.pdf
BaseRecyclerViewAdapterHelper4.0使用Java重写
山东大学操作系统实验demo
TiggerRamDiskV6.0-Mac.zip
数据库实验报告三.doc
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
