#819863 (C++17) No.2134 $\sigma$-algebra over Finite Set

• 問題: No.2134 $\sigma$-algebra over Finite Set
• ユーザー: kmjp
• 提出日時: 2022-11-25 23:15:40
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: WA
• 実行時間: -
• コード長: 1,690 bytes
• コンパイル時間: 2,216 ms
• コンパイル使用メモリ: 203,528 KB
• 実行使用メモリ: 5,632 KB
• 最終ジャッジ日時: 2024-10-02 05:45:51
• 合計ジャッジ時間: 3,580 ms
• ジャッジサーバーID （参考情報）: judge3 / judge2

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	83 ms; 5,376 KB
testcase_02	AC	83 ms; 5,504 KB
testcase_03	WA	-
testcase_04	WA	-
testcase_05	WA	-
testcase_06	AC	7 ms; 5,248 KB
testcase_07	AC	8 ms; 5,248 KB
testcase_08	AC	2 ms; 5,248 KB
testcase_09	AC	2 ms; 5,248 KB
testcase_10	WA	-
testcase_11	WA	-
testcase_12	WA	-
testcase_13	AC	47 ms; 5,504 KB
testcase_14	WA	-
testcase_15	AC	20 ms; 5,248 KB
testcase_16	WA	-
testcase_17	AC	2 ms; 5,248 KB
testcase_18	AC	2 ms; 5,248 KB

ソースコード

#include <bits/stdc++.h>
using namespace std;
typedef signed long long ll;

#define _P(...) (void)printf(__VA_ARGS__)
#define FOR(x,to) for(x=0;x<(to);x++)
#define FORR(x,arr) for(auto& x:arr)
#define FORR2(x,y,arr) for(auto& [x,y]:arr)
#define ALL(a) (a.begin()),(a.end())
#define ZERO(a) memset(a,0,sizeof(a))
#define MINUS(a) memset(a,0xff,sizeof(a))
template<class T> bool chmax(T &a, const T &b) { if(a<b){a=b;return 1;}return 0;}
template<class T> bool chmin(T &a, const T &b) { if(a>b){a=b;return 1;}return 0;}
//-------------------------------------------------------

int N,M;
const ll mo=998244353;

const int MAT=8080;
bitset<8080> BS[8080];
int V[8080],R[8080];

int Gauss(int R,int C,bitset<8080> BS[MAT],int v[MAT],int r[MAT]) {
	int i,j,k;
	int nex=0;
	FOR(i,R) {
		while(nex<C) {
			for(j=i;j<R;j++) if(BS[j][nex]) break;
			if(j!=R) break;
			nex++;
		}
		if(nex>=C) break;
		swap(BS[i],BS[j]);
		swap(v[i],v[j]);
		FOR(j,R) if(i!=j && BS[j][nex]) {
			v[j]^=v[i];
			BS[j]^=BS[i];
		}
		nex++;
	}
	FOR(i,C) r[i]=0;
	int num=0;
	FOR(i,R) {
		
		FOR(j,C) if(BS[i][j]) break;
		if(j<C) {
			r[j]=v[i];
			num++;
		}
		else if(v[i]) {
			return -1;
		}
	}
	
	return num;
}

void solve() {
	int i,j,k,l,r,x,y; string s;
	
	cin>>N>>M;
	FOR(i,N) BS[0][i]=1;
	FOR(i,M) {
		cin>>x;
		while(x--) {
			cin>>y;
			BS[2*i+1][y-1]=1;
		}
		FOR(j,N) BS[2*i+2][j]=1^BS[2*i+2][j];
	}
	x=Gauss(2*M+1,N,BS,V,R);
	ll ret=1;
	FOR(i,x) ret=ret*2%mo;
	cout<<ret<<endl;
}


int main(int argc,char** argv){
	string s;int i;
	if(argc==1) ios::sync_with_stdio(false), cin.tie(0);
	FOR(i,argc-1) s+=argv[i+1],s+='\n'; FOR(i,s.size()) ungetc(s[s.size()-1-i],stdin);
	cout.tie(0); solve(); return 0;
}