結果
問題 | No.1036 Make One With GCD 2 |
ユーザー | ningenMe |
提出日時 | 2020-09-12 07:21:06 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,619 ms / 2,000 ms |
コード長 | 4,821 bytes |
コンパイル時間 | 2,290 ms |
コンパイル使用メモリ | 211,828 KB |
実行使用メモリ | 31,792 KB |
最終ジャッジ日時 | 2024-09-16 14:28:27 |
合計ジャッジ時間 | 20,391 ms |
ジャッジサーバーID (参考情報) |
judge6 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1,619 ms
31,744 KB |
testcase_01 | AC | 202 ms
31,728 KB |
testcase_02 | AC | 214 ms
31,732 KB |
testcase_03 | AC | 21 ms
17,004 KB |
testcase_04 | AC | 36 ms
30,336 KB |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 70 ms
17,152 KB |
testcase_08 | AC | 58 ms
16,948 KB |
testcase_09 | AC | 375 ms
31,612 KB |
testcase_10 | AC | 354 ms
31,420 KB |
testcase_11 | AC | 384 ms
31,592 KB |
testcase_12 | AC | 356 ms
31,232 KB |
testcase_13 | AC | 582 ms
31,372 KB |
testcase_14 | AC | 586 ms
31,616 KB |
testcase_15 | AC | 553 ms
31,488 KB |
testcase_16 | AC | 560 ms
31,360 KB |
testcase_17 | AC | 575 ms
31,500 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 3 ms
5,376 KB |
testcase_20 | AC | 3 ms
5,376 KB |
testcase_21 | AC | 3 ms
5,376 KB |
testcase_22 | AC | 545 ms
31,360 KB |
testcase_23 | AC | 407 ms
30,336 KB |
testcase_24 | AC | 564 ms
31,488 KB |
testcase_25 | AC | 524 ms
30,976 KB |
testcase_26 | AC | 536 ms
31,232 KB |
testcase_27 | AC | 2 ms
5,376 KB |
testcase_28 | AC | 2 ms
5,376 KB |
testcase_29 | AC | 2 ms
5,376 KB |
testcase_30 | AC | 2 ms
5,376 KB |
testcase_31 | AC | 2 ms
5,376 KB |
testcase_32 | AC | 2 ms
5,376 KB |
testcase_33 | AC | 2 ms
5,376 KB |
testcase_34 | AC | 2 ms
5,376 KB |
testcase_35 | AC | 2 ms
5,376 KB |
testcase_36 | AC | 2 ms
5,376 KB |
testcase_37 | AC | 2 ms
5,376 KB |
testcase_38 | AC | 212 ms
31,744 KB |
testcase_39 | AC | 619 ms
31,704 KB |
testcase_40 | AC | 406 ms
30,336 KB |
testcase_41 | AC | 790 ms
31,616 KB |
testcase_42 | AC | 757 ms
31,744 KB |
testcase_43 | AC | 843 ms
31,792 KB |
testcase_44 | AC | 875 ms
31,744 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; using ll = long long; #define SPEED cin.tie(0);ios::sync_with_stdio(false); /* * @title SegmentTree */ template<class Operator> class SegmentTree { using TypeNode = typename Operator::TypeNode; size_t length; size_t num; vector<TypeNode> node; vector<pair<size_t,size_t>> range; inline void init() { for (int i = length - 1; i >= 0; --i) node[i] = Operator::func_node(node[(i<<1)+0],node[(i<<1)+1]); range.resize(2 * length); for (int i = 0; i < length; ++i) range[i+length] = make_pair(i,i+1); for (int i = length - 1; i >= 0; --i) range[i] = make_pair(range[(i<<1)+0].first,range[(i<<1)+1].second); } public: //unitで初期化 SegmentTree(const size_t num): num(num) { for (length = 1; length <= num; length *= 2); node.resize(2 * length, Operator::unit_node); init(); } //vectorで初期化 SegmentTree(const vector<TypeNode> & vec) : num(vec.size()) { for (length = 1; length <= vec.size(); length *= 2); node.resize(2 * length, Operator::unit_node); for (int i = 0; i < vec.size(); ++i) node[i + length] = vec[i]; init(); } //同じinitで初期化 SegmentTree(const size_t num, const TypeNode init) : num(num) { for (length = 1; length <= num; length *= 2); node.resize(2 * length, Operator::unit_node); for (int i = 0; i < length; ++i) node[i+length] = init; init(); } //[idx,idx+1) void update(size_t idx, const TypeNode var) { if(idx < 0 || length <= idx) return; idx += length; node[idx] = Operator::func_merge(node[idx],var); while(idx >>= 1) node[idx] = Operator::func_node(node[(idx<<1)+0],node[(idx<<1)+1]); } //[l,r) TypeNode get(int l, int r) { if (l < 0 || length <= l || r < 0 || length < r) return Operator::unit_node; TypeNode vl = Operator::unit_node, vr = Operator::unit_node; for(l += length, r += length; l < r; l >>=1, r >>=1) { if(l&1) vl = Operator::func_node(vl,node[l++]); if(r&1) vr = Operator::func_node(node[--r],vr); } return Operator::func_node(vl,vr); } //range[l,r) return [l,r] search max right int prefix_binary_search(size_t l, size_t r, TypeNode var) { if (l < 0 || length <= l || r < 0 || length < r) return -1; TypeNode ret = Operator::unit_node; size_t off = l; for(size_t idx = l+length; idx < 2*length && off < r; ){ if(range[idx].second<=r && !Operator::func_check(Operator::func_node(ret,node[idx]),var)) { ret = Operator::func_node(ret,node[idx]); off = range[idx++].second; if(!(idx&1)) idx >>= 1; } else{ idx <<=1; } } return off; } void print(){ // cout << "node" << endl; // for(int i = 1,j = 1; i < 2*length; ++i) { // cout << node[i] << " "; // if(i==((1<<j)-1) && ++j) cout << endl; // } // cout << "lazy" << endl; // for(int i = 1,j = 1; i < 2*length; ++i) { // cout << lazy[i] << " "; // if(i==((1<<j)-1) && ++j) cout << endl; // } cout << "vector" << endl; cout << "{ " << get(0,1); for(int i = 1; i < length; ++i) cout << ", " << get(i,i+1); cout << " }" << endl; } }; class Gcd{ public: inline static long long impl(long long n, long long m) { static constexpr long long K = 5; long long t,s; for(int i = 0; t = n - m, s = n - m * K, i < 80; ++i) { if(t<m){ if(!t) return m; n = m, m = t; } else{ if(!m) return t; n=t; if(t >= m * K) n = s; } } return impl(m, n % m); } inline static long long pre(long long n, long long m) { long long t; for(int i = 0; t = n - m, i < 4; ++i) { (t < m ? n=m,m=t : n=t); if(!m) return n; } return impl(n, m); } inline static long long gcd(long long n, long long m) { return (n>m ? pre(n,m) : pre(m,n)); } inline static constexpr long long pureGcd(long long a, long long b) { return (b ? pureGcd(b, a % b):a); } inline static constexpr long long lcm(long long a, long long b) { return (a*b ? (a / gcd(a, b)*b): 0); } inline static constexpr long long extGcd(long long a, long long b, long long &x, long long &y) { if (b == 0) return x = 1, y = 0, a; long long d = extGcd(b, a%b, y, x); return y -= a / b * x, d; } }; template<class T> struct NodeGcdPointUpdate { using TypeNode = T; inline static constexpr TypeNode unit_node = 0; static constexpr TypeNode func_node(TypeNode l,TypeNode r){return Gcd::gcd(l,r);} static constexpr TypeNode func_merge(TypeNode l,TypeNode r){return r;} static constexpr bool func_check(TypeNode nodeVal,TypeNode var){return var == nodeVal;} }; // solution by binary search in prefix range on segment tree int main() { SPEED ll N; cin >> N; vector<ll> A(N); for(int i = 0; i < N; ++i) cin >> A[i]; SegmentTree<NodeGcdPointUpdate<ll>> seg(A); ll ans = 0; for(int i = 0; i < N; ++i) { ans += N - seg.prefix_binary_search(i,N,1); } cout << ans << endl; }