結果
問題 | No.2119 一般化百五減算 |
ユーザー | 👑 potato167 |
提出日時 | 2022-11-04 22:06:29 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 23 ms / 2,000 ms |
コード長 | 2,661 bytes |
コンパイル時間 | 2,103 ms |
コンパイル使用メモリ | 206,620 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-07-18 19:54:07 |
合計ジャッジ時間 | 3,097 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | AC | 2 ms
5,376 KB |
testcase_03 | AC | 2 ms
5,376 KB |
testcase_04 | AC | 2 ms
5,376 KB |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 2 ms
5,376 KB |
testcase_08 | AC | 2 ms
5,376 KB |
testcase_09 | AC | 2 ms
5,376 KB |
testcase_10 | AC | 2 ms
5,376 KB |
testcase_11 | AC | 2 ms
5,376 KB |
testcase_12 | AC | 2 ms
5,376 KB |
testcase_13 | AC | 2 ms
5,376 KB |
testcase_14 | AC | 2 ms
5,376 KB |
testcase_15 | AC | 2 ms
5,376 KB |
testcase_16 | AC | 2 ms
5,376 KB |
testcase_17 | AC | 1 ms
5,376 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 2 ms
5,376 KB |
testcase_20 | AC | 16 ms
5,376 KB |
testcase_21 | AC | 16 ms
5,376 KB |
testcase_22 | AC | 23 ms
5,376 KB |
testcase_23 | AC | 22 ms
5,376 KB |
testcase_24 | AC | 23 ms
5,376 KB |
ソースコード
#include <bits/stdc++.h> #pragma GCC optimize("Ofast") using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=2167167167167167167; const int INF=2100000000; const ll mod=998244353; #define rep(i,a) for (ll i=0;i<a;i++) #define all(p) p.begin(),p.end() template<class T> using _pq = priority_queue<T, vector<T>, greater<T>>; template<class T> ll LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template<class T> ll UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template<class T> bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template<class T> bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}else return 0;} template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());} template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} template<class T> void vec_out(vector<T> &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";} template<class T> T min(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;} template<class T> T max(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;} template<class T> T sum(vector<T> &a){assert(!a.empty());T ans=a[0]-a[0];for(auto &x:a) ans+=x;return ans;} //a*x+b*y=gcd(a,b)となるx,yにする 返り値gcd(a,b) ll Euclid(ll a,ll b,ll &x,ll &y){ if(b==0){ x=1,y=0; return a; } ll d=Euclid(b,a%b,y,x); y-=a/b*x; return d; } // val1=(a,p) val2=(b,q) // return (c,r) // c: c%p==a && c%q==b // r: r=lcm(a,b) // need: a%gcd(p,q)==b%gcd(p,q) // use: Euclid std::pair<long long,long long> ctr_sub(std::pair<long long,long long> val1,std::pair<long long,long long> val2){ long long a,b,p,q; long long X,Y,G,ans_val,ans_mod; tie(a,p)=val1; tie(b,q)=val2; G=Euclid(p,q,X,Y); if((b-a)%G!=0) return {-1,-1}; ans_mod=p*(q/G); ans_val=(p*((X*((b-a)/G))%q))%ans_mod+a; return {(ans_val%ans_mod+ans_mod)%ans_mod,ans_mod}; } void solve(); // oddloop int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t=1; //cin>>t; rep(i,t) solve(); } void solve(){ ll N,M; cin>>N>>M; vector<ll> B(M),C(M); rep(i,M) cin>>B[i]>>C[i],C[i]=(C[i]%B[i]+B[i])%B[i]; pair<ll,ll> ans={0,1}; rep(i,M){ if(ans.second>=N) break; ll e=__gcd(B[i],ans.second); if(ans.first%e!=C[i]%e){ ans.first=-1; break; } ans=ctr_sub(ans,{C[i],B[i]}); } rep(i,M){ if(ans.first%B[i]!=C[i]||ans.first>N){ cout<<"NaN\n"; return; } } cout<<ans.first<<"\n"; }