基于SAT的数独游戏求解程序，求C语言代码

用0代表要填的数

创新互联公司是一家专业提供夏津企业网站建设,专注与成都做网站、成都网站建设、H5建站、小程序制作等业务。10年已为夏津众多企业、政府机构等服务。创新互联专业网站建设公司优惠进行中。

#include stdio.h

#include stdlib.h

#define SIZE 9

#define get_low_bit(x) ((~x(x-1))+1)

struct{

int left;

char num;

char try;

}board[SIZE][SIZE];

int bit2num(int bit)

{

switch(bit){

case 16:

case 256:

return 9;

基础解法

排除法（摒除法）

摒除法：用数字去找单元内唯一可填空格，称为摒除法，数字可填唯一空格称为排除法 (Hidden Single)。

根据不同的作用范围，摒余解可分为下述三种：

数字可填唯一空格在「宫」单元称为宫排除（Hidden Single in Box），也称宫摒除法。

数字可填唯一空格在「行」单元称为行排除法（Hidden Single in Row），也称行摒除法。

Java数独游戏代码

public class ShuDu {

/**存储数字的数组*/

static int[][] n = new int[9][9];

/**生成随机数字的源数组，随机数字从该数组中产生*/

static int[] num = {1,2,3,4,5,6,7,8,9};

public static void main(String[] args) {

//生成数字

for(int i = 0;i 9;i++){

//尝试填充的数字次数

int time = 0;

//填充数字

for(int j = 0;j 9;j++){

//产生数字

n[i][j] = generateNum(time);

//如果返回值为0，则代表卡住，退回处理

//退回处理的原则是：如果不是第一列，则先倒退到前一列，否则倒退到前一行的最后一列

if(n[i][j] == 0){

//不是第一列，则倒退一列

if(j 0){

j-=2;

continue;

}else{//是第一列，则倒退到上一行的最后一列

i--;

j = 8;

continue;

}

}

//填充成功

if(isCorret(i,j)){

//初始化time，为下一次填充做准备

time = 0;

}else{ //继续填充

//次数增加1

time++;

//继续填充当前格

j--;

}

}

}

//输出结果

for(int i = 0;i 9;i++){

for(int j = 0;j 9;j++){

System.out.print(n[i][j] + " ");

}

System.out.println();

}

}

/**

* 是否满足行、列和3X3区域不重复的要求

* @param row 行号

* @param col 列号

* @return true代表符合要求

*/

public static boolean isCorret(int row,int col){

return (checkRow(row) checkLine(col) checkNine(row,col));

}

/**

* 检查行是否符合要求

* @param row 检查的行号

* @return true代表符合要求

*/

public static boolean checkRow(int row){

for(int j = 0;j 8;j++){

if(n[row][j] == 0){

continue;

}

for(int k =j + 1;k 9;k++){

if(n[row][j] == n[row][k]){

return false;

}

}

}

return true;

}

/**

* 检查列是否符合要求

* @param col 检查的列号

* @return true代表符合要求

*/

public static boolean checkLine(int col){

for(int j = 0;j 8;j++){

if(n[j][col] == 0){

continue;

}

for(int k =j + 1;k 9;k++){

if(n[j][col] == n[k][col]){

return false;

}

}

}

return true;

}

/**

* 检查3X3区域是否符合要求

* @param row 检查的行号

* @param col 检查的列号

* @return true代表符合要求

*/

public static boolean checkNine(int row,int col){

//获得左上角的坐标

int j = row / 3 * 3;

int k = col /3 * 3;

//循环比较

for(int i = 0;i 8;i++){

if(n[j + i/3][k + i % 3] == 0){

continue;

}

for(int m = i+ 1;m 9;m++){

if(n[j + i/3][k + i % 3] == n[j + m/3][k + m % 3]){

return false;

}

}

}

return true;

}

/**

* 产生1-9之间的随机数字

* 规则：生成的随机数字放置在数组8-time下标的位置，随着time的增加，已经尝试过的数字将不会在取到

* 说明：即第一次次是从所有数字中随机，第二次时从前八个数字中随机，依次类推，

* 这样既保证随机，也不会再重复取已经不符合要求的数字，提高程序的效率

* 这个规则是本算法的核心

* @param time 填充的次数，0代表第一次填充

* @return

*/

public static int generateNum(int time){

//第一次尝试时，初始化随机数字源数组

if(time == 0){

for(int i = 0;i 9;i++){

num[i] = i + 1;

}

}

//第10次填充，表明该位置已经卡住，则返回0，由主程序处理退回

if(time == 9){

return 0;

}

//不是第一次填充

//生成随机数字，该数字是数组的下标，取数组num中该下标对应的数字为随机数字

int ranNum = (int)(Math.random() * (9 - time));

//把数字放置在数组倒数第time个位置，

int temp = num[8 - time];

num[8 - time] = num[ranNum];

num[ranNum] = temp;

//返回数字

return num[8 - time];

}

}

数独设计思路及全解

开始的话：这个程序现在还不稳定，有时出现运行时错误，跟踪是由于vector的size()方法引起的。调试发现中间的min_seq并没有完全按照作者的意图变化。

运行时，如果出现错误，就反复运行，运行成功即可出现一个正确的9*9数独矩阵。

如果要玩预先填充一些数的游戏，只需修改初始矩阵即可。

算法：为每个位置定义一个可选元素集合，每个更新是把它所在的行，列,所在的3×3方阵中已出现的元素从集合中去掉。填充时，从最小候选集合中选一个(可随即)填进去，更新候选集合，再填充，直到所有位置填充完毕，游戏结束。

/*******9×9数独游戏的计算机程序*******/

/*******作者：xiaocui******************/

/*******时间：2006.6.23****************/

/*******版本：v1.0*********************/

/*******算法思想***********************/

/******对每个位置的元素，考虑其可选取的数字

的集合，每次把候选元素个数最小的那个位置填充

从该最小候选集合中随机选取一个元素填充，重复

这个过程，直到所有元素填充完毕************/

/****适用填充全空的数独方格 和 填充已有一些数的数独方格*****/

/****对初始化的候选集的第一次更新正是为了解决第2类数独游戏***/

/****对于已填充一部分元素的，直接修改MATRIX矩阵即可*****/

/****数独游戏的结果不止一种********/

#include iostream

#include ctime

#include vector

using namespace std;

/**********初始9×9的矩阵*************/

/******元素为0，说明该位置还未填充***/

int MATRIX[9][9]={ {0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0},

{0,0,0,0,0,0,0,0,0} };

/*******初始给出的元素个数***********/

int INITIAL_COUNT;

/********已填充元素个数，作为填充结束标志**********/

int FINISH_COUNT=0;

/********各个元素的初始候选集合*******/

vectorvectorint IVEC(81);

/**************函数原型******************/

/*********得到初始给出的元素个数*******/

int get_initialcount();

/*******初始化候选集合***************/

void initial_candidate();

/***********从vector中删除指定元素*******/

void delete_value(vectorint ivec,int value);

/********更新候选集合**************/

void refresh_candidate();

/*********返回9×9候选集合元素最少的候选集合序号*******/

int min_seq();

/********随机生成一个位置序号并取得该序号所对应的元素值******/

int choose_seq(int min_seq);

/*******填充该元素并判断是否填充完毕********/

int is_finish(int min_seq, int choose_value);

int main()

{

/******得到初始给出的元素个数*****/

INITIAL_COUNT=get_initialcount();

/******初始化候选集合*******/

initial_candidate();

/********先更新候选集合(为了应付已经填充一部分数的情况)******/

refresh_candidate();

int i;

int MinSeq;

int ChooseValue;

MinSeq=min_seq();

ChooseValue=choose_seq(MinSeq);

while(is_finish(MinSeq,ChooseValue)!=1)

{

refresh_candidate();

MinSeq=min_seq();

ChooseValue=choose_seq(MinSeq);

}

/**********输出填好的数独游戏结果*********/

for( i=0;i9;++i)

{

for(int j=0;j9;++j)

{

coutMATRIX[i][j]'\t';

}

coutendl;

}

return 0;

}

/*******************函数定义***********************/

/*********得到初始给出的元素个数*******/

int get_initialcount()

{

int count=0;

for(int i=0;i9;++i)

{

for(int j=0;j9;++j)

{

if(MATRIX[i][j]!=0)

{

count++;

}

}

}

return count;

}

/*******初始化候选集合***************/

void initial_candidate()

{

for(int i=0;i81;++i)

{

for(int j=1;j10;++j)

{

IVEC[i].push_back(j);

}

}

}

/***********从vector中删除指定元素*******/

void delete_value(vectorint ivec,int value)

{

/*******如果ivec已经为空，直接退出**********/

if (ivec.size()==0)

{

return;

}

vectorint::iterator iter=ivec.begin();

while( iterivec.end() (*iter)!=value )

{

iter++;

}

if(iterivec.end())//在vector中找到已填充的元素，把它删除

{

ivec.erase(iter);

}

}

/********更新候选集合**************/

void refresh_candidate()

{

int i;

int rownum,colnum;

int row,col;

/******更新81个vector*******/

for(i=0;i81;++i)

{

row=i/9;

col=i%9;

if(MATRIX[row][col]!=0)//该位置已经填充

{

if(IVEC[i].size()!=0)//该vector不空

{

/********删除整个候选集***********/

IVEC[i].erase(IVEC[i].begin(),IVEC[i].end());

}

}

else

{

/*****删除同一行中的元素****/

for(colnum=0;colnum9;++colnum)

{

delete_value(IVEC[i],MATRIX[row][colnum]);

}

/*****删除同一列中的元素****/

for(rownum=0;rownum9;++rownum)

{

delete_value(IVEC[i],MATRIX[rownum][col]);

}

/*****删除在一个3×3方阵中的元素******/

/******在第1块中，删除3×3方阵元素*****/

if(row/3==0 col/3==0)

{

for(int r=0;r3;++r)

{

for(int c=0;c3;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第2块中，删除3×3方阵元素*****/

if(row/3==0 col/3==1)

{

for(int r=0;r3;++r)

{

for(int c=3;c6;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第3块中，删除3×3方阵元素*****/

if(row/3==0 col/3==2)

{

for(int r=0;r3;++r)

{

for(int c=6;c9;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第4块中，删除3×3方阵元素*****/

if(row/3==1 col/3==0)

{

for(int r=3;r6;++r)

{

for(int c=0;c3;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第5块中，删除3×3方阵元素*****/

if(row/3==1 col/3==1)

{

for(int r=3;r6;++r)

{

for(int c=3;c6;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第6块中，删除3×3方阵元素*****/

if(row/3==1 col/3==2)

{

for(int r=3;r6;++r)

{

for(int c=6;c9;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第7块中，删除3×3方阵元素*****/

if(row/3==2 col/3==0)

{

for(int r=6;r9;++r)

{

for(int c=0;c3;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第8块中，删除3×3方阵元素*****/

if(row/3==2 col/3==1)

{

for(int r=6;r9;++r)

{

for(int c=3;c6;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

/******在第9块中，删除3×3方阵元素*****/

if(row/3==2 col/3==2)

{

for(int r=6;r9;++r)

{

for(int c=6;c9;++c)

{

delete_value(IVEC[i],MATRIX[r][c]);

}

}

}

}

}

}

/*********返回9×9候选集合元素最少的候选集合序号*******/

int min_seq()

{

int count[81];

int i;

for(i=0;i81;++i)

{

count[i]=IVEC[i].size();

}

int value=10;

int min_seq;

for(i=0;i81;++i)

{

if(count[i]==0)

{

continue;

}

if(count[i]value)

{

value=count[i];

min_seq=i;

}

}

return min_seq;

}

/********随机生成一个位置序号并取得该序号所对应的元素值******/

int choose_seq(int min_seq)

{

/*****根据当前时间设置种子******/

srand((unsigned)time( NULL ));

int random_seq=rand()%(IVEC[min_seq].size());

return IVEC[min_seq][random_seq];

}

/*******填充该元素并判断是否填充完毕********/

int is_finish(int min_seq, int choose_value)

{

int row, column;

row=min_seq/9;

column=min_seq%9;

MATRIX[row][column]=choose_value;

FINISH_COUNT++; /****已填充元素个数加1*****/

/*******填充完毕判断********/

if(FINISH_COUNT==81-INITIAL_COUNT)

{

return 1;

}

else

{

return 0;

}

}

希望对你有帮助！！

c++或java 写一个解3阶数独的程序

123456789101112131415161718192021public static Geocache[] createGeocaches(int a) { if(a = 0) return new Geocache[0]; Random rand = new Random(); Geocache[] result = new Geocache[a]; for(int i = 0; i a; i++) { //因为题目没有描述，这里假设x, y是随机整数，Geocache有a href=";tn=44039180_cprfenlei=mv6quAkxTZn0IZRqIHckPjm4nH00T1dhrjIWn1D4n19hmWDzm1R0IAYqnWm3PW64rj0d0AP8IA3qPjfsn1bkrjKxmLKz0ZNzUjdCIZwsrBtEXh9GuA7EQhF9pywdQhPEUiqkIyN1IA-EUBtkPWm4rjR4rHbLPWR1nH63P16L" target="_blank" class="baidu-highlight"构造函数/a(int, int) int x = rand.nextInt(); int y = rand.nextInt(); result[i] = new Geocache(x, y); } return result; }

求数独高级解法

知道RStudio吗，随便填一个题目格式如下

8--------

--36-----

-7--9-2--

-5---7---

----457--

---1---3-

--1----68

--85---1-

-9----4--

存为sudo.txt

然后安装名为sudoku的package，运行下面的代码

install.packages("sudoku")

library(sudoku)

s - readSudoku("D:/sudoku.txt")

solveSudoku(s)

一共就两行代码，难一点的数独也不过10多秒吧就能解决。。。

当然这样就失去了做数独的乐趣了，不过当有人问你的时候，这个绝对是装逼神器

网页题目：java数独通解源代码 编程解数独
分享URL：http://ybzwz.com/article/hejcdc.html