結果

問題 No.1778 括弧列クエリ / Bracketed Sequence Query
ユーザー WizistWizist
提出日時 2021-12-11 20:45:48
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 333 ms / 2,000 ms
コード長 1,657 bytes
コンパイル時間 2,212 ms
コンパイル使用メモリ 180,004 KB
実行使用メモリ 37,648 KB
最終ジャッジ日時 2024-07-20 03:30:29
合計ジャッジ時間 8,906 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 56 ms
6,812 KB
testcase_01 AC 65 ms
6,940 KB
testcase_02 AC 60 ms
6,944 KB
testcase_03 AC 52 ms
6,944 KB
testcase_04 AC 62 ms
6,940 KB
testcase_05 AC 95 ms
12,304 KB
testcase_06 AC 43 ms
6,944 KB
testcase_07 AC 10 ms
7,808 KB
testcase_08 AC 222 ms
26,528 KB
testcase_09 AC 25 ms
11,100 KB
testcase_10 AC 101 ms
20,868 KB
testcase_11 AC 80 ms
14,856 KB
testcase_12 AC 104 ms
12,512 KB
testcase_13 AC 211 ms
25,956 KB
testcase_14 AC 87 ms
19,084 KB
testcase_15 AC 2 ms
6,944 KB
testcase_16 AC 233 ms
26,476 KB
testcase_17 AC 215 ms
26,656 KB
testcase_18 AC 223 ms
26,524 KB
testcase_19 AC 216 ms
26,648 KB
testcase_20 AC 232 ms
26,664 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 2 ms
6,940 KB
testcase_23 AC 295 ms
20,648 KB
testcase_24 AC 317 ms
25,228 KB
testcase_25 AC 333 ms
25,100 KB
testcase_26 AC 307 ms
37,552 KB
testcase_27 AC 134 ms
37,648 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// No.1778 括弧列クエリ / Bracketed Sequence Query
#include <bits/stdc++.h>

using namespace std;

struct LCA {
	vector<vector<int>> anc;	// [power][node]
	vector<int> dist, t;
	LCA(const vector<vector<int>> &e, int root = 0) : dist(e.size()) {
		anc.assign(32 - __builtin_clz(e.size()), vector<int>(e.size()));
		function<void(int, int)> dfs = [&](int u, int p) {
			anc[0][u] = max(p, 0); t.push_back(u);
			for (auto v : e[u]) if (v != p) dist[v] = dist[u] + 1, dfs(v, u);
		};
		dfs(root, -1);
		for (int k = 1; k < anc.size(); k++)
			for (int i = 0; i < anc[k].size(); i++) anc[k][i] = anc[k - 1][anc[k - 1][i]];
	}
	int operator()(int u, int v) {
		if (dist[u] < dist[v]) swap(u, v);
		for (int k = anc.size() - 1, b = dist[u] - dist[v]; k >= 0; k--)
			if (b & (1 << k)) u = anc[k][u];
		for (int k = anc.size() - 1; k >= 0; k--)
			if (anc[k][u] != anc[k][v]) u = anc[k][u], v = anc[k][v];
		return u == v ? u : anc[0][u];
	}
};

int main(int argc, char *argv[])
{
	cin.tie(0)->sync_with_stdio(0);
	int n, q;
	string s;
	cin >> n >> q >> s;
	s = "(" + s + ")";
	n += 1;
	vector<int> p(n), st;
	for (int i = 0; i < n; i++)
		if (s[i] == '(') st.push_back(i);
		else p[i] = st.back(), p[st.back()] = i, st.pop_back();
	vector<vector<int>> g(n);
	function<void(int, int)> build = [&](int u, int c) {
		if (c <= 2) return;
		for (int v = u + 1; v < u + c && p[v] > v; v = p[v] + 1)
			g[u].push_back(v), build(v, p[v] - v + 1);
	};
	build(0, n);
	auto lca = LCA(g);
	while (q--) {
		int x, y;
		cin >> x >> y;
		auto t = lca(min(x, p[x]), min(y, p[y]));
		if (t == 0) cout << -1 << "\n";
		else cout << t << ' ' << p[t] << "\n";
	}

	return 0;
}
0