FFF团

MZOJ

【题目描述】

从前，Shylock和Lucar 幸福的生活在一起。

在情人节前夕，他们出去逛街，遇到了FFF团的成员集体活动，于是他们就被FFF团抓进了地牢，并把他们关进了随机的两个不同的房间里。FFF团的团长打算明天将他们淹没在火海之中。但是团长给了他们一个机会，如果他们其中一个人能到达另一个人的房间（另一个人不动），那么就放过他们，否则就关到第二天然后点火。

地牢里面有n个房间，m条路，每一条路连接两个房间，并且路是有方向的。

现在问Shylock和Lucar是否无论在任何情况下，都满足他们其中一个人能到达另一个人的房间，如果是则输出“I love you my love and our love save us!”，否则输出“Light my fire!”

解题思路：

1.缩点为DAG，则如果在新图中出现了有两个及以上入度为0的点则不合法

2.判断从一个入度为零的点的后面是否有分叉的情况，且分叉的两个点只有一个入度了（如果有多个入度，则减掉一个入度），枚举下一个入度为零的点

如图：

如果我们在$3,4$号点，则无法满足题目要求

具体见代码：

//缩点为DAG，则如果在拓扑序中出现了有两个及以上入度为0的点则不合法
#include<bits/stdc++.h>
#define rep(i,a,b) for(register int (i)=(a);(i)<=(b);(i)++) 
#define don(i,a,b) for(register int (i)=(a);(i)>=(b);(i)--)
using namespace std;
const int maxn=1e4+10;
const int maxm=1e3+10;
int T,m,n;
int head[maxm],cnt;
int dfn[maxm],low[maxm],vis[maxm];
int sta[maxn],instack[maxm];
int val[maxm],top,Index,color;
int mapp[maxm][maxm],rd[maxm];

template <class t> inline void read(t &x)
{
    x=0;int f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-') f=-1;ch=getchar();}
    while(isdigit(ch)){x=10*x+ch-'0';ch=getchar();}
    x*=f;
}

struct node{
	int v,nex;
}e[maxn<<1];

void readdata() {
	
}

void init() {//初始化
	cnt=0;
	memset(vis,0,sizeof(vis));
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(instack,0,sizeof(instack));
    memset(head,0,sizeof(head));
    memset(mapp,0,sizeof(mapp));
    memset(rd,0,sizeof(rd));
    top=0;cnt=0;Index=0;color=0;
}

void add(int u,int v) {
	e[++cnt].v=v;
	e[cnt].nex=head[u];
	head[u]=cnt;
}

void Tarjan(int u)//缩点
{
    dfn[u]=low[u]=++Index;
    sta[++top]=u;
    int i,v;
    instack[u]=vis[u]=1;
    for(int i=head[u];i;i=e[i].nex)
    {
        v=e[i].v;
        if(!vis[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else
            if(instack[v])
                low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        color++;
        do
        {
            v=sta[top--];
            instack[v]=0;
            val[v]=color;
        }while(v!=u);
    }
}

int q[maxm];
/*val表示有几个强联通，mapp[i][j]表示i号点所在的强联通和j号点所在的强联通是否相连。
q[0]表示有多少个入度为0的点，rd[i]表示i的入度为多少*/
bool check() {
	int i,j,jj;
    rep(i,1,n)
        if(!vis[i])
            Tarjan(i);
    rep(i,1,n)
        for(int j=head[i];j;j=e[j].nex) {
            int y=e[j].v;
            if(val[i]!=val[y])
                mapp[val[i]][val[y]]=1;//统计两点是否相连
        }
    if(color==1) return false;//如果只有一个强联通，则一定可以达到条件
    rep(i,1,color)
        rep(j,1,color)
            if(mapp[i][j]) rd[j]++;//i与j相连，则j的入度++
    memset(vis,0,sizeof(vis));
    q[0]=0;//初始化
    for(i=1;i<=color;i++)
        if(rd[i]==0)//如果这个强联通没有入度
        {
            q[0]++;//算上这个有多少个入度为0的强联通
            q[q[0]]=i;//这个强联通是多少号
            vis[i]=1;//不用访问这个强联通，因为没有入度
        }
    if(q[0]>=2) return true;//有两个及以上入度为0的点则不合法
    int t=1,x,num;
    while(t<=q[0])//枚举每一个入度为0的强联通
    {
        x=q[t];//取出第t个强联通是多少号强联通
        num=0;
        for(i=1;i<=color;i++) {
            if(vis[i]) continue;//枚举的强联通入度不能为零
            if(!mapp[x][i]) continue;//两个强联通要相连
            rd[i]--;//减掉这个入度，枚举下一个入度为零的强联通，可以看为不要x这个强联通和它附带的边，因为x可以和任意一个强联通互通，所以下面的枚举均与这个强联通无关
            if(rd[i]==0)//i号强联通是否没有入度
            {
                num++;//用num来记录是否有分叉的情况
                q[0]++;//又多了一个入度为零的强联通
                q[q[0]]=i;//这个新的强联通是第i个
                vis[i]=1;//不用再走向这个强联通了，入度已经为零了
                if(num==2) return true;//有了分叉情况
            }
        }
        t++;//枚举下一个强联通
    }
    return false;
}

void work() {
	read(T);
	while(T--) {
		init();
		read(n),read(m);
		rep(i,1,m) {
			int x,y;
			read(x),read(y);
			add(x,y);
		}
		if(check())
            printf("Light my fire!\n");
        else
            printf("I love you my love and our love save us!\n");
	}
}

int main() {
//	freopen("FFF.in","r",stdin);
//	freopen("FFF.out","w",stdout);
	//readdata();
	work();
	return 0;
}