dnomd343
/
Sudoku
mirror of https://github.com/dnomd343/Sudoku
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

Add files via upload

master
dnomd343 5 years ago
committed by GitHub
parent
46c2855967
commit
b611a507ef
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 313 additions and 315 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 416
      Sudoku.cpp

416
Sudoku.cpp
View File

@ -1,27 +1,27 @@
#include<iostream> #include <iostream>
#include<vector> #include <vector>
#include<fstream> #include <fstream>
using namespace std; using namespace std;
ifstream File_Input; ifstream File_Input;
ofstream File_Output; ofstream File_Output;
struct Sudoku_Class{ //一个宫格的内容 struct Sudoku_Data { //一个宫格的内容
unsigned char Data; //数字1~9，0表示未完成 unsigned char Data; //数字1~9 0表示未完成
bool May[9]; //假设数 bool May[9]; //假设数
}; };
struct Try_Point_Class{ //假设链上的节点 struct Try_Point { //假设链上的节点
unsigned char Block_Num; //被假设的宫格编号 unsigned char Block_num; //被假设的宫格编号
unsigned char Point_Num; //当前正在被假设的Item编号 unsigned char Point_num; //当前正在被假设的item编号
vector <unsigned char> Item; //节点中的所有假设数 vector <unsigned char> item; //节点中的所有假设数
}; };
struct Sudoku_Class Base[81]; //全部81个宫格 struct Sudoku_Data Base[81]; //全部81个宫格
struct Sudoku_Class Backup[81]; //进行假设的时候暂存使用 struct Sudoku_Data Backup[81]; //进行假设的时候暂存使用
unsigned char Addr_Kind[3][9][9]; //行列宫对应的位置表 unsigned char Addr_Kind[3][9][9]; //行列宫对应的位置表
unsigned char Addr_Block[81][3]; //宫格所在行列宫的编号 unsigned char Addr_Block[81][3]; //宫格所在行列宫的编号
vector <struct Try_Point_Class> Try; //假设链 vector <struct Try_Point> Try; //假设链
struct Try_Point_Class Empty_Point; //空的假设节点 struct Try_Point Empty_Point; //空的假设节点
unsigned char Mode; bool display; //决定Solve_Output时是否输出
void Init(); void Init();
void Analyse(); void Analyse();
@ -34,282 +34,280 @@ bool Try_Next();
void Data_Input(); void Data_Input();
unsigned int Calculate(); unsigned int Calculate();
unsigned char Next_Empty_Block(unsigned char Start); unsigned char Next_Empty_Block(unsigned char Start);
void Init_Point(unsigned char Block_Num,unsigned char Point_Num); void Init_Point(unsigned char Block_num,unsigned char Point_num);
int main(){ int main() {
unsigned int Solve_Num,Dat; unsigned int Solve_num, dat;
Init(); Init();
cout<<"Welcome to Sudoku-Calculator!"<<endl; cout<<"Welcome to Sudoku-Calculator by Dnomd343"<<endl<<endl;
Restart:; Reinput:;
Data_Input(); Data_Input();
cout<<endl<<"The Input Data:"<<endl; cout<<"The Input Data:"<<endl<<endl;
Solve_Output(); for (int i = 0; i < 81; i++) {
cout<<"0.Go back and edit the data"<<endl; if (Base[i].Data == 0) {
cout<<"1.Show all solutions one by one"<<endl; cout<<"- ";
cout<<"2.Find the number of solutions in all cases"<<endl; } else {
cout<<"3.Find all solutions and output them to file"<<endl; cout<<int(Base[i].Data)<<" ";
cout<<endl<<"Select a mode and continue : "; }
cin>>Dat; if (i % 3 == 2) {cout<<" ";}
if((Dat>=1)&&(Dat<=3)){Mode=Dat;}else{goto Restart;} if (i % 9 == 8) {cout<<endl;}
cout<<"The mode is "<<int(Mode)<<" ,Press ENTER to Start Calculate..."; if (i % 27 == 26) {cout<<endl;}
cin.get();cin.get();
cout<<"Please Wait..."<<endl;
Solve_Num=Calculate();
if(Solve_Num==0){
cout<<"Error or No solve!!!"<<endl;
} }
else{ cout<<endl;
cout<<"Found "<<Solve_Num<<" Solution"<<endl; cout<<"0. Go Back and Edit the Data"<<endl;
cout<<"1. Just Search all the Cases"<<endl;
cout<<"2. Show all Solutions One by One"<<endl;
cout<<endl<<"Select a mode and then Continue : ";
cin>>dat;
cin.get();
if (dat == 1) {
display=false;
} else if (dat == 2) {
display=true;
} else {
goto Reinput;
}
cout<<"Please Wait..."<<endl<<endl;
Solve_num = Calculate();
if (Solve_num == 0) {
cout<<"Error or No solve!!!"<<endl;
} else {
cout<<"Found "<<Solve_num<<" Solution"<<endl;
} }
cout<<"Press ENTER to Exit..."; cout<<"Press ENTER to Exit...";
cin.get(); cin.get();
return 0; return 0;
} }
void Data_Input(){ //接受命令行下输入数独内容 void Data_Input() { //命令行模式下输入数独内容
unsigned int Num,i; unsigned int num = 0;
char Dat; char dat;
char Data[82]; Next:;
cout<<"Please Input the Data:"<<endl; cout<<endl<<endl<<endl<<endl<<endl;
Num=0;
Next:;
cout<<endl<<endl<<endl<<endl<<endl<<endl;
cout<<"You can Input the Command and then Press the ENTER"<<endl; cout<<"You can Input the Command and then Press the ENTER"<<endl;
cout<<"'+' : Next Block '-' : Last Block"<<endl; cout<<"'+' : Next Block '-' : Last Block"<<endl;
cout<<"'*' : Next Line '/' : Last Line"<<endl; cout<<"'*' : Next Line '/' : Last Line"<<endl;
cout<<"'=' : Compete '0' : Empty Block"<<endl; cout<<"'=' : Compete '0' : Empty Block"<<endl;
cout<<"'1' to '9' : The Number"<<endl<<endl; cout<<"'1' to '9' : The number"<<endl<<endl;
for(i=0;i<=80;i++){ for (int i = 0; i < 81; i++) {
Data[i]=Base[i].Data+48; if (i == num) {
}
Data[81]=0;
for(i=0;i<=80;i++){
if(i==Num){
cout<<"_"<<" "; cout<<"_"<<" ";
} else {
if (Base[i].Data == 48) {
cout<<"?"<<" ";
} else {
cout<<int(Base[i].Data)<<" ";
}
} }
else{ if (i % 3 == 2) {cout<<" ";}
if(Data[i]=='0'){cout<<"?"<<" ";}else{cout<<Data[i]<<" ";} if (i % 9 == 8) {cout<<endl;}
} if (i % 27 == 26) {cout<<endl;}
if(i%3==2){cout<<" ";}
if(i%9==8){cout<<endl;}
if(i%27==26){cout<<endl;}
}
cin>>Dat;
if(Dat==43){ // ‘+’
if(Num<=79){Num++;}
goto Next;
} }
else if(Dat==45){ // '-' cin>>dat;
if(Num>=1){Num--;} if (dat == 43) { // '+'
if (num <= 79) {num++;}
goto Next; goto Next;
} } else if (dat == 45) { // '-'
else if(Dat==42){ // '*' if (num >= 1) {num--;}
if(Num<=71){Num=Num+9;}
goto Next; goto Next;
} } else if (dat == 42) { // '*'
else if(Dat==47){ // '/' if (num <= 71) {num = num + 9;}
if(Num>=9){Num=Num-9;}
goto Next; goto Next;
} } else if (dat == 47) { // '/'
else if(Dat==61){} // '=' if (num >= 9) {num = num - 9;}
else if((Dat>=48)&&(Dat<=57)){ goto Next;
Base[Num].Data=int(Dat-48); } else if (dat == 61) {// '='
if(Num<=79){Num++;} } else if ((dat >= 48) && (dat <= 57)) { // 0~9
Base[num].Data = int(dat - 48);
if (num <= 79) {num++;}
goto Next;
} else { //其他
goto Next; goto Next;
} }
else{goto Next;}
} }
void Solve_Output(){ void Solve_Output() { //命令行模式下显示数独答案
unsigned char i; if (display == true) { //确认是否处于输出模式
char Data[82];
if(Mode==2){return;}
for(i=0;i<=80;i++){Data[i]=Base[i].Data+48;}
Data[81]=0;
if(Mode==0){
cout<<endl;
for(i=0;i<=80;i++){
if(Data[i]==48){cout<<"-"<<" ";}else{cout<<Data[i]<<" ";}
if(i%3==2){cout<<" ";}
if(i%9==8){cout<<endl;}
if(i%27==26){cout<<endl;}
}
}
else if(Mode==1){
cout<<endl; cout<<endl;
for(i=0;i<=80;i++){ for (int i = 0; i < 81; i++) {
cout<<Data[i]<<" "; cout<<int(Base[i].Data)<<" ";
if(i%3==2){cout<<" ";} if (i % 3 == 2) {cout<<" ";}
if(i%9==8){cout<<endl;} if (i % 9 == 8) {cout<<endl;}
if(i%27==26){cout<<endl;} if (i % 27 == 26) {cout<<endl;}
} }
cout<<"Press ENTER to Show Next Solution..."; cout<<"Press ENTER to Show Next Solution...";
cin.get(); cin.get();
cout<<endl; cout<<endl;
} }
else if(Mode==3){ char dat[82];
File_Output<<Data<<endl; for (int i = 0; i < 81; i++) {dat[i] = Base[i].Data + 48;}
} File_Output<<dat<<endl; //将结果保存到文件中
} }
unsigned int Calculate(){ //主计算函数 unsigned int Calculate() { //主计算函数
unsigned char i; unsigned char i;
int Solve_Num=0; int Solve_num = 0;
if(Mode==3){File_Output.open("Data_Output.txt");} File_Output.open("Sudoku_Output.txt");
Engine(); //初步排除运算 Engine(); //初步排除运算
if(Check_Error()==true){File_Output.close();return 0;} //输入的数独有误 if (Check_Error() == true) { //输入的数独有误
if(Check_Compete()==true){Solve_Output();File_Output.close();return 1;} //输入的数独已完成 File_Output.close();
for(i=0;i<=80;i++){Backup[i]=Base[i];} //备份数据 假设时暂存 return 0;
Create_New_Point(); //创建假设链根节点 }
while(1){ if (Check_Compete() == true) { //输入的数独已完成
for(i=0;i<=(Try.size()-1);i++){ //装载假设链 Solve_Output();
Base[Try[i].Block_Num].Data=Try[i].Item[Try[i].Point_Num]; File_Output.close();
} return 1;
Engine(); //进行排除运算 }
if(Check_Error()==true){ //当前假设错误 for (i = 0; i < 81; i++) {Backup[i] = Base[i];} //备份数据 假设时暂存
if(Try_Next()==false){break;} //没有下一个假设，则该数独无解，退出 Create_New_Point(); //创建假设链根节点
while (1 == 1) {
for (i = 0; i < Try.size(); i++) { //装载假设链
Base[Try[i].Block_num].Data = Try[i].item[Try[i].Point_num];
} }
else{ //当前假设可能正确 Engine(); //进行排除运算
if(Check_Compete()==false){ //若仍未完成，则创建新的假设节点 if (Check_Error() == 1) { //当前假设错误
if(Try_Next() == false) {break;} //没有下一个假设，则该数独无解，退出
} else { //当前假设可能正确
if (Check_Compete() == false) { //若仍未完成，则创建新的假设节点
Create_New_Point(); Create_New_Point();
} } else { //若已完成
else{ //已完成
Solve_Output(); Solve_Output();
Solve_Num++; //答案数目+1 Solve_num++; //答案数目+1
if(Try_Next()==false){break;} //没有下一个假设，求解完成，退出 if (Try_Next() == false) {break;} //没有下一个假设，求解完成，退出
} }
} }
} }
File_Output.close(); File_Output.close();
return Solve_Num; return Solve_num;
} }
bool Try_Next(){ //当前假设错误，装载下一个假设 bool Try_Next() { //当前假设错误，装载下一个假设
unsigned char i; unsigned char i;
while((Try[Try.size()-1].Point_Num>=(Try[Try.size()-1].Item.size()-1))){ while (Try[Try.size()-1].Point_num >= (Try[Try.size()-1].item.size()-1)) {
if(Try.size()==1){return false;} if (Try.size() == 1) {return false;}
Try.resize(Try.size()-1); Try.resize(Try.size()-1);
} }
Try[Try.size()-1].Point_Num++; //假设链末节点指向下一个Item Try[Try.size()-1].Point_num++; //假设链末节点指向下一个item
for(i=0;i<=80;i++){ //将备份数据重新装载 for (i = 0; i < 81; i++) {Base[i] = Backup[i];} //重新装载备份数据
Base[i]=Backup[i]; return true;
}
return true; //成功
} }
void Create_New_Point(){ //创建新的假设链节点 void Create_New_Point() {
Try.push_back(Empty_Point); Try.push_back(Empty_Point);
if(Try.size()==1){ //若为根节点 if (Try.size() == 1) { //若为根节点
Init_Point(Next_Empty_Block(0),0); //从第一格开始搜索未完成宫格 Init_Point(Next_Empty_Block(0),0); //从第一格开始搜索未完成宫格
} } else { //若不是根节点
else{ //若不是根节点 Init_Point(Next_Empty_Block(Try[Try.size()-2].Block_num+1),Try.size()-1); //从上一节点指向的宫格开始搜索未完成宫格
Init_Point(Next_Empty_Block(Try[Try.size()-2].Block_Num+1),Try.size()-1); //从上一节点指向的宫格开始搜索未完成宫格
} }
} }
void Init_Point(unsigned char Block_Num,unsigned char Point_Num){ //初始化假设链节点 Block_Num->被假设宫格的编号 Point_Num->节点的编号 void Init_Point(unsigned char Block_num,unsigned char Point_num) { //初始化假设链节点 Block_num->被假设宫格的编号 Point_num->节点的编号
unsigned char i; unsigned char i;
Try[Point_Num].Block_Num=Block_Num; Try[Point_num].Block_num = Block_num;
for(i=0;i<=8;i++){ for (i = 0; i < 9; i++) {
if(Base[Try[Point_Num].Block_Num].May[i]==true){ //遍历目标宫格的所有假设数并加入到该节点的Item中 if (Base[Try[Point_num].Block_num].May[i] == true) { //遍历目标宫格的所有假设数并加入到该节点的item中
Try[Point_Num].Item.push_back(i+1); Try[Point_num].item.push_back(i + 1);
} }
} }
Try[Point_Num].Point_Num=0; //指向Item中的第一个假设数 Try[Point_num].Point_num = 0; //指向item中的第一个假设数
} }
unsigned char Next_Empty_Block(unsigned char Start){ //找到下一个未确定答案的宫格并返回其编号 unsigned char Next_Empty_Block(unsigned char Start) { //找到下一个未确定答案的宫格并返回其编号
unsigned char i; unsigned char i;
for(i=Start;i<=80;i++){ for (i = Start; i < 81; i++) {
if(Base[i].Data==0){return i;} if (Base[i].Data == 0) {return i;}
} }
return 0; //没有未确定宫格 return 0; //没有未确定宫格
} }
bool Check_Error(){ //检查数独是否存在错误 bool Check_Error() { //检查数独是否存在错误
unsigned char kind,num,add,item; unsigned char kind, num, add, item;
for(kind=0;kind<=2;kind++){ //分别扫描行列宫 for (kind = 0; kind < 3; kind++) { //分别扫描行列宫
for(num=0;num<=8;num++){ for (num = 0; num < 9; num++) {
for(item=1;item<=9;item++){ for (item = 1; item <= 9; item++) {
add=0; add = 0;
for(unsigned char k=0;k<=8;k++){ for (unsigned char k = 0; k < 9; k++) {
if(Base[Addr_Kind[kind][num][k]].Data==item){add++;} if (Base[Addr_Kind[kind][num][k]].Data == item) {add++;}
} }
if(add>=2){return true;} //若一组行列宫中存在两个相同的数 -> 错误退出 if (add >= 2) {return true;} //若一组行列宫中存在两个相同的数 -> 错误退出
} }
} }
} }
for(num=0;num<=80;num++){ //扫描全部宫格 for (num = 0; num < 81; num++) { //扫描全部宫格
if(Base[num].Data==0){ //若未完成 if (Base[num].Data == 0) { //若未完成
add=0; add = 0;
for(unsigned char k=0;k<=8;k++){ //遍历其所有假设数 for (unsigned char k = 0; k < 9; k++) { //遍历其所有假设数
if(Base[num].May[k]==true){add++;} if (Base[num].May[k] == true) {add++;}
} }
if(add==0){return true;} //没有可能的数 -> 错误退出 if (add == 0) {return true;} //没有可能的数 -> 错误退出
} }
} }
return false; //暂时未发现错误 return false; //暂时未发现错误
} }
bool Check_Compete(){ //判断数独是否完成 bool Check_Compete() { //判断数独是否完成
unsigned char i; unsigned char i;
for(i=0;i<=80;i++){ for (i = 0; i < 81; i++) {
if(Base[i].Data==0){return false;} if (Base[i].Data == 0) {return false;}
} }
return true; return true;
} }
void Engine(){ //使用排除法 void Engine() { //使用排除法消去不可能的数
unsigned char kind,num,item,add,dat; unsigned char kind, num, item, add, dat;
bool Could_Solve; bool Could_Solve;
Again:; Again:;
Analyse(); //每次排除前应先消去假设数 Analyse(); //每次排除前应先消去假设数
Could_Solve=false; Could_Solve = false;
for(kind=0;kind<=2;kind++){ //分别扫描行列宫 for (kind = 0; kind < 3; kind++) { //分别扫描行列宫
for(num=0;num<=8;num++){ for (num = 0; num < 9; num++) {
for(item=0;item<=8;item++){ for (item = 0; item < 9; item++) {
add=0; add = 0;
for(unsigned char k=0;k<=8;k++){ for(unsigned char k = 0; k < 9; k++) { //记录一组行列宫中的可能数
if((Base[Addr_Kind[kind][num][k]].Data==0)&&(Base[Addr_Kind[kind][num][k]].May[item]==true)){add++;dat=k;} //记录一组行列宫中的可能数 if ((Base[Addr_Kind[kind][num][k]].Data == 0) && (Base[Addr_Kind[kind][num][k]].May[item] == true)) {
add++;
dat = k;
}
}
if (add == 1) { //若仅有唯一可能数，则该宫格答案确定
Base[Addr_Kind[kind][num][dat]].Data = item + 1;
Could_Solve = true;
} }
if(add==1){Base[Addr_Kind[kind][num][dat]].Data=item+1;Could_Solve=true;} //若仅有唯一可能数，则该宫格答案确定
} }
} }
if(Could_Solve==true){goto Again;} //一直循环直到没有排除对象 if (Could_Solve == true) {goto Again;} //一直循环直到没有排除对象
} }
} }
void Analyse(){ //消去假设数 void Analyse() { //消去假设数
unsigned char num,kind,item; unsigned char num, kind, item;
for(num=0;num<=80;num++){ //遍历所有宫格 for (num = 0; num < 81; num++) { //遍历所有宫格
if(Base[num].Data!=0){ //若该宫格已完成 if (Base[num].Data != 0) { //若该宫格已完成
for(kind=0;kind<=2;kind++){ //分别对行列宫操作 for (kind = 0; kind < 3; kind++) { //分别扫描行列宫
for(item=0;item<=8;item++){ for (item = 0; item < 9; item++) {
Base[Addr_Kind[kind][Addr_Block[num][kind]][item]].May[Base[num].Data-1]=false; //消去同行同列同宫的假设数 Base[Addr_Kind[kind][Addr_Block[num][kind]][item]].May[Base[num].Data - 1] = false; //消去同行同列同宫的假设数
} }
} }
} }
} }
} }
void Init(){ //初始化容器 void Init() { //初始化容器
unsigned char i,j,x,y; unsigned char i, j, x, y;
for(i=0;i<=8;i++){ //初始化行与列的位置表 for (i = 0; i < 9; i++) { //初始化行与列的位置表
for(j=0;j<=8;j++){ for (j = 0; j < 9; j++) {
Addr_Kind[0][i][j]=i*9+j; Addr_Kind[0][i][j] = i * 9 + j;
Addr_Kind[1][i][j]=j*9+i; Addr_Kind[1][i][j] = j * 9 + i;
} }
} }
for(x=0;x<=2;x++){ //初始化九宫格的位置表 for (x = 0; x < 3; x++) { //初始化九宫格的位置表
for(y=0;y<=2;y++){ for (y = 0; y < 3; y++) {
for(i=0;i<=2;i++){ for (i = 0; i < 3; i++) {
for(j=0;j<=2;j++){ for (j = 0; j < 3; j++) {
Addr_Kind[2][y*3+x][j*3+i]=(y*3+j)*9+(x*3+i); Addr_Kind[2][y*3 + x][j*3 + i] = (y*3 + j) * 9 + (x*3 + i);
} }
} }
} }
} }
for(i=0;i<=2;i++){ //初始化宫格所在行列宫的编号 for (i = 0; i < 3; i++) { //初始化宫格所在行列宫的编号
for(x=0;x<=8;x++){ for (x = 0; x < 9; x++) {
for(y=0;y<=8;y++){ for (y = 0; y < 9; y++) {
Addr_Block[Addr_Kind[i][x][y]][i]=x; Addr_Block[Addr_Kind[i][x][y]][i] = x;
} }
} }
} }
for(i=0;i<=80;i++){ //清空所有假设数 for (i = 0; i < 81; i++) { //清空所有假设数
for(j=0;j<=8;j++){ for (j = 0; j < 9; j++) {
Base[i].May[j]=true; Base[i].May[j] = true;
} }
} }
for(i=0;i<=80;i++){ //清空所有数字 for (i = 0; i < 81; i++) {Base[i].Data = 0;} //清空所有数字
Base[i].Data=0;
}
} }

Write Preview
Loading…
Cancel
Save