CF1534C：C. Little Alawn‘s Puzzle（并查集判环）

CF1534C：小阿劳恩的谜题（dp ？并查集）

英文题要注意抓取关键题意信息，遗漏一点都会影响写题

题意：

给定两个 1~n 随机顺序的序列，形成一个 2*n 对齐的版块，保证输入每行和每列数字各不相同；在保证每行和每列数字各不相同的前提下，你可以翻转任意一列数字（即交换它们）；问：这两个序列有多少种组合情况

#include<bits/stdc++.h>
#include<unordered_set>
#include<unordered_map>
#define mem(a,b) memset(a,b,sizeof a)
#define cinios (ios::sync_with_stdio(false),cin.tie(0),cout.tie(0))
#define sca scanf
#define pri printf
#define ul (u << 1)
#define ur (u << 1 | 1)
#define fx first
#define fy second
//#pragma GCC optimize(2)
//[博客地址](https://blog.csdn.net/weixin_51797626?t=1) 
using namespace std;

typedef long long ll;
typedef pair<int, int> PII;

const int N = 400010, M = 600010, MM = 3000010;
int INF = 0x3f3f3f3f, mod = 1e9 + 7;
ll LNF = 0x3f3f3f3f3f3f3f3f;
int n, m, k, T, S, D;
int a[N], b[N], p[N];

//可以发现：
//1.给定的两个序列一定是满足要求的，每行数字各不相同
// 
//2.每列数字如果未关联，就用一条边关联起来，他们之间不会分离，属于同一个列集合 
//
//若已关联，说明此时已形成一个环， 环上的所有 列关系 形成一个集合
//这个 列集合 中，一对列关系翻转，其他也必须翻转（因为要保证每行每列数字各不相同）
//而一个这样的环（列集合）就有两种情况（可以全部翻转一次）
// 
//这道题就变成了找有多少个 环 的问题
//

int find(int x) {
	if (p[x] != x)p[x] = find(p[x]);
	return p[x];
}

int main() {
	cinios;

	cin >> T;
	while (T--)
	{
		cin >> n;
		for (int i = 1; i <= n; i++)p[i] = i;

		for (int i = 1; i <= n; i++)cin >> a[i];
		for (int i = 1; i <= n; i++)cin >> b[i];

		ll ans = 1;
		for (int i = 1; i <= n; i++) {
			int fa = find(a[i]), fb = find(b[i]);

			if (fa != fb) {
				p[fa] = fb;//连接列关系
			}
			else ans = (ans * 2) % mod;//成环统计
		}
		//答案显然是 2^k，k是环的个数
		cout << ans << '\n';
	}

	return 0;
}
/*
*/