#283515 (C++17) No.732 3PrimeCounting

提出ソース

結果

問題	No.732 3PrimeCounting
ユーザー	ei1333333
提出日時	2018-09-07 22:18:18
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	233 ms / 3,000 ms
コード長	2,924 bytes
コンパイル時間	2,507 ms
コンパイル使用メモリ	215,644 KB
実行使用メモリ	70,384 KB
最終ジャッジ日時	2024-05-07 02:38:54
合計ジャッジ時間	7,796 ms
ジャッジサーバーID （参考情報）	judge1 / judge3

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 6,812 KB
testcase_01	AC	2 ms 6,816 KB
testcase_02	AC	2 ms 6,940 KB
testcase_03	AC	2 ms 6,940 KB
testcase_04	AC	2 ms 6,940 KB
testcase_05	AC	2 ms 6,944 KB
testcase_06	AC	2 ms 6,940 KB
testcase_07	AC	2 ms 6,944 KB
testcase_08	AC	2 ms 6,944 KB
testcase_09	AC	2 ms 6,940 KB
testcase_10	AC	2 ms 6,940 KB
testcase_11	AC	2 ms 6,940 KB
testcase_12	AC	2 ms 6,944 KB
testcase_13	AC	2 ms 6,944 KB
testcase_14	AC	2 ms 6,940 KB
testcase_15	AC	2 ms 6,940 KB
testcase_16	AC	2 ms 6,940 KB
testcase_17	AC	2 ms 6,944 KB
testcase_18	AC	2 ms 6,944 KB
testcase_19	AC	2 ms 6,940 KB
testcase_20	AC	3 ms 6,944 KB
testcase_21	AC	5 ms 6,944 KB
testcase_22	AC	5 ms 6,944 KB
testcase_23	AC	3 ms 6,940 KB
testcase_24	AC	2 ms 6,940 KB
testcase_25	AC	8 ms 6,940 KB
testcase_26	AC	8 ms 6,944 KB
testcase_27	AC	3 ms 6,940 KB
testcase_28	AC	4 ms 6,940 KB
testcase_29	AC	5 ms 6,940 KB
testcase_30	AC	5 ms 6,944 KB
testcase_31	AC	5 ms 6,940 KB
testcase_32	AC	8 ms 6,944 KB
testcase_33	AC	8 ms 6,940 KB
testcase_34	AC	8 ms 6,940 KB
testcase_35	AC	8 ms 6,944 KB
testcase_36	AC	8 ms 6,940 KB
testcase_37	AC	3 ms 6,940 KB
testcase_38	AC	3 ms 6,944 KB
testcase_39	AC	8 ms 6,944 KB
testcase_40	AC	5 ms 6,940 KB
testcase_41	AC	5 ms 6,940 KB
testcase_42	AC	5 ms 6,944 KB
testcase_43	AC	5 ms 6,940 KB
testcase_44	AC	5 ms 6,940 KB
testcase_45	AC	4 ms 6,940 KB
testcase_46	AC	3 ms 6,944 KB
testcase_47	AC	5 ms 6,940 KB
testcase_48	AC	8 ms 6,944 KB
testcase_49	AC	8 ms 6,944 KB
testcase_50	AC	5 ms 6,944 KB
testcase_51	AC	5 ms 6,940 KB
testcase_52	AC	3 ms 6,944 KB
testcase_53	AC	14 ms 8,232 KB
testcase_54	AC	106 ms 37,376 KB
testcase_55	AC	105 ms 37,312 KB
testcase_56	AC	102 ms 37,436 KB
testcase_57	AC	29 ms 13,048 KB
testcase_58	AC	28 ms 13,176 KB
testcase_59	AC	14 ms 8,248 KB
testcase_60	AC	53 ms 20,328 KB
testcase_61	AC	52 ms 20,456 KB
testcase_62	AC	111 ms 38,168 KB
testcase_63	AC	58 ms 22,440 KB
testcase_64	AC	53 ms 20,624 KB
testcase_65	AC	54 ms 20,876 KB
testcase_66	AC	2 ms 6,940 KB
testcase_67	AC	2 ms 6,944 KB
testcase_68	AC	107 ms 37,844 KB
testcase_69	AC	106 ms 37,788 KB
testcase_70	AC	106 ms 37,484 KB
testcase_71	AC	103 ms 37,360 KB
testcase_72	AC	58 ms 22,172 KB
testcase_73	AC	116 ms 41,684 KB
testcase_74	AC	117 ms 41,600 KB
testcase_75	AC	8 ms 6,940 KB
testcase_76	AC	105 ms 37,584 KB
testcase_77	AC	29 ms 13,088 KB
testcase_78	AC	114 ms 40,844 KB
testcase_79	AC	106 ms 37,888 KB
testcase_80	AC	110 ms 40,712 KB
testcase_81	AC	106 ms 37,640 KB
testcase_82	AC	3 ms 6,940 KB
testcase_83	AC	29 ms 13,072 KB
testcase_84	AC	52 ms 20,100 KB
testcase_85	AC	104 ms 36,996 KB
testcase_86	AC	115 ms 40,840 KB
testcase_87	AC	225 ms 70,268 KB
testcase_88	AC	233 ms 70,384 KB

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

ソースコード

raw source code

#include <bits/stdc++.h>

using namespace std;

using int64 = long long;

struct FastFourierTransform {
  using C = complex< double >;

  const double PI = acos(-1);
  vector< vector< C > > rts, rrts;

  void ensure_base(int N) {
    if(rts.size() >= N) return;
    rts.resize(N), rrts.resize(N);
    for(int i = 1; i < N; i <<= 1) {
      if(rts[i].size()) continue;
      rts[i].resize(i), rrts[i].resize(i);
      for(int k = 0; k < i; k++) {
        rts[i][k] = polar(1.0, PI / i * k);
        rrts[i][k] = polar(1.0, -PI / i * k);
      }
    }
  }

  void DiscreteFourierTransform(vector< C > &F, bool rev) {
    const int N = (int) F.size();
    auto &r = rev ? rrts : rts;

    for(int i = 0, j = 1; j + 1 < N; j++) {
      for(int k = N >> 1; k > (i ^= k); k >>= 1);
      if(i > j) swap(F[i], F[j]);
    }
    ensure_base(N);
    C s, t;
    for(int i = 1; i < N; i <<= 1) {
      for(int j = 0; j < N; j += i * 2) {
        for(int k = 0; k < i; k++) {
          s = F[j + k];
          t = C(F[j + k + i].real() * r[i][k].real() - F[j + k + i].imag() * r[i][k].imag(),
                F[j + k + i].real() * r[i][k].imag() + F[j + k + i].imag() * r[i][k].real());
          F[j + k] = s + t, F[j + k + i] = s - t;
        }
      }
    }
    if(rev) for(int i = 0; i < N; i++) F[i] /= N;
  }

  vector< long long > Multiply(const vector< int > &A, const vector< int > &B) {
    int sz = 1;
    while(sz < A.size() + B.size() - 1) sz <<= 1;
    vector< C > F(sz), G(sz);
    for(int i = 0; i < A.size(); i++) F[i] = A[i];
    for(int i = 0; i < B.size(); i++) G[i] = B[i];
    DiscreteFourierTransform(F, false);
    DiscreteFourierTransform(G, false);
    for(int i = 0; i < sz; i++) F[i] *= G[i];
    DiscreteFourierTransform(F, true);
    vector< long long > X(A.size() + B.size() - 1);
    for(int i = 0; i < A.size() + B.size() - 1; i++) X[i] = F[i].real() + 0.5;
    return (X);
  }
};


vector< int > get_prime(int n) {
  vector< int > prime(n + 1, true);

  if(n >= 0) prime[0] = false;
  if(n >= 1) prime[1] = false;

  for(int i = 2; i * i <= n; i++) {
    if(prime[i]) {
      for(int j = i + i; j <= n; j += i) prime[j] = false;
    }
  }

  return (prime);
}

int main() {
  int N;
  cin >> N;
  auto three_prime = get_prime(3 * N);
  auto one_prime = get_prime(N);
  vector< int > primes;
  for(int i = 0; i <= N; i++) if(one_prime[i]) primes.push_back(i);

  FastFourierTransform fft;
  auto mul2 = fft.Multiply(one_prime, one_prime);
  vector< int > mull(mul2.begin(), mul2.end());
  auto mul3 = fft.Multiply(mull, one_prime);

  int64 all = 0;
  for(int i = 0; i < mul3.size(); i++) {
    if(three_prime[i]) all += mul3[i];
  }
  all /= 6;

  int64 sub = 0;
  vector< int > latte(2 * N + 1);
  for(int i : primes) latte[2 * i] = 1;
  auto mul4 = fft.Multiply(latte, one_prime);
  for(int i = 0; i < mul4.size(); i++) if(three_prime[i]) sub += mul4[i];
  sub /= 2;

  cout << all - sub << endl;
}

yukicoder

結果

テストケース

ソースコード