結果
問題 |
No.144 エラトステネスのざる
|
ユーザー |
|
提出日時 | 2025-05-07 16:34:21 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 608 ms / 2,000 ms |
コード長 | 4,723 bytes |
コンパイル時間 | 4,443 ms |
コンパイル使用メモリ | 310,408 KB |
実行使用メモリ | 7,844 KB |
最終ジャッジ日時 | 2025-05-07 16:34:31 |
合計ジャッジ時間 | 9,871 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 17 |
ソースコード
// competitive-verifier: PROBLEM https://yukicoder.me/problems/no/0144 #include <iostream> #include <vector> #include <algorithm> #include <bitset> #include <cassert> #include <cstdint> #include <iterator> #include <utility> /** * @brief 素数ライブラリ * * @tparam N */ template <int N = 1 << 22> struct prime_number { prime_number() : is_not_prime(), data() { init(); } /** * @brief 素数判定 * * @param n * @return bool */ bool is_prime(std::int64_t n) const { assert(n >= 0); if (n < N) return !is_not_prime[n]; for (auto i : data) { if ((std::int64_t)i * i > n) break; if (n % i == 0) return false; } return true; } std::vector<int> prime_numbers(int x) const { std::vector<int> res; for (auto i : data) { if (i > x) break; res.emplace_back(i); } return res; } /** * @brief 素因数分解 * * @tparam T * @param x * @return std::vector<std::pair<T, int>> */ template <class T> std::vector<std::pair<T, int>> prime_factorization(T x) const { if (x == 1) return std::vector<std::pair<T, int>>(); std::vector<std::pair<T, int>> res; for (auto p : data) { int cnt = 0; for (; x % p == 0; x /= p) ++cnt; if (cnt) res.emplace_back(p, cnt); if ((std::int64_t)p * p > x) break; } if (x != 1) res.emplace_back(x, 1); return res; } /** * @brief 約数列挙 * * @tparam T * @param x * @return std::vector<T> */ template <class T> std::vector<T> divisors(T x) const { if (x == 1) return std::vector<T>(1, 1); auto v = prime_factorization(x); std::vector<T> res; res.emplace_back(1); for (auto p : v) { int n = res.size(); res.resize(n * (p.second + 1)); for (int i = 0; i < n * p.second; ++i) res[n + i] = res[i] * p.first; for (int i = 1; i <= p.second; ++i) { std::inplace_merge(res.begin(), res.begin() + n * i, res.begin() + n * (i + 1)); } } return res; } /** * @brief 因数分解列挙 * * @tparam T * @param x * @return std::vector<std::vector<T>> */ template <class T> std::vector<std::vector<T>> factorization(T x) const { std::vector<std::vector<T>> res; auto f = [&](auto self, std::vector<T> v, T a) -> void { if (a == 1) res.emplace_back(v); for (auto i : this->divisors(a)) { if (i == 1 || (!v.empty() && v.back() > i)) continue; v.emplace_back(i); self(self, v, a / i); v.pop_back(); } }; f(f, std::vector<T>(), x); return res; } private: std::bitset<N> is_not_prime; std::vector<int> data; void init() { is_not_prime[0] = is_not_prime[1] = true; for (int i = 2; i < N; ++i) { if (!is_not_prime[i]) { data.emplace_back(i); if ((std::int64_t)i * i >= N) continue; if (i == 2) { for (int j = i * i; j < N; j += i) is_not_prime[j] = true; } else { for (int j = i * i; j < N; j += i << 1) is_not_prime[j] = true; } } } } }; #ifdef ATCODER #pragma GCC target("sse4.2,avx512f,avx512dq,avx512ifma,avx512cd,avx512bw,avx512vl,bmi2") #endif #pragma GCC optimize("Ofast,fast-math,unroll-all-loops") #include <bits/stdc++.h> #ifndef ATCODER #pragma GCC target("sse4.2,avx2,bmi2") #endif template <class T, class U> constexpr bool chmax(T &a, const U &b) { return a < (T)b ? a = (T)b, true : false; } template <class T, class U> constexpr bool chmin(T &a, const U &b) { return (T)b < a ? a = (T)b, true : false; } constexpr std::int64_t INF = 1000000000000000003; constexpr int Inf = 1000000003; constexpr double EPS = 1e-7; constexpr double PI = 3.14159265358979323846; struct Sonic { Sonic() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(20); } constexpr void operator()() const {} } sonic; prime_number pn; int main(void) { int n; double p; std::cin >> n >> p; std::vector<double> v(100000, 1); for (int i = 0; i < 99999; ++i) v[i + 1] = v[i] * (1 - p); double ans = 0; for (int x = 2; x <= n; ++x) { auto u = pn.divisors(x); ans += v[u.size() - 2]; } std::cout << ans << '\n'; return 0; }