Submission #1188899

#TimeUsernameProblemLanguageResultExecution timeMemory
1188899impppppFlooding Wall (BOI24_wall)C++20
100 / 100
588 ms55172 KiB
#define _CRT_SECURE_NO_WARNINGS #include <iostream> #include <iomanip> #include <array> #include <string> #include <algorithm> #include <cmath> #include <set> #include <map> #include <unordered_set> #include <unordered_map> #include <vector> #include <stack> #include <queue> #include <deque> #include <bitset> #include <list> #include <iterator> #include <numeric> #include <complex> #include <utility> #include <random> #include <cassert> #include <fstream> using namespace std; mt19937 rnd(time(nullptr)); /* -------------------- Typedefs -------------------- */ typedef int itn; typedef long long ll; typedef unsigned long long ull; typedef double db; typedef float fl; typedef long double ld; /* -------------------- Usings -------------------- */ using vi = vector<int>; using vll = vector<ll>; using mii = map<int, int>; using mll = map<ll, ll>; using pii = pair<int, int>; using pll = pair<ll, ll>; /* -------------------- Defines -------------------- */ #define ff first #define ss second #define pub push_back #define pob pop_back #define puf push_front #define pof pop_front #define mpr make_pair #define yes cout<<"Yes\n" #define no cout<<"No\n" #define all(x) (x).begin(), (x).end() #define USACO freopen("feast.in", "r", stdin); freopen("feast.out", "w", stdout); /* -------------------- Constants -------------------- */ const int dx[8] = { -1, 0, 1, 0, -1, -1, 1, 1 }; const int dy[8] = { 0, -1, 0, 1, -1, 1, -1, 1 }; const int MAX = int(1e9 + 5); const ll MAXL = ll(2e18) + 5ll; const ll MOD = ll(1000000007); const ll MOD2 = ll(998244353); /* -------------------- Functions -------------------- */ void fastio() { ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0); } void precision(int x) { cout.setf(ios::fixed | ios::showpoint); cout.precision(x); } ll gcd(ll a, ll b) { if (a == 0 || b == 0) return 0; while (b) { a %= b; swap(a, b); } return a; } ll lcm(ll a, ll b) { return a / gcd(a, b) * b; } ll range_sum(ll a, ll b) { if (a > b) return 0ll; ll dif = a - 1, cnt = b - a + 1; ll ans = ((b - a + 1) * (b - a + 2)) / 2; ans += ((b - a + 1) * dif); return ans; } string dec_to_bin(ll a) { string s = ""; for (ll i = a; i > 0; ) { ll k = i % 2; i /= 2; char c = k + 48; s += c; } if (a == 0) { s = "0"; } reverse(all(s)); return s; } ll bin_to_dec(string s) { ll num = 0; for (int i = 0; i < s.size(); i++) { num *= 2ll; num += (s[i] - '0'); } return num; } ll factorial_by_mod(ll n, ll mod) { ll ans = 1; ll num; for (ll i = 1; i <= n; ++i) { num = i % mod; ans *= num; ans %= mod; } return ans; } bool isPrime(ll a) { if (a == 1) return false; for (ll i = 2; i * i <= a; i++) { if (a % i == 0) return false; } return true; } ll binpow(ll a, ll b) { if (!a) return 0; ll ans = 1; while (b) { if (b & 1) { ans *= a; } b >>= 1; a *= a; } return ans; } ll binpow_by_mod(ll a, ll b, ll mod) { if (!a) return 0; ll ans = 1; while (b) { if (b & 1) { ans *= a; ans %= mod; } b >>= 1; a *= a; a %= mod; } return ans; } /* -------------------- Solution -------------------- */ const int INV2 = (MOD + 1) / 2; struct SegTree { struct Node { int prod, sum; }; int n; vector<Node> st; SegTree(int N, int initVal = 0) : n(N), st(4 * N) { build(1, 0, n - 1, initVal); } static Node merge(const Node& L, const Node& R) { Node res; res.prod = int((1LL * L.prod * R.prod) % MOD); res.sum = (L.sum + 1LL * L.prod * R.sum) % MOD; return res; } void build(int p, int l, int r, int val) { if (l == r) { st[p] = { val, val }; return; } int m = (l + r) >> 1; build(p << 1, l, m, val); build(p << 1 | 1, m + 1, r, val); st[p] = merge(st[p << 1], st[p << 1 | 1]); } void update(int idx, int val) { update(1, 0, n - 1, idx, val); } void update(int p, int l, int r, int idx, int val) { if (l == r) { st[p] = { val, val }; return; } int m = (l + r) >> 1; if (idx <= m) update(p << 1, l, m, idx, val); else update(p << 1 | 1, m + 1, r, idx, val); st[p] = merge(st[p << 1], st[p << 1 | 1]); } int prod() const { return st[1].prod; } int sum() const { return st[1].sum; } }; /* ---------- fast exponentiation ---------- */ long long mod_pow(long long a, long long e = 0, long long m = MOD) { long long res = 1; while (e) { if (e & 1) res = res * a % m; a = a * a % m; e >>= 1; } return res; } struct Event { long long h; int idx; int val; bool operator<(const Event& o) const { return h < o.h; } }; void slv() { ios::sync_with_stdio(false); cin.tie(nullptr); int N; cin >> N; vector<long long> a(N), b(N); for (auto& x : a) cin >> x; for (auto& x : b) cin >> x; vector<Event> ev; ev.reserve(2 * N); for (int i = 0; i < N; ++i) { long long mn = min(a[i], b[i]); long long mx = max(a[i], b[i]); ev.push_back({ mn + 1, i, INV2 }); ev.push_back({ mx + 1, i, 1 }); } sort(ev.begin(), ev.end()); SegTree st(N, 0), stR(N, 0); long long prevH = 1; long long answer = 0; size_t pos = 0; const int Nmod = N % MOD; while (pos < ev.size()) { long long h = ev[pos].h; long long len = h - prevH; if (len) { int sumPref = st.sum(); int sumSuf = stR.sum(); int prodTot = st.prod(); int S = (((Nmod - sumPref - sumSuf) % MOD + MOD) % MOD + int(1LL * Nmod * prodTot % MOD)) % MOD; answer = (answer + (len % MOD) * 1LL % MOD * S) % MOD; } while (pos < ev.size() && ev[pos].h == h) { int idx = ev[pos].idx; int val = ev[pos].val; st.update(idx, val); stR.update(N - 1 - idx, val); ++pos; } prevH = h; } long long sumHeights = 0; for (int i = 0; i < N; ++i) sumHeights = (sumHeights + (a[i] + b[i]) % MOD) % MOD; sumHeights = sumHeights * 1LL * INV2 % MOD; long long expectedWater = (answer - sumHeights + MOD) % MOD; long long result = expectedWater * mod_pow(2, N) % MOD; cout << result << '\n'; } void cs() { int tstc = 1; //cin >> tstc; while (tstc--) { slv(); } } void precalc() { return; } int main() { fastio(); precalc(); //precision(0); cs(); return 0; }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...