CF1369E DeadLee

一、题目

点此看题

二、解法

这道题关键在于理解每个人会拿走所有还有的喜欢的菜品，这意味着如果出现了所有菜品都不够的情况，无解。简单证明一下，由于每个人会拿走所有还有的喜欢的菜品，所以每个菜品之间是独立的，这个菜品的选取不会影响到另一个菜品，所以最后总会出现不够的状态。

如果有够的菜品呢？那我们就把强制喜欢这个菜品的人只拿这个菜品（把他安排到靠后），这样这个人就可以不用拿其他的菜品，这样一来，就会有新的菜品从不够变到够，类似一个拓扑排序的过程。

#include <cstdio>
#include <vector>
#include <queue>
using namespace std;
const int M = 200005; 
int read()
{
    int num=0,flag=1;
    char c;
    while((c=getchar())<'0'||c>'9')if(c=='-')flag=-1;
    while(c>='0'&&c<='9')num=(num<<3)+(num<<1)+(c^48),c=getchar();
    return num*flag;
}
int n,m,k,zxy,f[M],ans[M],fuck[M],a[M],b[M],x[M],y[M];
vector<int> g[M];
queue<int> q;
signed main()
{
	n=read();m=read();
	for(int i=1;i<=n;i++)
		a[i]=read();
	for(int i=1;i<=m;i++)
	{
		x[i]=read();y[i]=read();
		b[x[i]]++;b[y[i]]++;
		g[x[i]].push_back(i);
		g[y[i]].push_back(i);
	}
	for(int i=1;i<=n;i++)
		if(a[i]>=b[i])
		{
			f[i]=1;
			q.push(i);
		}
	while(!q.empty())
	{
		int t=q.front();
		k++;
		q.pop();
		for(int i=0;i<g[t].size();i++)
		{
			int u=g[t][i];
			if(!fuck[u])
			{
				fuck[u]=1;
				ans[++zxy]=u;
			}
			b[x[u]]--;b[y[u]]--;
			if(a[x[u]]>=b[x[u]] && !f[x[u]])
			{
				f[x[u]]=1;
				q.push(x[u]);
			}
			if(a[y[u]]>=b[y[u]] && !f[y[u]])
			{
				f[y[u]]=1;
				q.push(y[u]);
			}
		}
	}
	if(k==n)
	{
		puts("ALIVE");
		for(int i=m;i>=1;i--)
			printf("%d ",ans[i]);
	}
	else puts("DEAD");
}