結果

問題 No.1078 I love Matrix Construction
ユーザー okok
提出日時 2020-06-13 01:34:33
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 329 ms / 2,000 ms
コード長 3,661 bytes
コンパイル時間 1,257 ms
コンパイル使用メモリ 99,728 KB
実行使用メモリ 69,176 KB
最終ジャッジ日時 2024-06-24 06:15:21
合計ジャッジ時間 6,359 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 32 ms
12,656 KB
testcase_03 AC 107 ms
28,272 KB
testcase_04 AC 151 ms
37,748 KB
testcase_05 AC 123 ms
31,716 KB
testcase_06 AC 30 ms
12,648 KB
testcase_07 AC 11 ms
6,888 KB
testcase_08 AC 127 ms
32,104 KB
testcase_09 AC 6 ms
5,376 KB
testcase_10 AC 329 ms
69,176 KB
testcase_11 AC 165 ms
39,796 KB
testcase_12 AC 269 ms
57,460 KB
testcase_13 AC 301 ms
64,868 KB
testcase_14 AC 193 ms
45,684 KB
testcase_15 AC 288 ms
61,300 KB
testcase_16 AC 9 ms
6,000 KB
testcase_17 AC 2 ms
5,376 KB
testcase_18 AC 21 ms
10,220 KB
testcase_19 AC 56 ms
19,184 KB
testcase_20 AC 54 ms
18,928 KB
testcase_21 AC 3 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<string>
#include<iomanip>
#include<cmath>
#include<vector>
#include<algorithm>
#include<utility>

using namespace std;

#define int long long
#define endl "\n"

constexpr long long INF = (long long)1e18;
constexpr long long MOD = 1'000'000'007; 

struct fast_io {
	fast_io(){
		std::cin.tie(nullptr);
		std::ios::sync_with_stdio(false);
	};
} fio;


void dfs1(vector<vector<pair<int,int>>> &graph, vector<int> &num, vector<int> &used, int node, int &con){
        
        if(used[node]) return ;
        
        used[node] = true;
        
        for(pair<int,int> next : graph[node]){
                dfs1(graph, num, used, next.first, con);
        }
        
        num[con++] = node;
}

void dfs2(vector<vector<pair<int,int>>> &graph, vector<int> &scc, vector<int> &used, int node, int same){
        
        if(used[node]) return ;
        
        used[node] = true;
        
        for(pair<int,int> next : graph[node]){
                dfs2(graph, scc, used, next.first, same);
        }
        
        scc[node] = same;
}

void Strongly_Connected_Components(vector<vector<pair<int,int>>> &graph, vector<int> &scc){
        vector<int>  used(graph.size()), num(graph.size());
        vector<vector<pair<int,int>>> graph2(graph.size());
        int con = 0;
        
        scc.resize(graph.size());
        
        for(int i = 0; i < graph.size(); i++){
                dfs1(graph, num, used, i, con);
        }
        
        for(int i = 0; i < graph.size(); i++){
                for(int j = 0; j < graph[i].size(); j++){
                        graph2[graph[i][j].first].push_back(make_pair(i, graph[i][j].second));
                }
        }
        
        used.clear();
        used.resize(graph.size());
        
        for(int i = (int)graph.size()-1, same = 0; i >= 0; i--){
                if(!used[num[i]]){
                        dfs2(graph2, scc, used, num[i], same);
                        same++;
                }
        }
        
}


bool two_satisfiability(int num, vector<pair<pair<bool,int>,pair<bool,int>>>& closure, vector<bool>& val){
	vector<vector<pair<int,int>>> graph(num*2);
	vector<int> scc;
	
	val.resize(num);
	
	for(int i = 0; i < closure.size(); i++){
		graph[!closure[i].first.first + closure[i].first.second*2].push_back({closure[i].second.first  + closure[i].second.second*2 ,0});
		graph[!closure[i].second.first + closure[i].second.second*2].push_back({closure[i].first.first  + closure[i].first.second*2 ,0});
	}
	
	Strongly_Connected_Components(graph, scc);
	
	for(int i = 0; i < num*2; i += 2){
		if(scc[i] == scc[i+1]){
			return false;
		} else if(scc[i] > scc[i+1]){
			val[i/2] = true;
		} else {
			val[i/2] = false;
		}
	}
	return true;
}

bool check(pair<int,int> a, pair<int,int> b){
	bool res;
	
	res = (a.second - a.first + 1 + b.second - b.first + 1 > max(a.second, b.second) - min(a.first, b.first) + 1);
	
	return res;
}

signed main(){
	cout<<fixed<<setprecision(10);
	
	int N;
	vector<int> S, T, U;
	vector<pair<pair<bool,int>,pair<bool,int>>> closure;
	vector<bool> val;
	cin>>N;
	
	S.resize(N);
	T.resize(N);
	U.resize(N);
	
	for(int i = 0; i < N; i++){
		cin>>S[i];
		S[i]--;
	}
	
	for(int i = 0; i < N; i++){
		cin>>T[i];
		T[i]--;
	}
	
	for(int i = 0; i < N; i++){
		cin>>U[i];
	}
	
	for(int i = 0; i < N; i++){
		for(int j = 0; j < N; j++){
			closure.push_back({{U[i]%2, S[i] * N + j},{U[i]/2, j * N + T[i]}});
		}
	}
	
	if(two_satisfiability(N * N, closure, val)) {
		for(int i = 0; i < N; i++){
			for(int j = 0; j < N; j++){
				if(j) cout<<" "; 
				cout<<val[i * N + j];
			}
			cout<<endl;
		}
	} else {
		cout<<-1<<endl;
	}
	return 0;
}
0