Submission #1197463

#TimeUsernameProblemLanguageResultExecution timeMemory
1197463og_matveychick1Port Facility (JOI17_port_facility)C++20
78 / 100
1839 ms1114112 KiB
#include "bits/stdc++.h" using namespace std; typedef int ll; typedef pair<ll, ll> pll; typedef vector<ll> vll; const ll N = 1 << 20, mod = 1e9 + 7; struct node { ll f1, f2, o1, o2; set<ll> s; node() : f1(-1), f2(-1), o1(1e9), o2(1e9) {} }; ll n, l[N], r[N], c[N], p[N], id[2 * N], ans = 1, rr[2 * N]; node t[4 * N]; queue<ll> q; void build(ll v, ll l1, ll r1) { if (l1 + 1 == r1) { if (id[l1] != -1) { t[v].s.insert(r[id[l1]]); } return; } ll m = (l1 + r1) / 2; build(v * 2, l1, m), build(v * 2 + 1, m, r1); for (auto x: t[v * 2].s) t[v].s.insert(x); for (auto x: t[v * 2 + 1].s) t[v].s.insert(x); } void build() { build(1, 0, 2 * N); } void add3(ll v, ll l1, ll r1, ll L, ll R, ll x, ll i) { if (l1 >= L || r1 <= 0) return; if (l1 >= 0 && r1 <= L) { auto it = t[v].s.lower_bound(L); while (it != t[v].s.end() && *it < R) { if (!c[rr[*it]]) c[rr[*it]] = x, q.push(rr[*it]); t[v].s.erase(it); it = t[v].s.lower_bound(L); } return; } ll m = (l1 + r1) / 2; add3(v * 2, l1, m, L, R, x, i); add3(v * 2 + 1, m, r1, L, R, x, i); } void add3(ll l1, ll r1, ll x, ll i) { add3(1, 0, 2 * N, l1, r1, x, i); } void add4(ll v, ll l1, ll r1, ll L, ll R, ll x) { if (l1 > L || r1 <= L) return; if (x == 1) t[v].f1 = max(t[v].f1, R); else t[v].f2 = max(t[v].f2, R); if (l1 + 1 == r1) return; ll m = (l1 + r1) / 2; add4(v * 2, l1, m, L, R, x); add4(v * 2 + 1, m, r1, L, R, x); } void add4(ll L, ll R, ll x) { add4(1, 0, 2 * N, L, R, x); } void add1(ll v, ll l1, ll r1, ll L, ll R, ll x, ll i) { if (l1 >= R || r1 <= L) return; if (l1 >= L && r1 <= R) { while (t[v].s.size() && (*--t[v].s.end()) > R) { if (!c[rr[(*--t[v].s.end())]]) c[rr[(*--t[v].s.end())]] = x, q.push(rr[(*--t[v].s.end())]); t[v].s.erase(--t[v].s.end()); } return; } ll m = (l1 + r1) / 2; add1(v * 2, l1, m, L, R, x, i); add1(v * 2 + 1, m, r1, L, R, x, i); } void add1(ll l1, ll r1, ll x, ll i) { add1(1, 0, 2 * N, l1, r1, x, i); } void add2(ll v, ll l1, ll r1, ll L, ll R, ll x) { if (l1 >= R || r1 <= L) return; if (l1 >= L && r1 <= R) { if (x == 1) t[v].o1 = min(t[v].o1, R); else t[v].o2 = min(t[v].o2, R); return; } ll m = (l1 + r1) / 2; add2(v * 2, l1, m, L, R, x); add2(v * 2 + 1, m, r1, L, R, x); } void add2(ll l1, ll r1, ll x) { add2(1, 0, 2 * N, l1, r1, x); } bool check(ll v, ll l1, ll r1) { if (t[v].o1 < t[v].f2) { return 0; } if (t[v].o2 < t[v].f1) { return 0; } if (l1 + 1 == r1) return 1; ll m = (l1 + r1) / 2; return check(v * 2, l1, m) & check(v * 2 + 1, m, r1); } bool check() { return check(1, 0, 2 * N); } signed main() { ios::sync_with_stdio(0), cin.tie(0), cout.tie(0); cin >> n; memset(id, -1, sizeof id); for (ll i = 0; i < n; i++) cin >> l[i] >> r[i], id[l[i]] = i, rr[r[i]] = i; build(); iota(p, p + n, 0); sort(p, p + n, [&](ll x, ll y) { return l[x] < l[y]; }); for (ll _ = 0; _ < n; _++) { if (q.size()) { ll i = q.front(); q.pop(); add1(l[i], r[i], 3 - c[i], i); add3(l[i], r[i], 3 - c[i], i); add4(l[i], r[i], c[i]); _--; } else { ll i = p[_]; if (c[i]) continue; ans = (ans * 2) % mod; c[i] = 1; add1(l[i], r[i], 3 - c[i], i); add3(l[i], r[i], 3 - c[i], i); add4(l[i], r[i], c[i]); } } sort(p, p + n, [&](ll x, ll y) { return r[x] < r[y]; }); for (ll _ = 0; _ < n; _++) { ll i = p[_]; add2(l[i], r[i], 3 - c[i]); } // for (ll i = 0; i < n; i++) ans = (ans * (1 + (find_set(i) == i))) % mod; ans *= check(); cout << ans; }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...