/
sum_of_mobius_function.hpp
59 lines (51 loc) · 1.97 KB
/
sum_of_mobius_function.hpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#ifndef SUISEN_SUM_OF_MOBIUS_FUNCTION
#define SUISEN_SUM_OF_MOBIUS_FUNCTION
#include <cstdint>
#include <cmath>
#include <numeric>
#include <vector>
namespace suisen {
// reference: https://yukicoder.me/wiki/sum_totient
template <typename T>
struct SumOfMobiusFunction {
SumOfMobiusFunction() : SumOfMobiusFunction(1) {}
SumOfMobiusFunction(uint64_t n) : _n(n), _sz_s(threshold(_n) + 1), _sz_l(_n / _sz_s + 1), _dp_s(_sz_s), _dp_l(_sz_l) {
std::vector<int32_t> mpf(_sz_s), mobius(_sz_s, 1);
for (long long p = 2; p < _sz_s; ++p) {
if (mpf[p]) continue;
mpf[p] = p;
mobius[p] = -1;
for (long long q = p * 2; q < _sz_s; q += p) {
if (not mpf[q]) mpf[q] = p;
mobius[q] = q % (p * p) ? -mobius[q] : 0;
}
}
for (uint32_t i = 1; i < _sz_s; ++i) _dp_s[i] = mobius[i] + _dp_s[i - 1];
for (uint32_t d = _sz_l - 1; d > 0; --d) {
uint64_t i = _n / d;
// sum_{i=1,d}\sum_{j|d}mu(j)=1
_dp_l[d] = 1;
for (uint64_t l = 2; l <= i;) {
uint64_t q = i / l, r = i / q;
_dp_l[d] -= (q < _sz_s ? _dp_s[q] : _dp_l[d * l]) * (r - l + 1);
l = r + 1;
}
}
}
T operator()(uint64_t denominator = 1) const {
uint64_t q = _n / denominator;
return q < _sz_s ? _dp_s[q] : _dp_l[_n / (q + 1) + 1];
}
private:
uint64_t _n;
uint32_t _sz_s, _sz_l;
std::vector<T> _dp_s;
std::vector<T> _dp_l;
// q = (n / log log n) ^ (2 / 3)
static uint32_t threshold(uint64_t n) {
double t = std::cbrt(n / std::max(1., std::log(std::max(1., std::log(n)))));
return uint32_t(std::max(1., t * t));
}
};
} // namespace suisen
#endif // SUISEN_SUM_OF_MOBIUS_FUNCTION