oj.uz

Submission #295201

# Submission time Handle Problem Language Result Execution time Memory
295201 2020-09-09T14:17:21 Z erd1 Remittance (JOI19_remittance) C++14
0 / 100
 1 ms 256 KB 
#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(){
  int n;
  cin >> n;
  S<md1> curgive1 = {1, 0};
  S<md2> curgive2 = {1, 0};
  S<md3> curgive3 = {1, 0};
  for(int i = 0; i < n; i++){
    int a, b;
    cin >> a >> b;
    v.pb({a, 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;
  }
  assert((curgive1.f == 1) == (curgive2.f == 1) && (curgive1.f == 1) == (curgive3.f == 1));
  if(curgive1.f == 1 && curgive2.f == 1 && curgive3.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;
  }
  //cout << ans << endl;
  lld curgive = ans;
  for(int i = 0; i < n; i++){
    curgive = curgive + v[i].ff-v[i].ss;
    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:41: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:42: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]
remittance.cpp: In instantiation of 'static lld S<MOD>::mdd(lld) [with long unsigned int MOD = 998244353; lld = long int]':
remittance.cpp:21:32:   required from 'S<MOD> S<MOD>::operator+(S<MOD>) [with long unsigned int MOD = 998244353]'
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]

Subtask #1
0 / 15.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 256 KB Output is correct
2 Correct 0 ms 256 KB Output is correct
3 Correct 1 ms 256 KB Output is correct
4 Correct 0 ms 256 KB Output is correct
5 Correct 0 ms 256 KB Output is correct
6 Correct 0 ms 256 KB Output is correct
7 Correct 0 ms 256 KB Output is correct
8 Correct 0 ms 256 KB Output is correct
9 Correct 0 ms 256 KB Output is correct
10 Correct 1 ms 256 KB Output is correct
11 Correct 0 ms 256 KB Output is correct
12 Correct 0 ms 256 KB Output is correct
13 Correct 1 ms 256 KB Output is correct
14 Correct 0 ms 256 KB Output is correct
15 Correct 0 ms 256 KB Output is correct
16 Correct 0 ms 256 KB Output is correct
17 Correct 0 ms 256 KB Output is correct
18 Correct 0 ms 256 KB Output is correct
19 Correct 0 ms 256 KB Output is correct
20 Incorrect 0 ms 256 KB Output isn't correct
21 Halted 0 ms 0 KB -

Subtask #2
0 / 40.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 256 KB Output is correct
2 Correct 0 ms 256 KB Output is correct
3 Correct 1 ms 256 KB Output is correct
4 Correct 0 ms 256 KB Output is correct
5 Correct 0 ms 256 KB Output is correct
6 Correct 0 ms 256 KB Output is correct
7 Correct 0 ms 256 KB Output is correct
8 Correct 0 ms 256 KB Output is correct
9 Correct 0 ms 256 KB Output is correct
10 Correct 1 ms 256 KB Output is correct
11 Correct 0 ms 256 KB Output is correct
12 Correct 0 ms 256 KB Output is correct
13 Correct 1 ms 256 KB Output is correct
14 Correct 0 ms 256 KB Output is correct
15 Correct 0 ms 256 KB Output is correct
16 Correct 0 ms 256 KB Output is correct
17 Correct 0 ms 256 KB Output is correct
18 Correct 0 ms 256 KB Output is correct
19 Correct 0 ms 256 KB Output is correct
20 Incorrect 0 ms 256 KB Output isn't correct
21 Halted 0 ms 0 KB -

Subtask #3
0 / 45.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 256 KB Output is correct
2 Correct 0 ms 256 KB Output is correct
3 Correct 1 ms 256 KB Output is correct
4 Correct 0 ms 256 KB Output is correct
5 Correct 0 ms 256 KB Output is correct
6 Correct 0 ms 256 KB Output is correct
7 Correct 0 ms 256 KB Output is correct
8 Correct 0 ms 256 KB Output is correct
9 Correct 0 ms 256 KB Output is correct
10 Correct 1 ms 256 KB Output is correct
11 Correct 0 ms 256 KB Output is correct
12 Correct 0 ms 256 KB Output is correct
13 Correct 1 ms 256 KB Output is correct
14 Correct 0 ms 256 KB Output is correct
15 Correct 0 ms 256 KB Output is correct
16 Correct 0 ms 256 KB Output is correct
17 Correct 0 ms 256 KB Output is correct
18 Correct 0 ms 256 KB Output is correct
19 Correct 0 ms 256 KB Output is correct
20 Incorrect 0 ms 256 KB Output isn't correct
21 Halted 0 ms 0 KB -