結果
問題 | No.274 The Wall |
ユーザー | kurome____ |
提出日時 | 2017-02-25 01:19:20 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 895 ms / 2,000 ms |
コード長 | 2,406 bytes |
コンパイル時間 | 1,916 ms |
コンパイル使用メモリ | 179,768 KB |
実行使用メモリ | 388,096 KB |
最終ジャッジ日時 | 2024-06-22 02:13:14 |
合計ジャッジ時間 | 4,503 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,812 KB |
testcase_01 | AC | 2 ms
6,944 KB |
testcase_02 | AC | 2 ms
6,940 KB |
testcase_03 | AC | 322 ms
181,632 KB |
testcase_04 | AC | 2 ms
6,940 KB |
testcase_05 | AC | 2 ms
6,944 KB |
testcase_06 | AC | 2 ms
6,944 KB |
testcase_07 | AC | 2 ms
6,940 KB |
testcase_08 | AC | 2 ms
6,940 KB |
testcase_09 | AC | 2 ms
6,944 KB |
testcase_10 | AC | 2 ms
6,940 KB |
testcase_11 | AC | 895 ms
388,096 KB |
testcase_12 | AC | 26 ms
6,940 KB |
testcase_13 | AC | 2 ms
6,944 KB |
testcase_14 | AC | 6 ms
6,940 KB |
testcase_15 | AC | 12 ms
6,940 KB |
testcase_16 | AC | 144 ms
67,200 KB |
testcase_17 | AC | 142 ms
66,432 KB |
testcase_18 | AC | 149 ms
69,120 KB |
testcase_19 | AC | 21 ms
6,944 KB |
testcase_20 | AC | 25 ms
6,940 KB |
testcase_21 | AC | 25 ms
6,940 KB |
testcase_22 | AC | 27 ms
6,944 KB |
testcase_23 | AC | 27 ms
6,944 KB |
testcase_24 | AC | 27 ms
6,944 KB |
testcase_25 | AC | 27 ms
6,940 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; #define FOR(i,s,e) for(int (i)=(s);(i)<(int)(e);(i)++) #define REP(i,e) FOR(i,0,e) #define all(o) (o).begin(), (o).end() #define psb(x) push_back(x) typedef long long ll; typedef struct edge_def { int from; int to; int cost; edge_def(int _from, int _to, int _cost) { from = _from; to = _to; cost = _cost; }; } edge; struct SCC { int nv; //頂点数 vector<vector<edge>> edges_forward; vector<vector<edge>> edges_backward; vector<int> usd; //確定したかチェック用 vector<int> vs; //帰りがけ順の並び vector<int> cmp; //強連結成分のトポロジカル順序 SCC(int nv) { this->nv = nv; edges_forward.resize(nv); edges_backward.resize(nv); usd.resize(nv); cmp.resize(nv); } inline void set_edge(int from, int to, int weight) { edges_forward[from].psb(edge(from,to,weight)); edges_backward[to].psb(edge(to,from,weight)); } void decompose_dfs_forward(int v) { usd[v] = 1; REP(i,(int)edges_forward[v].size()) if (!usd[edges_forward[v][i].to]) decompose_dfs_forward(edges_forward[v][i].to); vs.psb(v); } void decompose_dfs_backward(int v, int k) { usd[v] = 1; cmp[v] = k; REP(i,(int)edges_backward[v].size()) if (!usd[edges_backward[v][i].to]) decompose_dfs_backward(edges_backward[v][i].to, k); } int decompose() { fill(all(usd), 0); vs.clear(); REP(v,nv) if (!usd[v]) decompose_dfs_forward(v); fill(all(usd), 0); int k = 0; REP(i,(int)vs.size()) if (!usd[vs[vs.size()-1-i]]) decompose_dfs_backward(vs[vs.size()-1-i], k++); return k; //decomp scc後のnodeの数 } }; const int N = 2000; const int M = 4000; int n, m; int l[N], r[N]; int main() { scanf("%d%d ", &n, &m); REP(i,n) scanf("%d%d ", l+i, r+i); SCC scc(n*2); REP(i,n) REP(j,i) { REP(k,4) { int x = k/2, y = k&1; int a = x ? l[i] : m - 1 - r[i]; int b = x ? r[i] : m - 1 - l[i]; int c = y ? l[j] : m - 1 - r[j]; int d = y ? r[j] : m - 1 - l[j]; if (max(a,c) <= min(b,d)) { scc.set_edge((1-x)*n+i,y*n+j,0); scc.set_edge((1-y)*n+j,x*n+i,0); } } } scc.decompose(); int res = 1; REP(i,n) if (scc.cmp[i]==scc.cmp[n+i]) { res = 0; break; } printf("%s\n", res ? "YES" : "NO"); return 0; }