【图论——2-sat】——wedding婚宴

这道题我们可以很轻易地发现是用2-sat来解答的，2-sat也很容易想出来。于是本蒟蒻就很快地写了出来。然而接下来的wa什么的就一直伴随了我一整个上午，整个人都不好了。
这道题最恶心的是新娘的位置要固定。
！！！！新娘新郎也会闹矛盾

#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
using namespace std;
int n,m;
vector <int> g[40001];
bool mark[40001*2];
int s[40001];
int jis=0;
bool dfs(int u)
{
    int hv=u^1;
    if(mark[hv]==1)
    {
        return 0;
    }
    if(mark[u]==1)
    {
        return 1;
    }
    mark[u]=1;
    s[++jis]=u;
    for(int i=0;i<g[u].size();i++)
    {
        int v=g[u][i];
        if(dfs(v)==0)
        {
            return 0;
        }
    }
    return 1;
}
bool solve()
{
    for(int i=0;i<=n-1;i++)
    {
        if(mark[i*2]==0&&mark[(i*2)^1]==0)
        {
            jis=0;
            if(dfs(i*2)==0)//之所以先判断这个，是因为要先判断新娘对面是否为新郎（mark[i*2]==1时对面为新郎，所以dfs(i*2)要==1）
            {
                if(i==0)
                {
                    return 0;//如果新娘对面不是新郎那么退出（return 0）
                }
                while(jis>0)
                {
                    mark[s[jis--]]=0;
                }
                if(dfs((i*2)^1)==0)
                {
                    return 0;
                }
            }
        }
    }
    return 1;
}
int main()
{
    while(1)
    {
        memset(mark,0,sizeof(mark));
        memset(s,0,sizeof(s));
        jis=0;
        for(int i=0;i<=40000;i++)
        {
            g[i].clear();
        }
        scanf("%d %d",&n,&m);
        if(n==0&&m==0)
        {
            return 0;
        }
        for(int i=1;i<=m;i++)
        {
            int x,y;
            char sx,sy;
            scanf("%d%c %d%c",&x,&sx,&y,&sy);
                g[x*2].push_back((y*2)^1);
                g[y*2].push_back((x*2)^1);
            }
            if(sx=='h'&&sy=='w')
            {
                g[x*2].push_back(y*2);
                g[(y*2)^1].push_back((x*2)^1);
            }
            if(sx=='w'&&sy=='h')
            {
                g[(x*2)^1].push_back((y*2)^1);
                g[y*2].push_back(x*2);
            }
            if(sx=='w'&&sy=='w')
            {
                g[(x*2)^1].push_back(y*2);
                g[(y*2)^1].push_back(x*2);
            }
        }
        if(solve()==0)
        {
            printf("bad luck\n");
            continue;
        }
        else
        {
            for(int i=1;i<=n-1;i++)
            {
                if(mark[(i*2)^1]==1)//输出新娘这一边的人（1为丈夫0为妻子）
                {
                    printf("%dh ",i);
                }
                else
                {
                    printf("%dw ",i);
                }
            }
        }
        printf("\n");
    }
    return 0;
}