#include<bits/stdc++.h>
#define ff first
#define ss second
#define pb push_back
#define int lld
#define all(x) (x).begin(), (x).end()
using namespace std;
typedef int64_t lld;
typedef pair<int, int> pii;
template<size_t MOD>
struct S{
static int mdu(int a){ return a < 0?a+MOD:a; }
static int mdd(int a){ return a>=MOD?a-MOD:a; }
static int invmod(int a, int b = MOD, int s0 = 0, int s1 = 1){
return b?invmod(b, a%b, mdu(s1-(lld)(a/b)*s0%MOD), s0):s1;
}
int f, s;
S(int a){ f = 0, s = a; }
S(int a, int b){ f = a, s = b; }
S operator+(S a){ return {mdd(f+a.f), mdd(s+a.s)}; }
S operator-(S a){ return {mdu(f-a.f), mdu(s-a.s)}; }
S operator/(int b){ return b = mdu(invmod(b)), S((lld)f*b%MOD, (lld)s*b%MOD); }
friend ostream& operator<<(ostream& out, S a){ return out << a.f << "x + " << a.s; }
int solve(){ return (lld)s*invmod(mdu(1-f))%MOD; }
};
const int md1 = 1000000007, md2 = 1000000009, md3 = 998244353;
vector<pii> v;
signed main(){ ios::sync_with_stdio(0); cin.tie(0);
int n;
cin >> n;
S<md1> curgive1 = {1, 0};
S<md2> curgive2 = {1, 0};
//S<md3> curgive3 = {1, 0};
lld suma = 0, sumb = 0;
for(int i = 0; i < n; i++){
int a, b;
cin >> a >> b;
v.pb({a, b});
suma += a, sumb += b;
curgive1 = (curgive1+a-b)/2;
curgive2 = (curgive2+a-b)/2;
//curgive3 = (curgive3+a-b)/2;
//cout << curgive1 << endl << curgive2 << endl;
//cout << curgive1.solve() << " " << curgive2.solve() << endl;
}
if(!sumb && suma)return cout << "No" << endl, 0;
assert((curgive1.f != 1) && (curgive2.f != 1));
if(curgive1.f == 1){
return cout << "Yes" << endl, 0;
}
lld ans;
/*
if(curgive1.f == 1){
if(curgive2.f == 1 || curgive3.f == 1)return cout << "No" << endl, 0;
lld ans3 = curgive3.solve(), ans2 = curgive2.solve(); // a = ((lld)(ans2-ans1)*invmod(md1, md2)%md2+md2)%md2 (mod md2)
ans = (lld)S<md2>::mdu((ans2-ans3)*S<md2>::invmod(md3)%md2)*md3+ans3;
} else if(curgive2.f == 1) {
lld ans1 = curgive1.solve(), ans3 = curgive3.solve(); // a = ((lld)(ans2-ans1)*invmod(md1, md2)%md2+md2)%md2 (mod md2)
ans = (lld)S<md3>::mdu((ans3-ans1)*S<md3>::invmod(md1)%md3)*md1+ans1;
} else if(curgive3.f == 1)
return cout << "No" << endl, 0;
else*/ {
lld ans1 = curgive1.solve(), ans2 = curgive2.solve(); // a = ((lld)(ans2-ans1)*invmod(md1, md2)%md2+md2)%md2 (mod md2)
ans = (lld)S<md2>::mdu((ans2-ans1)*S<md2>::invmod(md1)%md2)*md1+ans1;
assert(ans%md1 == ans1 && ans%md2 == ans2);
}
//cout << ans << endl;
lld curgive = ans;
for(int i = 0; i < n; i++){
curgive = curgive + v[i].ff-v[i].ss;
//cout << curgive << endl;
if(curgive<0 || (curgive&1))return cout << "No" << endl, 0;
curgive /= 2;
}
if(curgive == ans)cout << "Yes" << endl;
else cout << "No" << endl;
}
/*
5
0 0
1 0
2 3
3 3
4 0
*/
Compilation message
remittance.cpp: In instantiation of 'static lld S<MOD>::mdd(lld) [with long unsigned int MOD = 1000000007; lld = long int]':
remittance.cpp:21:32: required from 'S<MOD> S<MOD>::operator+(S<MOD>) [with long unsigned int MOD = 1000000007]'
remittance.cpp:43:26: required from here
remittance.cpp:14:34: warning: comparison of integer expressions of different signedness: 'lld' {aka 'long int'} and 'long unsigned int' [-Wsign-compare]
14 | static int mdd(int a){ return a>=MOD?a-MOD:a; }
| ~^~~~~
remittance.cpp: In instantiation of 'static lld S<MOD>::mdd(lld) [with long unsigned int MOD = 1000000009; lld = long int]':
remittance.cpp:21:32: required from 'S<MOD> S<MOD>::operator+(S<MOD>) [with long unsigned int MOD = 1000000009]'
remittance.cpp:44:26: required from here
remittance.cpp:14:34: warning: comparison of integer expressions of different signedness: 'lld' {aka 'long int'} and 'long unsigned int' [-Wsign-compare]
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
384 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
1 ms |
288 KB |
Output is correct |
6 |
Correct |
1 ms |
384 KB |
Output is correct |
7 |
Correct |
1 ms |
384 KB |
Output is correct |
8 |
Correct |
1 ms |
384 KB |
Output is correct |
9 |
Correct |
0 ms |
384 KB |
Output is correct |
10 |
Correct |
0 ms |
384 KB |
Output is correct |
11 |
Correct |
0 ms |
384 KB |
Output is correct |
12 |
Correct |
0 ms |
384 KB |
Output is correct |
13 |
Correct |
0 ms |
384 KB |
Output is correct |
14 |
Correct |
0 ms |
384 KB |
Output is correct |
15 |
Correct |
2 ms |
384 KB |
Output is correct |
16 |
Correct |
1 ms |
384 KB |
Output is correct |
17 |
Correct |
0 ms |
384 KB |
Output is correct |
18 |
Correct |
1 ms |
384 KB |
Output is correct |
19 |
Correct |
0 ms |
384 KB |
Output is correct |
20 |
Correct |
0 ms |
384 KB |
Output is correct |
21 |
Correct |
0 ms |
384 KB |
Output is correct |
22 |
Correct |
0 ms |
384 KB |
Output is correct |
23 |
Correct |
0 ms |
384 KB |
Output is correct |
24 |
Correct |
0 ms |
384 KB |
Output is correct |
25 |
Correct |
0 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
0 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
0 ms |
384 KB |
Output is correct |
31 |
Correct |
0 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
384 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
1 ms |
288 KB |
Output is correct |
6 |
Correct |
1 ms |
384 KB |
Output is correct |
7 |
Correct |
1 ms |
384 KB |
Output is correct |
8 |
Correct |
1 ms |
384 KB |
Output is correct |
9 |
Correct |
0 ms |
384 KB |
Output is correct |
10 |
Correct |
0 ms |
384 KB |
Output is correct |
11 |
Correct |
0 ms |
384 KB |
Output is correct |
12 |
Correct |
0 ms |
384 KB |
Output is correct |
13 |
Correct |
0 ms |
384 KB |
Output is correct |
14 |
Correct |
0 ms |
384 KB |
Output is correct |
15 |
Correct |
2 ms |
384 KB |
Output is correct |
16 |
Correct |
1 ms |
384 KB |
Output is correct |
17 |
Correct |
0 ms |
384 KB |
Output is correct |
18 |
Correct |
1 ms |
384 KB |
Output is correct |
19 |
Correct |
0 ms |
384 KB |
Output is correct |
20 |
Correct |
0 ms |
384 KB |
Output is correct |
21 |
Correct |
0 ms |
384 KB |
Output is correct |
22 |
Correct |
0 ms |
384 KB |
Output is correct |
23 |
Correct |
0 ms |
384 KB |
Output is correct |
24 |
Correct |
0 ms |
384 KB |
Output is correct |
25 |
Correct |
0 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
0 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
0 ms |
384 KB |
Output is correct |
31 |
Correct |
0 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
33 |
Correct |
1 ms |
384 KB |
Output is correct |
34 |
Correct |
0 ms |
384 KB |
Output is correct |
35 |
Correct |
0 ms |
384 KB |
Output is correct |
36 |
Correct |
1 ms |
384 KB |
Output is correct |
37 |
Correct |
1 ms |
384 KB |
Output is correct |
38 |
Correct |
1 ms |
384 KB |
Output is correct |
39 |
Correct |
0 ms |
384 KB |
Output is correct |
40 |
Correct |
0 ms |
384 KB |
Output is correct |
41 |
Correct |
1 ms |
384 KB |
Output is correct |
42 |
Correct |
1 ms |
384 KB |
Output is correct |
43 |
Correct |
0 ms |
384 KB |
Output is correct |
44 |
Correct |
0 ms |
384 KB |
Output is correct |
45 |
Correct |
0 ms |
384 KB |
Output is correct |
46 |
Correct |
1 ms |
384 KB |
Output is correct |
47 |
Correct |
0 ms |
384 KB |
Output is correct |
48 |
Correct |
0 ms |
384 KB |
Output is correct |
49 |
Correct |
0 ms |
384 KB |
Output is correct |
50 |
Correct |
1 ms |
384 KB |
Output is correct |
51 |
Correct |
0 ms |
384 KB |
Output is correct |
52 |
Correct |
0 ms |
384 KB |
Output is correct |
53 |
Correct |
0 ms |
256 KB |
Output is correct |
54 |
Correct |
0 ms |
384 KB |
Output is correct |
55 |
Correct |
0 ms |
384 KB |
Output is correct |
56 |
Correct |
0 ms |
384 KB |
Output is correct |
57 |
Correct |
0 ms |
384 KB |
Output is correct |
58 |
Correct |
0 ms |
384 KB |
Output is correct |
59 |
Correct |
0 ms |
384 KB |
Output is correct |
60 |
Correct |
0 ms |
384 KB |
Output is correct |
61 |
Correct |
0 ms |
384 KB |
Output is correct |
62 |
Correct |
0 ms |
384 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
384 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
0 ms |
384 KB |
Output is correct |
4 |
Correct |
0 ms |
384 KB |
Output is correct |
5 |
Correct |
1 ms |
288 KB |
Output is correct |
6 |
Correct |
1 ms |
384 KB |
Output is correct |
7 |
Correct |
1 ms |
384 KB |
Output is correct |
8 |
Correct |
1 ms |
384 KB |
Output is correct |
9 |
Correct |
0 ms |
384 KB |
Output is correct |
10 |
Correct |
0 ms |
384 KB |
Output is correct |
11 |
Correct |
0 ms |
384 KB |
Output is correct |
12 |
Correct |
0 ms |
384 KB |
Output is correct |
13 |
Correct |
0 ms |
384 KB |
Output is correct |
14 |
Correct |
0 ms |
384 KB |
Output is correct |
15 |
Correct |
2 ms |
384 KB |
Output is correct |
16 |
Correct |
1 ms |
384 KB |
Output is correct |
17 |
Correct |
0 ms |
384 KB |
Output is correct |
18 |
Correct |
1 ms |
384 KB |
Output is correct |
19 |
Correct |
0 ms |
384 KB |
Output is correct |
20 |
Correct |
0 ms |
384 KB |
Output is correct |
21 |
Correct |
0 ms |
384 KB |
Output is correct |
22 |
Correct |
0 ms |
384 KB |
Output is correct |
23 |
Correct |
0 ms |
384 KB |
Output is correct |
24 |
Correct |
0 ms |
384 KB |
Output is correct |
25 |
Correct |
0 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
0 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
0 ms |
384 KB |
Output is correct |
31 |
Correct |
0 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
33 |
Correct |
1 ms |
384 KB |
Output is correct |
34 |
Correct |
0 ms |
384 KB |
Output is correct |
35 |
Correct |
0 ms |
384 KB |
Output is correct |
36 |
Correct |
1 ms |
384 KB |
Output is correct |
37 |
Correct |
1 ms |
384 KB |
Output is correct |
38 |
Correct |
1 ms |
384 KB |
Output is correct |
39 |
Correct |
0 ms |
384 KB |
Output is correct |
40 |
Correct |
0 ms |
384 KB |
Output is correct |
41 |
Correct |
1 ms |
384 KB |
Output is correct |
42 |
Correct |
1 ms |
384 KB |
Output is correct |
43 |
Correct |
0 ms |
384 KB |
Output is correct |
44 |
Correct |
0 ms |
384 KB |
Output is correct |
45 |
Correct |
0 ms |
384 KB |
Output is correct |
46 |
Correct |
1 ms |
384 KB |
Output is correct |
47 |
Correct |
0 ms |
384 KB |
Output is correct |
48 |
Correct |
0 ms |
384 KB |
Output is correct |
49 |
Correct |
0 ms |
384 KB |
Output is correct |
50 |
Correct |
1 ms |
384 KB |
Output is correct |
51 |
Correct |
0 ms |
384 KB |
Output is correct |
52 |
Correct |
0 ms |
384 KB |
Output is correct |
53 |
Correct |
0 ms |
256 KB |
Output is correct |
54 |
Correct |
0 ms |
384 KB |
Output is correct |
55 |
Correct |
0 ms |
384 KB |
Output is correct |
56 |
Correct |
0 ms |
384 KB |
Output is correct |
57 |
Correct |
0 ms |
384 KB |
Output is correct |
58 |
Correct |
0 ms |
384 KB |
Output is correct |
59 |
Correct |
0 ms |
384 KB |
Output is correct |
60 |
Correct |
0 ms |
384 KB |
Output is correct |
61 |
Correct |
0 ms |
384 KB |
Output is correct |
62 |
Correct |
0 ms |
384 KB |
Output is correct |
63 |
Correct |
304 ms |
16952 KB |
Output is correct |
64 |
Correct |
228 ms |
20396 KB |
Output is correct |
65 |
Correct |
321 ms |
35136 KB |
Output is correct |
66 |
Correct |
219 ms |
20156 KB |
Output is correct |
67 |
Correct |
218 ms |
21644 KB |
Output is correct |
68 |
Correct |
240 ms |
23872 KB |
Output is correct |
69 |
Correct |
324 ms |
35520 KB |
Output is correct |
70 |
Correct |
220 ms |
20032 KB |
Output is correct |
71 |
Correct |
221 ms |
21440 KB |
Output is correct |
72 |
Correct |
234 ms |
23868 KB |
Output is correct |
73 |
Correct |
318 ms |
35520 KB |
Output is correct |
74 |
Correct |
222 ms |
20032 KB |
Output is correct |
75 |
Correct |
220 ms |
21416 KB |
Output is correct |
76 |
Correct |
231 ms |
23744 KB |
Output is correct |
77 |
Correct |
317 ms |
35648 KB |
Output is correct |
78 |
Correct |
269 ms |
27840 KB |
Output is correct |
79 |
Correct |
265 ms |
27896 KB |
Output is correct |
80 |
Correct |
268 ms |
27712 KB |
Output is correct |
81 |
Correct |
264 ms |
27712 KB |
Output is correct |
82 |
Correct |
214 ms |
20160 KB |
Output is correct |
83 |
Correct |
209 ms |
20032 KB |
Output is correct |
84 |
Correct |
210 ms |
20204 KB |
Output is correct |
85 |
Correct |
327 ms |
36708 KB |
Output is correct |
86 |
Correct |
340 ms |
36672 KB |
Output is correct |
87 |
Correct |
292 ms |
29056 KB |
Output is correct |
88 |
Correct |
285 ms |
28864 KB |
Output is correct |