結果
| 問題 | No.880 Yet Another Segment Tree Problem |
| コンテスト | |
| ユーザー |
 fuppy_kyopro
|
| 提出日時 | 2021-02-02 21:19:56 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
CE
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 7,047 bytes |
| 記録 | |
| コンパイル時間 | 2,497 ms |
| コンパイル使用メモリ | 182,476 KB |
| 最終ジャッジ日時 | 2025-06-20 10:59:36 |
| 合計ジャッジ時間 | 4,078 ms |
|
ジャッジサーバーID （参考情報） |
judge5 / judge1 |
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
In file included from /usr/include/c++/13/string:43,
from /usr/include/c++/13/bitset:52,
from /usr/include/x86_64-linux-gnu/c++/13/bits/stdc++.h:52,
from main.cpp:7:
/usr/include/c++/13/bits/allocator.h: In destructor ‘std::_Vector_base<Node, std::allocator<Node> >::_Vector_impl::~_Vector_impl()’:
/usr/include/c++/13/bits/allocator.h:184:7: error: inlining failed in call to ‘always_inline’ ‘std::allocator< <template-parameter-1-1> >::~allocator() noexcept [with _Tp = Node]’: target specific option mismatch
184 | ~allocator() _GLIBCXX_NOTHROW { }
| ^
In file included from /usr/include/c++/13/vector:66,
from /usr/include/c++/13/queue:63,
from /usr/include/x86_64-linux-gnu/c++/13/bits/stdc++.h:157:
/usr/include/c++/13/bits/stl_vector.h:133:14: note: called from here
133 | struct _Vector_impl
| ^~~~~~~~~~~~
ソースコード
//*
#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;
}
}
}