結果
問題 | No.1625 三角形の質問 |
ユーザー | ecottea |
提出日時 | 2023-08-26 03:39:42 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 2,204 ms / 6,000 ms |
コード長 | 16,144 bytes |
コンパイル時間 | 5,553 ms |
コンパイル使用メモリ | 283,860 KB |
実行使用メモリ | 204,980 KB |
最終ジャッジ日時 | 2024-06-06 22:37:14 |
合計ジャッジ時間 | 37,234 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
5,248 KB |
testcase_01 | AC | 70 ms
15,360 KB |
testcase_02 | AC | 710 ms
68,840 KB |
testcase_03 | AC | 716 ms
79,492 KB |
testcase_04 | AC | 480 ms
55,684 KB |
testcase_05 | AC | 1,276 ms
111,516 KB |
testcase_06 | AC | 2,204 ms
162,872 KB |
testcase_07 | AC | 2,145 ms
162,964 KB |
testcase_08 | AC | 2,176 ms
162,812 KB |
testcase_09 | AC | 2,197 ms
163,008 KB |
testcase_10 | AC | 2,171 ms
163,276 KB |
testcase_11 | AC | 2,203 ms
163,064 KB |
testcase_12 | AC | 2,162 ms
162,720 KB |
testcase_13 | AC | 2,157 ms
162,844 KB |
testcase_14 | AC | 2,177 ms
163,000 KB |
testcase_15 | AC | 2,157 ms
162,980 KB |
testcase_16 | AC | 404 ms
79,996 KB |
testcase_17 | AC | 551 ms
163,036 KB |
testcase_18 | AC | 290 ms
27,576 KB |
testcase_19 | AC | 693 ms
204,980 KB |
ソースコード
#ifndef HIDDEN_IN_VS // 折りたたみ用 // 警告の抑制 #define _CRT_SECURE_NO_WARNINGS // ライブラリの読み込み #include <bits/stdc++.h> using namespace std; // 型名の短縮 using ll = long long; // -2^63 ~ 2^63 = 9 * 10^18(int は -2^31 ~ 2^31 = 2 * 10^9) using pii = pair<int, int>; using pll = pair<ll, ll>; using pil = pair<int, ll>; using pli = pair<ll, int>; using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>; using vl = vector<ll>; using vvl = vector<vl>; using vvvl = vector<vvl>; using vb = vector<bool>; using vvb = vector<vb>; using vvvb = vector<vvb>; using vc = vector<char>; using vvc = vector<vc>; using vvvc = vector<vvc>; using vd = vector<double>; using vvd = vector<vd>; using vvvd = vector<vvd>; template <class T> using priority_queue_rev = priority_queue<T, vector<T>, greater<T>>; using Graph = vvi; // 定数の定義 const double PI = acos(-1); const vi DX = { 1, 0, -1, 0 }; // 4 近傍(下,右,上,左) const vi DY = { 0, 1, 0, -1 }; int INF = 1001001001; ll INFL = 4004004004004004004LL; double EPS = 1e-15; // 入出力高速化 struct fast_io { fast_io() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(18); } } fastIOtmp; // 汎用マクロの定義 #define all(a) (a).begin(), (a).end() #define sz(x) ((int)(x).size()) #define lbpos(a, x) (int)distance((a).begin(), std::lower_bound(all(a), x)) #define ubpos(a, x) (int)distance((a).begin(), std::upper_bound(all(a), x)) #define Yes(b) {cout << ((b) ? "Yes\n" : "No\n");} #define YES(b) {cout << ((b) ? "YES\n" : "NO\n");} #define rep(i, n) for(int i = 0, i##_len = int(n); i < i##_len; ++i) // 0 から n-1 まで昇順 #define repi(i, s, t) for(int i = int(s), i##_end = int(t); i <= i##_end; ++i) // s から t まで昇順 #define repir(i, s, t) for(int i = int(s), i##_end = int(t); i >= i##_end; --i) // s から t まで降順 #define repe(v, a) for(const auto& v : (a)) // a の全要素(変更不可能) #define repea(v, a) for(auto& v : (a)) // a の全要素(変更可能) #define repb(set, d) for(int set = 0; set < (1 << int(d)); ++set) // d ビット全探索(昇順) #define repp(a) sort(all(a)); for(bool a##_perm = true; a##_perm; a##_perm = next_permutation(all(a))) // a の順列全て(昇順) #define smod(n, m) ((((n) % (m)) + (m)) % (m)) // 非負mod #define uniq(a) {sort(all(a)); (a).erase(unique(all(a)), (a).end());} // 重複除去 #define EXIT(a) {cout << (a) << endl; exit(0);} // 強制終了 // 汎用関数の定義 template <class T> inline ll pow(T n, int k) { ll v = 1; rep(i, k) v *= n; return v; } template <class T> inline bool chmax(T& M, const T& x) { if (M < x) { M = x; return true; } return false; } // 最大値を更新(更新されたら true を返す) template <class T> inline bool chmin(T& m, const T& x) { if (m > x) { m = x; return true; } return false; } // 最小値を更新(更新されたら true を返す) template <class T> inline T get(T set, int i) { return (set >> i) & T(1); } // 演算子オーバーロード template <class T, class U> inline istream& operator>>(istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; } template <class T> inline istream& operator>>(istream& is, vector<T>& v) { repea(x, v) is >> x; return is; } template <class T> inline vector<T>& operator--(vector<T>& v) { repea(x, v) --x; return v; } template <class T> inline vector<T>& operator++(vector<T>& v) { repea(x, v) ++x; return v; } #endif // 折りたたみ用 #if __has_include(<atcoder/all>) #include <atcoder/all> using namespace atcoder; #ifdef _MSC_VER #include "localACL.hpp" #endif //using mint = modint1000000007; using mint = modint998244353; //using mint = modint; // mint::set_mod(m); namespace atcoder { inline istream& operator>>(istream& is, mint& x) { ll x_; is >> x_; x = x_; return is; } inline ostream& operator<<(ostream& os, const mint& x) { os << x.val(); return os; } } using vm = vector<mint>; using vvm = vector<vm>; using vvvm = vector<vvm>; #endif #ifdef _MSC_VER // 手元環境(Visual Studio) #include "local.hpp" #else // 提出用(gcc) inline int popcount(int n) { return __builtin_popcount(n); } inline int popcount(ll n) { return __builtin_popcountll(n); } inline int lsb(int n) { return n != 0 ? __builtin_ctz(n) : -1; } inline int lsb(ll n) { return n != 0 ? __builtin_ctzll(n) : -1; } inline int msb(int n) { return n != 0 ? (31 - __builtin_clz(n)) : -1; } inline int msb(ll n) { return n != 0 ? (63 - __builtin_clzll(n)) : -1; } #define gcd __gcd #define dump(...) #define dumpel(v) #define dump_list(v) #define dump_mat(v) #define input_from_file(f) #define output_to_file(f) #define Assert(b) { if (!(b)) while (1) cout << "OLE"; } #endif //【動的セグメント木(モノイド)】 /* * Dynamic_segtree<S, op, e>(ll n) : O(1) * a[0..n) = e() で初期化する. * 要素はモノイド (S, op, e) の元とする. * * set(ll i, S x) : O(log n) * a[i] = x とする. * * apply_left(ll i, S x) : O(log n) * a[i] = op(x, a[i]) とする. * * apply_right(ll i, S x) : O(log n) * a[i] = op(a[i], x) とする. * * S get(ll i) : O(log n) * a[i] を返す(なければ e() を返す) * * S prod(ll l, ll r) : O(log n) * op( a[l..r) ) を返す.空なら e() を返す. * * S all_prod() : O(1) * op( a[0..n) ) を返す. * * ll max_right(ll l, function<bool(S)> f) : O(log n) * f( op( a[l..r) ) ) = true となる最大の r を返す. * 制約:f( e() ) = true,f は単調 * * ll min_left(ll r, function<bool(S)> f) : O(log n) * f( op( a[l..r) ) ) = true となる最小の l を返す. * 制約:f( e() ) = true,f は単調 */ template <class S, S(*op)(S, S), S(*e)()> class Dynamic_segtree { // 参考 : https://lorent-kyopro.hatenablog.com/entry/2021/03/12/025644 struct Node { ll pos; // ノードの位置 S val; // ノードの値 S acc; // 部分木の値 Node* l, * r; Node(ll pos, S val) : pos(pos), val(val), acc(val), l(nullptr), r(nullptr) {} // acc を正しい値にする. void update() { acc = val; if (l) acc = op(l->acc, acc); if (r) acc = op(acc, r->acc); } }; const int SET = 0, APL = 1, APR = 2; ll n; Node* root; // 部分木 t の位置 pos を値 val にする(部分木 t は区間 [il..ir) に対応する) void set(Node*& t, ll il, ll ir, ll pos, S val, int q_type) const { // ノードが存在しなかった場合は新たに作成する. if (!t) { t = new Node(pos, val); return; } // ちょうど pos に対応するノードだった場合はそこに val を書き込む. if (t->pos == pos) { if (q_type == SET) t->val = val; else if (q_type = APL) t->val = op(val, t->val); else t->val = op(t->val, val); t->update(); return; } // 区間の中央 ll im = (il + ir) / 2LL; // 区間の左側に対象位置 pos がある場合 if (pos < im) { // pos < t->pos であるようにする. if (pos > t->pos) { swap(pos, t->pos); swap(val, t->val); } set(t->l, il, im, pos, val, q_type); } // 区間の右側に対象位置 pos がある場合 else { // t->pos < pos であるようにする. if (t->pos > pos) { swap(pos, t->pos); swap(val, t->val); } set(t->r, im, ir, pos, val, q_type); } t->update(); } S get(Node* t, ll il, ll ir, ll pos) const { // ノードが存在しなかった場合は単位元を返す. if (!t) return e(); // ちょうど pos に対応するノードだった場合はそこの val を返す. if (t->pos == pos) return t->val; // 区間の中央 ll im = (il + ir) / 2LL; if (pos < im) return get(t->l, il, im, pos); else return get(t->r, im, ir, pos); } S prod(Node* t, ll il, ll ir, ll l, ll r) const { // ノードが存在しなかった場合や完全に [il, ir) の範囲外になった場合は単位元を返す. if (!t || ir <= l || r <= il) return e(); // 完全に [il, ir) の範囲内だった場合はそこの acc を返す. if (l <= il && ir <= r) return t->acc; // 区間の中央 ll im = (il + ir) / 2; S res = prod(t->l, il, im, l, r); if (l <= t->pos && t->pos < r) res = op(res, t->val); res = op(res, prod(t->r, im, ir, l, r)); return res; } ll max_right(Node* t, ll il, ll ir, ll l, const function<bool(S)>& f, S& acc) const { if (!t || ir <= l) return n; if (f(op(acc, t->acc))) { acc = op(acc, t->acc); return n; } ll im = (il + ir) / 2; ll res = max_right(t->l, il, im, l, f, acc); if (res != n) return res; if (l <= t->pos) { acc = op(acc, t->val); if (!f(acc)) return t->pos; } return max_right(t->r, im, ir, l, f, acc); } ll min_left(Node* t, ll il, ll ir, ll r, const function<bool(S)>& f, S& acc) const { if (!t || r <= il) return 0LL; if (f(op(t->acc, acc))) { acc = op(t->acc, acc); return 0L; } ll im = (il + ir) / 2; ll res = min_left(t->r, im, ir, r, f, acc); if (res != 0) return res; if (t->pos < r) { acc = op(t->val, acc); if (!f(acc)) return t->pos + 1LL; } return min_left(t->l, il, im, r, f, acc); } void print(Node* t, ostream& os) const { if (!t) return; print(t->l, os); os << "(" << t->pos << "," << t->val << ") "; print(t->r, os); } public: // a[0..n) = e() で初期化する. Dynamic_segtree(ll n) : n(n), root(nullptr) { // verify : https://www.spoj.com/problems/ADAAPHID/ } Dynamic_segtree() : n(0LL), root(nullptr) {} // a[i] = x とする. void set(ll i, S x) { // verify : https://www.spoj.com/problems/ADAAPHID/ assert(0LL <= i && i < n); set(root, 0LL, n, i, x, SET); } // a[i] = op(x, a[i]) とする. void apply_left(ll i, S x) { assert(0LL <= i && i < n); set(root, 0LL, n, i, x, APL); } // a[i] = op(a[i], x) とする. void apply_right(ll i, S x) { assert(0LL <= i && i < n); set(root, 0LL, n, i, x, APR); } // a[i] を返す. S get(ll i) const { // verify : https://www.spoj.com/problems/ADAAPHID/ assert(0LL <= i && i < n); return get(root, 0LL, n, i); } // op( a[l..r) ) を返す.空なら e() を返す. S prod(ll l, ll r) const { // verify : https://www.spoj.com/problems/ADAAPHID/ chmax(l, 0LL); chmin(r, n); if (l >= r) return e(); return prod(root, 0LL, n, l, r); } // op( a[0..n) ) を返す. S all_prod() const { return root ? root->acc : e(); } // a[l..r) を全て e() にする. void reset(ll l, ll r) { chmax(l, 0LL); chmin(r, n); if (l >= r) return; return reset(root, 0LL, n, l, r); } // f( op( a[l..r) ) ) = true となる最大の r を返す. ll max_right(ll l, const function<bool(S)>& f) const { chmax(l, 0LL); S acc = e(); assert(f(acc)); return max_r(root, 0LL, n, l, f, acc); } // f( op( a[l..r) ) ) = true となる最小の l を返す. ll min_left(ll r, const function<bool(S)>& f) const { chmin(r, n); S acc = e(); assert(f(acc)); return min_l(root, 0LL, n, r, f, acc); } #ifdef _MSC_VER friend ostream& operator<<(ostream& os, Dynamic_segtree seg) { seg.print(seg.root, os); return os; } #endif }; //【二次元動的セグメント木(可換モノイド)】 /* * Dynamic_segtree_2D<S, op, o>(int h, int w) : O(h) * a[0..h)[0..w) = o() で初期化する. * 要素は可換モノイド (S, op, o) の元とする. * * set(int i, int j, S x) : O(log h log w) * a[i][j] = x とする. * * apply(int i, int j, S x) : O(log h log w) * a[i][j] += x とする. * * S get(int i, int j) : O(log h log w) * a[i][j] を返す(なければ o() を返す) * * S sum(int x1, int y1, int x2, int y2) : O(log h log w) * Σa[x1..x2)[y1..y2) を返す.空なら o() を返す. * * S all_prod() : O(log w) * Σa[0..h)[0..w) を返す. * * 利用:【動的セグメント木(モノイド)】 */ template <class S, S(*op)(S, S), S(*o)()> class Dynamic_segtree_2D { // 参考 : https://blog.hamayanhamayan.com/entry/2017/12/09/015937 int h; ll w; vector<Dynamic_segtree<S, op, o>> v; public: // a[0..h)[0..w) = o() で初期化する. Dynamic_segtree_2D(int h, ll w) : h(h), w(w), v(2 * h, Dynamic_segtree<S, op, o>(w)) { } Dynamic_segtree_2D() : h(0), w(0) {} // a[i][j] += x とする. void apply(int i, ll j, S x) { Assert(0 <= i && i < h && 0 <= j && j < w); i += h; while (i >= 1) { v[i].apply_left(j, x); i /= 2; } } // a[i][j] を返す(なければ o() を返す) S get(int i, ll j) const { Assert(0 <= i && i < h && 0 <= j && j < w); return v[i + h].get(j); } // Σa[x1..x2)[y1..y2) を返す.空なら o() を返す. S sum(int x1, ll y1, int x2, ll y2) const { chmax(x1, 0); chmax(y1, 0LL); chmin(x2, h); chmin(y2, w); if (x1 >= x2 || y1 >= y2) return o(); x1 += h; x2 += h; S res = o(); while (x1 < x2) { if (x1 & 1) { res = op(res, v[x1].prod(y1, y2)); x1++; } if (x2 & 1) { res = op(res, v[x2 - 1].prod(y1, y2)); } x1 /= 2; x2 /= 2; } return res; } // Σa[0..h)[0..w) を返す. S all_sum() const { return v[1].all_prod(); } #ifdef _MSC_VER friend ostream& operator<<(ostream& os, Dynamic_segtree_2D seg) { rep(i, seg.h) rep(j, seg.w) os << seg.get(i, j) << " \n"[j == seg.w - 1]; return os; } #endif }; //【max 可換モノイド】(の改変) /* verify: https://atcoder.jp/contests/abl/tasks/abl_d */ using S003 = ll; S003 op003(S003 a, S003 b) { return max(a, b); } S003 e003() { return -1; } #define Max_monoid S003, op003, e003 //【座標圧縮】O(n log n) /* * 大きさ n の多重集合 a を 0 以上 |a| 未満の範囲に座標圧縮した結果を a_cp に格納し,その要素数を返す. * また xs[j] に圧縮された座標 j に対応する元の座標を格納する. * * a に重複する要素がなければ,a_cp[i] は a[i] が昇順で何番目かを表し, * xs[j] は昇順で j 番目の要素が何かを表す. */ template <class T> int coordinate_compression(const vector<T>& a, vi& a_cp, vector<T>* xs = nullptr) { // verify : https://atcoder.jp/contests/abc036/tasks/abc036_c int n = sz(a); if (xs == nullptr) xs = new vector<T>; // *xs : a の x 座標のユニークな昇順列 *xs = a; uniq(*xs); // a[i] が xs において何番目かを求める. a_cp.resize(n); rep(i, n) a_cp[i] = lbpos(*xs, a[i]); return sz(*xs); } int main() { // input_from_file("input.txt"); // output_to_file("output.txt"); int n, q; cin >> n >> q; // x : 左端, y : 右端, wgt : 面積の 2 倍 vl x(n), y(n), wgt(n); rep(i, n) { ll a, b, c, d, e, f; cin >> a >> b >> c >> d >> e >> f; ll l = min({ a, c, e }); ll r = max({ a, c, e }); // |a b 1| // |c d 1| // |e f 1| ll area2 = abs(a * d + b * e + c * f - a * f - b * c - d * e); x[i] = l; y[i] = r; wgt[i] = area2; } vector<tuple<int, ll, ll, ll, ll>> qs(q); rep(j, q) { int tp; cin >> tp; if (tp == 1) { ll a, b, c, d, e, f; cin >> a >> b >> c >> d >> e >> f; ll l = min({ a, c, e }); ll r = max({ a, c, e }); // |a b 1| // |c d 1| // |e f 1| ll area2 = abs(a * d + b * e + c * f - a * f - b * c - d * e); qs[j] = { tp, l, r, area2, -1 }; } else { ll l, r; cin >> l >> r; qs[j] = { tp, l, 0, INFL, r + 1 }; } } vl xs, ys; rep(i, n) { xs.push_back(x[i]); ys.push_back(y[i]); } rep(j, q) { if (get<0>(qs[j]) == 1) { xs.push_back(get<1>(qs[j])); ys.push_back(get<2>(qs[j])); } else { xs.push_back(get<1>(qs[j])); ys.push_back(get<2>(qs[j])); xs.push_back(get<3>(qs[j])); ys.push_back(get<4>(qs[j])); } } vi xs_cp, ys_cp; int h = coordinate_compression(xs, xs_cp); int w = coordinate_compression(ys, ys_cp); Dynamic_segtree_2D<Max_monoid> seg(h, w); int pt_x = 0, pt_y = 0; rep(i, n) { seg.apply(xs_cp[pt_x++], ys_cp[pt_y++], wgt[i]); } // dump(seg); rep(j, q) { if (get<0>(qs[j]) == 1) { seg.apply(xs_cp[pt_x++], ys_cp[pt_y++], get<3>(qs[j])); } else { int l = xs_cp[pt_x++]; int d = ys_cp[pt_y++]; int r = xs_cp[pt_x++]; int u = ys_cp[pt_y++]; cout << seg.sum(l, d, r, u) << endl; } } }