結果

問題 No.187 中華風 (Hard)
ユーザー fumofumofuni
提出日時 2022-09-04 02:52:44
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,643 bytes
コンパイル時間 1,880 ms
コンパイル使用メモリ 201,692 KB
最終ジャッジ日時 2025-02-07 02:30:58
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24 WA * 1
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include<bits/stdc++.h>
using namespace std;
#pragma GCC optimize("O3")
#define rep(i,n) for(ll i=0;i<n;i++)
#define repl(i,l,r) for(ll i=(l);i<(r);i++)
#define per(i,n) for(ll i=(n)-1;i>=0;i--)
#define perl(i,r,l) for(ll i=r-1;i>=l;i--)
#define fi first
#define se second
#define ins insert
#define pqueue(x) priority_queue<x,vector<x>,greater<x>>
#define all(x) (x).begin(),(x).end()
#define CST(x) cout<<fixed<<setprecision(x)
#define rev(x) reverse(x);
using ll=long long;
using vl=vector<ll>;
using vvl=vector<vector<ll>>;
using pl=pair<ll,ll>;
using vpl=vector<pl>;
using vvpl=vector<vpl>;
const ll MOD=1000000007;
const ll MOD9=998244353;
const int inf=1e9+10;
const ll INF=4e18;
const ll dy[9]={1,0,-1,0,1,1,-1,-1,0};
const ll dx[9]={0,1,0,-1,1,-1,1,-1,0};
template <typename T> inline bool chmax(T &a, T b) {
  return ((a < b) ? (a = b, true) : (false));
}
template <typename T> inline bool chmin(T &a, T b) {
  return ((a > b) ? (a = b, true) : (false));
}
bool PreGarner(vector<long long> &b,vector<long long> &m){
  long long res=1;
  for(int i=0;i<b.size();i++){
    for(int j=0;j<i;j++){
      long long g=gcd(m[i],m[j]);
      if((b[i]-b[j])%g!=0)return false;
      m[i]/=g,m[j]/=g;
      long long gi=gcd(m[i],g);
      long long gj=g/gi;
      while(g!=1){//各素べきをiとjのうち指数が大きい方に振り分ける。O(log^2)程度。
        g=gcd(gi,gj);
        gi*=g;gj/=g;
      }
      m[i]*=gi,m[j]*=gj;
      b[i]%=m[i],b[j]%=m[j];
    }
  }
  return true;
}
long long safemod(long long a,long long m){
  long long res=a%m;
  if(res<0)res+=m;
  return res;
}
long long extGCD(long long a,long long b,long long &p,long long &q){
  if(b==0){p=1;q=0;return a;}
  long long d=extGCD(b,a%b,q,p);
  q-=a/b*p;
  return d;
}
long long modinv(long long a,long long m){//aとmが互いに素
  long long x,y;
  extGCD(a,m,x,y);
  return safemod(x,m);
}
pair<long long,long long> Garner(vector<long long> b,vector<long long> m,long long MOD){//{解,lcm(mod)}
  m.emplace_back(MOD);
  long long l=1;
  vector<long long> coeffs(m.size(),1);
  vector<long long> constants(m.size(),0);
  for(int k=0;k<b.size();k++){
    long long t=safemod((b[k]-constants[k])*modinv(coeffs[k],m[k]),m[k]);
    l=l*m[k]%MOD;
    for(int i=k+1;i<m.size();i++){
      constants[i]=(constants[i]+t*coeffs[i])%m[i];
      coeffs[i]=coeffs[i]*m[k]%m[i];
    }
  }
  return make_pair(constants.back(),l);
}
int main(){
  ll n;cin >> n;
  vl b(n),m(n);
  rep(i,n){
    cin >> b[i] >> m[i];
  }
  auto f=PreGarner(b,m);
  if(f==false){
    cout << -1 << endl;return 0;
  }
  auto [x,l]=Garner(b,m,MOD);
  if(x==0)x+=l;
  cout << x << endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0