結果

問題 No.3396 ChRisTmas memory
コンテスト
ユーザー GOTKAKO
提出日時 2025-12-03 15:54:34
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,987 ms / 4,000 ms
コード長 4,267 bytes
コンパイル時間 1,764 ms
コンパイル使用メモリ 198,496 KB
実行使用メモリ 7,720 KB
最終ジャッジ日時 2025-12-03 15:54:57
合計ジャッジ時間 22,506 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;

template<typename T>
bool chmin(T &a,T b){ //a>bならa=bに更新してtrue.
    if(a > b){a = b; return true;}
    else return false;
}
template<typename T> 
bool chmax(T &a,T b){ //a<bならa=bに更新してtrue.
    if(a < b){a = b; return true;}
    else return false;
}
template<typename T> 
T safemod(T a,T m){a %= m,a += m;return a>=m?a-m:a;} //return x = a mod m. 
template<typename T> 
T floor(T a,T b){ //return a/b切り下げ.
    if(b < 0) a *= -1,b *= -1;
    return a<0?(a+1)/b-1:a/b; 
}
template<typename T> 
T ceil(T a,T b){ //return a/b切り上げ.
    if(b < 0) a *= -1,b *= -1;
    return a>0?(a-1)/b+1:a/b; 
}
template<typename T> 
pair<T,T> invgcd(T a,T b){
    //return {gcd(a,b),x} (xa≡g(mod b))
    a = safemod(a,b);
    if(a == 0) return {b,0};
    T x = 0,y = 1,memob = b;
    while(a){
        T q = b/a;
        b -= a*q;
        swap(x,y); y -= q*x;
        swap(a,b);
    }
    if(x < 0) x += memob/b;
    return {b,x};
}
template<typename T>
bool isABmoreC(T a,T b,T c){return a>ceil(c,b);} //a*b=cはfalse a*b>c -> a>ceil(c/b)?.
template<typename T>
bool isABmoreC2(T a,T b,T c){return a>=ceil(c,b);} //a*b=cはtrue.
template<typename T>
bool isABlessC(T a,T b,T c){return a<floor(c,b);} //a*b=cはfalse.
template<typename T>
bool isABlessC2(T a,T b,T c){return a<=floor(c,b);} //a*b=cはtrue.
template<typename T>
T Kthpower(T a,T k){ //return a^k オーバーフローは考慮しない.
    T ret = 1;
    while(k){
        if(k&1) ret *= a;
        a *= a; k >>= 1;
    }
    return ret;
}
template<typename T>
pair<T,bool> Kthpower2(T a,T k){ //return {a^k,オーバーした?} オーバーフローは考慮する.
    T ret = 1,maxv = numeric_limits<T>::max();
    while(k){
        if(k&1){
            if(isABmoreC(ret,a,maxv)) return {-1,true};
            ret *= a;
        }
        if(k == 1) break;
        if(isABmoreC(a,a,maxv)) return {-1,true};
        a *= a; k >>= 1;
    }
    return {ret,false};
}
template<typename T>
T Kthroot(T a,T k){ //return floor(a^(1/k));
    assert(k > 0 && a >= 0);
    if(k == 1 || a <= 1) return a;
    T ret = pow(a,1.0/k);
    while(true){
        auto [check,over] = Kthpower2(ret+1,k);
        if(over || check > a) break;
        ret++;
    }    
    while(true){
        auto [check,over] = Kthpower2(ret,k);
        if(!over && check <= a) break;
        ret--;
    }    
    return ret;
}
template<typename T>
T powmod(T a,T b,T m){//a^b(mod m)を返す.
    assert(b >= 0);
    __int128_t ret = 1,p = a;
    while(b){
        if(b&1) ret = ret*p%m;
        p = p*p%m; b >>= 1;
    }
    return T(ret);
}
template<typename T>
T divmod(T a,T b,T m){//a/b(mod m)を返す 素数mod必須.
    return (T)((__int128_t)a*powmod(b,m-2,m)%m); 
}

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int Q; cin >> Q;
    vector<long long> Y,M;
    int ng = 1001001001;
    while(Q--){
        int t; cin >> t;
        if(t == 1){
            long long mod,r; cin >> mod >> r;
            if(ng != 1001001001) Y.push_back(0),M.push_back(0);
            else{
                long long a = 1;
                for(auto m : M) a = a*m%mod;
                long long d = 0,L = 1;
                for(int i=0; i<Y.size(); i++){
                    d += Y.at(i)*L;
                    d %= mod,L = L*M.at(i)%mod;
                }
                d = (r-d+mod)%mod;
                auto [g,x] = invgcd(a,mod);
                if(d%g) Y.push_back(0),M.push_back(0),ng = Y.size();
                else{
                    d /= g,mod /= g;
                    x = x*d%mod;
                    Y.push_back(x),M.push_back(mod);
                }
            }
        }
        else if(t == 2){
            int k; cin >> k;
            while(k--) Y.pop_back(),M.pop_back();
            if(ng != 1001001001 && Y.size() < ng) ng = 1001001001;
        }    
        else{
            long long mod; cin >> mod;
            if(ng != 1001001001){cout << "-1\n"; continue;}
            long long answer = 0,mul = 1;
            for(int i=0; i<Y.size(); i++){
                answer += mul*Y.at(i),answer %= mod;
                mul *= M.at(i),mul %= mod;
            }
            cout << answer << "\n";
        }
    }

}
0