結果

問題 No.2020 Sum of Common Prefix Length
ユーザー 👑 NachiaNachia
提出日時 2022-07-22 21:48:55
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 190 ms / 2,000 ms
コード長 7,093 bytes
コンパイル時間 1,321 ms
コンパイル使用メモリ 93,332 KB
実行使用メモリ 67,120 KB
最終ジャッジ日時 2023-09-17 09:38:26
合計ジャッジ時間 7,266 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 7 ms
19,028 KB
testcase_01 AC 7 ms
19,156 KB
testcase_02 AC 7 ms
18,900 KB
testcase_03 AC 9 ms
19,428 KB
testcase_04 AC 9 ms
19,500 KB
testcase_05 AC 9 ms
19,644 KB
testcase_06 AC 9 ms
19,516 KB
testcase_07 AC 99 ms
61,064 KB
testcase_08 AC 99 ms
61,172 KB
testcase_09 AC 100 ms
61,116 KB
testcase_10 AC 100 ms
61,256 KB
testcase_11 AC 109 ms
61,140 KB
testcase_12 AC 102 ms
61,060 KB
testcase_13 AC 97 ms
61,124 KB
testcase_14 AC 111 ms
61,156 KB
testcase_15 AC 95 ms
67,120 KB
testcase_16 AC 95 ms
66,928 KB
testcase_17 AC 160 ms
60,196 KB
testcase_18 AC 151 ms
60,260 KB
testcase_19 AC 154 ms
60,248 KB
testcase_20 AC 131 ms
60,296 KB
testcase_21 AC 184 ms
60,428 KB
testcase_22 AC 190 ms
60,456 KB
testcase_23 AC 187 ms
60,412 KB
testcase_24 AC 150 ms
60,260 KB
testcase_25 AC 150 ms
60,436 KB
testcase_26 AC 67 ms
45,928 KB
testcase_27 AC 7 ms
19,236 KB
testcase_28 AC 91 ms
63,016 KB
testcase_29 AC 90 ms
63,368 KB
testcase_30 AC 91 ms
63,088 KB
testcase_31 AC 107 ms
60,532 KB
testcase_32 AC 94 ms
60,508 KB
testcase_33 AC 96 ms
60,436 KB
testcase_34 AC 86 ms
63,808 KB
testcase_35 AC 86 ms
63,580 KB
testcase_36 AC 92 ms
63,740 KB
testcase_37 AC 87 ms
63,588 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 


#include <vector>
#include <algorithm>
#include <iostream>

namespace nachia {

    struct LinkCutTree {
        struct S { unsigned int x; };
        static S op(S l, S r) { return { l.x + r.x }; }
        static S e() { return { 0 }; }
        static void reverseprod(S& x) {}
        struct F {  };
        static S mapping(F f, S x) { return x; }
        static F composition(F f, F x) { return x; }
        static F id() { return {}; }


        struct Node {
            Node* l = 0, * r = 0, * p = 0;
            S a = e();
            S prod = e();
            F f = id();
            // lazy & 1 : reverse
            // lazy & 2 : deta
            int lazy = 0;
            
            void prepareDown() {
                if(lazy & 2){
                    if(l) {
                        l->a = mapping(f, l->a);
                        l->prod = mapping(f, l->prod);
                        l->f = composition(f, l->f);
                        l->lazy |= 2;
                    }
                    if(r) {
                        r->a = mapping(f, r->a);
                        r->prod = mapping(f, r->prod);
                        r->f = composition(f, r->f);
                        r->lazy |= 2;
                    }
                    f = id();
                }
                if (lazy & 1) {
                    ::std::swap(l, r);
                    if (l) { l->lazy ^= 1; reverseprod(l->prod); }
                    if (r) { r->lazy ^= 1; reverseprod(r->prod); }
                }
                lazy = 0;
            }
            void prepareUp() {
                auto res = a;
                if(l) res = op(l->prod, res);
                if(r) res = op(res, r->prod);
                prod = res;
            }
            Node** p_parentchild() {
                if(!p) return nullptr;
                if(p->l == this) return &p->l;
                else if(p->r == this) return &p->r;
                return nullptr;
            }
            void rotL() {
                Node* t = p;
                Node** parentchild_p = t->p_parentchild();
                if(parentchild_p){ *parentchild_p = this; }
                p = t->p;
                t->p = this;
                t->r = l;
                if(l) l->p = t;
                l = t;
            }
            void rotR() {
                Node* t = p;
                Node** parentchild_p = t->p_parentchild();
                if(parentchild_p){ *parentchild_p = this; }
                p = t->p;
                t->p = this;
                t->l = r;
                if(r) r->p = t;
                r = t;
            }
        };

        ::std::vector<Node> A;
        LinkCutTree(int n = 0) {
            A.resize(n);
        }
        LinkCutTree(const ::std::vector<S>& a) : LinkCutTree(a.size()) {
            for (int i = 0; i < (int)a.size(); i++) A[i].prod = A[i].a = a[i];
        }
        Node* at(int idx) {
            return &A[idx];
        }
        void splay(Node* c) {
            c->prepareDown();
            while(true) {
                Node* p = c->p;
                if(!p) break;
                Node* pp = p->p;
                if(pp) pp->prepareDown();
                p->prepareDown();
                c->prepareDown();
                if(p->l == c){
                    if(!pp){ c->rotR(); }
                    else if(pp->l == p){ p->rotR(); c->rotR(); }
                    else if(pp->r == p){ c->rotR(); c->rotL(); }
                    else{ c->rotR(); }
                }
                else if(p->r == c){
                    if(!pp){ c->rotL(); }
                    else if(pp->r == p){ p->rotL(); c->rotL(); }
                    else if(pp->l == p){ c->rotL(); c->rotR(); }
                    else{ c->rotL(); }
                }
                else break;
                if(pp) pp->prepareUp();
                p->prepareUp();
            }
            c->prepareUp();
        }
        void expose(Node* c) {
            auto p = c;
            while(p){ splay(p); p = p->p; }
            p = c;
            while(p->p){ p->p->r = p; p = p->p; }
            splay(c);
            c->r = nullptr;
            c->prod = (c->l ? op(c->l->prod, c->a) : c->a);
        }
        void evert(Node* c) {
            expose(c);
            c->lazy ^= 1;
            reverseprod(c->prod);
            c->prepareDown();
        }
        void link(Node* c, Node* r) {
            if(c == r) return;
            evert(c);
            evert(r);
            if(c->p) return;
            c->p = r;
        }
        void cut(Node* c) {
            expose(c);
            if(!c->l) return;
            c->l->p = nullptr;
            c->l = nullptr;
        }
        // [u,v)
        // post : evert(u) , splayLC(v)
        Node* between(Node* u, Node* v) {
            if(u == v) return nullptr;
            evert(u);
            expose(v);
            v->l->prepareDown();
            return v->l;
        }
        S prod(Node* s, Node* t) {
            auto resv = between(s, t);
            if(!resv) return t->a;
            S res = resv->prod;
            res = op(res, t->a);
            return res;
        }
        S get(Node* p) {
            expose(p);
            return p->a;
        }
        void set(Node* p, S x) {
            expose(p);
            p->a = x;
            p->prepareUp();
        }
    };

}


#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <atcoder/modint>

using namespace std;
using i32 = int32_t;
using u32 = uint32_t;
using i64 = int64_t;
using u64 = uint64_t;
#define rep(i,n) for(int i=0; i<(int)(n); i++)


const i64 INF = 1001001001001001001;
using modint = atcoder::static_modint<998244353>;

int N, Q;
vector<string> S;
int nx[410000][26];
vector<int> pos;
int NN;

int getNext(int p, char c){
    int& dst = nx[p][c-'a'];
    if(dst == -1) dst = NN++;
    return dst;
}

int main(){
    cin >> N;
    S.resize(N);
    rep(i,N) cin >> S[i];

    nachia::LinkCutTree lct(410000);

    cin >> Q;

    int Z = Q + 1;
    for(auto& s : S) Z += s.size();
    rep(i,Z) rep(t,26) nx[i][t] = -1;

    NN = 1;
    pos.assign(N, 0);
    rep(i,N) for(char c : S[i]){
        int nx = getNext(pos[i], c);
        if(nx == NN-1){
            lct.link(lct.at(nx), lct.at(pos[i]));
        }
        pos[i] = nx;
        lct.set(lct.at(pos[i]), { lct.get(lct.at(pos[i])).x + 1 });
    }

    rep(i,Q){
        int t; cin >> t;
        if(t == 1){
            int x; cin >> x; x--;
            char c; cin >> c;
            int nx = getNext(pos[x], c);
            if(nx == NN-1){
                lct.link(lct.at(nx), lct.at(pos[x]));
            }
            pos[x] = nx;
            lct.set(lct.at(pos[x]), { lct.get(lct.at(pos[x])).x + 1 });
        }
        if(t == 2){
            int x; cin >> x; x--;
            auto ans = lct.prod(lct.at(0), lct.at(pos[x])).x;
            cout << ans << '\n';
        }
    }

    return 0;
}


struct ios_do_not_sync{
    ios_do_not_sync(){
        std::ios::sync_with_stdio(false);
        std::cin.tie(nullptr);
    }
} ios_do_not_sync_instance;
0