BZOJ 1501 智慧珠游戏

Description

Input

文件中包含初始的盘件描述，一共有10行，第i行有i个字符。如果第i行的第j个字符是字母”A”至”L”中的一个，则表示第i行第j列的格子上已经放了零件，零件的编号为对应的字母。如果第i行的第j个字符是”.”，则表示第i行第j列的格子上没有放零件。输入保证预放的零件已摆放在盘件中。

Output

如果能找到解，向输出文件打印10行，为放完全部12个零件后的布局。其中，第i行应包含i个字符，第i行的第j个字符表示第i行第j列的格子上放的是哪个零件。如果无解，输出单独的一个字符串‘No solution’(不要引号，请注意大小写)。所有的数据保证最多只有一组解。

Sample Input

.
..
...
....
.....
.....C
...CCC.
EEEHH...
E.HHH....
E.........

Sample Output

B
BK
BKK
BJKK
JJJDD
GJGDDC
GGGCCCI
EEEHHIIA
ELHHHIAAF
ELLLLIFFFF

HINT

 

Source

暴搜+打表+卡时大法好，哈哈！！！这题老师居然把他当noip模拟题来考，也是醉了～考完后对着数据调也是一晚上和半上午的。。。

#include<cstdio>
#include<cstdlib>
#include<cstring>

using namespace std;

int s[15][15],times;
int mod[15][10][10][2],have[15],num[15]={0,3,4,4,4,5,5,5,5,5,5,5,5};
bool use[15];

inline void finish()
{
    for (int i = 1;i <= 10;++i)
    {
        for (int j = 1;j <= i;++j)
            printf("%c",s[i][j]+'A'-1);
        putchar('
');
    }
}

inline bool okay(int a,int b,int x,int y)
{
    int t = num[a],i;
    for (i = 1;i <= t;++i)
    {
        int tx = x + mod[a][b][i][0];
        int ty = y + mod[a][b][i][1];
        if (tx < 1 || tx > 10) return false;
        if (ty < 1 || ty > tx) return false;
        if (s[tx][ty] != 0) return false;
    }
    return true;
}

inline void give(int a,int b,int x,int y)
{
    int t = num[a],i;
    for (i = 1;i <= t;++i)
    {
        int tx = x + mod[a][b][i][0];
        int ty = y + mod[a][b][i][1];
        s[tx][ty] = a;
    }
}

inline void ready()
{
    have[1] = 4;
    mod[1][1][2][0] = 1; mod[1][1][2][1] = 0;
    mod[1][1][3][0] = 0; mod[1][1][3][1] = 1;
    //
    mod[1][2][2][0] = 0; mod[1][2][2][1] = -1;
    mod[1][2][3][0] = 1; mod[1][2][3][1] = 0;
    //
    mod[1][3][2][0] = 1; mod[1][3][2][1] = 0;
    mod[1][3][3][0] = 1; mod[1][3][3][1] = -1;
    //
    mod[1][4][2][0] = 1; mod[1][4][2][1] = 0;
    mod[1][4][3][0] = 1; mod[1][4][3][1] = 1;

    //////////////////////////////////////////////////
    have[2] = 2;
    mod[2][1][2][0] = 0; mod[2][1][2][1] = 1;
    mod[2][1][3][0] = 0; mod[2][1][3][1] = 2;
    mod[2][1][4][0] = 0; mod[2][1][4][1] = 3;
    //
    mod[2][2][2][0] = 1; mod[2][2][2][1] = 0;
    mod[2][2][3][0] = 2; mod[2][2][3][1] = 0;
    mod[2][2][4][0] = 3; mod[2][2][4][1] = 0;

    //////////////////////////////////////////////////
    have[3] = 8;
    mod[3][1][2][0] = 1; mod[3][1][2][1] = 0;
    mod[3][1][3][0] = 0; mod[3][1][3][1] = 1;
    mod[3][1][4][0] = 0; mod[3][1][4][1] = 2;
    //
    mod[3][2][2][0] = 0; mod[3][2][2][1] = 1;
    mod[3][2][3][0] = 1; mod[3][2][3][1] = 1;
    mod[3][2][4][0] = 2; mod[3][2][4][1] = 1;
    //
    mod[3][3][2][0] = 1; mod[3][3][2][1] = 0;
    mod[3][3][3][0] = 1; mod[3][3][3][1] = -1;
    mod[3][3][4][0] = 1; mod[3][3][4][1] = -2;
    //
    mod[3][4][2][0] = 1; mod[3][4][2][1] = 0;
    mod[3][4][3][0] = 2; mod[3][4][3][1] = 0;
    mod[3][4][4][0] = 2; mod[3][4][4][1] = 1;
    //
    mod[3][5][2][0] = 1; mod[3][5][2][1] = 0;
    mod[3][5][3][0] = 1; mod[3][5][3][1] = 1;
    mod[3][5][4][0] = 1; mod[3][5][4][1] = 2;
    //
    mod[3][6][2][0] = 0; mod[3][6][2][1] = 1;
    mod[3][6][3][0] = 1; mod[3][6][3][1] = 0;
    mod[3][6][4][0] = 2; mod[3][6][4][1] = 0;
    //
    mod[3][7][2][0] = 0; mod[3][7][2][1] = 1;
    mod[3][7][3][0] = 0; mod[3][7][3][1] = 2;
    mod[3][7][4][0] = 1; mod[3][7][4][1] = 2;
    //
    mod[3][8][2][0] = 1; mod[3][8][2][1] = 0;
    mod[3][8][3][0] = 2; mod[3][8][3][1] = 0;
    mod[3][8][4][0] = 2; mod[3][8][4][1] = -1;

    //////////////////////////////////////////////////
    have[4] = 1;
    mod[4][1][2][0] = 1; mod[4][1][2][1] = 0;
    mod[4][1][3][0] = 0; mod[4][1][3][1] = 1;
    mod[4][1][4][0] = 1; mod[4][1][4][1] = 1;

    ///////////////////////////////////////////////////
    have[5] = 4;
    mod[5][1][2][0] = 1; mod[5][1][2][1] = 0;
    mod[5][1][3][0] = 2; mod[5][1][3][1] = 0;
    mod[5][1][4][0] = 2; mod[5][1][4][1] = 1;
    mod[5][1][5][0] = 2; mod[5][1][5][1] = 2;
    //
    mod[5][2][2][0] = 0; mod[5][2][2][1] = 1;
    mod[5][2][3][0] = 0; mod[5][2][3][1] = 2;
    mod[5][2][4][0] = 1; mod[5][2][4][1] = 0;
    mod[5][2][5][0] = 2; mod[5][2][5][1] = 0;
    //
    mod[5][3][2][0] = 0; mod[5][3][2][1] = 1;
    mod[5][3][3][0] = 0; mod[5][3][3][1] = 2;
    mod[5][3][4][0] = 1; mod[5][3][4][1] = 2;
    mod[5][3][5][0] = 2; mod[5][3][5][1] = 2;
    //
    mod[5][4][2][0] = 1; mod[5][4][2][1] = 0;
    mod[5][4][3][0] = 2; mod[5][4][3][1] = 0;
    mod[5][4][4][0] = 2; mod[5][4][4][1] = -1;
    mod[5][4][5][0] = 2; mod[5][4][5][1] = -2;

    ////////////////////////////////////////////
    have[6] = 8;
    mod[6][1][2][0] = 0; mod[6][1][2][1] = 1;
    mod[6][1][3][0] = 1; mod[6][1][3][1] = 1;
    mod[6][1][4][0] = 0; mod[6][1][4][1] = 2;
    mod[6][1][5][0] = 0; mod[6][1][5][1] = 3;
    //
    mod[6][2][2][0] = 1; mod[6][2][2][1] = 0;
    mod[6][2][3][0] = 1; mod[6][2][3][1] = -1;
    mod[6][2][4][0] = 2; mod[6][2][4][1] = 0;
    mod[6][2][5][0] = 3; mod[6][2][5][1] = 0;
    //
    mod[6][3][2][0] = 1; mod[6][3][2][1] = 0;
    mod[6][3][3][0] = 1; mod[6][3][3][1] = 1;
    mod[6][3][4][0] = 1; mod[6][3][4][1] = -1;
    mod[6][3][5][0] = 1; mod[6][3][5][1] = -2;
    //
    mod[6][4][2][0] = 1; mod[6][4][2][1] = 0;
    mod[6][4][3][0] = 2; mod[6][4][3][1] = 0;
    mod[6][4][4][0] = 2; mod[6][4][4][1] = 1;
    mod[6][4][5][0] = 3; mod[6][4][5][1] = 0;
    //
    mod[6][5][2][0] = 1; mod[6][5][2][1] = 0;
    mod[6][5][3][0] = 1; mod[6][5][3][1] = -1;
    mod[6][5][4][0] = 1; mod[6][5][4][1] = 1;
    mod[6][5][5][0] = 1; mod[6][5][5][1] = 2;
    //
    mod[6][6][2][0] = 1; mod[6][6][2][1] = 0;
    mod[6][6][3][0] = 1; mod[6][6][3][1] = 1;
    mod[6][6][4][0] = 2; mod[6][6][4][1] = 0;
    mod[6][6][5][0] = 3; mod[6][6][5][1] = 0;
    //
    mod[6][7][2][0] = 0; mod[6][7][2][1] = -1;
    mod[6][7][3][0] = 0; mod[6][7][3][1] = -2;
    mod[6][7][4][0] = 0; mod[6][7][4][1] = 1;
    mod[6][7][5][0] = 1; mod[6][7][5][1] = 0;
    //
    mod[6][8][2][0] = 1; mod[6][8][2][1] = 0;
    mod[6][8][3][0] = 2; mod[6][8][3][1] = 0;
    mod[6][8][4][0] = 2; mod[6][8][4][1] = -1;
    mod[6][8][5][0] = 3; mod[6][8][5][1] = 0;

    ///////////////////////////////////////////////////////////
    have[7] = 4;
    mod[7][1][2][0] = 1; mod[7][1][2][1] = 0;
    mod[7][1][3][0] = 0; mod[7][1][3][1] = 1;
    mod[7][1][4][0] = 0; mod[7][1][4][1] = 2;
    mod[7][1][5][0] = 1; mod[7][1][5][1] = 2;
    //
    mod[7][2][2][0] = 0; mod[7][2][2][1] = 1;
    mod[7][2][3][0] = 1; mod[7][2][3][1] = 1;
    mod[7][2][4][0] = 2; mod[7][2][4][1] = 1;
    mod[7][2][5][0] = 2; mod[7][2][5][1] = 0;
    //
    mod[7][3][2][0] = 1; mod[7][3][2][1] = 0;
    mod[7][3][3][0] = 1; mod[7][3][3][1] = 1;
    mod[7][3][4][0] = 1; mod[7][3][4][1] = 2;
    mod[7][3][5][0] = 0; mod[7][3][5][1] = 2;
    //
    mod[7][4][2][0] = 0; mod[7][4][2][1] = 1;
    mod[7][4][3][0] = 1; mod[7][4][3][1] = 0;
    mod[7][4][4][0] = 2; mod[7][4][4][1] = 0;
    mod[7][4][5][0] = 2; mod[7][4][5][1] = 1;

    ////////////////////////////////////////////////////////////
    have[8] = 8;
    mod[8][1][2][0] = 1; mod[8][1][2][1] = 0;
    mod[8][1][3][0] = 0; mod[8][1][3][1] = 1;
    mod[8][1][4][0] = 1; mod[8][1][4][1] = 1;
    mod[8][1][5][0] = 0; mod[8][1][5][1] = 2;
    //
    mod[8][2][2][0] = 0; mod[8][2][2][1] = 1;
    mod[8][2][3][0] = 1; mod[8][2][3][1] = 0;
    mod[8][2][4][0] = 1; mod[8][2][4][1] = 1;
    mod[8][2][5][0] = 2; mod[8][2][5][1] = 1;
    //
    mod[8][3][2][0] = 0; mod[8][3][2][1] = 1;
    mod[8][3][3][0] = 1; mod[8][3][3][1] = 0;
    mod[8][3][4][0] = 1; mod[8][3][4][1] = 1;
    mod[8][3][5][0] = 1; mod[8][3][5][1] = -1;
    //
    mod[8][4][2][0] = 1; mod[8][4][2][1] = 0;
    mod[8][4][3][0] = 1; mod[8][4][3][1] = 1;
    mod[8][4][4][0] = 2; mod[8][4][4][1] = 0;
    mod[8][4][5][0] = 2; mod[8][4][5][1] = 1;
    //
    mod[8][5][2][0] = 1; mod[8][5][2][1] = 0;
    mod[8][5][3][0] = 1; mod[8][5][3][1] = 1;
    mod[8][5][4][0] = 0; mod[8][5][4][1] = 1;
    mod[8][5][5][0] = 1; mod[8][5][5][1] = 2;
    //
    mod[8][6][2][0] = 1; mod[8][6][2][1] = 0;
    mod[8][6][3][0] = 0; mod[8][6][3][1] = 1;
    mod[8][6][4][0] = 1; mod[8][6][4][1] = 1;
    mod[8][6][5][0] = 2; mod[8][6][5][1] = 0;
    //
    mod[8][7][2][0] = 0; mod[8][7][2][1] = 1;
    mod[8][7][3][0] = 0; mod[8][7][3][1] = 2;
    mod[8][7][4][0] = 1; mod[8][7][4][1] = 1;
    mod[8][7][5][0] = 1; mod[8][7][5][1] = 2;
    //
    mod[8][8][2][0] = 1; mod[8][8][2][1] = 0;
    mod[8][8][3][0] = 2; mod[8][8][3][1] = 0;
    mod[8][8][4][0] = 1; mod[8][8][4][1] = -1;
    mod[8][8][5][0] = 2; mod[8][8][5][1] = -1;

    /////////////////////////////////////////////
    have[9] = 8;
    mod[9][1][2][0] = 0; mod[9][1][2][1] = 1;
    mod[9][1][3][0] = 0; mod[9][1][3][1] = 2;
    mod[9][1][4][0] = 1; mod[9][1][4][1] = 2;
    mod[9][1][5][0] = 1; mod[9][1][5][1] = 3;
    //
    mod[9][2][2][0] = 1; mod[9][2][2][1] = 0;
    mod[9][2][3][0] = 2; mod[9][2][3][1] = 0;
    mod[9][2][4][0] = 2; mod[9][2][4][1] = -1;
    mod[9][2][5][0] = 3; mod[9][2][5][1] = -1;
    //
    mod[9][3][2][0] = 0; mod[9][3][2][1] = 1;
    mod[9][3][3][0] = 1; mod[9][3][3][1] = 1;
    mod[9][3][4][0] = 1; mod[9][3][4][1] = 2;
    mod[9][3][5][0] = 1; mod[9][3][5][1] = 3;
    //
    mod[9][4][2][0] = 1; mod[9][4][2][1] = 0;
    mod[9][4][3][0] = 1; mod[9][4][3][1] = -1;
    mod[9][4][4][0] = 2; mod[9][4][4][1] = -1;
    mod[9][4][5][0] = 3; mod[9][4][5][1] = -1;
    //
    mod[9][5][2][0] = 0; mod[9][5][2][1] = 1;
    mod[9][5][3][0] = 1; mod[9][5][3][1] = 0;
    mod[9][5][4][0] = 1; mod[9][5][4][1] = -1;
    mod[9][5][5][0] = 1; mod[9][5][5][1] = -2;
    //
    mod[9][6][2][0] = 1; mod[9][6][2][1] = 0;
    mod[9][6][3][0] = 2; mod[9][6][3][1] = 0;
    mod[9][6][4][0] = 2; mod[9][6][4][1] = 1;
    mod[9][6][5][0] = 3; mod[9][6][5][1] = 1;
    //
    mod[9][7][2][0] = 0; mod[9][7][2][1] = 1;
    mod[9][7][3][0] = 0; mod[9][7][3][1] = 2;
    mod[9][7][4][0] = 1; mod[9][7][4][1] = 0;
    mod[9][7][5][0] = 1; mod[9][7][5][1] = -1;
    //
    mod[9][8][2][0] = 1; mod[9][8][2][1] = 0;
    mod[9][8][3][0] = 1; mod[9][8][3][1] = 1;
    mod[9][8][4][0] = 2; mod[9][8][4][1] = 1;
    mod[9][8][5][0] = 3; mod[9][8][5][1] = 1;

    ////////////////////////////////////////////////////////////
    have[10] = 1;
    mod[10][1][2][0] = 1; mod[10][1][2][1] = 0;
    mod[10][1][3][0] = 1; mod[10][1][3][1] = -1;
    mod[10][1][4][0] = 1; mod[10][1][4][1] = 1;
    mod[10][1][5][0] = 2; mod[10][1][5][1] = 0;

    ////////////////////////////////////////////////////////////
    have[11] = 4;
    mod[11][1][2][0] = 1; mod[11][1][2][1] = 0;
    mod[11][1][3][0] = 1; mod[11][1][3][1] = 1;
    mod[11][1][4][0] = 2; mod[11][1][4][1] = 1;
    mod[11][1][5][0] = 2; mod[11][1][5][1] = 2;
    //
    mod[11][2][2][0] = 0; mod[11][2][2][1] = 1;
    mod[11][2][3][0] = 1; mod[11][2][3][1] = 0;
    mod[11][2][4][0] = 1; mod[11][2][4][1] = -1;
    mod[11][2][5][0] = 2; mod[11][2][5][1] = -1;
    //
    mod[11][3][2][0] = 0; mod[11][3][2][1] = 1;
    mod[11][3][3][0] = 1; mod[11][3][3][1] = 1;
    mod[11][3][4][0] = 1; mod[11][3][4][1] = 2;
    mod[11][3][5][0] = 2; mod[11][3][5][1] = 2;
    //
    mod[11][4][2][0] = 1; mod[11][4][2][1] = 0;
    mod[11][4][3][0] = 1; mod[11][4][3][1] = -1;
    mod[11][4][4][0] = 2; mod[11][4][4][1] = -1;
    mod[11][4][5][0] = 2; mod[11][4][5][1] = -2;

    /////////////////////////////////////////////////////////
    have[12] = 8;
    mod[12][1][2][0] = 1; mod[12][1][2][1] = 0;
    mod[12][1][3][0] = 0; mod[12][1][3][1] = 1;
    mod[12][1][4][0] = 0; mod[12][1][4][1] = 2;
    mod[12][1][5][0] = 0; mod[12][1][5][1] = 3;
    //
    mod[12][2][2][0] = 0; mod[12][2][2][1] = 1;
    mod[12][2][3][0] = 1; mod[12][2][3][1] = 1;
    mod[12][2][4][0] = 2; mod[12][2][4][1] = 1;
    mod[12][2][5][0] = 3; mod[12][2][5][1] = 1;
    //
    mod[12][3][2][0] = 1; mod[12][3][2][1] = 0;
    mod[12][3][3][0] = 1; mod[12][3][3][1] = -1;
    mod[12][3][4][0] = 1; mod[12][3][4][1] = -2;
    mod[12][3][5][0] = 1; mod[12][3][5][1] = -3;
    //
    mod[12][4][2][0] = 1; mod[12][4][2][1] = 0;
    mod[12][4][3][0] = 2; mod[12][4][3][1] = 0;
    mod[12][4][4][0] = 3; mod[12][4][4][1] = 0;
    mod[12][4][5][0] = 3; mod[12][4][5][1] = 1;
    //
    mod[12][5][2][0] = 1; mod[12][5][2][1] = 0;
    mod[12][5][3][0] = 1; mod[12][5][3][1] = 1;
    mod[12][5][4][0] = 1; mod[12][5][4][1] = 2;
    mod[12][5][5][0] = 1; mod[12][5][5][1] = 3;
    //
    mod[12][6][2][0] = 1; mod[12][6][2][1] = 0;
    mod[12][6][3][0] = 2; mod[12][6][3][1] = 0;
    mod[12][6][4][0] = 3; mod[12][6][4][1] = 0;
    mod[12][6][5][0] = 0; mod[12][6][5][1] = 1;
    //
    mod[12][7][2][0] = 0; mod[12][7][2][1] = 1;
    mod[12][7][3][0] = 0; mod[12][7][3][1] = 2;
    mod[12][7][4][0] = 0; mod[12][7][4][1] = 3;
    mod[12][7][5][0] = 1; mod[12][7][5][1] = 3;
    //
    mod[12][8][2][0] = 1; mod[12][8][2][1] = 0;
    mod[12][8][3][0] = 2; mod[12][8][3][1] = 0;
    mod[12][8][4][0] = 3; mod[12][8][4][1] = 0;
    mod[12][8][5][0] = 3; mod[12][8][5][1] = -1;
}

inline void next(int,int);

inline void dfs(int,int);

inline void att(int,int);

int main()
{
    freopen("1501.in","r",stdin);
    freopen("1501.out","w",stdout);
    for (int i = 1;i <= 10;++i)
    {
        for (int j = 1;j <= i;++j)
        {
            char c= getchar();
            if (c == '.') s[i][j] = 0;
            else s[i][j] = c-'A'+1,use[c-'A'+1] = true;
        }
        getchar();
    }
    ready();
    dfs(1,1);
    printf("No solution");
    fclose(stdin); fclose(stdout);
    return 0;
}

inline void next(int x,int y)
{
    if (y == x)
        dfs(x+1,1);
    else dfs(x,y+1);
}

inline void dfs(int x,int y)
{
    if (x > 10)
    {
        finish(),exit(0);
        return;
    }
    if (times > 5000000) return;
    times++;
    if (s[x][y] == 0)
        att(x,y);
    else next(x,y);
}

inline void att(int x,int y)
{
    int temp[15][15];
    memcpy(temp,s,sizeof(temp));
    int i,j;
    for (i = 12;i>=1;--i)
    {
        if (use[i]) continue;
        for (j = 1;j <= have[i];++j)
            if (okay(i,j,x,y))
            {
                use[i] = true;
                give(i,j,x,y);
                next(x,y);
                memcpy(s,temp,sizeof(s));
                use[i] = false;
            }
    }
}