F - Equivalent Rewriting Gym - 104821F

题意

T组样例,每一组给定m次覆盖(按顺序覆盖),一共n个数字

接下来m行,每行首先给定一个p,接下来紧接着p个数字代表这次覆盖所覆盖的位置。

为是否可以交换覆盖的顺序,使得最终覆盖的结果不同

样例一解释:

3 6
3 3 1 5
2 5 3
2 2 6

假设初始染色状态为

0 0 0 0 0 0

第一次覆盖3 1 5位置

1 0 1 0 1 0

第二次覆盖5 3位置

1 0 2 0 2 0

第三次覆盖2 6位置

1 3 2 0 2 3

显然第三次操作放任意位置都不会影响最后结果，所以输出Yes以及可能的另一个顺序3 1 2

思路

观察一下下面这个样例最后的覆盖状态为3 4 1 4 3

.将最终状态向上连边(如果之前有已经被覆盖的点),代表之前的点有依赖(也就是之前的行不能向当前的行交换),此时只有第四行是可以自由向下交换的,此时无解

此时把第四行去掉,相应的边也去掉,此时2,3行就没有依赖了,所以2 3行可以自由交换,此时有解

也就是说,从下往上删行,如果此时出现的没有依赖行数>=2,就有解，交换对应的行即可

但是可能会出现1,5行没有依赖,但是交换1,5行会导致第5行没有覆盖应有的位置,所以当无依赖行数>=2的时候从小到大找到第一个无依赖的行然后直接让这个行和下一行调换即可,因为就算下一行有依赖,调换之后以后会覆盖他的位置依然会覆盖它,所以不会影响最后结果

代码实现

#include <map>
#include <set>
#include <queue>
#include <deque>
#include <cmath>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <unordered_map>
using namespace std;
#define fi first
#define se second
#define u1 (u<<1)
#define u2 (u<<1|1)
#define pb push_back
#define pp pop_back()
#define int long long
#define laile cout<<"laile"<<endl
#define lowbit(x) ((x)&(-x))
#define double long double
#define sf(x) scanf("%lld",&x)
#define sff(x,y) scanf("%lld %lld",&x,&y)
#define sd(x) scanf("%Lf",&x)
#define sdd(x,y) scanf("%Lf %Lf",&x,&y)
#define _for(i,n) for(int i=0;i<(n);++i)
#define _rep(i,a,b) for(int i=(a);i<=(b);++i)
#define _pre(i,a,b) for(int i=(a);i>=(b);--i)
#define all(x) (x).begin(), (x).end()
#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
typedef unsigned long long ULL;
typedef pair<int,int>PII;
const int N=1e6+10,INF=4e18;
int n,m;
int q[N],pre[N],ya[N];
vector<vector<int>>cun(N);
bool st[N];
int idx[N];
void print()
{
	cout<<"Yes\n";
	_rep(i,1,m)
		if(st[i])
		{
			swap(idx[i],idx[i+1]);
			break;
		}
	_rep(i,1,m)cout<<idx[i]<<" ";
	cout<<'\n';
}
void solve()
{
	cin>>m>>n;
	vector<vector<int>>(m+1).swap(cun);
	_rep(i,1,n)pre[i]=q[i]=0;
	_rep(i,1,m)
	{
		ya[i]=0;
		idx[i]=i;
		st[i]=false;
		int x,y;
		cin>>x;
		while(x--)
		{
			cin>>y;
			pre[y]=q[y];
			q[y]=i;
		}
	}
	int cnt=0;
	_rep(i,1,n)
		if(pre[i])cun[q[i]].pb(pre[i]),ya[pre[i]]++;
	_rep(i,1,m)
		if(!ya[i])cnt++,st[i]=true;
	if(cnt>=2)
	{
		print();
		return;
	}
	_pre(i,m,1)
	{
		if(st[i])cnt--,st[i]=false;
		while(cun[i].size())
		{
			ya[cun[i].back()]--;
			if(!ya[cun[i].back()])st[cun[i].back()]=true,cnt++;
			cun[i].pp;
		}
		if(cnt>=2)
		{
			print();
			return;
		}
	}
	cout<<"No\n";
	return;
}
signed main()
{
	IOS;
	int T=1;
	cin>>T;
	while(T--)
		solve();
	return 0;
}