#include #include // ===== fenwick_tree.hpp ===== #ifndef FENWICK_TREE_HPP #define FENWICK_TREE_HPP #include #include // ===== operations.hpp ===== #ifndef OPERATIONS_HPP #define OPERATIONS_HPP #include #include template struct Add { using Value = T; static Value id() { return T(0); } static Value op(const Value &lhs, const Value &rhs) { return lhs + rhs; } static Value inv(const Value &x) { return -x; } }; template struct Mul { using Value = T; static Value id() { return Value(1); } static Value op(const Value &lhs, const Value &rhs) { return lhs * rhs; } static Value inv(const Value &x) { return Value(1) / x; } }; template struct Min { using Value = T; static Value id() { return std::numeric_limits::max(); } static Value op(const Value &lhs, const Value &rhs) { return std::min(lhs, rhs); } }; template struct Max { using Value = T; static Value id() { return std::numeric_limits::min(); } static Value op(const Value &lhs, const Value &rhs) { return std::max(lhs, rhs); } }; template struct Xor { using Value = T; static Value id() { return T(0); } static Value op(const Value &lhs, const Value &rhs) { return lhs ^ rhs; } static Value inv(const Value &x) { return x; } }; template struct Reversible { using Value = std::pair; static Value id() { return Value(Monoid::id(), Monoid::id()); } static Value op(const Value &v1, const Value &v2) { return Value( Monoid::op(v1.first, v2.first), Monoid::op(v2.second, v1.second)); } }; #endif // ===== operations.hpp ===== template class FenwickTree { public: using Value = typename CommutativeGroup::Value; private: std::vector data; public: FenwickTree(std::size_t n) : data(n, CommutativeGroup::id()) {} void add(std::size_t idx, const Value &x) { assert(idx < data.size()); for (; idx < data.size(); idx |= idx + 1) { data[idx] = CommutativeGroup::op(data[idx], x); } } Value sum(std::size_t r) const { assert(r <= data.size()); Value ret = CommutativeGroup::id(); for (; r > 0; r &= r - 1) { ret = CommutativeGroup::op(ret, data[r - 1]); } return ret; } Value sum(std::size_t l, std::size_t r) const { assert(l <= r && r <= data.size()); return CommutativeGroup::op(sum(r), CommutativeGroup::inv(sum(l))); } }; #endif // ===== fenwick_tree.hpp ===== constexpr std::size_t N_MIN = 1; constexpr std::size_t N_MAX = 200000; constexpr std::size_t Q_MIN = 1; constexpr std::size_t Q_MAX = 200000; int main() { std::size_t n, q; std::cin >> n >> q; std::string s; std::cin >> s; assert(n >= N_MIN && n <= N_MAX); assert(q >= Q_MIN && q <= Q_MAX); assert(s.size() == n); for (char c : s) { assert(c == '(' || c == ')'); } FenwickTree> fw(n - 1); for (std::size_t i = 0; i < n - 1; ++i) { if (s[i] == '(' && s[i + 1] == ')') { fw.add(i, 1); } } bool query2 = false; for (std::size_t qi = 0; qi < q; ++qi) { std::size_t type; std::cin >> type; if (type == 1) { std::size_t i; std::cin >> i; --i; assert(i < n); if (i != 0 && s[i - 1] == '(' && s[i] == ')') { fw.add(i - 1, - (std::size_t) 1); } if (i != n - 1 && s[i] == '(' && s[i + 1] == ')') { fw.add(i, - (std::size_t) 1); } s[i] ^= '(' ^ ')'; if (i != 0 && s[i - 1] == '(' && s[i] == ')') { fw.add(i - 1, 1); } if (i != n - 1 && s[i] == '(' && s[i + 1] == ')') { fw.add(i, 1); } } else if (type == 2) { std::size_t l, r; std::cin >> l >> r; --l; assert(l < r && r <= n); std::size_t ans = fw.sum(l, r - 1); std::cout << ans << '\n'; query2 = true; } else { assert(false); } } assert(query2); }