結果
問題 | No.1036 Make One With GCD 2 |
ユーザー | beet |
提出日時 | 2020-04-25 16:29:55 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,563 bytes |
コンパイル時間 | 3,214 ms |
コンパイル使用メモリ | 210,628 KB |
実行使用メモリ | 85,248 KB |
最終ジャッジ日時 | 2024-11-07 07:16:44 |
合計ジャッジ時間 | 21,321 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | WA | - |
testcase_01 | WA | - |
testcase_02 | WA | - |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | WA | - |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | WA | - |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | WA | - |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | WA | - |
testcase_36 | WA | - |
testcase_37 | WA | - |
testcase_38 | WA | - |
testcase_39 | WA | - |
testcase_40 | WA | - |
testcase_41 | WA | - |
testcase_42 | WA | - |
testcase_43 | WA | - |
testcase_44 | WA | - |
ソースコード
#define PROBLEM "https://yukicoder.me/problems/4072" #include<bits/stdc++.h> using namespace std; #define call_from_test #ifndef call_from_test #include<bits/stdc++.h> using namespace std; #endif //BEGIN CUT HERE template<typename T> struct DisjointSparseTable{ using F = function<T(T, T)>; vector< vector<T> > dat; vector<int> ht; const F f; DisjointSparseTable(){} DisjointSparseTable(F f):f(f){} void build(const vector<T> &vs){ int n=vs.size(),h=1; while((1<<h)<=n) h++; dat.assign(h,vector<T>(n)); ht.assign((1<<h)+1,0); for(int j=2;j<(1<<h)+1;j++) ht[j]=ht[j>>1]+1; for(int j=0;j<n;j++) dat[0][j]=vs[j]; for(int i=1;i<h;i++){ int s=1<<i; for(int j=0;j<n;j+=s<<1){ int t=min(j+s,n); dat[i][t-1]=vs[t-1]; for(int k=t-2;k>=j;k--) dat[i][k]=f(vs[k],dat[i][k+1]); if(n<=t) break; dat[i][t]=vs[t]; int r=min(t+s,n); for(int k=t+1;k<r;k++) dat[i][k]=f(dat[i][k-1],vs[k]); } } } T query(int l,int r){ if(l>=--r) return dat[0][l]; return f(dat[ht[l^r]][l],dat[ht[l^r]][r]); } }; //END CUT HERE #ifndef call_from_test // find with non-idempotent monoid signed CODECHEF_SEGPROD(){ int T; scanf("%d",&T); int p; auto f=[&](int a,int b)->int{return (long long)a*b%p;}; DisjointSparseTable<int> dst(f); for(int t=1;t<=T;t++){ int n,q; scanf("%d %d %d",&n,&p,&q); vector<int> v(n); for(int i=0;i<n;i++) scanf("%d",&v[i]),v[i]%=p; vector<int> b(q/64+2); for(int i=0;i<(q/64+2);i++) scanf("%d",&b[i]); dst.build(v); int x=0,l=0,r=0; for(int i=0;i<q;i++){ if(i%64==0){ l=(b[i/64]+x)%n; r=(b[i/64+1]+x)%n; }else{ l=(l+x)%n; r=(r+x)%n; } if(l>r) swap(l,r); x=dst.query(l,r+1)+1; if(x>=p) x-=p; } printf("%d\n",x); } return 0; } /* verified on 2019/10/29 https://www.codechef.com/problems/SEGPROD */ //INSERT ABOVE HERE signed main(){ //CODECHEF_SEGPROD(); return 0; } #endif #undef call_from_test signed main(){ cin.tie(0); ios::sync_with_stdio(0); using ll = long long; int n; cin>>n; vector<ll> as(n); for(int i=0;i<n;i++) cin>>as[i]; auto f=[&](ll a,ll b){return gcd(a,b);}; DisjointSparseTable<ll> dst(f); dst.build(as); return 0; ll ans=0; for(int i=0;i<n;i++){ if(dst.query(i,n)!=1) break; int l=i,r=n; while(l+1<r){ int m=(l+r)>>1; if(dst.query(i,m)==1) r=m; else l=m; } ans+=n-l; } cout<<ans<<endl; return 0; }