結果
問題 | No.274 The Wall |
ユーザー | outline |
提出日時 | 2021-02-01 15:42:37 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 373 ms / 2,000 ms |
コード長 | 4,430 bytes |
コンパイル時間 | 1,766 ms |
コンパイル使用メモリ | 150,604 KB |
実行使用メモリ | 131,984 KB |
最終ジャッジ日時 | 2023-09-12 10:10:27 |
合計ジャッジ時間 | 3,848 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge14 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,380 KB |
testcase_01 | AC | 1 ms
4,380 KB |
testcase_02 | AC | 1 ms
4,384 KB |
testcase_03 | AC | 134 ms
69,616 KB |
testcase_04 | AC | 2 ms
4,380 KB |
testcase_05 | AC | 2 ms
4,380 KB |
testcase_06 | AC | 1 ms
4,376 KB |
testcase_07 | AC | 1 ms
4,376 KB |
testcase_08 | AC | 2 ms
4,376 KB |
testcase_09 | AC | 2 ms
4,380 KB |
testcase_10 | AC | 1 ms
4,380 KB |
testcase_11 | AC | 373 ms
131,984 KB |
testcase_12 | AC | 11 ms
4,380 KB |
testcase_13 | AC | 2 ms
4,380 KB |
testcase_14 | AC | 5 ms
4,380 KB |
testcase_15 | AC | 11 ms
4,380 KB |
testcase_16 | AC | 100 ms
38,140 KB |
testcase_17 | AC | 93 ms
36,528 KB |
testcase_18 | AC | 99 ms
39,388 KB |
testcase_19 | AC | 19 ms
4,376 KB |
testcase_20 | AC | 22 ms
4,376 KB |
testcase_21 | AC | 23 ms
4,376 KB |
testcase_22 | AC | 24 ms
4,376 KB |
testcase_23 | AC | 24 ms
4,380 KB |
testcase_24 | AC | 24 ms
4,376 KB |
testcase_25 | AC | 24 ms
4,376 KB |
ソースコード
#include <iostream> #include <vector> #include <algorithm> #include <cmath> #include <queue> #include <string> #include <map> #include <set> #include <stack> #include <tuple> #include <deque> #include <array> #include <numeric> #include <bitset> #include <iomanip> #include <cassert> #include <chrono> #include <random> #include <limits> #include <iterator> #include <functional> #include <sstream> #include <fstream> #include <complex> #include <cstring> #include <unordered_map> #include <unordered_set> using namespace std; using ll = long long; constexpr int INF = 1001001001; // constexpr int mod = 1000000007; constexpr int mod = 998244353; template<class T> inline bool chmax(T& x, T y){ if(x < y){ x = y; return true; } return false; } template<class T> inline bool chmin(T& x, T y){ if(x > y){ x = y; return true; } return false; } struct StronglyConnectedComponents{ using G = vector<vector<int>>; G graph; G rev; int n; int scc_sz = 0; G scc_graph; vector<int> scc_id; vector<int> vs; vector<bool> visited; StronglyConnectedComponents() = default; StronglyConnectedComponents(int V) : n(V) { graph.resize(n); rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); } StronglyConnectedComponents(G& g) : graph(g), n(g.size()) { rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); for(int u = 0; u < n; ++u){ for(int v : graph[u]) rev[v].push_back(u); } } void resize(int V){ n = V; graph.resize(n); rev.resize(n); scc_id.assign(n, -1); visited.assign(n, false); } void add_edge(int u, int v){ graph[u].emplace_back(v); rev[v].emplace_back(u); } void dfs(int from){ visited[from] = true; for(int to : graph[from]){ if(!visited[to]) dfs(to); } vs.push_back(from); } void rdfs(int from, int k){ scc_id[from] = k; for(int to : rev[from]){ if(scc_id[to] == -1) rdfs(to, k); } } void build(){ for(int v = 0; v < n; ++v){ if(!visited[v]) dfs(v); } reverse(vs.begin(), vs.end()); for(int v : vs){ if(scc_id[v] == -1) rdfs(v, scc_sz++); } scc_graph.resize(scc_sz); for(int v = 0; v < n; ++v){ scc_graph[scc_id[v]].push_back(v); } return; } int size() { return scc_sz; } vector<int> get_set(int k) { return scc_graph[k]; } int operator[](int v) { return scc_id[v]; } }; struct TwoSAT { StronglyConnectedComponents scc; int n; vector<int> sat; TwoSAT(int V) : n(V) { scc.resize(n * 2); sat.resize(n); } // [false] [true] void add_edge(int i, bool f, int j, bool g){ scc.add_edge(i * 2 + (f ? 0 : 1), j * 2 + (g ? 1 : 0)); scc.add_edge(j * 2 + (g ? 0 : 1), i * 2 + (f ? 1 : 0)); } // sat[v] = true -> v = false // sat[v] = false -> v = true bool satisfiable(){ scc.build(); for(int i = 0; i < n; ++i){ if(scc[i * 2] == scc[i * 2 + 1]) return false; sat[i] = scc[i * 2] < scc[i * 2 + 1]; } return true; } vector<int> get_sat() { return sat; } }; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); int N, M; cin >> N >> M; vector<int> L(N), R(N), rL(N), rR(N); for(int i = 0; i < N; ++i){ cin >> L[i] >> R[i]; ++R[i]; rL[i] = M - R[i]; rR[i] = M - L[i]; } TwoSAT ts(N); auto check = [](int l1, int r1, int l2, int r2){ return r1 <= l2 || l1 >= r2; }; for(int i = 0; i < N; ++i){ for(int j = 0; j < i; ++j){ if(!check(L[i], R[i], L[j], R[j])){ ts.add_edge(i, false, j, false); } if(!check(L[i], R[i], rL[j], rR[j])){ ts.add_edge(i, false, j, true); } if(!check(rL[i], rR[i], L[j], R[j])){ ts.add_edge(i, true, j, false); } if(!check(rL[i], rR[i], rL[j], rR[j])){ ts.add_edge(i, true, j, true); } } } cout << (ts.satisfiable() ? "YES" : "NO") << '\n'; return 0; }