結果
問題 | No.1802 Range Score Query for Bracket Sequence |
ユーザー |
|
提出日時 | 2022-01-07 22:28:50 |
言語 | C++17(clang) (17.0.6 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 116 ms / 2,000 ms |
コード長 | 5,378 bytes |
コンパイル時間 | 3,840 ms |
コンパイル使用メモリ | 165,360 KB |
実行使用メモリ | 14,848 KB |
最終ジャッジ日時 | 2024-06-30 02:16:31 |
合計ジャッジ時間 | 6,987 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 24 |
ソースコード
/** Author: nskybytskyi* Time: 2022-01-07 14:20:00*/// https://github.com/atcoder/ac-library/blob/master/atcoder/internal_bit.hpp#ifndef ATCODER_INTERNAL_BITOP_HPP#define ATCODER_INTERNAL_BITOP_HPP 1#ifdef _MSC_VER#include <intrin.h>#endifnamespace atcoder {namespace internal {// @param n `0 <= n`// @return minimum non-negative `x` s.t. `n <= 2**x`int ceil_pow2(int n) {int x = 0;while ((1U << x) < (unsigned int)(n)) x++;return x;}// @param n `1 <= n`// @return minimum non-negative `x` s.t. `(n & (1 << x)) != 0`constexpr int bsf_constexpr(unsigned int n) {int x = 0;while (!(n & (1 << x))) x++;return x;}// @param n `1 <= n`// @return minimum non-negative `x` s.t. `(n & (1 << x)) != 0`int bsf(unsigned int n) {#ifdef _MSC_VERunsigned long index;_BitScanForward(&index, n);return index;#elsereturn __builtin_ctz(n);#endif}} // namespace internal} // namespace atcoder#endif // ATCODER_INTERNAL_BITOP_HPP// https://github.com/atcoder/ac-library/blob/master/atcoder/segtree.hpp#ifndef ATCODER_SEGTREE_HPP#define ATCODER_SEGTREE_HPP 1#include <algorithm>#include <cassert>#include <vector>namespace atcoder {template <class S, S (*op)(S, S), S (*e)()> struct segtree {public:segtree() : segtree(0) {}explicit segtree(int n) : segtree(std::vector<S>(n, e())) {}explicit segtree(const std::vector<S>& v) : _n(int(v.size())) {log = internal::ceil_pow2(_n);size = 1 << log;d = std::vector<S>(2 * size, e());for (int i = 0; i < _n; i++) d[size + i] = v[i];for (int i = size - 1; i >= 1; i--) {update(i);}}void set(int p, S x) {assert(0 <= p && p < _n);p += size;d[p] = x;for (int i = 1; i <= log; i++) update(p >> i);}S get(int p) const {assert(0 <= p && p < _n);return d[p + size];}S prod(int l, int r) const {assert(0 <= l && l <= r && r <= _n);S sml = e(), smr = e();l += size;r += size;while (l < r) {if (l & 1) sml = op(sml, d[l++]);if (r & 1) smr = op(d[--r], smr);l >>= 1;r >>= 1;}return op(sml, smr);}S all_prod() const { return d[1]; }template <bool (*f)(S)> int max_right(int l) const {return max_right(l, [](S x) { return f(x); });}template <class F> int max_right(int l, F f) const {assert(0 <= l && l <= _n);assert(f(e()));if (l == _n) return _n;l += size;S sm = e();do {while (l % 2 == 0) l >>= 1;if (!f(op(sm, d[l]))) {while (l < size) {l = (2 * l);if (f(op(sm, d[l]))) {sm = op(sm, d[l]);l++;}}return l - size;}sm = op(sm, d[l]);l++;} while ((l & -l) != l);return _n;}template <bool (*f)(S)> int min_left(int r) const {return min_left(r, [](S x) { return f(x); });}template <class F> int min_left(int r, F f) const {assert(0 <= r && r <= _n);assert(f(e()));if (r == 0) return 0;r += size;S sm = e();do {r--;while (r > 1 && (r % 2)) r >>= 1;if (!f(op(d[r], sm))) {while (r < size) {r = (2 * r + 1);if (f(op(d[r], sm))) {sm = op(d[r], sm);r--;}}return r + 1 - size;}sm = op(d[r], sm);} while ((r & -r) != r);return 0;}private:int _n, size, log;std::vector<S> d;void update(int k) { d[k] = op(d[2 * k], d[2 * k + 1]); }};} // namespace atcoder#endif // ATCODER_SEGTREE_HPP#include <bits/stdc++.h>using namespace std;using namespace atcoder;struct S {bool ends_opening, starts_closing;int left, cost, right;};S e() { return {false, false, 0, 0, 0}; }S op(S lhs, S rhs) {int middle = min(lhs.right, rhs.left);int left = lhs.left + (rhs.left - middle);int cost = lhs.cost + int(lhs.ends_opening && rhs.starts_closing) + rhs.cost;int right = (lhs.right - middle) + rhs.right;return {rhs.ends_opening, lhs.starts_closing, left, cost, right};}const S kOpening = {true, false, 0, 0, 1};const S kClosing = {false, true, 1, 0, 0};int main() {cin.tie(0)->sync_with_stdio(0);int n, q;cin >> n >> q;string s;cin >> s;vector<S> a(n);for (int i = 0; i < n; ++i) {if (s[i] == '(') {a[i] = kOpening;} else { // s[i] == ')'a[i] = kClosing;}}segtree<S, op, e> seg(a);while (q--) {int tp;cin >> tp;if (tp == 1) {int i;cin >> i;--i;if (s[i] == '(') {s[i] = ')';seg.set(i, kClosing);} else { // s[i] == ')'s[i] = '(';seg.set(i, kOpening);}} else { // tp == 2int l, r;cin >> l >> r;--l, --r;cout << seg.prod(l, r + 1).cost << "\n";}}return 0;}