#include "horses.h"
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef double ld;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
typedef complex<ld> point;
typedef __uint128_t L;
struct FastMod {
ull b, m;
FastMod(ull b) : b(b), m(ull((L(1) << 64) / b)) {}
ull reduce(ull a) {
ull q = (ull)((L(m) * a) >> 64);
ull r = a - q * b; // can be proven that 0 <= r < 2*b
return r >= b ? r - b : r;
}
};
FastMod FM(1e9+7);
void debug_out(){cerr << endl;}
template<typename Head, typename... Tail>
void debug_out(Head H, Tail... T){
cout << H << " ";
debug_out(T...);
}
#define debug(...) cerr << "(" << #__VA_ARGS__ << "): ", debug_out(__VA_ARGS__)
#define F first
#define S second
#define all(x) x.begin(), x.end()
#define MP(x, y) make_pair(x, y)
const int maxn = 5e5 + 10;
const int mod = 1e9 + 7;
int n;
ll x[maxn], y[maxn];
ll dp[maxn << 2][2];
bool of[maxn << 2];
int find(int v, int l, int r, int tmp){
if (!of[v] && 1ll * tmp * dp[v][1] < mod) return -1;
if (l + 1 == r) return l;
int mid = (l + r) >> 1;
int lc = v << 1;
int rc = lc | 1;
int res = find(rc, mid, r, tmp);
if (res == -1){
tmp *= dp[rc][1];
res = find(lc, l, mid, tmp);
}
return res;
}
void build2(int v, int l, int r){
if (l + 1 == r){
dp[v][0] = x[l] * y[l];
dp[v][1] = x[l];
return;
}
int mid = (l + r) >> 1;
int lc = v << 1;
int rc = lc | 1;
build2(lc, l, mid);
build2(rc, mid, r);
dp[v][0] = max(dp[lc][0], dp[lc][1] * dp[rc][0]);
dp[v][1] = dp[lc][1] * dp[rc][1];
if (dp[v][1] >= mod || of[lc] || of[rc]) of[v] = true;
dp[v][1] = FM.reduce(dp[v][1]);
}
void change2(int v, int l, int r, int idx){
if (l + 1 == r){
dp[v][0] = x[l] * y[l];
dp[v][1] = x[l];
return;
}
int mid = (l + r) >> 1;
int lc = v << 1;
int rc = lc | 1;
if (idx < mid) change2(lc, l, mid, idx);
else change2(rc, mid, r, idx);
dp[v][0] = max(dp[lc][0], dp[lc][1] * dp[rc][0]);
dp[v][1] = dp[lc][1] * dp[rc][1];
if (dp[v][1] >= mod || of[lc] || of[rc]) of[v] = true;
dp[v][1] = FM.reduce(dp[v][1]);
}
pll get2(int v, int l, int r, int ql, int qr){
if (ql <= l && r <= qr) return MP(dp[v][0], dp[v][1]);
int mid = (l + r) >> 1;
int lc = v << 1;
int rc = lc | 1;
pll a = {0, 1};
pll b = {0, 1};
if (qr > l && ql < mid) a = get2(lc, l, mid, ql, qr);
if (qr > mid && ql < r) b = get2(rc, mid, r, ql, qr);
return MP(max(a.F, a.S * b.F), FM.reduce(a.S * b.S));
}
int Calc(){
int idx = find(1, 0, n, 1);
if (idx == -1) idx = 0;
assert(n == 1 || idx < n-1);
int tmp = get2(1, 0, n, 0, idx+1).S;
ll tmp2 = FM.reduce(max(y[idx], get2(1, 0, n, idx+1, n).F));
return FM.reduce(1ll * tmp * tmp2);
}
int init(int N, int X[], int Y[]) {
n = N;
for (int i = 0; i < n; i++){
x[i] = X[i];
y[i] = Y[i];
}
build2(1, 0, n);
return Calc();
}
int updateX(int pos, int val) {
x[pos] = val;
change2(1, 0, n, pos);
return Calc();
}
int updateY(int pos, int val) {
y[pos] = val;
change2(1, 0, n, pos);
return Calc();
}
Compilation message
horses.cpp: In constructor 'FastMod::FastMod(ull)':
horses.cpp:16:14: warning: declaration of 'b' shadows a member of 'FastMod' [-Wshadow]
16 | FastMod(ull b) : b(b), m(ull((L(1) << 64) / b)) {}
| ~~~~^
horses.cpp:15:6: note: shadowed declaration is here
15 | ull b, m;
| ^
horses.cpp: In constructor 'FastMod::FastMod(ull)':
horses.cpp:16:14: warning: declaration of 'b' shadows a member of 'FastMod' [-Wshadow]
16 | FastMod(ull b) : b(b), m(ull((L(1) << 64) / b)) {}
| ~~~~^
horses.cpp:15:6: note: shadowed declaration is here
15 | ull b, m;
| ^
horses.cpp: In constructor 'FastMod::FastMod(ull)':
horses.cpp:16:14: warning: declaration of 'b' shadows a member of 'FastMod' [-Wshadow]
16 | FastMod(ull b) : b(b), m(ull((L(1) << 64) / b)) {}
| ~~~~^
horses.cpp:15:6: note: shadowed declaration is here
15 | ull b, m;
| ^
horses.cpp: In function 'int find(int, int, int, int)':
horses.cpp:56:7: warning: conversion from 'll' {aka 'long long int'} to 'int' may change value [-Wconversion]
56 | tmp *= dp[rc][1];
| ~~~~^~~~~~~~~~~~
horses.cpp: In function 'int Calc()':
horses.cpp:36:11: warning: conversion from 'long long int' to 'int' may change value [-Wconversion]
36 | #define S second
| ^
horses.cpp:112:36: note: in expansion of macro 'S'
112 | int tmp = get2(1, 0, n, 0, idx+1).S;
| ^
horses.cpp:114:18: warning: conversion from 'ull' {aka 'long long unsigned int'} to 'int' may change value [-Wconversion]
114 | return FM.reduce(1ll * tmp * tmp2);
| ~~~~~~~~~^~~~~~~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
0 ms |
212 KB |
Output is correct |
3 |
Correct |
0 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
0 ms |
288 KB |
Output is correct |
6 |
Correct |
1 ms |
212 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
0 ms |
212 KB |
Output is correct |
9 |
Correct |
0 ms |
212 KB |
Output is correct |
10 |
Correct |
0 ms |
340 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
0 ms |
212 KB |
Output is correct |
13 |
Correct |
0 ms |
212 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
0 ms |
212 KB |
Output is correct |
16 |
Correct |
0 ms |
212 KB |
Output is correct |
17 |
Correct |
0 ms |
340 KB |
Output is correct |
18 |
Correct |
0 ms |
212 KB |
Output is correct |
19 |
Correct |
0 ms |
212 KB |
Output is correct |
20 |
Correct |
0 ms |
212 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
212 KB |
Output is correct |
3 |
Correct |
0 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
340 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
0 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
1 ms |
340 KB |
Output is correct |
9 |
Correct |
0 ms |
212 KB |
Output is correct |
10 |
Correct |
0 ms |
212 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
0 ms |
212 KB |
Output is correct |
13 |
Correct |
0 ms |
212 KB |
Output is correct |
14 |
Correct |
1 ms |
212 KB |
Output is correct |
15 |
Correct |
0 ms |
340 KB |
Output is correct |
16 |
Correct |
0 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
0 ms |
212 KB |
Output is correct |
19 |
Correct |
0 ms |
212 KB |
Output is correct |
20 |
Correct |
1 ms |
212 KB |
Output is correct |
21 |
Correct |
3 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
340 KB |
Output is correct |
23 |
Correct |
1 ms |
340 KB |
Output is correct |
24 |
Correct |
2 ms |
340 KB |
Output is correct |
25 |
Correct |
1 ms |
340 KB |
Output is correct |
26 |
Correct |
1 ms |
340 KB |
Output is correct |
27 |
Correct |
1 ms |
340 KB |
Output is correct |
28 |
Correct |
1 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
340 KB |
Output is correct |
30 |
Correct |
2 ms |
340 KB |
Output is correct |
31 |
Correct |
1 ms |
340 KB |
Output is correct |
32 |
Correct |
1 ms |
340 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
95 ms |
29440 KB |
Output is correct |
2 |
Correct |
155 ms |
29904 KB |
Output is correct |
3 |
Correct |
114 ms |
29956 KB |
Output is correct |
4 |
Correct |
134 ms |
29960 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
0 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
212 KB |
Output is correct |
3 |
Correct |
0 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
324 KB |
Output is correct |
6 |
Correct |
0 ms |
212 KB |
Output is correct |
7 |
Correct |
1 ms |
212 KB |
Output is correct |
8 |
Correct |
0 ms |
212 KB |
Output is correct |
9 |
Correct |
0 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
212 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
0 ms |
212 KB |
Output is correct |
13 |
Correct |
0 ms |
212 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
340 KB |
Output is correct |
16 |
Correct |
0 ms |
340 KB |
Output is correct |
17 |
Correct |
0 ms |
212 KB |
Output is correct |
18 |
Correct |
0 ms |
212 KB |
Output is correct |
19 |
Correct |
0 ms |
212 KB |
Output is correct |
20 |
Correct |
0 ms |
212 KB |
Output is correct |
21 |
Correct |
0 ms |
212 KB |
Output is correct |
22 |
Correct |
0 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
340 KB |
Output is correct |
24 |
Correct |
1 ms |
340 KB |
Output is correct |
25 |
Correct |
1 ms |
340 KB |
Output is correct |
26 |
Correct |
1 ms |
340 KB |
Output is correct |
27 |
Correct |
1 ms |
340 KB |
Output is correct |
28 |
Correct |
1 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
340 KB |
Output is correct |
30 |
Correct |
2 ms |
392 KB |
Output is correct |
31 |
Correct |
1 ms |
340 KB |
Output is correct |
32 |
Correct |
1 ms |
340 KB |
Output is correct |
33 |
Correct |
50 ms |
28580 KB |
Output is correct |
34 |
Correct |
53 ms |
28624 KB |
Output is correct |
35 |
Correct |
64 ms |
29004 KB |
Output is correct |
36 |
Correct |
62 ms |
29072 KB |
Output is correct |
37 |
Correct |
34 ms |
28576 KB |
Output is correct |
38 |
Correct |
34 ms |
28568 KB |
Output is correct |
39 |
Correct |
28 ms |
28476 KB |
Output is correct |
40 |
Correct |
156 ms |
29076 KB |
Output is correct |
41 |
Correct |
30 ms |
28512 KB |
Output is correct |
42 |
Correct |
31 ms |
28596 KB |
Output is correct |
43 |
Correct |
42 ms |
28956 KB |
Output is correct |
44 |
Correct |
42 ms |
28912 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
0 ms |
340 KB |
Output is correct |
3 |
Correct |
0 ms |
212 KB |
Output is correct |
4 |
Correct |
0 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
340 KB |
Output is correct |
6 |
Correct |
0 ms |
212 KB |
Output is correct |
7 |
Correct |
0 ms |
340 KB |
Output is correct |
8 |
Correct |
0 ms |
340 KB |
Output is correct |
9 |
Correct |
0 ms |
340 KB |
Output is correct |
10 |
Correct |
1 ms |
212 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
0 ms |
212 KB |
Output is correct |
13 |
Correct |
0 ms |
212 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
340 KB |
Output is correct |
17 |
Correct |
0 ms |
212 KB |
Output is correct |
18 |
Correct |
0 ms |
212 KB |
Output is correct |
19 |
Correct |
0 ms |
212 KB |
Output is correct |
20 |
Correct |
0 ms |
212 KB |
Output is correct |
21 |
Correct |
0 ms |
340 KB |
Output is correct |
22 |
Correct |
0 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
340 KB |
Output is correct |
24 |
Correct |
1 ms |
340 KB |
Output is correct |
25 |
Correct |
1 ms |
340 KB |
Output is correct |
26 |
Correct |
1 ms |
340 KB |
Output is correct |
27 |
Correct |
1 ms |
340 KB |
Output is correct |
28 |
Correct |
1 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
340 KB |
Output is correct |
30 |
Correct |
2 ms |
340 KB |
Output is correct |
31 |
Correct |
1 ms |
340 KB |
Output is correct |
32 |
Correct |
1 ms |
340 KB |
Output is correct |
33 |
Correct |
87 ms |
29436 KB |
Output is correct |
34 |
Correct |
150 ms |
29968 KB |
Output is correct |
35 |
Correct |
114 ms |
29868 KB |
Output is correct |
36 |
Correct |
134 ms |
29908 KB |
Output is correct |
37 |
Correct |
40 ms |
28648 KB |
Output is correct |
38 |
Correct |
41 ms |
28628 KB |
Output is correct |
39 |
Correct |
63 ms |
29008 KB |
Output is correct |
40 |
Correct |
62 ms |
29032 KB |
Output is correct |
41 |
Correct |
33 ms |
28500 KB |
Output is correct |
42 |
Correct |
37 ms |
28556 KB |
Output is correct |
43 |
Correct |
31 ms |
28500 KB |
Output is correct |
44 |
Correct |
156 ms |
29000 KB |
Output is correct |
45 |
Correct |
29 ms |
28492 KB |
Output is correct |
46 |
Correct |
30 ms |
28548 KB |
Output is correct |
47 |
Correct |
41 ms |
28968 KB |
Output is correct |
48 |
Correct |
43 ms |
28872 KB |
Output is correct |
49 |
Correct |
126 ms |
29856 KB |
Output is correct |
50 |
Correct |
150 ms |
29904 KB |
Output is correct |
51 |
Correct |
119 ms |
29940 KB |
Output is correct |
52 |
Correct |
117 ms |
29944 KB |
Output is correct |
53 |
Correct |
118 ms |
29404 KB |
Output is correct |
54 |
Correct |
92 ms |
29376 KB |
Output is correct |
55 |
Correct |
77 ms |
28620 KB |
Output is correct |
56 |
Execution timed out |
1574 ms |
29380 KB |
Time limit exceeded |
57 |
Halted |
0 ms |
0 KB |
- |