没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
基于sat的二进制数独游戏求解程序课程设计 .zip
基于sat的二进制数独游戏求解程序课程设计 .zip
共107个文件
res:42个
cnf:42个
pdf:10个
sat问题
二进制数独游戏求解
华中科技大学计算机学院
程序设计综合课程
需积分: 50
2.7k 浏览量
2020-03-30
10:01:48
上传
评论
8
收藏
1.76MB
ZIP
举报
立即下载
开通VIP(低至0.43/天)
买1年送3个月
身份认证 购VIP最低享 7 折!
领优惠券(最高得80元)
华中科技大学计算机学院,程序设计综合课程,基于sat的二进制数独游戏求解程序,包括实验报告,源代码,部分求解结果,程序简单操作手册。
资源详情
资源评论
收起资源包目录
基于sat的二进制数独游戏求解程序课程设计 .zip
(107个子文件)
创建子句3main.suo
8KB
课程设计报告.docx
1.18MB
程序简单操作手册.docx
53KB
ais8.cnf
16KB
u-5cnf_3500_3500_30f1.shuffled-30.res
184B
eh-dp04s04.shuffled-1075.res
5KB
u-5cnf_3900_3900_060.shuffled-60.res
343B
ais10.cnf
36KB
sud00079.cnf
33KB
anomaly.cnf
3KB
problem3-100.res
548B
php-010-008.shuffled-as.sat05-1171.cnf
3KB
problem11-100.res
548B
eh-dp04s04.shuffled-1075.cnf
39KB
unsat-5cnf-30.res
184B
7cnf20_90000_90000_7.shuffled-20.cnf
35KB
anomaly.res
274B
php-010-008.shuffled-as.sat05-1171.res
445B
tst_v50_c500.res
287B
tst_v50_c500.cnf
6KB
u-5cnf_3900_3900_060.shuffled-60.cnf
17KB
tst_v200_c210.cnf
3KB
problem1-20.res
130B
ais6.cnf
6KB
qg4-08.cnf
128KB
sud00012.res
1KB
sw100-70.cnf
36KB
sud00009.cnf
34KB
7cnf20_90000_90000_7.shuffled-20.res
132B
sud00009.res
2KB
sud00012.cnf
22KB
tst_v200_c210.res
1KB
ais12.cnf
67KB
ais8.res
614B
problem11-100.cnf
8KB
sud00082.res
1KB
sud00001.cnf
33KB
sud00079.res
2KB
problem2-50.res
287B
bw_large.a.res
2KB
sud00082.cnf
20KB
bw_large.a.cnf
58KB
bart17.shuffled-231.res
1KB
sat-20.res
130B
u-problem7-50.cnf
1KB
qg7-09.cnf
307KB
u-5cnf_3500_3500_30f1.shuffled-30.cnf
7KB
sud00861.cnf
32KB
sud00021.res
2KB
u-problem7-50.res
288B
qg4-08.res
3KB
sat-20.cnf
1KB
problem3-100.cnf
4KB
sud00021.cnf
34KB
problem1-20.cnf
1KB
ais10.res
970B
bart17.shuffled-231.cnf
15KB
sw100-1.cnf
36KB
sw100-1.res
3KB
sw100-70.res
3KB
ais12.res
1KB
problem2-50.cnf
1KB
qg7-09.res
4KB
sud00861.res
2KB
ais6.res
343B
unsat-5cnf-30.cnf
7KB
sud00001.res
2KB
BinaryPuzzle5.res
458B
BinaryPuzzle2.pdf
5KB
BinaryPuzzle4.res
458B
BinaryPuzzle5.pdf
5KB
BinaryPuzzlev1.cnf
86KB
BinaryPuzzle5.cnf
86KB
BinaryPuzzle3.res
458B
BinaryPuzzle10.cnf
86KB
BinaryPuzzle8.res
458B
BinaryPuzzle6.cnf
86KB
BinaryPuzzle2.cnf
86KB
BinaryPuzzle6.res
458B
BinaryPuzzlev1.pdf
5KB
BinaryPuzzle3.pdf
5KB
BinaryPuzzle6.pdf
5KB
BinaryPuzzle8.pdf
5KB
BinaryPuzzle9.cnf
86KB
BinaryPuzzle10.pdf
5KB
BinaryPuzzle10.res
458B
BinaryPuzzle8.cnf
86KB
BinaryPuzzle7.res
458B
BinaryPuzzle9.pdf
5KB
BinaryPuzzle2.res
458B
BinaryPuzzle4.cnf
86KB
BinaryPuzzle7.cnf
86KB
BinaryPuzzle4.pdf
5KB
BinaryPuzzle3.cnf
86KB
BinaryPuzzlev1.res
458B
BinaryPuzzle7.pdf
5KB
BinaryPuzzle9.res
458B
sat问题main.exe
135KB
sat问题main.cpp
8KB
sat问题.dev
1KB
共 107 条
1
2
评论
收藏
内容反馈
立即下载
开通VIP(低至0.43/天)
买1年送3个月
评论0
去评论
最新资源
android文件搜索器
jd_tzjd279_0106-1674870417698.apk
pip-8.0.2-py2.py3-none-any.whl
吃豆人源码,欢迎下载,粘贴后使用python打开
pip-7.1.2-py2.py3-none-any.whl
pip-7.1.1-py2.py3-none-any.whl
pip-7.1.0-py2.py3-none-any.whl
pip-7.0.3-py2.py3-none-any.whl
pip-7.0.2-py2.py3-none-any.whl
计算计算计算计算计算计算
李祥威
粉丝: 0
资源:
10
私信
前往需求广场,查看用户热搜
上传资源 快速赚钱
相关推荐
基于SAT的数独游戏求解程序-数据结构课程设计报告.docx
基于SAT的数独游戏求解程序-数据结构课程设计报告
5星 · 资源好评率100%
华中科技大学2017级课程设计(课程设计报告、数独)
华中科技大学2017级C语言和数据结构课程设计(基于SAT的数独游戏设计)
5星 · 资源好评率100%
基于DPLL的SAT算法的研究及应用
.基于 DPLL 的完备性 SAT 算法研究 (1)预处理:将公式转换为对应的CNF (2)加速搜索的一些启发式策略: BCP(Boolean Constraint Propagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制 (3)子句删除机制 (4)随机重启动机制
数独求解程序
C#语言 回溯法求解数独 因为是初学者写的不太好
Binary-Sudoku-Solver:使用SAT求解器求解二进制数独
二进制数独解算器 使用SAT求解器求解二进制数独
数独求解程序游戏设计报告书
数独 sudoku 设计 报告 此报告为英文版,转自其他地方
4星 · 用户满意度95%
数独自动求解程序源代码
数独自动求解程序源代码. 使用vs2010编译
数独求解程序-sudoku.zip
数独求解程序-sudoku.zip 本帖最后由 213 于 2014-6-8 18:01 编辑 通过递归解数独 sudoku_new.zip 解数独 附件里主要有两个函数 sudoku_r_2.m 是递归程序的主体 solvesudoku_...
数独求解程序-sudoku_old.zip
数独求解程序-sudoku_old.zip 本帖最后由 213 于 2014-6-8 18:01 编辑 通过递归解数独 sudoku_new.zip 解数独 附件里主要有两个函数 sudoku_r_2.m 是递归程序的主体 ...
(Sudoku)数独求解计算器
1、手工输入不完整的数独,可以使用"上下左右"按键移动输入框焦点,输入框只允许输入"1-9"的个位数字,其他字符不允许输入。 2、单击"求解"按钮进行数独运算,程序会检查您输入的数独合法性,不符合规则的数独将会被提示"输入数据不合法"。合法的数据在运算过后即可看到完整的数独,您的输入与程序运算结果将会用不同的颜色区分开。 3、程序算法采用DFS求解数独,在保证效率的前提下只输出一组结果。 4
3星 · 编辑精心推荐
c语言版数独求解程序
呵呵,比较简单的一个程序,能做各种数独题
数独卫星:数独SAT编码器
数独卫星:数独SAT编码器
数独的二进制解法
二进制的PYTHON 数独 算法
cafedoku:基于CafeSat求解器的数独求解器
Cafedoku Cafedoku是用Scala编写的求解器,它基于 SAT求解器。 CafeDoku是一个非常简单的项目,具有有限的野心,主要用于将CafeSat作为Scala库进行试验。 核心解决方案部分位于 ,包含约10行代码。 它说明了如何通过编码为SAT来优雅地解决数独问题,以及如何使用CafeSat来解决SAT实例。 用法 您可以使用sbt构建sbt : sbt cafedo
android课程设计报告(数独游戏) (2).pdf
android课程设计报告(数独游戏) (2).pdfandroid课程设计报告(数独游戏) (2).pdfandroid课程设计报告(数独游戏) (2).pdfandroid课程设计报告(数独游戏) (2).pdfandroid课程设计报告(数独游戏) (2).pdfandroid课程设计...
基于QT实现的数独游戏DPLL的SAT求解器设计.zip
数独游戏可转化为SAT问题,用本系统实现的SAT求解器可以快捷地对数独问题转化的CNF文件进行求解,再以变元真值数据转化的数独盘格式输出求解答案。本系统具有一定的交互功能,用户可以利用本系统进行数独游戏,系统...
5星 · 资源好评率100%
微信小程序——[小游戏类]数独小游戏(截图+源码).zip
微信小程序——[小游戏类]数独小游戏(截图+源码).zip 微信小程序——[小游戏类]数独小游戏(截图+源码).zip 微信小程序——[小游戏类]数独小游戏(截图+源码).zip 微信小程序——[小游戏类]数独小游戏(截图+...
5星 · 资源好评率100%
课程设计大作业基于python实现数独游戏源码.zip
课程设计大作业基于python实现数独游戏源码。基于Pyhton语言实现9 x 9的数独游戏。 并采用DLX双向十字链表算法进行求解。课程设计大作业基于python实现数独游戏源码。基于Pyhton语言实现9 x 9的数独游戏。 并采用DLX...
数独计算程序1.0.0.zip
一个解数独的辅助软件,用VB6做的,作者12岁。(不足之处,敬请谅解)(有一些可能解不出来,因为这个算法不是全能的)
论文研究-一种基于SAT的C程序缓冲区溢出漏洞检测技术 .pdf
一种基于SAT的C程序缓冲区溢出漏洞检测技术,陈石坤,李舟军,缓冲区溢出是C程序中很多安全问题的根源。本文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码�
数独求解算法
自己写的一个求解数独的算法,对此有兴趣的朋友可以交流下。自己调试没什么问题,不知道经不经得起别人的考验。
4星 · 用户满意度95%
数独求解代码
c#求解数独,主要利用回溯算法来完成对数独的求解,供学习参考
数独(Sudoku,九宫格游戏)求解程序(源码)
自动求解各种难度的数独游戏 瞬间完成 源码开放,无需积分,学习编程的油条们赶紧下载吧
华中科技大学计算机学院数据结构程序设计综合课程设计任务及指导学生包.rar
华中科技大学计算机学院数据结构程序设计综合课程设计任务及指导学生包,是数据结构的课程作业,希望能够帮助到华科的同学。
数独小游戏.zip小程序小游戏源码微信小程序源码下载
数独小游戏.zip小程序小游戏源码微信小程序源码下载数独小游戏.zip小程序小游戏源码微信小程序源码下载数独小游戏.zip小程序小游戏源码微信小程序源码下载数独小游戏.zip小程序小游戏源码微信小程序源码下载 ...
5星 · 资源好评率100%
基于Android的数独游戏程序的设计论文.doc
基于Android的数独游戏程序的设计论文.doc
数独求解程序-sudoku_new.zip
数独求解程序-sudoku_new.zip 本帖最后由 213 于 2014-6-8 18:01 编辑 通过递归解数独 sudoku_new.zip 解数独 附件里主要有两个函数 sudoku_r_2.m 是递归程序的主体 ...
软件下载_应用软件_计算器_数独计算器免费下载.zip.zip
软件下载_应用软件_计算器_数独计算器免费下载.zip.zip
android课程设计报告(数独游戏) (2).docx
android课程设计报告(数独游戏) (2).docxandroid课程设计报告(数独游戏) (2).docxandroid课程设计报告(数独游戏) (2).docxandroid课程设计报告(数独游戏) (2).docxandroid课程设计报告(数独游戏) (2).docxandroid...
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0
最新资源