#707531 (C++17) No.1711 Divide LCM

• 問題: No.1711 Divide LCM
• ユーザー: 沙耶花
• 提出日時: 2021-10-15 22:41:08
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: WA
• 実行時間: -
• コード長: 1,879 bytes
• コンパイル時間: 4,074 ms
• コンパイル使用メモリ: 283,312 KB
• 実行使用メモリ: 91,776 KB
• 最終ジャッジ日時: 2024-09-17 17:50:50
• 合計ジャッジ時間: 20,185 ms
• ジャッジサーバーID （参考情報）: judge6 / judge1

入力	結果	実行時間; 実行使用メモリ
testcase_00	WA	-
testcase_01	WA	-
testcase_02	AC	1 ms; 6,944 KB
testcase_03	WA	-
testcase_04	WA	-
testcase_05	WA	-
testcase_06	WA	-
testcase_07	WA	-
testcase_08	WA	-
testcase_09	WA	-
testcase_10	WA	-
testcase_11	WA	-
testcase_12	WA	-
testcase_13	WA	-
testcase_14	WA	-
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	WA	-
testcase_19	WA	-
testcase_20	WA	-
testcase_21	WA	-
testcase_22	WA	-
testcase_23	WA	-
testcase_24	WA	-
testcase_25	WA	-
testcase_26	WA	-
testcase_27	WA	-
testcase_28	WA	-
testcase_29	WA	-
testcase_30	WA	-
testcase_31	WA	-
testcase_32	WA	-
testcase_33	WA	-
testcase_34	WA	-
testcase_35	WA	-
testcase_36	WA	-
testcase_37	WA	-
testcase_38	WA	-
testcase_39	WA	-
testcase_40	AC	4 ms; 6,944 KB
testcase_41	AC	4 ms; 6,940 KB
testcase_42	AC	4 ms; 6,944 KB
testcase_43	AC	4 ms; 6,944 KB
testcase_44	AC	4 ms; 6,944 KB

ソースコード

#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;
	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);
		}
	}
	
	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;
	
	rep(i,N){
		vector<int> t;
		for(auto a:mp[i]){
			if(a.second == LCA[a.first]){
				//cout<<pos[a.first]<<endl;
				t.push_back(pos[a.first]);
			}
		}
		sort(t.begin(),t.end());

		if(S.count(t))continue;
		//cout<<i<<endl;
		rep(j,1<<t.size()){
			vector<int> nt;
			rep(k,t.size()){
				if((j>>k)&1)nt.push_back(t[k]);
			}
			S.insert(nt);
		}
		/*
		for(auto a:S){
			rep(j,a.size()){
				cout<<a[j]<<',';
			}
			cout<<endl;
		}
		cout<<endl;
		*/
	}
	//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(mp[i].count(ps[temp[j]])&&mp[i][ps[temp[j]]]==LCA[ps[temp[j]]])continue;
							ans[j].push_back(i+1);
							break;
						}
					}
					
					rep(i,temp.size()){
						rep(j,ans[i].size()){
							if(j!=0)cout<<' ';
							cout<<ans[i][j];
						}
						cout<<endl;
					}
					
					
					return 0;
				}
				nt.push_back(temp);
				
			}
		}
		swap(t,nt);
		
	}
	
	return 0;
}