[洛谷]P1380 T型骨牌 (#搜索)

题目描述

在n×m的棋盘上，摆入T型，T型可以旋转，具体包括如下四个样式（“#”代表被T型占据的格子，“.”代表自由的格子）：

###      ..#      .#.      #..
.#.      ###      .#.      ###
.#.      ..#      ###      #..
`

问最多能在 n×m的棋盘上摆入多少个不重叠的T型。

输入格式

两个数n，m。(1<=n,m<=9)

输出格式

一个数，最多能放入多少个T型

输入输出样例

输入 #1复制

5 6

输出 #1复制

4

说明/提示

样例说明：

---

思路

考虑dfs。

首先对于n,m<3的时候答案是0。

然后dfs+模拟。

剪枝:记录一下当前到这里最大的可以放多少，为dis[x][y]，如果有dfs[x][y]>ans+1就return。

最后还是90，加了个玄学优化就A了。

#include <stdio.h>
#include <iostream>
#include <memory.h>
#include <time.h>
#define inf 2e9+7
#define mian main
#define singed signed
using namespace std;
int n,m,s,a[11][11],dis[11][11];
bool vis[11][11],before[4][4];
int t1[3][3]={{1,1,1},{0,1,0},{0,1,0}};//T 
int t2[3][3]={{0,0,1},{1,1,1},{0,0,1}};
int t3[3][3]={{1,0,0},{1,1,1},{1,0,0}};
int t4[3][3]={{0,1,0},{0,1,0},{1,1,1}};
inline void debugt()//调试 
{
	register int i,j;
	for(i=1;i<=3;i++,cout<<endl)
	{
		for(j=1;j<=3;j++)
		{
			cout<<t1[i][j];
		}
	}cout<<endl;
	
	for(i=1;i<=3;i++,cout<<endl)
	{
		for(j=1;j<=3;j++)
		{
			cout<<t2[i][j];
		}
	}cout<<endl;
	
	for(i=1;i<=3;i++,cout<<endl)
	{
		for(j=1;j<=3;j++)
		{
			cout<<t3[i][j];
		}
	}cout<<endl;
	
	for(i=1;i<=3;i++,cout<<endl)
	{
		for(j=1;j<=3;j++)
		{
			cout<<t4[i][j];
		}
	}cout<<endl;
}
inline bool check(int x,int y,int f)//检查能不能以(x,y)为左上角填一个上 
{
	register int i,j;
	if(f==1)//上 
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				if(t1[i][j]==1 && a[i+x][j+y]==1) return 0;
				else if(i+x>n || j+y>m) return 0;
			}
		}
	}
	if(f==2)//右 
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				if(t2[i][j]==1 && a[i+x][j+y]==1) return 0;
				else if(i+x>n || j+y>m) return 0;
			}
		}
	}
	if(f==3)//左 
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				if(t3[i][j]==1 && a[i+x][j+y]==1) return 0;
				else if(i+x>n || j+y>m) return 0;
			}
		}
	}
	if(f==4)//下 
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				if(t4[i][j]==1 && a[i+x][j+y]==1) return 0;
				else if(i+x>n || j+y>m) return 0;
			}
		}
	}
	return 1;
}
void paint(int x,int y,int f)//将a数组涂上1 
{
	register int i,j;
	if(f==1)
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				a[i+x][j+y]=t1[i][j]|a[i+x][j+y];
			}
		}
	}
	if(f==2)
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				a[i+x][j+y]=t2[i][j]|a[i+x][j+y];
			}
		}
	}
	if(f==3)
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				a[i+x][j+y]=t3[i][j]|a[i+x][j+y];
			}
		}
	}
	if(f==4)
	{
		for(i=0;i<=3-1;i++)
		{
			for(j=0;j<=3-1;j++)
			{
				a[i+x][j+y]=t4[i][j]|a[i+x][j+y];
			}
		}
	}
	return;
}
void dfs(int x,int y,int ans)
{
	if(x>n || y>m+1) return;
	if(x==n && y==m+1)
	{
		s=max(s,ans);
		return;
	}
	if(y==m+1)//换行 
	{
		x++;y=1;
	}
	register int i,j;
	bool before[3][3]={0};//必须要把before放在dfs函数里 
	for(i=0;i<3;i++)
	{
		for(j=0;j<3;j++)
		{
			before[i][j]=a[i+x][j+y];//记录原先矩阵，回溯要用 
		}
	}
	//cout<<x<<' '<<y<<' '<<ans<<endl;
	
	if(dis[x][y]>ans+1 && rand()%2==1) return;//玄学剪枝 
	else if(dis[x][y]<ans) dis[x][y]=ans;
	if(check(x,y,1)==1)//如果可以填 
	{
		paint(x,y,1);//填 
		dfs(x,y+1,ans+1);//按照这个状态继续往下搜 
		for(i=0;i<3;i++)//回溯 
		{
			for(j=0;j<3;j++)
			{
				a[i+x][j+y]=before[i][j];
			}
		}
	}
	if(check(x,y,2)==1)
	{
		paint(x,y,2);
		dfs(x,y+1,ans+1);
		for(i=0;i<3;i++)
		{
			for(j=0;j<3;j++)
			{
				a[i+x][j+y]=before[i][j];
			}
		}
	}
	if(check(x,y,3)==1)
	{
		paint(x,y,3);
		dfs(x,y+1,ans+1);
		for(i=0;i<3;i++)
		{
			for(j=0;j<3;j++)
			{
				a[i+x][j+y]=before[i][j];
			}
		}
	}
	if(check(x,y,4)==1)
	{
		paint(x,y,4);
		dfs(x,y+1,ans+1);
		for(i=0;i<3;i++)
		{
			for(j=0;j<3;j++)
			{
				a[i+x][j+y]=before[i][j];
			}
		}
	}
	dfs(x,y+1,ans);
	return;
}
signed main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	register int i,j,k;
	cin>>n>>m;
	if(n<3 || m<3)
	{
		cout<<0<<endl;
		return 0;
	}
	//debugt();
	srand(n*m);
	dfs(1,1,0);
	cout<<s<<endl;
	return 0;
}