基于sat的二进制数独游戏求解程序课程设计 .zip

sat问题
二进制数独游戏求解
华中科技大学计算机学院
程序设计综合课程
所需积分/C币: 50
浏览量·2.1k
ZIP
1.76MB
2020-03-30 10:01:48 上传
身份认证 购VIP最低享 7 折!
评论 收藏 举报
资源详情
资源推荐
资源评论
rar

华中科技大学计算机学院数据结构程序设计综合课程设计任务及指导学生包.rar

华中科技大学计算机学院数据结构程序设计综合课程设计任务及指导学生包，是数据结构的课程作业，希望能够帮助到华科的同学。
zip

华中科技大学程序课程设计菜农系统

菜农种植信息管理系统 现有某菜农，在给定面积的菜地里种植各种蔬菜，每年种植的蔬菜种类不完全相同，各种的收成也不一样，请设计一个程序，帮助该菜农管理每年种植的蔬菜品种、蔬菜秧苗数量（株）、收获蔬菜的数量（斤）
rar

华中科技大学c语言实验

华中科技大学c语言实验，包含8次实验的源代码，输入输出，流程控制，函数和程序结构，预编译处理，数组，指针，结构和联合，文件等8个实验
rar

华中科技大学数据结构课设

华中科技大学数据结构课设，内容为设计基于AVL树表示的集合ADT实现与应用（1）以二叉链表为存储结构，设计与实现AVL树-动态查找表及其6种基本运算；（2）以AVL树表示集合，实现集合抽象数据类型及其10种基本运算；（3）以集合表示个人微博或社交网络中好友集、粉丝集、关注人集，实现共同关注、共同喜好、二度好友等查询功能。
zip

华中科技大学2017级课程设计（课程设计报告、数独）

华中科技大学2017级C语言和数据结构课程设计（基于SAT的数独游戏设计）
7z

华中科技大学计算机学院计算机组成原理实验源码及报告

华中科技大学计算机学院计算机组成原理实验源码及报告。含数据表示实验、运算器（ALU）实验、存储器(storage)实验、CPU实验共4次实验，以及最后的实验报告
rar

课程设计报告 数独游戏

java 数独游戏 课程设计 代码 文档 程序 java 数独游戏 课程设计 代码 文档 程序
zip

经典的数独游戏

经典的数独游戏，9*9的大九宫格，gui界面
docx

数独游戏算法（C实现）

使用C语言展示数独游戏的算法，对于学习C语言和了解数独算法都有帮助
application/x-rar

C++实现数独游戏的求解

数独游戏的求解 第一步：确定数独中可以唯一确定的空位的值 第二步：用递归的方式确定剩余空位的值 （内含源程序和程序说明书）
zip

Binary-Sudoku-Solver:使用SAT求解器求解二进制数独-源码

二进制数独解算器 使用SAT求解器求解二进制数独
zip

数独计算程序1.0.0.zip

一个解数独的辅助软件，用VB6做的，作者12岁。（不足之处，敬请谅解）（有一些可能解不出来，因为这个算法不是全能的）
py

数独的二进制解法

二进制的PYTHON 数独 算法
zip

数独求解程序-sudoku_old.zip

数独求解程序-sudoku_old.zip 本帖最后由 213 于 2014-6-8 18:01 编辑 通过递归解数独 sudoku_new.zip 解数独 附件里主要有两个函数 sudoku_r_2.m  是递归程序的主体 solvesudoku_aux_2.m  被sudoku_r_2.m调用 这两个函数就是这个附件的
application/pdf

数独求解程序游戏设计报告书

数独 sudoku 设计 报告 此报告为英文版，转自其他地方
rar

SAT问题求解

sat problem 模拟退火算法接近Sat问题
application/pdf

基于DPLL的混合遗传算法求解SAT问题’

基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本 身特性，调节阅值艿，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公式能够 快速找到一个可满足性指派。同时，在遗传算法中引入了DPLL算法，对部分变元进行消解，提高了算法的求解效率。相 关的实验数据表明，本算法的性能明显优于同类算法。
zip

cafedoku:基于CafeSat求解器的数独求解器-源码

Cafedoku Cafedoku是用Scala编写的求解器，它基于 SAT求解器。 CafeDoku是一个非常简单的项目，具有有限的野心，主要用于将CafeSat作为Scala库进行试验。 核心解决方案部分位于 ，包含约10行代码。 它说明了如何通过编码为SAT来优雅地解决数独问题，以及如何使用CafeSat来解决SAT实例。 用法 您可以使用sbt构建sbt ： sbt cafedo
zip

数独(Sudoku,九宫格游戏)求解程序(源码)

自动求解各种难度的数独游戏 瞬间完成 源码开放,无需积分,学习编程的油条们赶紧下载吧
application/octet-stream

程序员放松经典游戏二——数独

界面很漂亮的经典练脑游戏！老少皆宜，四时必备之良物！^_^
doc

2-sat 求解

2-sat在近期的比赛中出现的很多，一般会结合二分来进行出题
zip

数独卫星：数独SAT编码器-源码

数独卫星：数独SAT编码器
pdf

基于DPLL的SAT算法的研究及应用

.基于 DPLL 的完备性 SAT 算法研究 （1）预处理：将公式转换为对应的CNF （2）加速搜索的一些启发式策略： BCP（Boolean Constraint Propagation，布尔约束传播）、变量决策策略、冲突分析、子句学习、回溯机制 （3）子句删除机制 （4）随机重启动机制
rar

数据结构课程设计任务华科

数据结构课程设计任务，包含各个题目的要求和实现思路等。
rar

一款基于C#的数独小游戏

一款基于C#的数独小游戏，主要利用回溯算法来完成对数独的求解
application/pdf

数独_游戏的算法研究与实现

数独_游戏的算法研究与实现 数独_游戏的算法研究与实现
rar

数独求解程序

C#语言 回溯法求解数独 因为是初学者写的不太好
exe

c语言版数独求解程序

呵呵，比较简单的一个程序，能做各种数独题
application/x-rar

数独程序算法，有用的算法

数独，算法，java，很简单实现数独的算法
application/x-rar

数独求解算法程序(程序开发)

这是我自己编写的数独游戏自动求解程序。将游戏初始数据填好（0的地方表示要填的）然后点求解就可以求解出来。有多个答案的话可以全部求出来。你可以自己看看求出的结果是否符合数独规则。
评论 收藏 举报
资源评论
    李祥威
    • 粉丝: 5
    • 资源: 10
    精品专辑
    内容简介：创建子句3main.suo 课程设计报告.docx 程序简单操作手册.docx ais8.cnf u-5cnf_3500_3500_30f1.shuffled-30.res
    最新资源