結果

問題 No.732 3PrimeCounting
ユーザー ei1333333
提出日時 2018-09-07 22:18:18
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 181 ms / 3,000 ms
コード長 2,924 bytes
コンパイル時間 2,002 ms
コンパイル使用メモリ 207,656 KB
最終ジャッジ日時 2025-01-06 12:58:46
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 89
権限があれば一括ダウンロードができます

ソースコード

diff #

#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;
}

0