結果

問題 No.1711 Divide LCM
ユーザー 沙耶花沙耶花
提出日時 2021-10-15 22:46:19
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 3,518 ms / 4,000 ms
コード長 1,816 bytes
コンパイル時間 4,182 ms
コンパイル使用メモリ 283,024 KB
実行使用メモリ 94,080 KB
最終ジャッジ日時 2024-09-17 17:52:09
合計ジャッジ時間 21,297 ms
ジャッジサーバーID
（参考情報） 		judge6 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 4 ms
5,376 KB
testcase_04 AC 16 ms
5,376 KB
testcase_05 AC 93 ms
6,016 KB
testcase_06 AC 25 ms
5,376 KB
testcase_07 AC 67 ms
5,632 KB
testcase_08 AC 19 ms
5,376 KB
testcase_09 AC 123 ms
8,320 KB
testcase_10 AC 19 ms
5,376 KB
testcase_11 AC 198 ms
9,856 KB
testcase_12 AC 18 ms
5,376 KB
testcase_13 AC 2 ms
5,376 KB
testcase_14 AC 7 ms
5,376 KB
testcase_15 AC 11 ms
5,376 KB
testcase_16 AC 3 ms
5,376 KB
testcase_17 AC 8 ms
5,376 KB
testcase_18 AC 236 ms
25,856 KB
testcase_19 AC 235 ms
25,984 KB
testcase_20 AC 240 ms
25,984 KB
testcase_21 AC 333 ms
33,960 KB
testcase_22 AC 3,518 ms
69,248 KB
testcase_23 AC 2,570 ms
94,080 KB
testcase_24 AC 358 ms
26,440 KB
testcase_25 AC 345 ms
25,544 KB
testcase_26 AC 346 ms
24,064 KB
testcase_27 AC 327 ms
25,428 KB
testcase_28 AC 307 ms
23,936 KB
testcase_29 AC 5 ms
5,376 KB
testcase_30 AC 371 ms
33,104 KB
testcase_31 AC 4 ms
5,376 KB
testcase_32 AC 316 ms
36,496 KB
testcase_33 AC 311 ms
36,372 KB
testcase_34 AC 15 ms
5,376 KB
testcase_35 AC 425 ms
24,828 KB
testcase_36 AC 478 ms
25,768 KB
testcase_37 AC 475 ms
25,804 KB
testcase_38 AC 358 ms
42,080 KB
testcase_39 AC 360 ms
39,212 KB
testcase_40 AC 4 ms
5,376 KB
testcase_41 AC 4 ms
5,376 KB
testcase_42 AC 4 ms
5,376 KB
testcase_43 AC 5 ms
5,376 KB
testcase_44 AC 4 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001

int main(){
	
	int N;
	cin>>N;
	
	vector<map<int,int>> mp(N);
	map<int,int> LCA;
	vector<long long> v(N,1);
	rep(i,N){
		int m;
		cin>>m;
		
		rep(j,m){
			int p,e;
			cin>>p>>e;
			mp[i][p] = e;
			LCA[p] = max(LCA[p],e);
			rep(k,e)v[i] *= p;
		}
	}
	
	map<int,int> pos;
	int cur = 0;
	vector<int> ps(LCA.size());
	for(auto a:LCA){
		pos[a.first] = cur;
		ps[cur] = a.first;
		cur++;
	}

	
	set<vector<int>> S;
	vector<vector<int>> tt(N);
	rep(i,N){
		vector<int> t;
		for(auto a:mp[i]){
			if(a.second == LCA[a.first]){
				t.push_back(pos[a.first]);
			}
		}
		sort(t.begin(),t.end());
		tt[i] = t;
		if(S.count(t))continue;

		rep(j,1<<t.size()){
			vector<int> nt;
			rep(k,t.size()){
				if((j>>k)&1)nt.push_back(t[k]);
			}
			S.insert(nt);
		}
	}
	//cout<<'a'<<endl;
	
	vector<vector<int>> t(cur);
	
	rep(i,cur)t[i] = {i};
	
	while(true){
		if(t.size()==0){
			cout<<-1<<endl;
			return 0;
		}
		vector<vector<int>> nt;
		rep(i,t.size()){
			
			int last = t[i].back();
			for(int j=last+1;j<cur;j++){
				vector<int> temp = t[i];
				temp.push_back(j);
				if(!S.count(temp)){
					cout<<temp.size()<<endl;
					
					vector<vector<int>> ans(temp.size());
					rep(i,N){
						rep(j,temp.size()){
							if(binary_search(tt[i].begin(),tt[i].end(),temp[j]))continue;
							ans[j].push_back(v[i]);
							break;
						}
					}
					
					rep(i,temp.size()){
						cout<<ans[i].size();
						rep(j,ans[i].size()){
							cout<<' ';
							cout<<ans[i][j];
						}
						cout<<endl;
					}
					
					
					return 0;
				}
				nt.push_back(temp);
				
			}
		}
		swap(t,nt);
		
	}
	
	return 0;
}
0