Codeforces Round #561 (Div. 2) E. The LCMs Must be Large (数学 + 构造 + 集合)

题目大意：有n个石头，每个石头上有一个数值，但现在不知道每个石头的数值是多少。玩家A和玩家B在玩一个游戏：每天A会拿n个石头中的s个，B会拿剩下的全部的石头，如果A拿的石头的权值的lcm大于b的lcm，则A赢。已知m天，每天A拿的石头，有没有可能存在A每天都赢的情况？若有输出possible,否则输出impossible

分析：先考虑impossible的情况，设第i天 A拿的石头的集合是 Si,则B拿的石头是Di, 第 j 天A拿的石头的集合是 Sj,B拿的石头是Dj，并假设lcm si > lcm di 并且 lcm sj > lcm dj。若si 和 sj 没有交集，则sj 必定是di 的一个子集，si 必定是 dj的一个子集，则 lcm sj <= lcm di，lcm si <= lcm dj ,
即 lcm dj >= lcm si > lcm di >= lcm sj > lcm dj，构成了循环，显然矛盾。

所以要有解，任意两天拿的石头要有交集。
如何构造答案使得A每天都赢：假设有m个不通的素数 p1,p2,…,pm，若A在第j天拿了第i个石头,则第i个石头乘以pj。
证明：因为任意两天都有交集，那么第i天，因为和其他m - 1 天都有交集，它的lcm 为 p1 * p2 * p3 * p4 * … * pm，而这一天 ，B拿的石头缺少pi ，因此B的石头的lcm 严格小于 A的lcm。

这题只需要判断是否有解即可：由上可知只要任意两天拿的石头有交集就有解

复杂度O(n * m ^ 2)

#include<bits/stdc++.h>
using namespace std;
const int maxn = 3e5 + 10;
int n,m,tot,p;
int vis[60][maxn];
int main() {
	scanf("%d%d",&m,&n);
	for(int i = 1; i <= m; i++) {
		scanf("%d",&tot);
		for(int j = 1; j <= tot; j++) {
			scanf("%d",&p);
			vis[i][p] = 1;
		}
	}
	for(int i = 1; i <= m; i++) {
		for(int j = i + 1; j <= m; j++) {
			bool f = false;
			for(int k = 1; k <= n; k++) {
				if(vis[i][k] == 1 && vis[j][k] == 1) {
					f = true;
					break;
				}
			}
			if(!f) {
				puts("impossible");
				return 0;
			}
		}
	}
	puts("possible");
}