#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
#define MASK(i) (1ULL << (i))
#define GETBIT(mask, i) (((mask) >> (i)) & 1)
#define ALL(v) (v).begin(), (v).end()
#define block_of_code if(true)
ll max(ll a, ll b){return (a > b) ? a : b;}
ll min(ll a, ll b){return (a < b) ? a : b;}
ll gcd(ll a, ll b){return __gcd(a, b);}
ll LASTBIT(ll mask){return (mask) & (-mask);}
int pop_cnt(ll mask){return __builtin_popcountll(mask);}
int ctz(ull mask){return __builtin_ctzll(mask);}
int logOf(ull mask){return 63 - __builtin_clzll(mask);}
mt19937_64 rng(chrono::high_resolution_clock::now().time_since_epoch().count());
ll rngesus(ll l, ll r){return l + (ull) rng() % (r - l + 1);}
template <class T1, class T2>
bool maximize(T1 &a, T2 b){
if (a < b) {a = b; return true;}
return false;
}
template <class T1, class T2>
bool minimize(T1 &a, T2 b){
if (a > b) {a = b; return true;}
return false;
}
template <class T>
void printArr(T container, string separator = " ", string finish = "\n", ostream &out = cout){
for(auto item: container) out << item << separator;
out << finish;
}
template <class T>
void remove_dup(vector<T> &a){
sort(ALL(a));
a.resize(unique(ALL(a)) - a.begin());
}
const int MOD = 1e9 + 7;
struct Modular{
ll x;
Modular(ll _x = 0){x = _x;}
Modular& operator += (Modular y){
x += y.x;
if (x >= MOD) x -= MOD;
return *this;
}
Modular operator + (Modular y) {
Modular tmp = *this;
return tmp += y;
}
Modular& operator -= (Modular y){
x -= y.x;
if (x < 0) x += MOD;
return *this;
}
Modular operator - (Modular y) {
Modular tmp = *this;
return tmp -= y;
}
Modular& operator *= (Modular y){
x *= y.x;
if (x >= MOD) x %= MOD;
return *this;
}
Modular operator * (Modular y) {
Modular tmp = *this;
return tmp *= y;
}
// use at your own risk
bool operator == (Modular y){
return x == y.x;
}
bool operator != (Modular y){
return x != y.x;
}
};
ostream& operator << (ostream& out, Modular x){
out << x.x;
return out;
}
const int N = 5e5 + 69;
array<int, 2> a[N], c[N];
array<Modular, 2> pref[N], suff[N];
Modular p2[N];
struct FenwickTree{
int n;
vector<Modular> a;
FenwickTree(int _n){
n = _n;
a.resize(n + 1, 1);
}
void update(int i){
while(i <= n){
a[i] *= 2;
i += LASTBIT(i);
}
}
Modular get(int i){
Modular ans = 1;
while(i > 0){
ans *= a[i];
i -= LASTBIT(i);
}
return ans;
}
void reset(){
a = vector<Modular>(n+1, 1);
}
};
int main(void){
ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int n; cin >> n;
for(int j = 0; j<=1; ++j)
for(int i = 0; i<n; ++i) cin >> a[i][j];
for(int i = 0; i<n; ++i) sort(ALL(a[i]));
p2[0] = 1;
for(int i = 1; i<N; ++i) p2[i] = p2[i-1] * 2;
Modular ans = 0;
for(int i= 0; i<n; ++i){
for(int u: a[i]) ans -= p2[n-1] * u;
}
vector<int> b;
for(int i= 0; i<n; ++i)
for(int j = 0; j<2; ++j) b.push_back(a[i][j]);
remove_dup(b);
for(int i = 0; i<n; ++i) for(int j = 0; j<2; ++j) c[i][j] = lower_bound(ALL(b), a[i][j]) - b.begin() + 1;
FenwickTree bit(b.size());
int ma = 0;
for(int i =0; i<n; ++i){
for(int u = 0; u<=1; ++u){
if (a[i][u] <= ma) continue;
pref[i][u] = bit.get(c[i][u]);
}
bit.update(c[i][1] + 1);
maximize(ma, a[i][0]);
}
bit.reset();
ma = 0;
for(int i = n-1; i>=0; --i) {
for(int u = 0; u<=1; ++u){
if (a[i][u] <= ma) continue;
suff[i][u] = bit.get(c[i][u]);
}
bit.update(c[i][1] + 1);
maximize(ma, a[i][0]);
}
for(int iteration = 0; iteration <= 1; ++iteration){
for(int i = 0; i<n; ++i){
for(int _u = 0; _u <= 1; ++_u){
int u = a[i][_u];
Modular cu = pref[i][_u];
if (cu == 0) continue;
for(int j = i + 1; j<n; ++j){
Modular sum = (Modular) u * (j - i);
for(int v: a[j]) if (v > u) ans += sum * cu * p2[n-1-j];
int cnt= 0;
for(int v: a[j]) if (v <= u) cnt++;
cu *= cnt;
if (cu == 0) break;
}
}
}
reverse(a, a + n);
reverse(pref, pref + n);
reverse(suff, suff + n);
for(int i = 0; i<n; ++i) swap(pref[i], suff[i]);
}
for(int i = 0; i<n; ++i) {
for(int u = 0; u <= 1; ++u) ans += pref[i][u] * suff[i][u] * a[i][u];
}
for(int i = 0; i<n; ++i) for(int u = 0; u <= 1; ++u){
Modular mul = 1;
for(int j = i + 1; j<n; ++j){
for(int v = 0; v <= 1; ++v) if (a[i][u] == a[j][v]){
ans += pref[i][u] * suff[j][v] * mul * a[i][u] * (j - i + 1);
}
int cnt= 0;
for(int v: a[j]) cnt += v <= a[i][u];
mul *= cnt;
}
}
cout << ans << "\n";
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
9 ms |
19816 KB |
Output is correct |
3 |
Correct |
10 ms |
19804 KB |
Output is correct |
4 |
Correct |
10 ms |
19856 KB |
Output is correct |
5 |
Correct |
11 ms |
19804 KB |
Output is correct |
6 |
Correct |
9 ms |
19804 KB |
Output is correct |
7 |
Correct |
9 ms |
19804 KB |
Output is correct |
8 |
Correct |
10 ms |
19800 KB |
Output is correct |
9 |
Correct |
9 ms |
19804 KB |
Output is correct |
10 |
Correct |
10 ms |
19800 KB |
Output is correct |
11 |
Correct |
10 ms |
20044 KB |
Output is correct |
12 |
Correct |
12 ms |
19800 KB |
Output is correct |
13 |
Correct |
10 ms |
19804 KB |
Output is correct |
14 |
Correct |
10 ms |
19804 KB |
Output is correct |
15 |
Correct |
10 ms |
19804 KB |
Output is correct |
16 |
Correct |
10 ms |
19804 KB |
Output is correct |
17 |
Correct |
9 ms |
19804 KB |
Output is correct |
18 |
Correct |
9 ms |
19836 KB |
Output is correct |
19 |
Correct |
10 ms |
19800 KB |
Output is correct |
20 |
Correct |
10 ms |
19804 KB |
Output is correct |
21 |
Correct |
10 ms |
19948 KB |
Output is correct |
22 |
Correct |
10 ms |
19800 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
9 ms |
19804 KB |
Output is correct |
3 |
Correct |
9 ms |
19804 KB |
Output is correct |
4 |
Correct |
10 ms |
19800 KB |
Output is correct |
5 |
Correct |
10 ms |
19804 KB |
Output is correct |
6 |
Correct |
10 ms |
19804 KB |
Output is correct |
7 |
Correct |
11 ms |
19804 KB |
Output is correct |
8 |
Correct |
9 ms |
19804 KB |
Output is correct |
9 |
Correct |
10 ms |
19804 KB |
Output is correct |
10 |
Correct |
9 ms |
19804 KB |
Output is correct |
11 |
Correct |
10 ms |
19804 KB |
Output is correct |
12 |
Correct |
9 ms |
20040 KB |
Output is correct |
13 |
Correct |
10 ms |
19804 KB |
Output is correct |
14 |
Correct |
11 ms |
19860 KB |
Output is correct |
15 |
Correct |
10 ms |
19800 KB |
Output is correct |
16 |
Correct |
10 ms |
20020 KB |
Output is correct |
17 |
Correct |
10 ms |
19800 KB |
Output is correct |
18 |
Correct |
9 ms |
19804 KB |
Output is correct |
19 |
Correct |
10 ms |
19932 KB |
Output is correct |
20 |
Correct |
10 ms |
19804 KB |
Output is correct |
21 |
Correct |
10 ms |
19804 KB |
Output is correct |
22 |
Correct |
10 ms |
19804 KB |
Output is correct |
23 |
Correct |
9 ms |
19804 KB |
Output is correct |
24 |
Correct |
11 ms |
19800 KB |
Output is correct |
25 |
Correct |
10 ms |
19804 KB |
Output is correct |
26 |
Correct |
10 ms |
19804 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
9 ms |
19804 KB |
Output is correct |
3 |
Correct |
9 ms |
19804 KB |
Output is correct |
4 |
Correct |
10 ms |
19800 KB |
Output is correct |
5 |
Correct |
10 ms |
19804 KB |
Output is correct |
6 |
Correct |
10 ms |
19804 KB |
Output is correct |
7 |
Correct |
11 ms |
19804 KB |
Output is correct |
8 |
Correct |
9 ms |
19804 KB |
Output is correct |
9 |
Correct |
10 ms |
19804 KB |
Output is correct |
10 |
Correct |
9 ms |
19804 KB |
Output is correct |
11 |
Correct |
10 ms |
19804 KB |
Output is correct |
12 |
Correct |
9 ms |
20040 KB |
Output is correct |
13 |
Correct |
10 ms |
19804 KB |
Output is correct |
14 |
Correct |
11 ms |
19860 KB |
Output is correct |
15 |
Correct |
10 ms |
19800 KB |
Output is correct |
16 |
Correct |
10 ms |
20020 KB |
Output is correct |
17 |
Correct |
10 ms |
19800 KB |
Output is correct |
18 |
Correct |
9 ms |
19804 KB |
Output is correct |
19 |
Correct |
10 ms |
19932 KB |
Output is correct |
20 |
Correct |
10 ms |
19804 KB |
Output is correct |
21 |
Correct |
10 ms |
19804 KB |
Output is correct |
22 |
Correct |
10 ms |
19804 KB |
Output is correct |
23 |
Correct |
9 ms |
19804 KB |
Output is correct |
24 |
Correct |
11 ms |
19800 KB |
Output is correct |
25 |
Correct |
10 ms |
19804 KB |
Output is correct |
26 |
Correct |
10 ms |
19804 KB |
Output is correct |
27 |
Correct |
252 ms |
20316 KB |
Output is correct |
28 |
Correct |
232 ms |
20312 KB |
Output is correct |
29 |
Correct |
1200 ms |
20312 KB |
Output is correct |
30 |
Correct |
1206 ms |
20312 KB |
Output is correct |
31 |
Correct |
605 ms |
20312 KB |
Output is correct |
32 |
Correct |
611 ms |
20312 KB |
Output is correct |
33 |
Correct |
494 ms |
20312 KB |
Output is correct |
34 |
Correct |
618 ms |
20316 KB |
Output is correct |
35 |
Correct |
631 ms |
20404 KB |
Output is correct |
36 |
Correct |
485 ms |
20404 KB |
Output is correct |
37 |
Correct |
1203 ms |
20316 KB |
Output is correct |
38 |
Correct |
1210 ms |
20400 KB |
Output is correct |
39 |
Correct |
620 ms |
20312 KB |
Output is correct |
40 |
Correct |
603 ms |
20376 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
9 ms |
19816 KB |
Output is correct |
3 |
Correct |
10 ms |
19804 KB |
Output is correct |
4 |
Correct |
10 ms |
19856 KB |
Output is correct |
5 |
Correct |
11 ms |
19804 KB |
Output is correct |
6 |
Correct |
9 ms |
19804 KB |
Output is correct |
7 |
Correct |
9 ms |
19804 KB |
Output is correct |
8 |
Correct |
10 ms |
19800 KB |
Output is correct |
9 |
Correct |
9 ms |
19804 KB |
Output is correct |
10 |
Correct |
10 ms |
19800 KB |
Output is correct |
11 |
Correct |
10 ms |
20044 KB |
Output is correct |
12 |
Correct |
12 ms |
19800 KB |
Output is correct |
13 |
Correct |
10 ms |
19804 KB |
Output is correct |
14 |
Correct |
10 ms |
19804 KB |
Output is correct |
15 |
Correct |
10 ms |
19804 KB |
Output is correct |
16 |
Correct |
10 ms |
19804 KB |
Output is correct |
17 |
Correct |
9 ms |
19804 KB |
Output is correct |
18 |
Correct |
9 ms |
19836 KB |
Output is correct |
19 |
Correct |
10 ms |
19800 KB |
Output is correct |
20 |
Correct |
10 ms |
19804 KB |
Output is correct |
21 |
Correct |
10 ms |
19948 KB |
Output is correct |
22 |
Correct |
10 ms |
19800 KB |
Output is correct |
23 |
Correct |
10 ms |
19804 KB |
Output is correct |
24 |
Correct |
9 ms |
19804 KB |
Output is correct |
25 |
Correct |
9 ms |
19804 KB |
Output is correct |
26 |
Correct |
10 ms |
19800 KB |
Output is correct |
27 |
Correct |
10 ms |
19804 KB |
Output is correct |
28 |
Correct |
10 ms |
19804 KB |
Output is correct |
29 |
Correct |
11 ms |
19804 KB |
Output is correct |
30 |
Correct |
9 ms |
19804 KB |
Output is correct |
31 |
Correct |
10 ms |
19804 KB |
Output is correct |
32 |
Correct |
9 ms |
19804 KB |
Output is correct |
33 |
Correct |
10 ms |
19804 KB |
Output is correct |
34 |
Correct |
9 ms |
20040 KB |
Output is correct |
35 |
Correct |
10 ms |
19804 KB |
Output is correct |
36 |
Correct |
11 ms |
19860 KB |
Output is correct |
37 |
Correct |
10 ms |
19800 KB |
Output is correct |
38 |
Correct |
10 ms |
20020 KB |
Output is correct |
39 |
Correct |
10 ms |
19800 KB |
Output is correct |
40 |
Correct |
9 ms |
19804 KB |
Output is correct |
41 |
Correct |
10 ms |
19932 KB |
Output is correct |
42 |
Correct |
10 ms |
19804 KB |
Output is correct |
43 |
Correct |
10 ms |
19804 KB |
Output is correct |
44 |
Correct |
10 ms |
19804 KB |
Output is correct |
45 |
Correct |
9 ms |
19804 KB |
Output is correct |
46 |
Correct |
11 ms |
19800 KB |
Output is correct |
47 |
Correct |
10 ms |
19804 KB |
Output is correct |
48 |
Correct |
10 ms |
19804 KB |
Output is correct |
49 |
Correct |
252 ms |
20316 KB |
Output is correct |
50 |
Correct |
232 ms |
20312 KB |
Output is correct |
51 |
Correct |
1200 ms |
20312 KB |
Output is correct |
52 |
Correct |
1206 ms |
20312 KB |
Output is correct |
53 |
Correct |
605 ms |
20312 KB |
Output is correct |
54 |
Correct |
611 ms |
20312 KB |
Output is correct |
55 |
Correct |
494 ms |
20312 KB |
Output is correct |
56 |
Correct |
618 ms |
20316 KB |
Output is correct |
57 |
Correct |
631 ms |
20404 KB |
Output is correct |
58 |
Correct |
485 ms |
20404 KB |
Output is correct |
59 |
Correct |
1203 ms |
20316 KB |
Output is correct |
60 |
Correct |
1210 ms |
20400 KB |
Output is correct |
61 |
Correct |
620 ms |
20312 KB |
Output is correct |
62 |
Correct |
603 ms |
20376 KB |
Output is correct |
63 |
Correct |
213 ms |
20568 KB |
Output is correct |
64 |
Correct |
207 ms |
20572 KB |
Output is correct |
65 |
Correct |
621 ms |
20316 KB |
Output is correct |
66 |
Correct |
485 ms |
20396 KB |
Output is correct |
67 |
Correct |
613 ms |
20312 KB |
Output is correct |
68 |
Correct |
486 ms |
20392 KB |
Output is correct |
69 |
Correct |
864 ms |
20312 KB |
Output is correct |
70 |
Correct |
888 ms |
20312 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
10 ms |
19804 KB |
Output is correct |
3 |
Correct |
11 ms |
19804 KB |
Output is correct |
4 |
Correct |
9 ms |
19800 KB |
Output is correct |
5 |
Correct |
9 ms |
19804 KB |
Output is correct |
6 |
Correct |
10 ms |
20044 KB |
Output is correct |
7 |
Correct |
10 ms |
19804 KB |
Output is correct |
8 |
Correct |
13 ms |
19804 KB |
Output is correct |
9 |
Correct |
10 ms |
20012 KB |
Output is correct |
10 |
Correct |
1104 ms |
20316 KB |
Output is correct |
11 |
Correct |
1123 ms |
20396 KB |
Output is correct |
12 |
Correct |
1177 ms |
20312 KB |
Output is correct |
13 |
Correct |
1163 ms |
20312 KB |
Output is correct |
14 |
Execution timed out |
5032 ms |
31684 KB |
Time limit exceeded |
15 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
10 ms |
19804 KB |
Output is correct |
2 |
Correct |
9 ms |
19816 KB |
Output is correct |
3 |
Correct |
10 ms |
19804 KB |
Output is correct |
4 |
Correct |
10 ms |
19856 KB |
Output is correct |
5 |
Correct |
11 ms |
19804 KB |
Output is correct |
6 |
Correct |
9 ms |
19804 KB |
Output is correct |
7 |
Correct |
9 ms |
19804 KB |
Output is correct |
8 |
Correct |
10 ms |
19800 KB |
Output is correct |
9 |
Correct |
9 ms |
19804 KB |
Output is correct |
10 |
Correct |
10 ms |
19800 KB |
Output is correct |
11 |
Correct |
10 ms |
20044 KB |
Output is correct |
12 |
Correct |
12 ms |
19800 KB |
Output is correct |
13 |
Correct |
10 ms |
19804 KB |
Output is correct |
14 |
Correct |
10 ms |
19804 KB |
Output is correct |
15 |
Correct |
10 ms |
19804 KB |
Output is correct |
16 |
Correct |
10 ms |
19804 KB |
Output is correct |
17 |
Correct |
9 ms |
19804 KB |
Output is correct |
18 |
Correct |
9 ms |
19836 KB |
Output is correct |
19 |
Correct |
10 ms |
19800 KB |
Output is correct |
20 |
Correct |
10 ms |
19804 KB |
Output is correct |
21 |
Correct |
10 ms |
19948 KB |
Output is correct |
22 |
Correct |
10 ms |
19800 KB |
Output is correct |
23 |
Correct |
10 ms |
19804 KB |
Output is correct |
24 |
Correct |
9 ms |
19804 KB |
Output is correct |
25 |
Correct |
9 ms |
19804 KB |
Output is correct |
26 |
Correct |
10 ms |
19800 KB |
Output is correct |
27 |
Correct |
10 ms |
19804 KB |
Output is correct |
28 |
Correct |
10 ms |
19804 KB |
Output is correct |
29 |
Correct |
11 ms |
19804 KB |
Output is correct |
30 |
Correct |
9 ms |
19804 KB |
Output is correct |
31 |
Correct |
10 ms |
19804 KB |
Output is correct |
32 |
Correct |
9 ms |
19804 KB |
Output is correct |
33 |
Correct |
10 ms |
19804 KB |
Output is correct |
34 |
Correct |
9 ms |
20040 KB |
Output is correct |
35 |
Correct |
10 ms |
19804 KB |
Output is correct |
36 |
Correct |
11 ms |
19860 KB |
Output is correct |
37 |
Correct |
10 ms |
19800 KB |
Output is correct |
38 |
Correct |
10 ms |
20020 KB |
Output is correct |
39 |
Correct |
10 ms |
19800 KB |
Output is correct |
40 |
Correct |
9 ms |
19804 KB |
Output is correct |
41 |
Correct |
10 ms |
19932 KB |
Output is correct |
42 |
Correct |
10 ms |
19804 KB |
Output is correct |
43 |
Correct |
10 ms |
19804 KB |
Output is correct |
44 |
Correct |
10 ms |
19804 KB |
Output is correct |
45 |
Correct |
9 ms |
19804 KB |
Output is correct |
46 |
Correct |
11 ms |
19800 KB |
Output is correct |
47 |
Correct |
10 ms |
19804 KB |
Output is correct |
48 |
Correct |
10 ms |
19804 KB |
Output is correct |
49 |
Correct |
252 ms |
20316 KB |
Output is correct |
50 |
Correct |
232 ms |
20312 KB |
Output is correct |
51 |
Correct |
1200 ms |
20312 KB |
Output is correct |
52 |
Correct |
1206 ms |
20312 KB |
Output is correct |
53 |
Correct |
605 ms |
20312 KB |
Output is correct |
54 |
Correct |
611 ms |
20312 KB |
Output is correct |
55 |
Correct |
494 ms |
20312 KB |
Output is correct |
56 |
Correct |
618 ms |
20316 KB |
Output is correct |
57 |
Correct |
631 ms |
20404 KB |
Output is correct |
58 |
Correct |
485 ms |
20404 KB |
Output is correct |
59 |
Correct |
1203 ms |
20316 KB |
Output is correct |
60 |
Correct |
1210 ms |
20400 KB |
Output is correct |
61 |
Correct |
620 ms |
20312 KB |
Output is correct |
62 |
Correct |
603 ms |
20376 KB |
Output is correct |
63 |
Correct |
213 ms |
20568 KB |
Output is correct |
64 |
Correct |
207 ms |
20572 KB |
Output is correct |
65 |
Correct |
621 ms |
20316 KB |
Output is correct |
66 |
Correct |
485 ms |
20396 KB |
Output is correct |
67 |
Correct |
613 ms |
20312 KB |
Output is correct |
68 |
Correct |
486 ms |
20392 KB |
Output is correct |
69 |
Correct |
864 ms |
20312 KB |
Output is correct |
70 |
Correct |
888 ms |
20312 KB |
Output is correct |
71 |
Correct |
10 ms |
19804 KB |
Output is correct |
72 |
Correct |
10 ms |
19804 KB |
Output is correct |
73 |
Correct |
11 ms |
19804 KB |
Output is correct |
74 |
Correct |
9 ms |
19800 KB |
Output is correct |
75 |
Correct |
9 ms |
19804 KB |
Output is correct |
76 |
Correct |
10 ms |
20044 KB |
Output is correct |
77 |
Correct |
10 ms |
19804 KB |
Output is correct |
78 |
Correct |
13 ms |
19804 KB |
Output is correct |
79 |
Correct |
10 ms |
20012 KB |
Output is correct |
80 |
Correct |
1104 ms |
20316 KB |
Output is correct |
81 |
Correct |
1123 ms |
20396 KB |
Output is correct |
82 |
Correct |
1177 ms |
20312 KB |
Output is correct |
83 |
Correct |
1163 ms |
20312 KB |
Output is correct |
84 |
Execution timed out |
5032 ms |
31684 KB |
Time limit exceeded |
85 |
Halted |
0 ms |
0 KB |
- |