結果

問題 No.1778 括弧列クエリ / Bracketed Sequence Query
ユーザー ああいいああいい
提出日時 2022-02-26 11:48:12
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 953 ms / 2,000 ms
コード長 5,385 bytes
コンパイル時間 158 ms
コンパイル使用メモリ 82,092 KB
実行使用メモリ 149,064 KB
最終ジャッジ日時 2024-07-04 07:36:26
合計ジャッジ時間 20,864 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 595 ms
77,568 KB
testcase_01 AC 599 ms
77,760 KB
testcase_02 AC 632 ms
77,312 KB
testcase_03 AC 606 ms
78,080 KB
testcase_04 AC 630 ms
77,440 KB
testcase_05 AC 504 ms
92,928 KB
testcase_06 AC 359 ms
81,292 KB
testcase_07 AC 158 ms
85,268 KB
testcase_08 AC 827 ms
114,048 KB
testcase_09 AC 218 ms
90,556 KB
testcase_10 AC 461 ms
105,524 KB
testcase_11 AC 432 ms
97,356 KB
testcase_12 AC 513 ms
92,416 KB
testcase_13 AC 888 ms
113,588 KB
testcase_14 AC 416 ms
102,528 KB
testcase_15 AC 38 ms
52,992 KB
testcase_16 AC 953 ms
114,560 KB
testcase_17 AC 820 ms
115,200 KB
testcase_18 AC 907 ms
114,432 KB
testcase_19 AC 841 ms
114,676 KB
testcase_20 AC 905 ms
114,560 KB
testcase_21 AC 39 ms
52,864 KB
testcase_22 AC 38 ms
53,376 KB
testcase_23 AC 792 ms
125,768 KB
testcase_24 AC 846 ms
149,064 KB
testcase_25 AC 917 ms
142,344 KB
testcase_26 AC 900 ms
142,796 KB
testcase_27 AC 750 ms
143,044 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

N,Q = map(int,input().split())
S = input()
taiou = [0] * (N+1)
parent = [0] * (N+1)
stack = []
for i in range(N):
    if S[i] == "(":
        stack.append(i+1)
    else:
        x = stack.pop()
        taiou[x] = i+1
        taiou[i+1] = x
        if stack:
            p = stack[-1]
            parent[x] = p
            parent[i+1] = x
        else:
            parent[i+1] = x
G = [[] for _ in range(N+1)]
for i in range(1,N+1):
    p = parent[i]
    G[p].append(i)
    G[i].append(p)


#HL分解

class HL:

    #u,vを結ぶpathへのクエリはここにでも
    #  f は区間　[l,r)に対するクエリ
    def f(self,l,r):
        pass
    def merge(self,x,y):
        return x + y


    
    def __init__(self,G,root):
        self.G = G
        self.root = root
        self.N = len(G) 
        self.size = [1] * self.N     #部分木のサイズ
        self.p = [0] * self.N        #親頂点
        self.H = [None] * self.N     #Heavy_edgeでつながる子頂点。葉ではNoneが入ってる
        self._in = [-1] * self.N     #最初に探索したときの位置
        self.out = [-1] * self.N     #部分木をでるタイミング。オイラーとはちょっと違う。
                                     #開区間  [_in[i],out[i]) がiの部分木に対応
        self.pathtop = [0] * self.N  #iの属するpathの中で最も根に近い頂点。代表にする
        self.build()
        self.build_path()
    def build(self):
        stack = [(~self.root,-1),(self.root,-1)]
        G = self.G
        size = self.size
        H = self.H
        while stack:
            now,parent = stack.pop()
            if now < 0:
                now = ~now
                _max = 0
                for v in G[now]:
                    if v == parent:continue
                    size[now] += size[v]
                    if size[v] > _max:
                        _max = size[v]
                        H[now] = v
            else:
                for v in G[now]:
                    if v == parent:continue
                    self.p[v] = now
                    stack.append((~v,now))
                    stack.append((v,now))
    def build_path(self):
        stack = [(~self.root,-1,self.root),(self.root,-1,self.root)]
        count = 0
        G = self.G
        H = self.H
        while stack:
            now,parent,top = stack.pop()
            if now >= 0:
                self._in[now] = count
                count += 1
                self.pathtop[now] = top
                h = H[now]
                if h is None:continue
                for v in G[now]:
                    if v == parent or v == h:continue
                    stack.append((~v,now,v))
                    stack.append((v,now,v))
                stack.append((~h,now,top))
                stack.append((h,now,top))
            else:
                now = ~now
                self.out[now] = count
    def lca(self,a,b):
        #最近共通先祖
        pathtop = self.pathtop
        _in = self._in
        pa = pathtop[a]
        pb = pathtop[b]
        while pa != pb:
            if _in[pa] > _in[pb]:
                a = self.p[pa]
                pa = pathtop[a]
            else:
                b = self.p[pb]
                pb = pathtop[b]
        return a if _in[a] < _in[b] else b
    def subtree_query(self,a,f = None):
        #if f is None:f = self.f
        return f(self._in[a],self.out[a])
    def subtree_array(self,a):
        return (self._in[a],self.out[a])
        #下のpath_arrayとほぼ同じ。タプルを一つだけ返す

    #f = lambda l,r:seg.fold(l,r)  とか
    #f = lambda l,r:seg.oparete_range(l,r,x)　とか
    #代入して使う
    def path_query(self,a,b,f = None,merge = None):
        #if f is None:f = self.f
        #if merge is None:merge = self.merge
        pathtop = self.pathtop
        p = self.p
        _in = self._in
        pa = pathtop[a]
        pb = pathtop[b]
        ans = 0
        while pa != pb:
            if _in[pa] > _in[pb]:
                ans = merge(ans,f(_in[pa],_in[a]+1))
                a = p[pa]
                pa = pathtop[a]
            else:
                ans = merge(ans,f(_in[pb],_in[b]+1))
                b = p[pb]
                pb = pathtop[b]
        if _in[a] > _in[b]:
            a,b = b,a
        ans = merge(ans,f(_in[a],_in[b]+1))
        return ans
    
    def path_array(self,a,b):
        # a,b を結ぶpath、を分割した配列を返す。こっちのほうが便利かも
        #半開区間 [l,r) の集まりを返す
        #現状順番は適当
        #こっちのほうが早かった
        pathtop = self.pathtop
        p = self.p
        _in = self._in
        ans = []
        pa = pathtop[a]
        pb = pathtop[b]
        while pa != pb:
            if _in[pa] > _in[pb]:
                ans.append((_in[pa],_in[a]+1))
                a = p[pa]
                pa = pathtop[a]
            else:
                ans.append((_in[pb],_in[b]+1))
                b = p[pb]
                pb = pathtop[b]
        if _in[a] > _in[b]:
            a,b = b,a
        ans.append((_in[a],_in[b]+1))
        return ans

hl = HL(G,0)
for _ in range(Q):
    x,y = map(int,input().split())
    ans = hl.lca(x,y)
    if ans == 0:
        print(-1)
    else:
        t = taiou[ans]
        if t < ans:
            ans,t = t,ans
        print(ans,t)
0