結果

問題 No.880 Yet Another Segment Tree Problem
ユーザー fuppy_kyoprofuppy_kyopro
提出日時 2021-02-02 21:19:56
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 691 ms / 5,000 ms
コード長 7,047 bytes
コンパイル時間 4,282 ms
コンパイル使用メモリ 207,780 KB
実行使用メモリ 19,860 KB
最終ジャッジ日時 2023-10-24 02:56:25
合計ジャッジ時間 16,927 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 4 ms
4,348 KB
testcase_02 AC 4 ms
4,348 KB
testcase_03 AC 4 ms
4,348 KB
testcase_04 AC 4 ms
4,348 KB
testcase_05 AC 3 ms
4,348 KB
testcase_06 AC 2 ms
4,348 KB
testcase_07 AC 4 ms
4,348 KB
testcase_08 AC 4 ms
4,348 KB
testcase_09 AC 5 ms
4,348 KB
testcase_10 AC 3 ms
4,348 KB
testcase_11 AC 602 ms
18,344 KB
testcase_12 AC 581 ms
18,608 KB
testcase_13 AC 411 ms
18,080 KB
testcase_14 AC 577 ms
19,332 KB
testcase_15 AC 617 ms
19,332 KB
testcase_16 AC 657 ms
19,596 KB
testcase_17 AC 691 ms
19,860 KB
testcase_18 AC 679 ms
19,860 KB
testcase_19 AC 264 ms
19,332 KB
testcase_20 AC 274 ms
19,860 KB
testcase_21 AC 275 ms
19,332 KB
testcase_22 AC 269 ms
19,596 KB
testcase_23 AC 285 ms
19,332 KB
testcase_24 AC 239 ms
19,332 KB
testcase_25 AC 248 ms
19,860 KB
testcase_26 AC 248 ms
19,332 KB
testcase_27 AC 244 ms
19,596 KB
testcase_28 AC 255 ms
19,332 KB
testcase_29 AC 571 ms
19,332 KB
testcase_30 AC 598 ms
19,332 KB
testcase_31 AC 648 ms
19,596 KB
testcase_32 AC 122 ms
19,860 KB
testcase_33 AC 218 ms
19,332 KB
testcase_34 AC 231 ms
19,596 KB
testcase_35 AC 219 ms
19,332 KB
testcase_36 AC 218 ms
19,596 KB
testcase_37 AC 218 ms
19,596 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

//*
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
//*/
 
#include <bits/stdc++.h>
 
// #include <atcoder/all>
 
using namespace std;
// using namespace atcoder;
 
#define DEBUG(x) cerr<<#x<<": "<<x<<endl;
#define DEBUG_VEC(v) cerr<<#v<<":";for(int i=0;i<v.size();i++) cerr<<" "<<v[i]; cerr<<endl;
#define DEBUG_MAT(v) cerr<<#v<<endl;for(int i=0;i<v.size();i++){for(int j=0;j<v[i].size();j++) {cerr<<v[i][j]<<" ";}cerr<<endl;}
typedef long long ll;
#define int ll
 
#define vi vector<int>
#define vl vector<ll>
#define vii vector< vector<int> >
#define vll vector< vector<ll> >
#define vs vector<string>
#define pii pair<int,int>
#define pis pair<int,string>
#define psi pair<string,int>
#define pll pair<ll,ll>
template<class S, class T> pair<S, T> operator+(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first + t.first, s.second + t.second); }
template<class S, class T> pair<S, T> operator-(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first - t.first, s.second - t.second); }
template<class S, class T> ostream& operator<<(ostream& os, pair<S, T> p) { os << "(" << p.first << ", " << p.second << ")"; return os; }
#define X first
#define Y second
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)
#define rrep(i,n) for(int i=(int)(n)-1;i>=0;i--)
#define rrep1(i,n) for(int i=(int)(n);i>0;i--)
#define REP(i,a,b) for(int i=a;i<b;i++)
#define in(x, a, b) (a <= x && x < b)
#define all(c) c.begin(),c.end()
void YES(bool t=true) {cout<<(t?"YES":"NO")<<endl;}
void Yes(bool t=true) {cout<<(t?"Yes":"No")<<endl;}
void yes(bool t=true) {cout<<(t?"yes":"no")<<endl;}
void NO(bool t=true) {cout<<(t?"NO":"YES")<<endl;}
void No(bool t=true) {cout<<(t?"No":"Yes")<<endl;}
void no(bool t=true) {cout<<(t?"no":"yes")<<endl;}
template<class T> bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T> bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; }
#define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end());
const ll inf = 1000000001;
const ll INF = (ll)1e18 + 1;
const long double pi = 3.1415926535897932384626433832795028841971L;
int popcount(ll t) { return __builtin_popcountll(t); }
// int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1};
// int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 };
vi dx = {0, 1, 0, -1}, dy = {-1, 0, 1, 0};
// vi dx2 = { 1,1,0,-1,-1,-1,0,1 }, dy2 = { 0,1,1,1,0,-1,-1,-1 };
struct Setup_io {
    Setup_io() {
        ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
        cout << fixed << setprecision(25);
    }
} setup_io;
const ll MOD = 1000000007;
// const ll MOD = 998244353;
// #define mp make_pair
//#define endl '\n'

struct Node {
    ll sum, ma, len;
    ll lcm;
    Node(ll x=0):sum(x), ma(x), len(1), lcm(x) {}
};

ll gcd(ll a, ll b) {
  if (b > a) {
    swap(a, b);
  }
  if (b == 0) return a;
  ll r = a%b;
  while (r != 0) {
    a = b;
    b = r;
    r = a%b;
  }
  return b;
}

ll lcm(ll a, ll b) {
    if (a == INF or b == INF) return INF;
    if (a == -1) return b;
    if (b == -1) return a;
    ll res = (a / gcd(a, b))*b;
    chmin(res, INF);
    return res;
}


template <typename T1, typename T2>
class LazySegmentTree {
public:
  using F = function<T1(T1&, T1&)>; // query_func
  using G = function<T2(T2&, T2&)>; // update_func
  using H = function<T1(T1&, T2&, int, int)>; // lazy to node (node, lazy, left, right)
  int n;
  vector<T1> node;
  vector<T2> lazy;
  T1 e1;
  T2 e2;
  F query_func;
  G update_func;
  H eval_func;

  LazySegmentTree(vector<T1> a, F query_func, G update_func, H eval_func, T1 e1, T2 e2)
    :query_func(query_func), update_func(update_func), eval_func(eval_func), e1(e1), e2(e2)
  {
    int _n = a.size();
    n = 1; while (n < _n) n *= 2;
    node.resize(2 * n - 1, e1);
    lazy.resize(2 * n - 1, e2);
    for (int i = 0; i < _n; i++) node[i + n - 1] = a[i];
    for (int i = n - 2; i >= 0; i--) {
      node[i] = query_func(node[i * 2 + 1], node[i * 2 + 2]);
    }
  }

  // k�Ԗڂ̃m�[�h�ɂ‚��Ēx���]�����s��
  inline void eval(int k, int l, int r) {
    if (lazy[k] != e2) { // Change
      node[k] = eval_func(node[k], lazy[k], l, r);
      if (r - l > 1) {
        lazy[2 * k + 1] = update_func(lazy[2*k + 1], lazy[k]);
        lazy[2 * k + 2] = update_func(lazy[2*k + 2], lazy[k]);
      }
      lazy[k] = e2; // Change
    }
  }

  // [a, b)��x�ɂ���
  void update(int a, int b, T2 x, int k, int l, int r) {
    // k �Ԗڂ̃m�[�h�ɑ΂��Ēx���]�����s��
    eval(k, l, r);
    if (b <= l || r <= a) return;
    if (a <= l && r <= b) {
      lazy[k] = update_func(lazy[k], x);
      eval(k, l, r);
    }
    else {
      update(a, b, x, 2 * k + 1, l, (l + r) / 2);
      update(a, b, x, 2 * k + 2, (l + r) / 2, r);
      node[k] = query_func(node[2 * k + 1], node[2 * k + 2]);
    }
  }

  // [a, b)��x�ɂ���
  void update_gcd(int a, int b, T2 x, int k, int l, int r) {
    // k �Ԗڂ̃m�[�h�ɑ΂��Ēx���]�����s��
    eval(k, l, r);
    if (b <= l || r <= a || x % node[k].lcm == 0) return;
    if (a <= l && r <= b && node[k].lcm != INF and node[k].sum == node[k].lcm * node[k].len) {
        update(a, b, gcd(node[k].lcm, x), k, l, r);
        return;
    }
    else {
      update_gcd(a, b, x, 2 * k + 1, l, (l + r) / 2);
      update_gcd(a, b, x, 2 * k + 2, (l + r) / 2, r);
      node[k] = query_func(node[2 * k + 1], node[2 * k + 2]);
    }
  }

  T1 query(int a, int b, int k, int l, int r) {
    eval(k, l, r);
    if (b <= l || r <= a) return e1;
    if (a <= l && r <= b) return node[k];
    T1 resl = query(a, b, 2 * k + 1, l, (l + r) / 2);
    T1 resr = query(a, b, 2 * k + 2, (l + r) / 2, r);
    return query_func(resl, resr);
  }
};

Node f(Node a, Node b) {
    Node res;
    res.sum = a.sum + b.sum;
    res.ma = max(a.ma, b.ma);
    res.len = a.len + b.len;
    res.lcm = lcm(a.lcm, b.lcm);
    return res;
}
ll g(ll a, ll b) {return b;}

Node h(Node a, ll b, int l, int r) {
    a.sum = a.len * b;
    a.ma = b;
    a.lcm = b;
    return a;
}

signed main() {
    int n, q;
    cin >> n >> q;
    vector<Node> a(n);
    rep (i, n) {
        ll x;
        cin >> x;
        a[i] = Node(x);
    }
    Node e;
    e.sum = e.len = 0;
    e.ma = -1;
    e.lcm = -1;

    LazySegmentTree<Node, ll> seg(a, f, g, h, e, -1);
    while (q--) {
        int type;
        cin >> type;
        if (type <= 2) {
            ll l, r, x;
            cin >> l >> r >> x;
            l--;
            if (type == 1) {
                seg.update(l, r, x, 0, 0, seg.n);
            }
            else {
                seg.update_gcd(l, r, x, 0, 0, seg.n);
            }
        }
        else {
            int l, r;
            cin >> l >> r;
            l--;
            Node res = seg.query(l, r, 0, 0, seg.n);
            if (type == 3) cout << res.ma << endl;
            else cout << res.sum << endl;
        }
    }
}
0