結果

問題 No.274 The Wall
ユーザー monolithmonolith
提出日時 2019-03-04 11:36:24
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 326 ms / 2,000 ms
コード長 2,596 bytes
コンパイル時間 788 ms
コンパイル使用メモリ 77,292 KB
実行使用メモリ 137,288 KB
最終ジャッジ日時 2024-06-22 02:25:56
合計ジャッジ時間 2,727 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4 ms
8,772 KB
testcase_01 AC 4 ms
8,776 KB
testcase_02 AC 4 ms
8,772 KB
testcase_03 AC 114 ms
74,348 KB
testcase_04 AC 4 ms
8,768 KB
testcase_05 AC 3 ms
8,716 KB
testcase_06 AC 3 ms
8,648 KB
testcase_07 AC 4 ms
8,776 KB
testcase_08 AC 4 ms
8,644 KB
testcase_09 AC 3 ms
8,768 KB
testcase_10 AC 3 ms
8,772 KB
testcase_11 AC 326 ms
137,288 KB
testcase_12 AC 24 ms
8,776 KB
testcase_13 AC 3 ms
8,648 KB
testcase_14 AC 8 ms
8,904 KB
testcase_15 AC 18 ms
8,640 KB
testcase_16 AC 199 ms
89,544 KB
testcase_17 AC 199 ms
85,416 KB
testcase_18 AC 191 ms
88,132 KB
testcase_19 AC 29 ms
8,988 KB
testcase_20 AC 33 ms
9,028 KB
testcase_21 AC 34 ms
9,024 KB
testcase_22 AC 37 ms
9,016 KB
testcase_23 AC 39 ms
9,052 KB
testcase_24 AC 36 ms
9,392 KB
testcase_25 AC 38 ms
8,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES

#include <cstdio>
#include <cstdlib>
#include <iostream>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <vector>
#include <queue>
#include <map>

using namespace std;

typedef pair<long long int, long long int> P;

long long int INF = 1e18;
long long int MOD = 1e9 + 7;

#define MAX_V 110000

int V;
vector<int> G[MAX_V]; // グラフの隣接リスト表現
vector<int> rG[MAX_V];// 辺の向きを逆にしたグラフ
vector<int> vs;       // 帰りがけ順の並び
bool used[MAX_V];     // すでに調べたか
int cmp[MAX_V];       // 属する強連結成分のトポロジカル順序

// from から to への辺を張る関数
void add_edge(int from, int to){
	G[from].push_back(to);
	rG[to].push_back(from);
}

void dfs(int v){
	used[v] = true;
	for(int i = 0; i < G[v].size(); i++){
		if(!used[G[v][i]]){
			dfs(G[v][i]);
		}
	}
	vs.push_back(v);
}

void rdfs(int v, int k){
	used[v] = true;
	cmp[v] = k;
	for(int i = 0; i < rG[v].size(); i++){
		if(!used[rG[v][i]]){
			rdfs(rG[v][i], k);
		}
	}
}

// 強連結成分分解を行う関数、返り値は強連結成分の個数
int scc(){
	memset(used, 0, sizeof(used));
	vs.clear();
	for(int v = 0; v < V; v++){
		if(!used[v]){
			dfs(v);
		}
	}
	memset(used, 0, sizeof(used));
	int k = 0;
	for(int i = vs.size() - 1; i >= 0; i--){
		if(!used[vs[i]]){
			rdfs(vs[i], k++);
		}
	}
	return k;
}

bool wrapped(int L1, int R1, int L2, int R2){
	if((L1 <= L2 && L2 <= R1) || (L1 <= R2 && R2 <= R1)){
		return true;
	}
	if((R2 - R1) * (L2 - L1) <= 0){
		return true;
	}
	return false;
}

int N, M;

void sec_flip(int &L, int &R){
	swap(L, R);
	L = M - L - 1;
	R = M - R - 1;
}

int main(){
	
	cin >> N >> M;
	V = N * 2;
	
	int L[2100], R[2100];
	for(int i = 0; i < N; i++){
		cin >> L[i] >> R[i];
	}
	for(int i = 0; i < N; i++){
		for(int j = i + 1; j < N; j++){
			if(wrapped(L[i], R[i], L[j], R[j])){
				add_edge(i, j + N);
				add_edge(j, i + N);
			}
			sec_flip(L[j], R[j]);
			if(wrapped(L[i], R[i], L[j], R[j])){
				add_edge(i, j);
				add_edge(j + N, i + N);
			}
			sec_flip(L[j], R[j]);
			sec_flip(L[i], R[i]);
			if(wrapped(L[i], R[i], L[j], R[j])){
				add_edge(i + N, j + N);
				add_edge(j, i);
			}
			sec_flip(L[j], R[j]);
			if(wrapped(L[i], R[i], L[j], R[j])){
				add_edge(i + N, j);
				add_edge(j + N, i);
			}
			sec_flip(L[i], R[i]);
			sec_flip(L[j], R[j]);
		}
	}

	scc();
	
	// 同じ強連結成分に属するか判定
	for(int i = 0; i < N; i++){
		if(cmp[i] == cmp[i + N]){
			cout << "NO" << endl;
			return 0;
		}
	}
	
	cout << "YES" << endl;
	return 0;
}
0