結果

問題 No.1778 括弧列クエリ / Bracketed Sequence Query
ユーザー WizistWizist
提出日時 2021-12-11 20:15:11
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 1,505 bytes
コンパイル時間 268 ms
コンパイル使用メモリ 87,260 KB
実行使用メモリ 131,580 KB
最終ジャッジ日時 2023-09-27 08:45:15
合計ジャッジ時間 31,583 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 993 ms
84,672 KB
testcase_01 AC 1,031 ms
85,276 KB
testcase_02 AC 1,004 ms
85,284 KB
testcase_03 AC 960 ms
86,436 KB
testcase_04 AC 1,024 ms
85,708 KB
testcase_05 AC 1,035 ms
104,612 KB
testcase_06 AC 826 ms
95,624 KB
testcase_07 AC 279 ms
92,420 KB
testcase_08 AC 1,442 ms
127,856 KB
testcase_09 AC 682 ms
108,504 KB
testcase_10 AC 991 ms
115,200 KB
testcase_11 AC 959 ms
110,056 KB
testcase_12 AC 1,080 ms
108,900 KB
testcase_13 AC 1,376 ms
120,948 KB
testcase_14 AC 1,023 ms
117,512 KB
testcase_15 AC 65 ms
71,436 KB
testcase_16 AC 1,454 ms
122,764 KB
testcase_17 AC 1,490 ms
131,204 KB
testcase_18 AC 1,498 ms
130,096 KB
testcase_19 AC 1,521 ms
125,100 KB
testcase_20 AC 1,458 ms
131,580 KB
testcase_21 AC 67 ms
71,272 KB
testcase_22 AC 66 ms
71,348 KB
testcase_23 AC 1,408 ms
103,168 KB
testcase_24 AC 1,477 ms
111,136 KB
testcase_25 AC 1,596 ms
111,556 KB
testcase_26 RE -
testcase_27 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

class LCA:
	def __init__(self, g, root=0):
		n, r, self.tick = len(g), [], 0
		self.n, self.t, self.d, self.p, self.q = n, [0] * n, [0] * n, [], [0] * (n * 2)
		def dfs(u, par):
			self.t[u] = self.tick; self.tick += 1
			for v in g[u]:
				if v != par: self.d[v] = self.d[u] + 1; self.p.append(u); r.append(self.t[u]); dfs(v, u)
		dfs(root, -1)
		for i, val in enumerate(r):
			self.q[i + n], j = val, (i + n) >> 1
			while j != 0: self.q[j] = min(self.q[j * 2], self.q[j * 2 + 1]); j >>= 1
	def rmq(self, l, r):
		i, j, a, b = l + self.n, r + self.n, float('inf'), float('inf')
		while i < j:
			if i & 1: a = min(a, self.q[i]); i += 1
			if j & 1: j -= 1; b = min(b, self.q[j])
			i, j = i // 2, j // 2
		return min(a, b)
	def lca(self, u, v):
		return u if u == v else self.p[self.rmq(min(self.t[u], self.t[v]), max(self.t[u], self.t[v]))]
	def dist(self, u, v):
		return 0 if u == v else self.d[u] + self.d[v] - self.d[self.lca(u, v)] * 2

from bisect import bisect_left

N, Q = map(int, input().split())
s = '(' + input().strip() + ')'
n = N + 2
p, st = [0] * n, []
for i, x in enumerate(s):
	if x == '(':
		st.append(i)
	else:
		p[i] = st[-1]
		p[st[-1]] = i
		st.pop()
g = [[] for _ in range(n)]

def build(u, c):
	if c <= 2: return
	v = u + 1
	while v < u + c and p[v] > v:
		g[u].append(v)
		build(v, p[v] - v + 1)
		v = p[v] + 1
build(0, n)

lca = LCA(g)

for _ in range(Q):
	x, y = map(int, input().split())
	t = lca.lca(min(x, p[x]), min(y, p[y]))
	if t == 0: print(-1)
	else: print(t, p[t])
0