Window Pains

http://poj.org/problem?id=2585

Window Pains

Time Limit: 1000MS		Memory Limit: 65536K
Total Submissions: 1614		Accepted: 806

Description

Boudreaux likes to multitask, especially when it comes to using his computer. Never satisfied with just running one application at a time, he usually runs nine applications, each in its own window. Due to limited screen real estate, he overlaps these windows and brings whatever window he currently needs to work with to the foreground. If his screen were a 4 x 4 grid of squares, each of Boudreaux's windows would be represented by the following 2 x 2 windows: 

1	1	.	.
1	1	.	.
.	.	.	.
.	.	.	.

.	2	2	.
.	2	2	.
.	.	.	.
.	.	.	.

.	.	3	3
.	.	3	3
.	.	.	.
.	.	.	.

.	.	.	.
4	4	.	.
4	4	.	.
.	.	.	.

.	.	.	.
.	5	5	.
.	5	5	.
.	.	.	.

.	.	.	.
.	.	6	6
.	.	6	6
.	.	.	.

.	.	.	.
.	.	.	.
7	7	.	.
7	7	.	.

.	.	.	.
.	.	.	.
.	8	8	.
.	8	8	.

.	.	.	.
.	.	.	.
.	.	9	9
.	.	9	9

When Boudreaux brings a window to the foreground, all of its squares come to the top, overlapping any squares it shares with other windows. For example, if window 1and then window 2 were brought to the foreground, the resulting representation would be:

1	2	2	?
1	2	2	?
?	?	?	?
?	?	?	?

If window 4 were then brought to the foreground:

1	2	2	?
4	4	2	?
4	4	?	?
?	?	?	?

. . . and so on . . .  Unfortunately, Boudreaux's computer is very unreliable and crashes often. He could easily tell if a crash occurred by looking at the windows and seeing a graphical representation that should not occur if windows were being brought to the foreground correctly. And this is where you come in . . .

Input

Input to this problem will consist of a (non-empty) series of up to 100 data sets. Each data set will be formatted according to the following description, and there will be no blank lines separating data sets. 
A single data set has 3 components: 

1. Start line - A single line:  START 
2. Screen Shot - Four lines that represent the current graphical representation of the windows on Boudreaux's screen. Each position in this 4 x 4 matrix will represent the current piece of window showing in each square. To make input easier, the list of numbers on each line will be delimited by a single space. 
3. End line - A single line:  END 

After the last data set, there will be a single line:  ENDOFINPUT 
Note that each piece of visible window will appear only in screen areas where the window could appear when brought to the front. For instance, a 1 can only appear in the top left quadrant.

Output

For each data set, there will be exactly one line of output. If there exists a sequence of bringing windows to the foreground that would result in the graphical representation of the windows on Boudreaux's screen, the output will be a single line with the statement: 
THESE WINDOWS ARE CLEAN 
Otherwise, the output will be a single line with the statement:  THESE WINDOWS ARE BROKEN 

Sample Input

START
1 2 3 3
4 5 6 6
7 8 9 9
7 8 9 9
END
START
1 1 3 3
4 1 3 3
7 7 9 9
7 7 9 9
END
ENDOFINPUT

Sample Output

THESE WINDOWS ARE CLEAN
THESE WINDOWS ARE BROKEN
参考代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<string>
#include<set>
#include<map>
#include<stack>
#include<queue>
using namespace std;
const int ms=4;
int screen[ms][ms];
string cover[ms][ms];
bool exist[10];
int id[10];
bool link[10][10];
int t;
string s;

void calc()   
{
    int k,i,j;
    for(i=0;i<ms;i++)
        for(j=0;j<ms;j++)
            cover[i][j].erase();
    for(k=1;k<=9;k++)
    {
        i=(k-1)/3;
        j=(k-1)%3;
        cover[i][j]+=char(k+'0');
        cover[i][j+1]+=char(k+'0');
        cover[i+1][j]+=char(k+'0');
        cover[i+1][j+1]+=char(k+'0'); 
    }
    return ;
}

void init()
{
    int i,j,k;
    memset(exist,0,sizeof(exist));
    memset(link,0,sizeof(link));
    memset(id,0,sizeof(id));
    t=0;
    for(i=0;i<ms;i++)
        for(j=0;j<ms;j++)
        {
            cin>>k;
            screen[i][j]=k;
            if(!exist[k])
                t++;
            exist[k]=true;
        }
    return;
}

void build()
{
    int i,j,k;
    for(i=0;i<ms;i++)
    {
        for(j=0;j<ms;j++)
        {
            for(k=0;k<cover[i][j].length();k++)
            {
                if(!link[screen[i][j]][cover[i][j][k]-'0']&&screen[i][j]!=cover[i][j][k]-'0')
                {
                    id[cover[i][j][k]-'0']++;
                    link[screen[i][j]][cover[i][j][k]-'0']=true;
                }
            }
        }
    }
    return ;
}
bool check()
{
    int i,j,k;
    for(k=0;k<t;k++)
    {
        i=1;
        while(!exist[i]||(i<=9&&id[i]>0))
            i++;
        if(i>9)
            return false;
        exist[i]=false;
        for(j=1;j<=9;j++)
            if(exist[j]&&link[i][j])
                id[j]--;
    }
    return true;
}
int main()
{
    calc();
    while(cin>>s)
    {
        if(s=="ENDOFINPUT")
            break;
        init();
        build();
        if(check())
            cout<<"THESE WINDOWS ARE CLEAN"<<endl;
        else
            cout<<"THESE WINDOWS ARE BROKEN"<<endl;
        cin>>s;
    }
    return 0;
}