首页 > 代码库 > poj 2676 数独 Dancing-Links(DLX)
poj 2676 数独 Dancing-Links(DLX)
题目大意:。。。。数独还用我说么
首先一般的解法都是爆搜,爆搜的话绝对懒得做。。于是我作死去学了Dancing-Links数据结构优化的X算法,简称DLX算法
Dancing-Links虽然名字好听,但是其实实质就是双向十字链表。。但是由于调试的时候各种挂,指针还看着及其闹心(经常调试链式结构的人一定深有同感),所以只能在调试区各种加指针删指针,来回飞舞的指针,即Dancing-Links。。。
这算法的作者太有才了,不得不说。。。。
DLX算法主要解决的是精确覆盖问题,具体做法见 http://www.cnblogs.com/grenet/p/3145800.html
这里我们要把数独问题转化为精确覆盖问题
首先数独的约束条件是什么?
1.一个格子里只能放一个数
2.每行同一数字只能放一个
3.每列同一数字只能放一个
4.每个九宫格中同一数字只能放一个
于是我们每一行就有四组约束条件:
1.81列,代表这个格子中已经放了数字
2.81列,代表第i行已经放了数字j
3.81列,代表第i列已经放了数字j
4.81列,代表第i个九宫格中已经放了数字j
然后每个格子的每种填放可能作为一行加进去就可以了
记住一定要采用A*算法,不然会死!
每次选择当前拥有1最少的列进行更新,不然必死无疑
最后贴代码 我的head开在了十字链表的最下方 加行比较方便
<pre class="sh_cpp sh_sourceCode" style="background-color: white;font-size:14px; font-family: 'Courier New', Courier, monospace;"><pre name="code" class="html">#include<cstdio> #include<cstring> #include<iostream> #include<algorithm> using namespace std; struct abcd *stack[4000]; int top; struct abcd{ abcd *l,*r,*u,*d; int x,y,num; abcd *bottom; abcd(abcd *L,abcd *R,abcd *U,abcd *D,int X,int Y,int Num) { l=L;if(L)L->r=this; r=R;if(R)R->l=this; u=U;if(U)U->d=this; d=D;if(D)D->u=this; x=X;y=Y;num=Num; bottom=d; if(bottom) bottom->x++; } void del() { if(l)l->r=r; if(r)r->l=l; if(u)u->d=d; if(d)d->u=u; if(bottom) bottom->x--; stack[++top]=this; } void restore() { if(l)l->r=this; if(r)r->l=this; if(u)u->d=this; if(d)d->u=this; if(bottom) bottom->x++; } }*head,*heads[400]; int m,n,map[9][9]; bool flag; void del_column(int pos) { abcd *temp1,*temp2; for(temp1=heads[pos]->u;temp1;temp1=temp1->u) { for(temp2=temp1->l;temp2;temp2=temp2->l) temp2->del(); for(temp2=temp1->r;temp2;temp2=temp2->r) temp2->del(); temp1->del(); } heads[pos]->del(); } inline void output() { int i,j; for(i=0;i<9;i++) { for(j=0;j<9;j++) putchar(map[i][j]+'0'); putchar('\n'); } } void DLX() { if(!head->r) { output(); flag=1; return ; } int bottom=top,minnum=0x7fffffff; abcd *temp,*mintemp; for(temp=head->r;temp;temp=temp->r) if(temp->x<minnum) minnum=temp->x,mintemp=temp; for(temp=mintemp->u;temp;temp=temp->u) { int x=temp->x,y=temp->y,num=temp->num; map[x][y]=num; del_column(x*9+y+1 ); del_column(81+x*9+num ); del_column(162+y*9+num ); del_column(243+(x/3*3+y/3)*9+num ); DLX(); if(flag) return ; while(top!=bottom) stack[top--]->restore(); } } void add(int x,int y,int num) { abcd *last=0x0,*temp; temp=heads[x*9+y+1 ],last=new abcd(last,0x0,temp->u,temp,x,y,num); temp=heads[81+x*9+num ],last=new abcd(last,0x0,temp->u,temp,x,y,num); temp=heads[162+y*9+num ],last=new abcd(last,0x0,temp->u,temp,x,y,num); temp=heads[243+(x/3*3+y/3)*9+num ],last=new abcd(last,0x0,temp->u,temp,x,y,num); } int main() { int T,i,j,k,x; abcd *temp,*last; //freopen("sudoku.in","r",stdin); //freopen("sudoku.out","w",stdout); for(cin>>T;T;T--) { head=new abcd(0x0,0x0,0x0,0x0,0,0,0);top=0;flag=0; for(i=1,last=head;i<=81*4;i++) last=new abcd(last,0x0,0x0,0x0,0,0,i),heads[i]=last; for(i=0;i<9;i++) for(j=0;j<9;j++) scanf("%1d",&map[i][j]); for(i=0;i<9;i++) for(j=0;j<9;j++) if(map[i][j]) add(i,j,map[i][j]); else for(k=1;k<=9;k++) add(i,j,k); DLX(); } }
poj 2676 数独 Dancing-Links(DLX)
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。