Codeforces 1239D. Catowice City

传送门

如果选择 $i$ 当陪审团成员，那么 $i$ 认识的猫一定不能参加

又因为总人数和猫数要为 $n$ ，那么 $i$ 认识的猫 的主人也一定要当陪审团成员（不然总数不够）

所以可以考虑这样构图，对每个人 $i$ 向认识的所有猫的主人 $j$ 连边，那么如果选择 $i$ ， $i$ 能到达的所有点都必须选择

所以对于一个点双，选其中任意一个就得选全部

如果这样构完图发现整个图只有一个点双，那么一定是 $\text{No}$

否则考虑点双之间构成了一个 $DAG$ ，我们只要选择 $DAG$ 中任意一个没有出度的点双作为陪审团即可，剩下的点全选猫，用反证法容易证明一定合法

任意一个没有出度的点双其实考虑到 $Tarjan$ 的过程发现第一个缩起来的点双一定没有出度，证明同样可以反证法

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<vector>
using namespace std;
typedef long long ll;
inline int read()
{
    int x=,f=; char ch=getchar();
    while(ch<''||ch>'') { if(ch=='-') f=-; ch=getchar(); }
    while(ch>=''&&ch<='') { x=(x<<)+(x<<)+(ch^); ch=getchar(); }
    return x*f;
}
const int N=1e6+;
int T,n,m;
int fir[N],from[N<<],to[N<<],cntt;
inline void add(int a,int b) { from[++cntt]=fir[a]; fir[a]=cntt; to[cntt]=b; }
int dfn[N],low[N],bel[N],dfs_clock,cnt;
int st[N],Top;
void Tarjan(int x)
{
    st[++Top]=x; dfn[x]=low[x]=++dfs_clock;
    for(int i=fir[x];i;i=from[i])
    {
        int &v=to[i];
        if(!dfn[v]) Tarjan(v),low[x]=min(low[x],low[v]);
        else if(!bel[v]) low[x]=min(low[x],dfn[v]);
    }
    if(low[x]!=dfn[x]) return;
    cnt++;
    while(st[Top]!=x)
        bel[st[Top--]]=cnt;
    bel[st[Top--]]=cnt;
}
int main()
{
    T=read();
    while(T--)
    {
        for(int i=;i<=n;i++) fir[i]=dfn[i]=bel[i]=;
        cntt=cnt=dfs_clock=;
        n=read(),m=read(); int a,b;
        for(int i=;i<=m;i++)
        {
            a=read(),b=read(); if(a==b) continue;
            add(a,b);
        }
        for(int i=;i<=n;i++) if(!dfn[i]) Tarjan(i);
        if(cnt==) { printf("No\n"); continue; }
        int ans=; for(int i=;i<=n;i++) if(bel[i]==) ans++;
        printf("Yes\n%d %d\n",ans,n-ans);
        for(int i=;i<=n;i++) if(bel[i]==) printf("%d ",i); puts("");
        for(int i=;i<=n;i++) if(bel[i]!=) printf("%d ",i); puts("");
    }
    return ;
}