rt，WA on #2

#include<bits/stdc++.h>
#define maxn 2000
using namespace std;
int n,m;
struct line{int to,pre;}b[maxn<<1],_b[maxn<<1];
int t,head[maxn<<1],_t,_head[maxn<<1];
inline void ad(int x,int y)
{
    t++;
    b[t].to=y;
    b[t].pre=head[x];
    head[x]=t;
}
inline void _ad(int x,int y)
{
    _t++;
    _b[_t].to=y;
    _b[_t].pre=_head[x];
    _head[x]=_t;
}
int k,dfn[maxn],low[maxn],scc,col[maxn];
bool in_sta[maxn];
stack<int>sta;
void tarjan(int x)
{
    dfn[x]=++k;
    low[x]=k;
    in_sta[x]=1;
    sta.push(x);
    for(int i=head[x];i;i=b[i].pre)
    {
        int y=b[i].to;
        if(!dfn[y])tarjan(y),low[x]=min(low[x],low[y]);
        else if(in_sta[y])low[x]=min(low[x],dfn[y]);
    }
    if(dfn[x]==low[x])
    {
        scc++;
        while(!sta.empty())
        {
            int tp=sta.top(); sta.pop();
            in_sta[tp]=0;
            col[tp]=scc;
            if(tp==x)break;
        }
    }
}
bool vis[maxn];
void dfs(int x)
{
    vis[x]=1;
    for(int i=_head[x];i;i=_b[i].pre)
    {
        int y=_b[i].to;
        if(vis[y])continue;
        dfs(y);
    }
}
int check(int x)
{
    memset(vis,0,sizeof(vis));
    dfs(col[x]);
    if(vis[col[x+n]])return 1;//从Y出发可达N
    memset(vis,0,sizeof(vis));
    dfs(col[x+n]);
    if(vis[col[x]])return 0;//从N出发可达Y
    return -1;//Y和N互不可达
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;++i)
    {
        char c1,c2;
        int id1,id2;
        cin>>id1>>c1>>id2>>c2;
        //i表示Y，i+n表示N
        if(c1=='Y')
        {
            if(c2=='Y')ad(id1+n,id2),ad(id2+n,id1);
            if(c2=='N')ad(id1+n,id2+n),ad(id2,id1);
        }
        if(c1=='N')
        {
            if(c2=='Y')ad(id1,id2),ad(id2+n,id1+n);
            if(c2=='N')ad(id1,id2+n),ad(id2,id1+n);
        }
    }
    for(int i=1;i<=2*n;++i)
        if(!dfn[i])tarjan(i);
    for(int i=1;i<=n;++i)
        if(col[i]==col[i+n]){puts("IMPOSSIBLE");return 0;}
    for(int x=1;x<=2*n;++x)//缩点后建新图
        for(int i=head[x];i;i=b[i].pre)
        {
            int y=b[i].to;
            if(col[x]!=col[y])
                _ad(col[x],col[y]);
        }
    for(int i=1;i<=n;++i)
    {
        int ok=check(i);
        if(ok==0)putchar('Y');
        else if(ok==1)putchar('N');
        else putchar('?');
    }
	return 0;
}