結果

問題 No.187 中華風 (Hard)
ユーザー snukesnuke
提出日時 2018-06-09 03:01:44
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 275 ms / 3,000 ms
コード長 3,428 bytes
コンパイル時間 1,697 ms
コンパイル使用メモリ 173,832 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-06-30 12:21:41
合計ジャッジ時間 6,087 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 206 ms
6,940 KB
testcase_03 AC 199 ms
6,944 KB
testcase_04 AC 271 ms
6,944 KB
testcase_05 AC 274 ms
6,944 KB
testcase_06 AC 273 ms
6,940 KB
testcase_07 AC 272 ms
6,940 KB
testcase_08 AC 196 ms
6,944 KB
testcase_09 AC 193 ms
6,944 KB
testcase_10 AC 194 ms
6,940 KB
testcase_11 AC 274 ms
6,940 KB
testcase_12 AC 275 ms
6,940 KB
testcase_13 AC 53 ms
6,944 KB
testcase_14 AC 53 ms
6,944 KB
testcase_15 AC 199 ms
6,940 KB
testcase_16 AC 204 ms
6,940 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 2 ms
6,944 KB
testcase_19 AC 2 ms
6,940 KB
testcase_20 AC 209 ms
6,940 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 275 ms
6,944 KB
testcase_23 AC 2 ms
6,940 KB
testcase_24 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define fi first
#define se second
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define rrep(i,n) for(int i = 1; i <= (n); ++i)
#define drep(i,n) for(int i = (n)-1; i >= 0; --i)
#define srep(i,s,t) for (int i = s; i < t; ++i)
#define rng(a) a.begin(),a.end()
#define maxs(x,y) (x = max(x,y))
#define mins(x,y) (x = min(x,y))
#define limit(x,l,r) max(l,min(x,r))
#define lims(x,l,r) (x = max(l,min(x,r)))
#define isin(x,l,r) ((l) <= (x) && (x) < (r))
#define pb push_back
#define sz(x) (int)(x).size()
#define pcnt __builtin_popcountll
#define uni(x) x.erase(unique(rng(x)),x.end())
#define snuke srand((unsigned)clock()+(unsigned)time(NULL));
#define show(x) cout<<#x<<" = "<<x<<endl;
#define PQ(T) priority_queue<T,v(T),greater<T> >
#define bn(x) ((1<<x)-1)
#define dup(x,y) (((x)+(y)-1)/(y))
#define newline puts("")
#define v(T) vector<T>
#define vv(T) v(v(T))
using namespace std;
typedef long long int ll;
typedef unsigned uint;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vl;
typedef vector<P> vp;
inline int in() { int x; scanf("%d",&x); return x;}
template<typename T>inline istream& operator>>(istream&i,v(T)&v)
{rep(j,sz(v))i>>v[j];return i;}
template<typename T>string join(const v(T)&v)
{stringstream s;rep(i,sz(v))s<<' '<<v[i];return s.str().substr(1);}
template<typename T>inline ostream& operator<<(ostream&o,const v(T)&v)
{if(sz(v))o<<join(v);return o;}
template<typename T1,typename T2>inline istream& operator>>(istream&i,pair<T1,T2>&v)
{return i>>v.fi>>v.se;}
template<typename T1,typename T2>inline ostream& operator<<(ostream&o,const pair<T1,T2>&v)
{return o<<v.fi<<","<<v.se;}
template<typename T>inline ll suma(const v(T)& a) { ll res(0); for (auto&& x : a) res += x; return res;}
const double eps = 1e-10;
const ll LINF = 1001002003004005006ll;
const int INF = 1001001001;
#define dame { puts("-1"); return 0;}
#define yn {puts("YES");}else{puts("NO");}
const int MX = 200005;
const int mod = 1000000007;

#define bsf __builtin_ctzll
ll gcd(ll a, ll b) {
  // a = abs(a); b = abs(b);
  if (!a || !b) return a|b;
  int t = bsf(a|b); a >>= bsf(a);
  do { b >>= bsf(b); if (a > b) swap(a, b); b -= a;} while (b);
  return a << t;
}
// ax+by = gcd(a,b)
ll extgcd(ll a, ll b, ll& x, ll& y) {
  for (ll u = y = 1, v = x = 0; a;) {
    ll q = b / a; swap(x -= q * u, u);
    swap(y -= q * v, v); swap(b -= q * a, a);
  }
  return b;
}
//
inline int inv(int a, int p) {
  ll x, y;
  extgcd(a,p,x,y);
  return (x%p+p)%p;
}

int main() {
  int n;
  scanf("%d",&n);
  vi r(n), p(n);
  rep(i,n) scanf("%d%d",&r[i],&p[i]);
  rep(i,n) {
    rep(j,i) {
      int g = gcd(p[i],p[j]);
      if (r[i]%g != r[j]%g) dame;
      p[i] /= g; p[j] /= g;
      int gi = gcd(p[i],g);
      int gj = g/gi;
      while (g = gcd(gi,gj), g != 1) {
        gi *= g;
        gj /= g;
      }
      p[i] *= gi;
      p[j] *= gj;
      r[i] %= p[i];
      r[j] %= p[j];
    }
  }
  vl x;
  rep(i,n) {
    ll a = r[i], c = 1;
    rep(j,i) {
      a -= x[j]*c%p[i];
      if (a < 0) a += p[i];
      c = c*p[j]%p[i];
    }
    rep(j,i) a = a*inv(p[j],p[i])%p[i];
    x.pb(a);
    // cerr<<r[i]<<" "<<p[i]<<" "<<a<<endl;
  }

  ll ans = 0, c = 1;
  rep(i,n) {
    (ans += x[i]*c) %= mod;
    c = c*p[i]%mod;
  }
  if (x == vl(n)) {
    ans = 1;
    rep(i,n) ans = ans*p[i]%mod;
  }
  cout<<ans<<endl;
  return 0;
}
0