結果

問題 No.1778 括弧列クエリ / Bracketed Sequence Query
ユーザー H20H20
提出日時 2021-12-07 02:06:04
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,654 ms / 2,000 ms
コード長 2,308 bytes
コンパイル時間 324 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 250,260 KB
最終ジャッジ日時 2024-07-07 10:08:38
合計ジャッジ時間 27,397 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 687 ms
78,336 KB
testcase_01 AC 725 ms
78,080 KB
testcase_02 AC 721 ms
77,824 KB
testcase_03 AC 640 ms
77,952 KB
testcase_04 AC 697 ms
78,336 KB
testcase_05 AC 720 ms
108,800 KB
testcase_06 AC 489 ms
84,992 KB
testcase_07 AC 200 ms
95,616 KB
testcase_08 AC 1,315 ms
155,060 KB
testcase_09 AC 338 ms
104,960 KB
testcase_10 AC 721 ms
138,112 KB
testcase_11 AC 619 ms
116,076 KB
testcase_12 AC 771 ms
108,672 KB
testcase_13 AC 1,276 ms
154,608 KB
testcase_14 AC 635 ms
131,148 KB
testcase_15 AC 39 ms
54,272 KB
testcase_16 AC 1,306 ms
155,240 KB
testcase_17 AC 1,312 ms
156,660 KB
testcase_18 AC 1,303 ms
155,892 KB
testcase_19 AC 1,289 ms
156,356 KB
testcase_20 AC 1,296 ms
156,020 KB
testcase_21 AC 41 ms
54,016 KB
testcase_22 AC 40 ms
53,760 KB
testcase_23 AC 1,193 ms
139,852 KB
testcase_24 AC 1,235 ms
155,412 KB
testcase_25 AC 1,291 ms
155,828 KB
testcase_26 AC 1,654 ms
250,260 KB
testcase_27 AC 1,319 ms
248,864 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#LCA(最近共通祖先)
#距離や間に挟まれているかも判定可能
import collections
import sys
sys.setrecursionlimit(10**7)

# N: 頂点数
# G[v]: 頂点vの子頂点 (親頂点は含む)

# Euler Tour の構築
N,Q = map(int, input().split())
N+=2
pair = [0]*(N)
S = list('('+input()+')')
G = [[] for _ in range(N)]
d = collections.deque()
dn = collections.deque()
d.append('x')
d.append('x')
for i in range(len(S)):
    if i>0 and S[i-1]=='(' and S[i]=='(':
        G[i].append((i-1,1))
        G[i-1].append((i,1))
    if i>0 and S[i-1]==')' and S[i]=='(':
        G[dn[-1]].append((i,1))
        G[i].append((dn[-1],1))
    d.append(S[i])
    dn.append(i)
    if d[-2]=='(' and d[-1]==')':
        d.pop()
        d.pop()
        l = dn.pop()
        r = dn.pop()
        pair[l]=r
        pair[r]=l
        G[l].append((r,1))
        G[r].append((l,1))

S = []
F = [0]*N
depth = [0]*N

def dfs(v, d , p):
    F[v] = len(S)
    depth[v] = d
    S.append(v)
    for n,w in G[v]:
        if p!=n:
            dfs(n, d+w, v)
            S.append(v)
dfs(0, 0, -1)

# 存在しない範囲は深さが他よりも大きくなるようにする
INF = (10**18, 0)

# LCAを計算するクエリの前計算
M = 2*N
M0 = 2**(M-1).bit_length()
data = [INF]*(2*M0)
for i, v in enumerate(S):
    data[M0-1+i] = (depth[v], i)
for i in range(M0-2, -1, -1):
    data[i] = min(data[2*i+1], data[2*i+2])

# LCAの計算 (generatorで最小値を求める)
def _query(a, b):
    yield INF
    a += M0; b += M0
    while a < b:
        if b & 1:
            b -= 1
            yield data[b-1]
        if a & 1:
            yield data[a-1]
            a += 1
        a >>= 1; b >>= 1

# LCAの計算 (外から呼び出す関数)
def query(u, v):
    fu = F[u]; fv = F[v]
    if fu > fv:
        fu, fv = fv, fu
    return S[min(_query(fu, fv+1))[1]]

# 2点間の距離
def distance(u, v):
    return depth[u]+depth[v]-2*depth[query(u, v)]

# aがuとvの間に挟まれているか
def isOnPath(u,v,a):
    return distance(u,v)==distance(u,a)+distance(v,a)


for _ in range(Q):
    x,y = map(int,input().split())
    if x==y:
        print(min(x,pair[x]),max(x,pair[x]))
    else:
        l = query(x,y)
        if l == 0:
            print(-1)
        else:
            print(min(l,pair[l]),max(l,pair[l]))
0