P1074

[NOIP2009 提高组] 靶形数独

题目背景

此为远古题，不保证存在可以通过任意符合要求的输入数据的程序。

题目描述

小城和小华都是热爱数学的好学生，最近，他们不约而同地迷上了数独游戏，好胜的他们想用数独来一比高低。但普通的数独对他们来说都过于简单了，于是他们向 Z 博士请教，Z 博士拿出了他最近发明的“靶形数独”，作为这两个孩子比试的题目。

靶形数独的方格同普通数独一样，在 \(9\) 格宽且 \(9\) 格高的大九宫格中有 \(9\) 个 \(3\) 格宽且 \(3\) 格高的小九宫格（用粗黑色线隔开的）。在这个大九宫格中，有一些数字是已知的，根据这些数字，利用逻辑推理，在其他的空格上填入 \(1\) 到 \(9\) 的数字。每个数字在每个小九宫格内不能重复出现，每个数字在每行、每列也不能重复出现。但靶形数独有一点和普通数独不同，即每一个方格都有一个分值，而且如同一个靶子一样，离中心越近则分值越高。（如图）

上图具体的分值分布是：最里面一格（黄色区域）为 \(10\) 分，黄色区域外面的一圈（红色区域）每个格子为 \(9\) 分，再外面一圈（蓝色区域）每个格子为 \(8\) 分，蓝色区域外面一圈（棕色区域）每个格子为 \(7\) 分，最外面一圈（白色区域）每个格子为 \(6\) 分，如上图所示。比赛的要求是：每个人必须完成一个给定的数独（每个给定数独可能有不同的填法），而且要争取更高的总分数。而这个总分数即每个方格上的分值和完成这个数独时填在相应格上的数字的乘积的总和

总分数即每个方格上的分值和完成这个数独时填在相应格上的数字的乘积的总和。如图，在以下的这个已经填完数字的靶形数独游戏中，总分数为 2829。游戏规定，将以总分数的高低决出胜负。

由于求胜心切，小城找到了善于编程的你，让你帮他求出，对于给定的靶形数独，能够得到的最高分数。

输入格式

一共 \(9\) 行。每行 \(9\) 个整数（每个数都在 \(0 \sim 9\) 的范围内），表示一个尚未填满的数独方格，未填的空格用“\(0\)”表示。每两个数字之间用一个空格隔开。

输出格式

输出共 \(1\) 行。输出可以得到的靶形数独的最高分数。如果这个数独无解，则输出整数 \(-1\)。

样例 #1

样例输入 #1

7 0 0 9 0 0 0 0 1 
1 0 0 0 0 5 9 0 0 
0 0 0 2 0 0 0 8 0 
0 0 5 0 2 0 0 0 3 
0 0 0 0 0 0 6 4 8 
4 1 3 0 0 0 0 0 0 
0 0 7 0 0 2 0 9 0 
2 0 1 0 6 0 8 0 4 
0 8 0 5 0 4 0 1 2

样例输出 #1

2829

样例 #2

样例输入 #2

0 0 0 7 0 2 4 5 3 
9 0 0 0 0 8 0 0 0 
7 4 0 0 0 5 0 1 0 
1 9 5 0 8 0 0 0 0 
0 7 0 0 0 0 0 2 5 
0 3 0 5 7 9 1 0 8 
0 0 0 6 0 1 0 0 0 
0 6 0 9 0 0 0 0 1 
0 0 0 0 0 0 0 0 6

样例输出 #2

2852

提示

数据规模与约定

对于 \(40\%\) 的数据，数独中非 \(0\) 数的个数不少于 \(30\)；
对于 \(80\%\) 的数据，数独中非 \(0\) 数的个数不少于 \(26\)；
对于 \(100\%\) 的数据，数独中非 \(0\) 数的个数不少于 \(24\)。

正常爆搜就能过 有一个优化：

心理学优化！

出题人肯定猜想大多数人都是从（1，1）正着搜 所以最优解在很后面
所以 当你掌握了出题人卡数据的方法后 你就可以反着搜
从（9，9）开始
快的不止亿点点……
当然 信仰剪枝也可以加

点击查看代码

#include<bits/stdc++.h>
using namespace std;
int a[10][10],maxx;
int heng[10][10],shu[10][10],gong[10][10],flag=0;
int tim=0;
int fs[10][10]={0,0,0,0,0,0,0,0,0,0,
				0,6,6,6,6,6,6,6,6,6,
				0,6,7,7,7,7,7,7,7,6,
				0,6,7,8,8,8,8,8,7,6,
				0,6,7,8,9,9,9,8,7,6,
				0,6,7,8,9,10,9,8,7,6,
				0,6,7,8,9,9,9,8,7,6,
				0,6,7,8,8,8,8,8,7,6,
				0,6,7,7,7,7,7,7,7,6,
				0,6,6,6,6,6,6,6,6,6
						};
inline int id(int x,int y)
{
	return ((x+2)/3-1)*3+(y+2)/3;
}
void dfs(int x,int y,int score)
{
	if(x==0&&y==9)
	{
		flag=1;
		maxx=max(maxx,score);
		return ;
	}
	tim++;
//	if(tim>2e7+8e6+6e5)return ;
	if(a[x][y])
	{
		if(y==1)dfs(x-1,9,score);
		else dfs(x,y-1,score);
	}
	else
	{
		for(int i=9;i>=1;i--)
		{
			if(heng[x][i]||shu[y][i]||gong[id(x,y)][i])continue;
			heng[x][i]=1;
			shu[y][i]=1;
			gong[id(x,y)][i]=1;
			a[x][y]=i;
			if(y==1)dfs(x-1,9,score+i*fs[x][y]);
			else dfs(x,y-1,score+i*fs[x][y]);
			heng[x][i]=0;
			shu[y][i]=0;
			gong[id(x,y)][i]=0;
			a[x][y]=0;
		}
	}
}
int main()
{
	ios::sync_with_stdio(false);
	for(int i=1;i<=9;i++)
		for(int j=1;j<=9;j++)
		{
			cin>>a[i][j];
			maxx+=a[i][j]*fs[i][j];
			int x=a[i][j];
			heng[i][x]=1;shu[j][x]=1;gong[id(i,j)][x]=1;
		}	
	
	dfs(9,9,maxx);
	if(!flag)cout<<-1<<"\n";
	else cout<<maxx<<"\n";
	return 0;
}