-
Notifications
You must be signed in to change notification settings - Fork 34
/
partial_sums_of_gcd-sum_function_faster.pl
executable file
·100 lines (73 loc) · 2.43 KB
/
partial_sums_of_gcd-sum_function_faster.pl
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
#!/usr/bin/perl
# Daniel "Trizen" Șuteu
# Date: 04 February 2019
# https://github.com/trizen
# A sublinear algorithm for computing the partial sums of the gcd-sum function, using Dirichlet's hyperbola method.
# The partial sums of the gcd-sum function is defined as:
#
# a(n) = Sum_{k=1..n} Sum_{d|k} d*phi(k/d)
#
# where phi(k) is the Euler totient function.
# Also equivalent with:
# a(n) = Sum_{j=1..n} Sum_{i=1..j} gcd(i, j)
# Based on the formula:
# a(n) = (1/2)*Sum_{k=1..n} phi(k) * floor(n/k) * floor(1+n/k)
# Example:
# a(10^1) = 122
# a(10^2) = 18065
# a(10^3) = 2475190
# a(10^4) = 317257140
# a(10^5) = 38717197452
# a(10^6) = 4571629173912
# a(10^7) = 527148712519016
# a(10^8) = 59713873168012716
# a(10^9) = 6671288261316915052
# OEIS sequences:
# https://oeis.org/A272718 -- Partial sums of gcd-sum sequence A018804.
# https://oeis.org/A018804 -- Pillai's arithmetical function: Sum_{k=1..n} gcd(k, n).
# See also:
# https://en.wikipedia.org/wiki/Dirichlet_hyperbola_method
# https://trizenx.blogspot.com/2018/11/partial-sums-of-arithmetical-functions.html
use 5.020;
use strict;
use warnings;
use experimental qw(signatures);
use ntheory qw(euler_phi sqrtint rootint);
sub partial_sums_of_gcd_sum_function($n) {
my $s = sqrtint($n);
my @euler_sum_lookup = (0);
my $lookup_size = 2 + 2 * rootint($n, 3)**2;
my @euler_phi = euler_phi(0, $lookup_size);
foreach my $i (1 .. $lookup_size) {
$euler_sum_lookup[$i] = $euler_sum_lookup[$i - 1] + $euler_phi[$i];
}
my %seen;
my sub euler_phi_partial_sum($n) {
if ($n <= $lookup_size) {
return $euler_sum_lookup[$n];
}
if (exists $seen{$n}) {
return $seen{$n};
}
my $s = sqrtint($n);
my $T = ($n * ($n + 1)) >> 1;
foreach my $k (2 .. int($n / ($s + 1))) {
$T -= __SUB__->(int($n / $k));
}
foreach my $k (1 .. $s) {
$T -= (int($n / $k) - int($n / ($k + 1))) * __SUB__->($k);
}
$seen{$n} = $T;
}
my $A = 0;
foreach my $k (1 .. $s) {
my $t = int($n / $k);
$A += $k * euler_phi_partial_sum($t) + $euler_phi[$k] * (($t * ($t + 1)) >> 1);
}
my $T = ($s * ($s + 1)) >> 1;
my $C = euler_phi_partial_sum($s);
return ($A - $T * $C);
}
foreach my $n (1 .. 8) { # takes less than 1 second
say "a(10^$n) = ", partial_sums_of_gcd_sum_function(10**$n);
}