結果

問題 No.430 文字列検索
ユーザー Mao-betaMao-beta
提出日時 2022-11-18 12:14:12
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 245 ms / 2,000 ms
コード長 3,903 bytes
コンパイル時間 550 ms
コンパイル使用メモリ 81,852 KB
実行使用メモリ 97,360 KB
最終ジャッジ日時 2023-10-19 23:44:46
合計ジャッジ時間 3,478 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 52 ms
57,788 KB
testcase_01 AC 245 ms
97,360 KB
testcase_02 AC 130 ms
85,248 KB
testcase_03 AC 122 ms
81,336 KB
testcase_04 AC 49 ms
57,788 KB
testcase_05 AC 50 ms
57,788 KB
testcase_06 AC 49 ms
57,788 KB
testcase_07 AC 51 ms
57,788 KB
testcase_08 AC 95 ms
76,356 KB
testcase_09 AC 59 ms
64,076 KB
testcase_10 AC 83 ms
77,016 KB
testcase_11 AC 192 ms
83,716 KB
testcase_12 AC 198 ms
84,336 KB
testcase_13 AC 193 ms
84,364 KB
testcase_14 AC 167 ms
83,044 KB
testcase_15 AC 165 ms
82,972 KB
testcase_16 AC 166 ms
85,288 KB
testcase_17 AC 173 ms
87,996 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
import math
import bisect
from heapq import heapify, heappop, heappush
from collections import deque, defaultdict, Counter
from functools import lru_cache
from itertools import accumulate, combinations, permutations, product

sys.setrecursionlimit(1000000)
MOD = 10 ** 9 + 7
MOD99 = 998244353

input = lambda: sys.stdin.readline().strip()
NI = lambda: int(input())
NMI = lambda: map(int, input().split())
NLI = lambda: list(NMI())
SI = lambda: input()
SMI = lambda: input().split()
SLI = lambda: list(SMI())


class Node:
    def __init__(self, par, val):
        self.par = par
        self.val = val
        self.C = [-1] * 26

    def __str__(self):
        return f"par={self.par} val={self.val} C={self.C}"

    def __repr__(self):
        return f"par={self.par} val={self.val} C={self.C}"


class Trie:
    def __init__(self):
        self.tree = [Node(-1, 0)]
        self.new_idx = 1

    def add(self, key, val):
        now = 0
        for s in key:
            si = int(s)

            par_node = self.tree[now]

            if par_node.C[si] != -1:
                now = par_node.C[si]
                continue

            par_node.C[si] = self.new_idx

            node = Node(par=now, val=0)
            now = self.new_idx
            self.tree.append(node)
            self.new_idx += 1

        leaf = self.tree[now]
        leaf.val += val


    def scan(self, S: list):
        """
        Sについてtrieを辿る
        各nodeのvalを足したものを返す
        :param key:
        :return:
        """
        res = 0
        now = 0
        for s in S:
            assert 0 <= s < 26
            now_node = self.tree[now]
            goto = now_node.C[s]

            if goto == -1:
                now = 0
                now_node = self.tree[now]
                goto = now_node.C[s]
                if goto == -1:
                    goto = 0

            now = goto
            res += self.tree[now].val
            print(now, self.tree[now].val)

        return res


def str2int(S):
    return [ord(s) - ord("A") for s in S]


from collections import deque


class AhoCorasick:

    def __init__(self, patterns):
        self.patterns = patterns
        self.children = [{}]
        self.match = [[]]

        for pi, pattern in enumerate(patterns):
            self._register(pi, pattern)

        self.failure = [0] * len(self.children)
        self._create_failure()

    def _register(self, pi, pattern):
        k = 0
        for c in pattern:
            if c in self.children[k]:
                k = self.children[k][c]
            else:
                j = len(self.children)
                self.children[k][c] = j
                self.children.append({})
                self.match.append([])
                k = j
        self.match[k].append(pi)

    def _create_failure(self):
        children = self.children
        match = self.match
        failure = self.failure

        q = deque(children[0].values())
        while q:
            k = q.popleft()
            b = failure[k]
            for c, j in children[k].items():
                failure[j] = self._next(b, c)
                match[j].extend(match[failure[j]])
                q.append(j)

    def _next(self, k, c):
        while True:
            if c in self.children[k]:
                return self.children[k][c]
            if k == 0:
                return 0
            k = self.failure[k]

    def search(self, target):
        match = self.match
        patterns = self.patterns

        k = 0
        matched = []
        for i, c in enumerate(target):
            k = self._next(k, c)
            matched.extend((i - len(patterns[m]) + 1, i, patterns[m]) for m in match[k])
        return matched


def main():
    S = SI()
    N = NI()
    C = [SI() for _ in range(N)]
    ahc = AhoCorasick(C)
    print(len(ahc.search(S)))


if __name__ == "__main__":
    main()
0