#748524 (C++17) No.1884 Sequence

提出ソース

結果

問題	No.1884 Sequence
ユーザー	popofy
提出日時	2022-03-25 21:48:44
言語	C++17 (gcc 13.2.0 + boost 1.83.0)
結果	AC
実行時間	68 ms / 2,000 ms
コード長	5,602 bytes
コンパイル時間	2,402 ms
コンパイル使用メモリ	201,480 KB
実行使用メモリ	6,784 KB
最終ジャッジ日時	2024-04-22 06:28:44
合計ジャッジ時間	5,512 ms
ジャッジサーバーID （参考情報）	judge4 / judge2

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 5,248 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	2 ms 5,376 KB
testcase_04	AC	2 ms 5,376 KB
testcase_05	AC	2 ms 5,376 KB
testcase_06	AC	2 ms 5,376 KB
testcase_07	AC	2 ms 5,376 KB
testcase_08	AC	2 ms 5,376 KB
testcase_09	AC	2 ms 5,376 KB
testcase_10	AC	67 ms 6,528 KB
testcase_11	AC	68 ms 6,528 KB
testcase_12	AC	16 ms 5,632 KB
testcase_13	AC	18 ms 5,888 KB
testcase_14	AC	17 ms 5,760 KB
testcase_15	AC	41 ms 6,400 KB
testcase_16	AC	57 ms 6,400 KB
testcase_17	AC	27 ms 6,272 KB
testcase_18	AC	33 ms 6,272 KB
testcase_19	AC	28 ms 6,016 KB
testcase_20	AC	37 ms 6,400 KB
testcase_21	AC	30 ms 6,400 KB
testcase_22	AC	39 ms 6,400 KB
testcase_23	AC	58 ms 6,400 KB
testcase_24	AC	58 ms 6,272 KB
testcase_25	AC	56 ms 6,272 KB
testcase_26	AC	58 ms 6,400 KB
testcase_27	AC	20 ms 6,272 KB
testcase_28	AC	20 ms 6,400 KB
testcase_29	AC	19 ms 6,528 KB
testcase_30	AC	19 ms 6,400 KB
testcase_31	AC	32 ms 5,888 KB
testcase_32	AC	54 ms 6,656 KB
testcase_33	AC	44 ms 6,784 KB
testcase_34	AC	44 ms 6,656 KB
testcase_35	AC	21 ms 6,784 KB
testcase_36	AC	37 ms 6,656 KB
testcase_37	AC	44 ms 6,784 KB
testcase_38	AC	41 ms 6,656 KB
testcase_39	AC	26 ms 6,528 KB
testcase_40	AC	27 ms 6,528 KB
testcase_41	AC	50 ms 6,400 KB
testcase_42	AC	49 ms 6,400 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <bits/stdc++.h>
//#define __INCLUDE_ATCODER_LIB
//#define __INTERPRETER
#ifdef __INCLUDE_ATCODER_LIB
#include <atcoder/all>
using namespace atcoder;
#endif
using namespace std;
#define overload4(a, b, c, d, e, ...) e
#define rep1(a)          for(decltype(a) i = 0, i##_len = (a); i < i##_len; ++i)
#define rep2(i, a)       for(decltype(a) i = 0, i##_len = (a); i < i##_len; ++i)
#define rep3(i, a, b)    for(decltype(b) i = (a), i##_len = (b); i < i##_len; ++i)
#define rep4(i, a, b, c) for(decltype(b) i = (a), i##_len = (b); i < i##_len; i += (c))
#define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__)
#define rrep1(a)          for(decltype(a) i = (a); i--;)
#define rrep2(i, a)       for(decltype(a) i = (a); i--;)
#define rrep3(i, a, b)    for(decltype(a) i = (b), i##_len = (a); i-- > i##_len;)
#define rrep4(i, a, b, c) for(decltype(a) i = (a)+((b)-(a)-1)/(c)*(c), i##_len = (a); i >= i##_len; i -= c)
#define rrep(...) overload4(__VA_ARGS__, rrep4, rrep3, rrep2, rrep1)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define sz(x) ((int)(x).size())
#define yes(s) cout << ((s)?"Yes":"No") << "\n";
#define bit(n) (1LL << ((int)(n)))
#define get1bit(x,n) (((x) >> (int)(n)) & 1)
#define INF ((1 << 30) - 1)
#define INFL (1LL << 60)
#define PRECISION std::setprecision(16)
#ifdef __INTERPRETER
#define NO_SYNC_STD
#define ENDL std::endl
#else
#define NO_SYNC_STD std::cin.tie(nullptr);ios::sync_with_stdio(false)
#define ENDL "\n"
#endif
#ifdef __LOCAL
#include <dump.hpp>
#define dump(...) DUMPOUT << "  " << string(#__VA_ARGS__) << ": " << "[" << to_string(__LINE__) << ":" << __FUNCTION__ << "]" << endl << "    ", dump_func(__VA_ARGS__)
#else
#define dump(...)
#endif
using ll=long long;using ld=long double;template<class T> using V=vector<T>;template<class T> using VV=vector<vector<T>>;template<class T> using PQ=priority_queue<T,V<T>,greater<T>>;
template<class T> istream &operator>>(istream &is,complex<T> &v){T x,y; is >> x >> y;v.real(x);v.imag(y);return is;}
template<class T> istream &operator>>(istream &is,V<T> &v){for(auto&& e:v)is >> e;return is;}
template<class T,class U> istream &operator>>(istream &is,pair<T,U> &v){is >> v.first >> v.second;return is;}
template<class T,size_t n> istream &operator>>(istream &is,array<T,n> &v){for(auto&& e:v)is >> e;return is;}
template<class... A> void print_rest(){cout << ENDL;}
template<class T,class... A> void print_rest(const T& first,const A&... rest){cout << " " << first;print_rest(rest...);}
template<class T,class... A> void print(const T& first,const A&... rest){cout << fixed << PRECISION << first;print_rest(rest...);}
template<class T,class... A> void printx(const T& first,const A&... rest){cout << fixed << PRECISION << first;print_rest(rest...);exit(0);}
template<class T> inline string join(const T& v,string sep=" "){if(v.size() == 0)return "";stringstream ss;for(auto&& e:v)ss << sep << e;return ss.str().substr(sz(sep));}
template<class T> inline string padding(const T& v,int length,char pad=' ',bool left=false){stringstream ss;ss << (left?std::left:std::right) << setw(length) << setfill(pad) << v;return ss.str();}
template<class T> V<T> make_vec(size_t n,T a){return V<T>(n,a);}
template<class... Ts> auto make_vec(size_t n,Ts... ts){return V<decltype(make_vec(ts...))>(n,make_vec(ts...));}
template<class T> inline bool chmax(T& a,T b){if(a<b){a=b;return 1;} return 0;}
template<class T> inline bool chmin(T& a,T b){if(a>b){a=b;return 1;} return 0;}
template<class T> inline int lower_index(V<T>&a,T x){return distance(a.begin(),lower_bound(all(a),x));}
template<class T> inline int upper_index(V<T>&a,T x){return distance(a.begin(),upper_bound(all(a),x));}
template<class T,class F> pair<T,T> binarysearch(T ng,T ok,T eps,F f,bool sign=false){while(abs(ng-ok)>eps){auto mid=ng+(ok-ng)/2;if(sign^f(mid)){ok=mid;}else{ng=mid;}}return{ng,ok};}
template<class T> constexpr T cdiv(T x,T y){return (x+y-1)/y;}
template<class T> constexpr bool between(T a,T x,T b){return(a<=x&&x<b);}
template<class T> constexpr T pos1d(T y,T x,T h,T w){assert(between(T(0),y,h));assert(between(T(0),x,w));return y*w+x;}
template<class T> constexpr pair<T,T> pos2d(T p,T h,T w){T y=p/w,x=p-y*w;assert(between(T(0),y,h));assert(between(T(0),x,w));return{y,x};}
constexpr ll modpow(ll x,ll n,ll m=1152921504606846976LL){ll ret=1;for(;n>0;x=(__int128)x*x%m,n>>=1)if(n&1)ret=(__int128)ret*x%m;return ret;}
constexpr ll keta(ll n, ll base = 10LL) {ll ret = 0; while(n > 0) {n /= base, ret++;} return ret;}
constexpr int pcnt(ll x) {return __builtin_popcountll(x);}
constexpr int flog(ll x) {return 63 - __builtin_clzll(x);}
constexpr int clog(ll x) {return (x==1LL)?0:(64-__builtin_clzll(x-1LL));}


struct Solver {
  void solve() {
    int n; cin >> n; V<ll> a(n); cin >> a;
    sort(all(a));
    ll emptyCnt = 0;
    bool requireAllSame = false;
    V<ll> dif(n);
    rep(i,n-1) {
      emptyCnt += (a[i] == 0);
      if (a[i] != 0) {
        dif[i] = a[i+1] - a[i];
        if (dif[i] == 0) {
          requireAllSame = true;
          break;
        }
      }
    }
    if (emptyCnt == n) printx("Yes");
    if (requireAllSame) {
      ll b = a.back();
      rep(i,n) {
        if (a[i] != 0 && a[i] != b) printx("No");
      }
      printx("Yes");
    }

    ll g = dif[emptyCnt];
    rep(i,emptyCnt+1,n) g = gcd(g,dif[i]);
    ll requireCnt = 0;
    rep(i,n) if (dif[i] > g) requireCnt += (dif[i] / g) - 1;
    yes(requireCnt <= emptyCnt);
    dump(g,requireCnt,emptyCnt,dif);
  }
} solver;
signed main(void){NO_SYNC_STD;dump("");solver.solve();return 0;}

yukicoder

結果

テストケース

ソースコード