题意:
有n个宇航员 他们需要完成A、B、C三种任务 年龄>=平均年龄的人可以做A和C 年龄<平均年龄的能做B和C 且宇航员之间有讨厌关系不能一起做任务 要求给出一种分配方案
思路:
一类人有2种选择而且必须选1个 因此想到2-sat 根据年龄和讨厌关系来建边 之后先做可行性判断 确定可以后 求出任意一组可行解 不需要字典序最小
代码:
#include
#include
#include
#include
using namespace std; #define N 200010 struct edge { int u,v,next; }ed[N*4]; int n,m,tot,top,cnt,idx; int dfn[N],low[N],st[N],instack[N],belong[N],head[N],f[N],col[N],in[N],qu[N],opt[N]; void tarjan(int u) { int i,v; dfn[u]=low[u]=++idx; instack[u]=1; st[++top]=u; for(i=head[u];~i;i=ed[i].next) { v=ed[i].v; if(dfn[v]==-1) { tarjan(v); low[u]=min(low[u],low[v]); } else if(instack[v]&&dfn[v]
>1); for(i=0;i
tmp) f[i]=1; else f[i]=2; f[i+1]=3; } if(can()) { solve(); for(i=0;i