爱悠闲 > BZOJ 1501 NOI2005 智慧珠游戏 Dancing-Links(DLX)

BZOJ 1501 NOI2005 智慧珠游戏 Dancing-Links(DLX)

分类: BZOJ  |  标签: BZOJ,BZOJ1501,NOI2005,智慧珠游戏,DLX  |  作者: popoqqq 相关  |  发布日期 : 2014-10-14  |  热度 : 689°

题目大意:给定一个10*10的三角形棋盘和12种零件,每种零件只能放一次,可以旋转和翻转,一些零件已经放在了上面,求一种方案,使12个零件无重叠地放在棋盘上

首先这题目一看就是DLX 但是建图真心恶心 需要枚举每一个零件的最多八个朝向的所有位置 我一开始想要全部代码处理 但是后来发现真做不了

于是我选择了打表录入12个零件的所有60种朝向,选择第一排最左面的点作为基点,依次得出每个点关于基点的相对位置,然后再图上枚举基点的位置,若所有点都在图上就加行

一共60*5*2的表 打了40分钟 键盘被敲得噼里啪啦响 晚上还没吃饭 差点把体内(C6H12O6)n全部消耗掉0.0

这个写完之后稍微一调就过去了~ 还WA了一次,忘了输出No solution。。。。。

代码一共6.8KB 表占了很大空间 不过对比一下大牛们的代码发现我的都短了 这年这三道题真是一道比一道恶心

此外这题一共有32288种放法。。。我好无聊。。。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int top;
struct abcd *stack[40000];
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);
	void del();
	void output();
	void restore();
}*head,*heads[100];

const int start[]={0,0,4,6,14,15,19,27,31,39,47,48,52,60};
const int size[]={0,3,4,4,4,5,5,5,5,5,5,5,5};
const int table[60][5][2]={
	
	{ {0,0} , {1,0} , {1,1} , {0,0} , {0,0} },
	{ {0,0} , {1,-1} , {1,0} , {0,0} , {0,0} },
	{ {0,0} , {0,1} , {1,0} , {0,0} , {0,0} },
	{ {0,0} , {0,1} , {1,1} , {0,0} , {0,0} },
	
	{ {0,0} , {0,1} , {0,2} , {0,3} , {0,0} },
	{ {0,0} , {1,0} , {2,0} , {3,0} , {0,0} },
	
	{ {0,0} , {0,1} , {0,2} , {1,0} , {0,0} },
	{ {0,0} , {0,1} , {1,1} , {2,1} , {0,0} },
	{ {0,0} , {1,-2} , {1,-1} , {1,0} , {0,0} },
	{ {0,0} , {1,0} , {2,0} , {2,1} , {0,0} },
	{ {0,0} , {0,1} , {1,0} , {2,0} , {0,0} },
	{ {0,0} , {0,1} , {0,2} , {1,2} , {0,0} },
	{ {0,0} , {1,0} , {2,0} , {2,-1} , {0,0} },
	{ {0,0} , {1,0} , {1,1} , {1,2} , {0,0} },
	
	{ {0,0} , {0,1} , {1,0} , {1,1} , {0,0} },
	
	{ {0,0} , {1,0} , {2,0} , {2,1} , {2,2} },
	{ {0,0} , {0,1} , {0,2} , {1,0} , {2,0} },
	{ {0,0} , {0,1} , {0,2} , {1,2} , {2,2} },
	{ {0,0} , {1,0} , {2,-2} , {2,-1} , {2,0} },
	
	{ {0,0} , {1,-2} , {1,-1} , {1,0} , {1,1} },
	{ {0,0} , {1,0} , {2,0} , {2,1} , {3,0} },
	{ {0,0} , {0,1} , {0,2} , {0,3} , {1,1} },
	{ {0,0} , {1,-1} , {1,0} , {2,0} , {3,0} },
	{ {0,0} , {1,0} , {1,1} , {2,0} , {3,0} },
	{ {0,0} , {0,1} , {0,2} , {0,3} , {1,2} },
	{ {0,0} , {1,0} , {2,-1} , {2,0} , {3,0} },
	{ {0,0} , {1,-1} , {1,0} , {1,1} , {1,2} },
	
	{ {0,0} , {0,2} , {1,0} , {1,1} , {1,2} },
	{ {0,0} , {0,1} , {1,0} , {2,0} , {2,1} },
	{ {0,0} , {0,1} , {0,2} , {1,0} , {1,2} },
	{ {0,0} , {0,1} , {1,1} , {2,0} , {2,1} },
	
	{ {0,0} , {0,1} , {1,0} , {1,1} , {2,1} },
	{ {0,0} , {0,1} , {1,-1} , {1,0} , {1,1} },
	{ {0,0} , {1,0} , {1,1} , {2,0} , {2,1} },
	{ {0,0} , {0,1} , {0,2} , {1,0} , {1,1} },
	{ {0,0} , {0,1} , {0,2} , {1,1} , {1,2} },
	{ {0,0} , {1,-1} , {1,0} , {2,-1} , {2,0} },
	{ {0,0} , {0,1} , {1,0} , {1,1} , {1,2} },
	{ {0,0} , {0,1} , {1,0} , {1,1} , {2,0} },
	
	{ {0,0} , {1,-1} , {1,0} , {2,-1} , {3,-1} },
	{ {0,0} , {0,1} , {0,2} , {1,2} , {1,3} },
	{ {0,0} , {1,0} , {2,-1} , {2,0} , {3,-1} },
	{ {0,0} , {0,1} , {1,1} , {1,2} , {1,3} },
	{ {0,0} , {0,1} , {1,-2} , {1,-1} , {1,0} },
	{ {0,0} , {1,0} , {2,0} , {2,1} , {3,1} },
	{ {0,0} , {0,1} , {0,2} , {1,-1} , {1,0} },
	{ {0,0} , {1,0} , {1,1} , {2,1} , {3,1} },
	
	{ {0,0} , {1,-1} , {1,0} , {1,1} , {2,0} },
	
	{ {0,0} , {1,0} , {1,1} , {2,1} , {2,2} },
	{ {0,0} , {0,1} , {1,-1} , {1,0} , {2,-1} },
	{ {0,0} , {0,1} , {1,1} , {1,2} , {2,2} },
	{ {0,0} , {1,-1} , {1,0} , {2,-2} , {2,-1} },
	
	{ {0,0} , {1,-3} , {1,-2} , {1,-1} , {1,0} },
	{ {0,0} , {1,0} , {2,0} , {3,0} , {3,1} },
	{ {0,0} , {0,1} , {0,2} , {0,3} , {1,0} },
	{ {0,0} , {0,1} , {1,1} , {2,1} , {3,1} },
	{ {0,0} , {0,1} , {1,0} , {2,0} , {3,0} },
	{ {0,0} , {0,1} , {0,2} , {0,3} , {1,3} },
	{ {0,0} , {1,0} , {2,0} , {3,-1} , {3,0} },
	{ {0,0} , {1,0} , {1,1} , {1,2} , {1,3} }
};
int map[11][11],repos[11][11],cnt=12;
bool appeared[13],mark[11][11];

void DLX();
void output();
void find(int p);
inline char getnum();
void del_row(abcd *pos);
void add(int p,int pos);
void del_column(abcd *pos);

int main()
{
	int i,j;
	abcd *last;
	head=new abcd(0x0,0x0,0x0,0x0,0,0,0);
	for(last=head,i=1;i<=67;i++)
		last=new abcd(last,0x0,0x0,0x0,0,0,0),heads[i]=last;
	
	for(i=1;i<=10;i++)
		for(j=1;j<=i;j++)
			repos[i][j]=++cnt,map[i][j]=getnum();
	
	for(i=1;i<=12;i++)
		if(!appeared[i])
			for(j=start[i];j!=start[i+1];j++)
				add(i,j);
		else
			find(i);
	DLX();
	puts("No solution");
	return 0;
}

abcd :: 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 abcd :: 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 abcd :: 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++;
}
void output()
{
	int i,j;
	for(i=1;i<=10;i++)
	{
		for(j=1;j<=i;j++)
			putchar(map[i][j]+'A'-1);
		putchar('\n');
	}
}
void del_column(abcd *pos)
{
	abcd *temp1,*temp2;
	for(temp1=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();
	}
	pos->del();
}
void del_row(abcd *pos)
{
	if(!pos)
		return ;
	del_row(pos->r);
	del_column(pos->bottom);
	int x=pos->x,y=pos->y,num=pos->num;
		map[x][y]=num;
}
void DLX()
{
	if(!head->r)
	{
		output();
		exit(0);
	}
	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)
	{
	
		for(mintemp=temp;mintemp->l;mintemp=mintemp->l);
		del_row(mintemp);
		
		DLX();
		while(top!=bottom)
			stack[top--]->restore();
	}
}
inline char getnum()
{
	char c;
	do c=getchar(); while(c==' '||c=='\n'||c=='\r');
	if(c=='.')
		return 0;
	appeared[c-'A'+1]=1;
	return c-'A'+1;
}
void add(int p,int pos)
{
	int i,j,k,x,y;
	for(i=1;i<=10;i++)
		for(j=1;j<=i;j++)
		{
			for(k=0;k<size[p];k++)
			{
				x=i+table[pos][k][0];
				y=j+table[pos][k][1];
				if(x>0&&y>0&&x<=10&&y<=x);
				else
					break;
			}
			if(k==size[p])
			{
				abcd *last,*temp;
				temp=heads[ p ];
				last = new abcd(0x0,0x0,temp->u,temp,0,0,0);
				for(k=0;k<size[p];k++)
				{
					x=i+table[pos][k][0];
					y=j+table[pos][k][1];
					temp=heads[ repos[x][y] ];
					last = new abcd(last,0x0,temp->u,temp,x,y,p);
				}
			}
		}
}
void find(int p)
{
	int i,j;
	abcd *last,*temp;
	temp=heads[ p ];
	last = new abcd(0x0,0x0,temp->u,temp,0,0,0);
	for(i=1;i<=10;i++)
		for(j=1;j<=i;j++)
			if(map[i][j]==p)
				temp=heads[ repos[i][j] ],last = new abcd(last,0x0,temp->u,temp,i,j,p);
}