bzoj 1501: [NOI2005]智慧珠游戏 Dancing Link

1501: [NOI2005]智慧珠游戏

Time Limit: 5 Sec  Memory Limit: 64 MB
Submit: 190  Solved: 122
[Submit][Status]

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

Dance Link

　　多虧八中時限開的比較寬，我那個其醜無比的DLX才恰好過去了，不知道其他大神是怎麼優化成0ms的。

　　作爲DLX的模板，還是貼一下。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<ctime>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<string>
#include<queue>
using namespace std;
#ifdef WIN32
#define LL "%I64d"
#else
#define LL "%lld"
#endif
#define MAXN 1100
#define MAXV MAXN*2
#define MAXE MAXV*2
#define INF 0x3f3f3f3f
#define INFL 0x3f3f3f3f3f3f3f3fLL
#define inf INF
#define MAXS 12
typedef long long qword;
inline int nextInt()
{
        char ch;
        int x=0;
        bool flag=false;
        do
                ch=(char)getchar(),flag=(ch==‘-‘)?true:flag;
        while(ch<‘0‘||ch>‘9‘);
        do x=x*10+ch-‘0‘;
        while (ch=(char)getchar(),ch<=‘9‘ && ch>=‘0‘);
        return x*(flag?-1:1);
}
int n,m;
const int tots[MAXS]={3,4,4,4,5,5,5,5,5,5,5,5};
const int fs_s[MAXS][5][2]=
{{{0,0},{0,1},{1,0},{inf,inf},{inf,inf}},
        {{0,0},{0,1},{0,2},{0,3},{inf,inf}},
        {{0,0},{0,1},{0,2},{1,0},{inf,inf}},
        {{0,0},{0,1},{1,0},{1,1},{inf,inf}},
        {{0,0},{0,1},{0,2},{1,0},{2,0}},
        {{0,0},{0,1},{0,2},{0,3},{1,1}},
        {{0,0},{1,0},{0,1},{0,2},{1,2}},
        {{0,0},{0,1},{0,2},{1,0},{1,1}},
        {{0,0},{0,1},{0,2},{1,2},{1,3}},
        {{0,0},{0,1},{1,0},{0,-1},{-1,0}},
        {{0,0},{1,0},{1,1},{2,1},{2,2}},
        {{0,0},{0,1},{0,2},{0,3},{1,0}}};
int fs[8][MAXS][5][2];
char mm[11][11];
struct DLX_t
{
        static const int maxn=124;
        static const int maxm=124;
        static const int maxd=2000000;
        int m;
        int head;
        int L[maxd],R[maxd],U[maxd],D[maxd];
        int id[maxd];
        int topt;
        int chd[maxm];
        int col[maxd];
        int tt[maxm];
        vector<int> res;
        void init(int mm,vector<int> &vec)
        {
                m=vec[vec.size()-1];
                topt=0;
        //        memset(L,0,sizeof(L));
        //        memset(R,0,sizeof(R));
        //        memset(D,0,sizeof(D));
        //        memset(U,0,sizeof(U));
        //        memset(tt,0,sizeof(tt));
                res.clear();
                head=++topt;
                L[head]=R[head]=head;
                U[head]=D[head]=head;
                int i;
                for (i=0;i<vec.size();i++)
                {
                        chd[vec[i]]=++topt;
                        col[chd[vec[i]]]=vec[i];
                        id[chd[vec[i]]]=0;
                        R[chd[vec[i]]]=head;
                        L[chd[vec[i]]]=L[head];
                        R[L[chd[vec[i]]]]=chd[vec[i]];
                        L[R[chd[vec[i]]]]=chd[vec[i]];
                        U[chd[vec[i]]]=D[chd[vec[i]]]=chd[vec[i]];
                }
        }
        void print()
        {
                char mp[11][11];
                int i,j,k1,k2;
                int x,y,z,d;
                for (i=0;i<10;i++)
                {
                        for (j=0;j<10;j++)
                        {
                                mp[i][j]=‘.‘;
                        }
                }
                bool flag=false;
                for (i=0;i<res.size();i++)
                {
                        if (res[i]==-1)
                        {
                                flag=true;
                                continue;
                        }
                        d=res[i]/1200;
                        x=res[i]%1200/120;
                        y=res[i]%120/12;
                        z=res[i]%12;
                        for (j=0;j<tots[z];j++)
                        {
                                mp[x+fs[d][z][j][0]][y+fs[d][z][j][1]]=z+‘A‘;
                        }
                }
                for (i=0;i<10;i++)
                {
                        for (j=0;j<=i;j++)
                        {
                                if (mm[i+1][j+1]!=‘.‘)
                                        printf("%c",mm[i+1][j+1]);
                                else
                                        printf("%c",mp[i][j]);
                        }
                        printf("\n");
                }
                printf("\n");

        }
        void print2()
        {
                int i;
                for (i=0;i<res.size();i++)
                {
                        printf("%d ",res[i]);
                }
                printf("\n");

        }
        void Add_row(int name,vector<int> &vec)
        {
                int i;
                int nowh;
                int now;
        //        sort(vec.begin(),vec.end());
                for (i=0;i<vec.size();i++)
                {
                        now=++topt;
                        id[now]=name;
                        col[now]=vec[i];
                        tt[vec[i]]++;
                        U[now]=U[chd[vec[i]]];
                        D[now]=chd[vec[i]];
                        D[U[now]]=now;
                        U[D[now]]=now;
                }
                L[U[chd[vec[0]]]]=R[U[chd[vec[0]]]]=U[chd[vec[0]]];
                nowh=U[chd[vec[0]]];
                for (i=1;i<vec.size();i++)
                {
                        now=U[chd[vec[i]]];
                        R[now]=nowh;
                        L[now]=L[nowh];
                        R[L[now]]=now;
                        L[R[now]]=now;

                }
        }
        void finish()
        {
                print();
        }
        void cover(int c)
        {
                R[L[chd[c]]]=R[chd[c]];
                L[R[chd[c]]]=L[chd[c]];
                int i,j;
                for (i=D[chd[c]];i!=chd[c];i=D[i])
                {
                        for (j=R[i];j!=i;j=R[j])
                        {
                                tt[col[j]]--;
                                U[D[j]]=U[j];
                                D[U[j]]=D[j];
                        }
                }
        }
        void resume(int c)
        {
                int i,j;
                R[L[chd[c]]]=chd[c];
                L[R[chd[c]]]=chd[c];
                for (i=D[chd[c]];i!=chd[c];i=D[i])
                {
                        for (j=R[i];j!=i;j=R[j])
                        {
                                tt[col[j]]++;
                                U[D[j]]=j;
                                D[U[j]]=j;
                        }
                }

        }
        bool dfs()
        {
                if (head==L[head])
                {
                        finish();
                        return true;
                }
                int i,j;
                int bc,bst=INF;
                for (i=R[head];i!=head;i=R[i])
                {
                        if (D[i]==i)return false;
                        if (tt[col[i]]<bst)
                        {
                                bst=tt[col[i]];
                                bc=col[i];
                        }
                }
                cover(bc);
                for (i=D[chd[bc]]; i!=chd[bc] ;i=D[i])
                {
                        res.push_back(id[i]);
                        for (j=R[i];j!=i;j=R[j])
                                cover(col[j]);
                        if (dfs())return true;
                        res.pop_back();
                        for (j=R[i];j!=i;j=R[j])
                                resume(col[j]);
                }
                resume(bc);
                return false;
        }
}DLX;
void init()
{
        int i,j,k,kk;
        for (i=0;i<MAXS;i++)
                for (j=0;j<5;j++)
                        for (k=0;k<2;k++)
                                fs[0][i][j][k]=fs_s[i][j][k];
        for (kk=1;kk<4;kk++)
        {
                for (i=0;i<MAXS;i++)
                {
                        for (j=0;j<tots[i];j++)
                        {
                                fs[kk][i][j][0]=fs[kk-1][i][j][1];
                                fs[kk][i][j][1]=-fs[kk-1][i][j][0];
                        }
                }
        }
        for (kk=4;kk<8;kk++)
        {
                for (i=0;i<MAXS;i++)
                {
                        for (j=0;j<tots[i];j++)
                        {
                                fs[kk][i][j][0]=-fs[kk-4][i][j][0];
                                fs[kk][i][j][1]=fs[kk-4][i][j][1];
                        }
                }
        }
        /*           char mp[8][8];
                   for (i=0;i<MAXS;i++)
                   {
                   for (kk=0;kk<1;kk++)
                   {
                   memset(mp,0,sizeof(mp));
                   for (j=0;j<tots[i];j++)
                   {
                   mp[fs[kk][i][j][0]+4][fs[kk][i][j][1]+4]=true;
                   }
                   for (j=0;j<8;j++)
                   {
                   for (k=0;k<8;k++)
                   {
                   printf("%c",mp[j][k]?‘.‘:‘#‘);
                   }
                   printf("\n");
                   }
                   printf("\n");

                   }
                   }*/
}
bool used[12];
bool state[130];
vector<int> upos,tvec,pcol;
int main()
{
        freopen("input.txt","r",stdin);
        //freopen("output.txt","w",stdout);
        int i,j,k,kk;
        int x,y,z;
        /*
           DLX.init(5);
           tvec.clear();
           tvec.push_back(0);
           tvec.push_back(2);
           tvec.push_back(3);
           DLX.Add_row(1,tvec);
           tvec.clear();
           tvec.push_back(2);
           tvec.push_back(3);
           tvec.push_back(4);
           DLX.Add_row(1,tvec);
           tvec.clear();
           tvec.push_back(1);
           tvec.push_back(3);
           DLX.Add_row(1,tvec);
           tvec.clear();
           tvec.push_back(1);
           tvec.push_back(4);
           DLX.Add_row(1,tvec);
           cout<<DLX.dfs()<<endl;
           return 0;*/
        init();
        char ch;
        for (i=1;i<=10;i++)
        {
                for (j=1;j<=i;j++)
                {
                        scanf("%c",&ch);
                //        pcol.push_back((i-1)*10+j-1);
                        mm[i][j]=ch;
                        if (ch!=‘.‘)
                        {
                                used[ch-‘A‘]=true;
                                state[ch-‘A‘+100]=true;
                                state[(i-1)*10+j-1]=true;
                        }
                }
                scanf("\n");
        }
        for (i=1;i<=10;i++)
        {
                for (j=i+1;j<=10;j++)
                {
                        state[(i-1)*10+j-1]=true;
                }
        }
        vector<int>::iterator it1;
        for (i=0;i<112;i++)
        {
                if (!state[i])upos.push_back(i);
        }
        //for (i=0;i<upos.size();i++)
        //        cout<<upos[i]<<" ";
        //cout<<endl;
        DLX.init(112,upos);
        bool flag,flag2;
        int nowid;
        for (i=0;i<12;i++)
        {
                if (used[i])continue;
                for (kk=0;kk<8;kk++)
                {
                        flag2=false;
                        for (k=0;k<kk;k++)
                        {
                                flag=true;
                                for (j=0;j<tots[i];j++)
                                {
                                        if (fs[kk][i][j][0]!=fs[k][i][j][0]
                                                        ||fs[kk][i][j][1]!=fs[k][i][j][1])
                                        {
                                                flag=false;
                                                break;
                                        }
                                }
                                if (flag)
                                {
                                        flag2=true;
                                        break;
                                }
                        }
                        if (flag2)
                                continue;
                        for (x=1;x<=10;x++)
                        {
                                for (y=1;y<=x;y++)
                                {
                                        flag=true;
                                        for (j=0;j<tots[i];j++)
                                        {
                                                if (x+fs[kk][i][j][0]<1 || x+fs[kk][i][j][0]>10
                                                                || y+fs[kk][i][j][1]<1 || y+fs[kk][i][j][1]>10
                                                                || y+fs[kk][i][j][1]>x+fs[kk][i][j][0]
                                                                || mm[x+fs[kk][i][j][0]][y+fs[kk][i][j][1]]!=‘.‘)
                                                {
                                                        flag=false;
                                                        break;
                                                }
                                        }
                                        if (!flag)continue;
                                        //[dir][posx][posy][shape]
                                        //1200 120   12    1
                                        nowid=kk*1200+(x-1)*120+(y-1)*12+i;
                                        tvec.clear();
                                        tvec.push_back(100+i);
                                        for (j=0;j<tots[i];j++)
                                        {
                                                //[pos][shape(+1)]
                                                //100 +12
                                                tvec.push_back((x+fs[kk][i][j][0]-1)*10+y+fs[kk][i][j][1]-1);
                                        }
                                        DLX.Add_row(nowid,tvec);
                                }
                        }
                }
        }
        if (!DLX.dfs())
                printf("No solution\n");
        return 0;
}
时间： 2024-10-15 01:24:41

bzoj 1501: [NOI2005]智慧珠游戏 Dancing Link的相关文章

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

题目大意:给定一个10*10的三角形棋盘和12种零件,每种零件只能放一次,可以旋转和翻转,一些零件已经放在了上面,求一种方案,使12个零件无重叠地放在棋盘上 首先这题目一看就是DLX 但是建图真心恶心 需要枚举每一个零件的最多八个朝向的所有位置 我一开始想要全部代码处理 但是后来发现真做不了 于是我选择了打表录入12个零件的所有60种朝向,选择第一排最左面的点作为基点,依次得出每个点关于基点的相对位置,然后再图上枚举基点的位置,若所有点都在图上就加行 一共60*5*2的表 打了40分钟 键盘被敲

bzoj1501: [NOI2005]智慧珠游戏 dancing links

精确覆盖问题,用dancing links求解. 打常量表比较麻烦. #include<bits/stdc++.h> #define FOR(i,s,t)for(node* i=(s)->t;i!=(s);i=i->t) const int f[60][12]={ {0,3,0,0,0,1,1,0}, {0,3,0,0,0,1,1,1}, {0,3,0,0,1,0,1,1}, {0,3,0,1,1,0,1,1}, {1,4,0,0,0,1,0,2,0,3}, {1,4,0,0,1,

BZOJ1501 (NOI2005 智慧珠游戏）

传送门@百度 1501: [NOI2005]智慧珠游戏 Time Limit: 5 Sec  Memory Limit: 64 MB Description Input 文件中包含初始的盘件描述,一共有10行,第i行有i个字符.如果第i行的第j个字符是字母”A”至”L”中的一个,则表示第i行第j列的格子上已经放了零件,零件的编号为对应的字母.如果第i行的第j个字符是”.”,则表示第i行第j列的格子上没有放零件.输入保证预放的零件已摆放在盘件中. Output 如果能找到解,向输出文件打印10行,

[BZOJ1501][NOI2005] 智慧珠游戏

Input 文件中包含初始的盘件描述,一共有10行,第i行有i个字符.如果第i行的第j个字符是字母”A”至”L”中的一个,则表示第i行第j列的格子上已经放了零件,零件的编号为对应的字母.如果第i行的第j个字符是”.”,则表示第i行第j列的格子上没有放零件.输入保证预放的零件已摆放在盘件中. Output 如果能找到解,向输出文件打印10行,为放完全部12个零件后的布局.其中,第i行应包含i个字符,第i行的第j个字符表示第i行第j列的格子上放的是哪个零件.如果无解,输出单独的一个字符串‘No so

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列的格子上放的是哪个零件.如果无解,输出单独

【NOI2005】智慧珠游戏，DLX的NOIP坎关。

这道题会做了,NOIP就出什么DLX都不怕了,注意:是NOI"P". 题意:有12个块,可以任意翻转.旋转,即每个块最多有8种表现形式.现在要求你把它们填进图中. 注:每个块只能用一次. DLX建图:列55+12,行若干. 当然,我是会给你算好的数据的. #define N 3000/*每个块"8"种形状就会有2730行*/ #define M 70/*55+12这么多列*/ #define NN 16000/*空图最多15084个点*/ 前55列表示位置,每个位置

使用改良版多值覆盖Dancing link X （舞蹈链）求解aquarium游戏

在上一篇文章中,我们通过改造了dancing link代码解出了aquarium游戏,并输出了正确答案. 但是之前的代码感觉有些慢,10*10的谜面都要跑24秒,而且感觉之前的dancing link代码有些不完善(存在重复查询问题).这一篇文章介绍如何改良多值覆盖dancing link模板代码,还有如何在整体上优化这个游戏的解题流程. 之前的代码是从所有列中选择可能性最少的列进行突破,以减少查询宽度:但是在查询过程中发现了问题:之前查询过的较高占据值的行可能会再次被查询到,从而浪费不少时间.

bzoj 2706: [SDOI2012]棋盘覆盖 Dancing Link

2706: [SDOI2012]棋盘覆盖 Time Limit: 10 Sec  Memory Limit: 256 MBSubmit: 255  Solved: 77[Submit][Status] Description 在一个N*M个方格组成的棋盘内,有K个方格被称为特殊方格.我们要使用一组俄罗斯方块来覆盖这个棋盘,保证特殊方格不能被覆盖,非特殊方格只能被一个俄罗斯方块覆盖,求最多能容纳的俄罗斯方块的数量. 已知有以下三组俄罗斯方块,一个棋盘可能用其中的某一组. Input 第一行三个整数

dancing link模板

1 #include<cstdio> 2 #include<iostream> 3 #include<cstring> 4 #include<algorithm> 5 #include<cmath> 6 #include<iomanip> 7 using namespace std; 8 9 const int n=729,m=324; 10 bool mx[2000][2000];//数独转化过来的01矩阵 11 int map[1