一点一点前进...

0%

Problem 203

二项式系数可以写成如下帕斯卡三角的形式

前八排有12个不同的数:1, 2, 3, 4, 5, 6, 7, 10, 15, 20, 21 和 35。
Squarefree的意思是不能被任何质数的平方整除。前八排的数字里面,4和20不是Squarefree的,因为它们能被质数2的平方整除。
求帕斯卡三角前51排不重复的Squarefree的数之和。

我们先来估计下最大的数是多少,然后考虑用什么类型表示,第五十一行其实是n=50,那么最大的是数$$C_n^k=C_{50}^{25}=\frac{50!}{25!25!}=126,410,606,437,752$$,long就足够了。
首先我们拿到前51排的数。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
var rows = new List<long[]>();
for (int i = 0; i < 51; i++)
{
long[] row = new long[i + 1];
for (int j = 0; j < row.Length; j++)
{
if (j == 0 || j == row.Length - 1)
{
row[j] = 1;
}
else
{
var lastRow = rows[i - 1];
row[j] = lastRow[j - 1] + lastRow[j];
}
}

rows.Add(row);
}

下一步去重。

1
var candidates = rows.SelectMany(l => l).Distinct().ToList();

要考虑那些质数的平方呢?仔细想下前51排数的性质,只需要考虑很少几个数就足够了。

1
var smallPrimeSquare = new int[] { 4, 9, 25, 49 };

如果某个数能被下一个质数的平方121整除,那么n至少要是22,这样子二项式系数的分子上才会出现2个11,但是不管k怎么取,分母上都至少有一个11这个因数。那么n至少要是33了,不管k怎么取,分子上都至少有两个11这个因数。那么n至少要是44了,同理,也无法被121整除。总结下,分母上11的因数的个数至少是分子上11的因数的个数减一。其实,结论很容易直接证明的。
那么为什么需要考虑49呢?很简单,49包含了两个7,那么n取49和50的时候,有可能分子因数7的个数能够比分母多两个。那么该数就能被49整除,进而不是Squarefree的。
最后,排除Squarefree的数字再求和即可。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
candidates = candidates.Where(l =>
{
foreach (var square in smallPrimeSquare)
{
if (l % square == 0)
{
return false;
}
}

return true;
}).ToList();

return candidates.Sum();

179题链接

14和15有同样个数的正因数,14有四个,1,2,7,14;15也有四个,1,3,5,15。求在1到10的7次方之间,有多少个有相同个数正因数的连续的整数?

正向求解的方式就是分解质因数,然后计算得到因数个数,这个操作看似很快,但是还是稍微有点耗时,感觉不太行。
于是乎,走向另外一条路,每找到一个因数,就加一。

1
2
3
4
5
6
7
8
int[] numberOfDivisors = new int[N + 1];
for (int i = 1; i <= N; i++)
{
for (int j = i; j <= N; j += i)
{
numberOfDivisors[j]++;
}
}

i就是因数,若干倍的j就包含一个因数i了。

知道了每个数的因数个数就简单了,看连续两个数的因数个数是否相等即可。

1
2
3
4
5
6
7
8
9
10
int count = 0;
for (int i = 2; i < N; i++)
{
if (numberOfDivisors[i] == numberOfDivisors[i + 1])
{
count++;
}
}

return count;

Problem 125

回文数595能够被写成连续几个数字的平方的和:
$$
595=6^2+7^2+8^2+9^2+10^2+11^2+12^2
$$

连续数字必须是正数,所以1=0+1被排除在外。
题目告诉我们小于1000的数字中,有11个满足题目所述条件,其之和是4164,这可以用来检测我们的程序是否正确。

求小于10^8的数中,所以能够写成连续数字平方和的回文数之和。

欧拉里面这种题目的套路就是正向构造符合题意的数字。因为想要判定一个数能否写成连续数字之后比较困难,但是构造一个连续数字平方和的数就容易多了。
我们先计算出一系列的平方数,多少个呢?由于连续数字之和,那么最少也要两个数字,所以我们构造的最大平方数是MAX的一半就足够了。

1
2
int MAX = 100000000;
var squars = Enumerable.Range(1, (int)Math.Sqrt(MAX / 2)).Select(i => i * i).ToArray();

两层for循环来构造连续数字之和。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
var candidates = new List<long>();
for (int i = 0; i < squars.Length - 1; i++)
{
long sum = squars[i];
for (int j = i + 1; j < squars.Length; j++)
{
if (sum + squars[j] < MAX)
{
sum += squars[j];
candidates.Add(sum);
}
else
{
break;
}
}
}

这里面有一小撮重复的数字,去重,然后判断是否是回文数字,求和。

1
return candidates.Distinct().Where(l => Utils.IsPalindrome(l.ToString())).Sum();

Problem 83

一个整数矩阵,从左上角到右下角,存在一条最短路径。走的方式没有要求,在某个点,可以往四个方向走;之前有两个题目,一个是限制只能往右或者往下,稍微复杂点的另一个题目的限制是不能往左。

我的想法很直接,构造一个矩阵,是从左上角到该点的最短路径,每个点的初始值都是int.MaxValue
用一个queue来保存被更新的点,然后看看其周围的点是否可以被更新。
从左上角的点开始,赋值成给定矩阵左上角的值。该值被更新了,把(0, 0)点放入queue里,因为周围的点可能会被更新。
然后从queue拿出一个点,看看周围的值是否能被更新,如果是,也放到queue里。
循环往复,直到queue为空,没有需要被更新的点了。
此时,每个点上的值都是从左上角开始到该点的最短路径。

代码直接反应了上述的过程,data就是题目总给出的80 * 80的矩阵。

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
private const int N = 80;

public static int GetAnswer()
{
int[,] sum = new int[N, N];
for (int i = 0; i < N; i++)
{
for (int j = 0; j < N; j++)
{
sum[i, j] = int.MaxValue;
}
}
sum[0, 0] = data[0, 0];
Queue<Tuple<int, int>> pointsToBeUpdated = new Queue<Tuple<int, int>>();
pointsToBeUpdated.Enqueue(new Tuple<int, int>(0, 0));
while (pointsToBeUpdated.Count != 0)
{
var point = pointsToBeUpdated.Dequeue();
if (CanMoveToLeft(point))
{
int newValue = sum[point.Item1, point.Item2] + data[point.Item1 - 1, point.Item2];
if (newValue < sum[point.Item1 - 1, point.Item2])
{
sum[point.Item1 - 1, point.Item2] = newValue;
pointsToBeUpdated.Enqueue(new Tuple<int, int>(point.Item1 - 1, point.Item2));
}
}

if (CanMoveToRight(point))
{
int newValue = sum[point.Item1, point.Item2] + data[point.Item1 + 1, point.Item2];
if (newValue < sum[point.Item1 + 1, point.Item2])
{
sum[point.Item1 + 1, point.Item2] = newValue;
pointsToBeUpdated.Enqueue(new Tuple<int, int>(point.Item1 + 1, point.Item2));
}
}

if (CanUp(point))
{
int newValue = sum[point.Item1, point.Item2] + data[point.Item1, point.Item2 - 1];
if (newValue < sum[point.Item1, point.Item2 - 1])
{
sum[point.Item1, point.Item2 - 1] = newValue;
pointsToBeUpdated.Enqueue(new Tuple<int, int>(point.Item1, point.Item2 - 1));
}
}

if (CanDown(point))
{
int newValue = sum[point.Item1, point.Item2] + data[point.Item1, point.Item2 + 1];
if (newValue < sum[point.Item1, point.Item2 + 1])
{
sum[point.Item1, point.Item2 + 1] = newValue;
pointsToBeUpdated.Enqueue(new Tuple<int, int>(point.Item1, point.Item2 + 1));
}
}
}

return sum[N - 1, N - 1];
}

private static bool CanMoveToLeft(Tuple<int, intpoint)
{
return point.Item1 > 0;
}

private static bool CanMoveToRight(Tuple<int, intpoint)
{
return point.Item1 < N - 1;
}

private static bool CanUp(Tuple<int, int> point)
{
return point.Item2 > 0;
}

private static bool CanDown(Tuple<int, int> point)
{
return point.Item2 < N - 1;
}

Problem 119

512是一个很有意思的数字,5+1+2=8,8^3=512
614656 = 28^4
an是满足这些条件的数列:
至少有两位数
各个数字之和的若干次幂等于该数
求a30

对于这种题目,欧拉项目有个套路,你不太可能遍历每个数字去检查它是否满足条件的时候,就要换种思路,快速构造满足题目的集合,然后按照题目找到答案。
回到这个题目,我个人感觉a30不会超过long能表示的范围,所以我只要看long以内的就可以了。
第一步,找到数字之和s的范围。最小值是2,因为至少有两位数;最大值是9*19,因为long.MaxValue有19位数字。其实这个范围比实际范围大一些,但是无所谓了,多的不多,不会影响程序效率。
第二步,求s的若干次幂,从2次幂开始,3次幂,4次幂等等,直到超出long的范围。这些都是可能的值n。满足这一步的n不到1700个。
第三步,求n的各个数字之和sum,如果sum等于s,那么这个n就是满足题意的。
第四步,把所有的n排序,找出第三十个即可。很幸运,long以内有34个满足题目的数。

下面是代码

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
var candidates = new List<long>();
for (int i = 2; i < 9 * long.MaxValue.ToString().Length; i++)
{
int power = 2;
while (true)
{
var ret = BigInteger.Pow(i, power);
if (ret > long.MaxValue)
{
break;
}

long number = (long)ret;
long candidate = number;

long sum = 0;
while (number != 0)
{
sum += number % 10;
number /= 10;
}

if (sum == i)
{
candidates.Add(candidate);
}

power++;
}
}

candidates.Sort();

return candidates[29];

104题链接

这里就不赘述什么是斐波那契数列了。
f(541)包含113个数字,最后九个数字恰好是由数字1-9组成的;f(2749)包含575个数字,前九个数字恰好是由数字1-9组成的。
求k,f(k)的前九个数字和最后九个数字都是由数字1-9组成的。

我一开始的思路是使用BigInteger来存放斐波那契数,逐个计算上去,判断前九个数字和最后九个数字是否是由1-9组成的。
不过我发现程序很慢,用Visual Studio分析了一下程序的性能,发现BigInteger.Log10BigInteger.Pow非常耗时。我用BigInteger.Log10计算出数字的长度L,然后除以BigInteger.Pow(10, L - 9)得到最前面的九个数字。
稍微改变了一下策略,先判断最后九个数字,后判断前九个数字。速度提高很多,因为判断最后九个数字,只要模10的九次方就行了,比计算长度再除快非常多,而需要进行后一个判断的几率很小。于是乎,大约30s能解决。
能不能再快一点呢?我发现BigInteger的模运算也挺慢的。其实我可以用一个长度为九的数组进行最后九位的加法,然后判断是否是由1-9九个数字组成就好。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
private static int[] Add(int[] fn_1, int[] fn_2)
{
int[] ret = new int[9];
int n1 = fn_1.Length - 1;
int n2 = fn_2.Length - 1;
int nr = ret.Length - 1;
int carry = 0;
for (; nr >= 0; n1--, n2--, nr--)
{
int a = n1 >= 0 ? fn_1[n1] : 0;
int b = n2 >= 0 ? fn_2[n2] : 0;
int sum = a + b + carry;
ret[nr] = sum % 10;
carry = sum / 10;
}

return ret;
}

判断是否是由数字1-9组成也很简单。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
private static bool IsPandigitalFibonacci(int[] fn)
{
int[] digitalCounts = new int[10];
for (int i = 0; i < 9; i++)
{
digitalCounts[fn[i]]++;
}

for (int i = 1; i < 10; i++)
{
if (digitalCounts[i] != 1)
{
return false;
}
}

return true;
}

使用这个方式来代替原来的想法,得到了完整的算法。

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
int[] fn_2 = new int[] { 1 };
int[] fn_1 = new int[] { 1 };
BigInteger f1 = 1;
BigInteger f2 = 1;
int i = 3;
while (true)
{
BigInteger fnBig = f1 + f2;
int[] fn = Add(fn_1, fn_2);
if (IsPandigitalFibonacci(fn))
{
int digits = (int)Math.Floor(BigInteger.Log10(fnBig) + 1);
var dividend = BigInteger.Pow(10, digits - 9);
var firstNineDigits = fnBig / dividend;
if (Utils.IsPandigital(firstNineDigits.ToString(), false))
{
return i;
}
}

fn_2 = fn_1;
fn_1 = fn;
f2 = f1;
f1 = fnBig;
i++;
}

这比以前又快了很多,大约5s就能搞定。
分析下程序的瓶颈,发现最耗时的是BigInteger.Add,这个没办法优化了,除非能有个算法能够直接得到前九个数字是啥,这样就不要BigInteger来保存结果,我觉得没有这种算法了;次耗时的是BigInteger.Pow,它的调用次数已经优化了,而且我也没有想到更好的构造被除数的方式。
其实五秒已经挺快的了,很满意。

66题链接

二次丢番图方程如下
$$
x^2 – Dy^2 = 1
$$
D = 13时,x的最小解是
$$
649^2 – 13*180^2 = 1
$$
D是平方数时,无解。
题目中给出了几个示例,当D = {2, 3, 5, 6, 7}时,列出了x的最小解,其中最小解的最大值是x = 9,对应的D = 5
找到这样一个D,使得x最小解是最大值,其中D ≤ 1000

如果我们能对于某个D,快速找到最小解x。这个题就很容易了。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
List<int> D = Enumerable.Range(1, 1000)
.Where(i => Math.Pow((int)Math.Sqrt(i), 2) != i)
.ToList();
BigInteger max = 0;
long ret = 0;
foreach (var d in D)
{
BigInteger cur = GetX(d);
if (max < cur)
{
max = cur;
ret = d;
}
}

return ret;

现在问题就是如何GetX。论文An Algorithm to Solve a Pell Equation给出了一种快速的解法。

接下来,照猫画虎,把算法实现一下。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
private static BigInteger GetX(int n)
{
List<BigInteger> a = new List<BigInteger>() { 0, 1 };
List<BigInteger> b = new List<BigInteger>() { 1, 0 };
List<int> c = new List<int>() { n, 1 };

int i = 1;
do
{
int q = (int)((Math.Sqrt(n - c[i - 1] * c[i]) + Math.Sqrt(n)) / c[i]);
c.Add((int)(2 * q * Math.Sqrt(n - c[i - 1] * c[i]) + c[i - 1] - q * q * c[i]));
a.Add(q * a[i] + a[i - 1]);
b.Add(q * b[i] + b[i - 1]);
i++;
} while (a.Last() * a.Last() - n * b.Last() * b.Last() != 1);

return a.Last();
}

为什么要用BigInteger类型呢?虽然D不大,但是xy的值可能会很大,甚至超过long的表示范围。

613题链接

题目是毕达哥拉斯蚂蚁,用我们的说法是勾股蚂蚁。
题目大概是说,有个小蚂蚁落到了一个宽30cm,长40cm的直角三角形上,它会随机的选择一个方向爬,问从斜边爬出去的概率是多少。


上图是一个示意图,x轴的长度是4,y轴长度是3。把题目的30,40缩放为3,4,对求概率是没有影响的。
假设落到点P(x, y),那么它从斜边爬出去的概率是多少呢?
角PAC的大小是arctan(x/(3-y)),角PBC的大小是arctan(y/(4-x)),那么角APB的大小是PI/2+arctan(x/(3-y))+arctan(y/(4-x)),那么从点P开始从斜边爬出去的概率就是PI/2+arctan(x/(3-y))+arctan(y/(4-x)) / (2*PI)。对三角形中的每一点计算概率然后除以三角形面积就是要求的概率了。

1 / 12 * PI * (integrate PI/2+arctan(x/(3-y))+arctan(y/(4-x)) dy dx, x=0..4, y=0..-3*x/4+3)

PI/2是常量,可以很容易计算出来,公式化简为

1 / 12 * PI * (3 * PI + (integrate arctan(x/(3-y))+arctan(y/(4-x)) dy dx, x=0..4, y=0..-3*x/4+3))

两个反正切,我不会算。。。借助了一下wolframalphal

有了解析解之后,继续化简公式

1 / 12 * PI * (3 * PI + 3 * PI + ln((3^4*2^16*sqrt(3/5))/(5^12)))

1/2 + PI/12*ln((3^4*4^8*sqrt(3/5))/(5^12))

上式包含了3,4,5,同时分子和分母幂次相同,3的4次方乘以4的8次方,分母是5的12次方,是不是很神奇哈哈。其实想想就知道结果和3,4,5是相关的。

有了解析式,计算出答案也就很容易了。

96题链接

数独,一个很经典的填数字游戏。规则也很简单,每一行、每一列、九个九宫格的九个数字不重复。
设计很好的数独游戏只有一个解,题目中也假设了这一点。
题目最后要求五十个数独的解,然后计算左上角三位数之和。
这个题对我来说还算比较简单,只需要把我人肉做数独游戏的方法写成程序就好了。

由于整体思路非常清晰,我采用了自上而下的设计方式,几乎一气呵成了整个程序,除了debug了一个小地方fix了一个bug外。
我需要一个函数把题目给的txt下载下来并一行一行的读到一系列二位数组中。
对于每个二维数组,就是一个数独题目,然后求解,得到左上角的三位数。求和。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
private static readonly int Length = 9;

public static int GetAnswer()
{
int sum = 0;
var lines = GetContent();
for (int i = 0; i < 50; i++)
{
int[,] soDoku = new int[Length, Length];
for (int j = 0; j < Length; j++)
{
var line = lines[10 * i + j + 1];
for (int k = 0; k < Length; k++)
{
soDoku[j, k] = Convert.ToInt32(line[k].ToString());
}
}

sum += GetTopLeft(SolveSuDoku(soDoku));
}

return sum;
}

GetContent()函数很简单,下载文件,切分行。如果愿意的话,甚至能写成一行。

1
2
3
4
5
6
private static string[] GetContent()
{
WebClient client = new WebClient();
string content = client.DownloadStri("https://projecteuler.net/project/resources/p096_sudoktxt");
return content.Split('\n');
}

GetTopLeft(int[,] soDoku)函数相对也比较简单,拿到二维数组的左上角三个数字,拼成string然后转成int即可。或者是第一位乘以100加第二位乘以10加第三位。

1
2
3
4
private static int GetTopLeft(int[,] soDoku)
{
return int.Parse($"{soDoku[0, 0]}{soDoku[0, 1]}{soDoku[0, 2]}");
}

最复杂的部分就是解数独了。
解数独就是在不停的猜测和测试,整个过程显然是递归的。
找个一个空,可能有几个情况,选一个填进去,依旧是未完成的数组,再来一轮,一轮,直到完成。整个过程是一个树,分了很多叉。题目告诉我们只有一个解,那么只有一个叶子节点是完整的解,其他叶子节点都不合法,有矛盾的地方,比如某个点所在的行和列出现了重复数字。
首先,我们判断数独是否完成,如果是,则返回该解。
如果没有,我们需要找一个点,该点没有被填写数字,且可能填的数字尽可能的少,这种情况下该节点的子树才最少,效率能尽可能的高。FindMinimalPoint返回参数包含三项,前两者描述的该节点的位置,第三项是可能的值。如果Item3是空的话,那么说明当前的数独有矛盾,返回null。试图尝试所有的可能性,如果有解,则返回,如果所有的可能性都无解的话,走到最后一行返回null

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
private static int[,] SolveSuDoku(int[,] soDoku)
{
if (IsCompleted(soDoku))
{
return soDoku;
}

var point = FindMinimalPoint(soDoku);
foreach (var v in point.Item3)
{
int[,] newSoDoku = soDoku.Clone() as int[,];
newSoDoku[point.Item1, point.Item2] = v;
var ret = SolveSuDoku(newSoDoku);
if (ret != null)
{
return ret;
}
}

return null;
}

如果实现FindMinimalPoint呢?遍历非0点,找到可能的值(FindVaulesAt),记录下可能的值最少的点坐标和对应的值并返回。对于FindVaulesAt函数,很可能返回0个解,就是说该数独有矛盾。minList在初始化的时候写了十个值,目的是比九大,其实这里写九个也没问题,因为最小值肯定比九要小。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
private static (int, int, List<int>) FindMinimalPoint(int[,] soDoku)
{
int minRow = -1;
int minCol = -1;
var minList = new List<int>() { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
for (int i = 0; i < Length; i++)
{
for (int j = 0; j < Length; j++)
{
if (soDoku[i, j] == 0)
{
var values = FindVaulesAt(i, j, soDoku);
if (values.Count < minList.Count)
{
minList = values;
minRow = i;
minCol = j;
}
}
}
}

return (minRow, minCol, minList);
}

FindVaulesAt想法很直接。每个空可能填入一到九九个数字,排除所在行、所在列和所在的九宫格已经出现的数字即可。
文章开头提到fix了一个小bug就是在这个函数,一开始row的初始值写成了i % 3row < i - i % 3 + 3,进而没能得到正确的可能的值。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
private static List<int> FindVaulesAt(int i, int j, int[,] soDoku)
{
List<int> values = new List<int> { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
for (int k = 0; k < Length; k++)
{
values.Remove(soDoku[i, k]);
}

for (int k = 0; k < Length; k++)
{
values.Remove(soDoku[k, j]);
}

for (int row = i - i % 3; row < i - i % 3 + 3; row++)
{
for (int col = j - j % 3; col < j - j % 3 + 3; col++)
{
values.Remove(soDoku[row, col]);
}
}

return values;
}

最后,给出整个拼图的最后一块IsCompleted。如果所有空都不是0,说明数独已经求解完毕了。

1
2
3
4
5
6
7
8
9
10
11
12
private static bool IsCompleted(int[,] soDoku)
{
foreach (var cell in soDoku)
{
if (cell == 0)
{
return false;
}
}

return true;
}

601题链接

对于每个整数n我们可以定义一个函数streak(n)=k,其中k是最小的n+k不能被k+1整除的数。
比如
13 可以被 1 整除
14 可以被 2 整除
15 可以被 3 整除
16 可以被 4 整除
17 不可以被 5 整除
所以streak(13)=4
同样的
120 可以被 1 整除
121 不可以被 2 整除
所以streak(120)=1

P(s,N)是满足下面两个条件的n的和

  1. 1 < n < N
  2. streak(n)=s

题目给了两个值P(3,14)=1 和 P(6,106)=14286帮助验证自己的想法。

求$$\sum_{i=1}^{31} P(i, 4^i)$$

首先看下N的数量级,4^31=2^62,都接近long的数量级了,遍历小于N的每个数显然是不合适的。

整除k+1,其实就是被2,3,4等整除。手算了i=1,2,3,4的情况,发现有规律的:
比如i=4,那么到了2 3 4 5的最小公倍数往后的情况和之前的情况是一样的,循环起来了。
那么如果我能计算最小公倍数以内的情况,那么就能很容易得到全部的情况。
不过事与愿违,从2到32这31个数的最小公倍数是一个长达15的数字,虽然比2^62小好几个数量级,但是还是不能遍历。
这条路走不通。

各种想了2个小时之后,找到了一种直接计算的方式。

什么样的n满足streak(n)=s呢?
n+1 % 2 == 0,否则streak(n)=1
同理,n+2 % 3 == 0
类推到 n+s-1 % s == 0
最后 n+s % s+1 != 0
对于前面s-1个等式被整除的数都减去k,k=2,3…s,得到一个统一的式子
n-1 % k == 0
也就是说,n-1是2,3…s最小公倍数的若干倍。利用这一点,我们可以容易的找到可能的候选n,n的数量不会很多,对于i等于31的情况,粗略估计也只有四位数个吧。
最后利用n+s % s+1 !=0得到n,然后求和。

下面是P函数的代码

1
2
3
4
5
6
7
8
9
10
static long P(int s, long N)
{
long lcm = Enumerable.Range(1, s)
.Select(Convert.ToInt64)
.Aggregate((cur, next) => Utils.GetLcm(cur, next));

return Enumerable.Range(1, (int)((N - 2) / lcm))
.Select(i => i * lcm + 1)
.Count(c => (c + s) % (s + 1) != 0);
}

Enumerable.Range(1, s),多了个1,对于最小公倍数没有影响。
N-2的原因是

  1. 1 < n < N

调用P函数得到和

1
Enumerable.Range(1, 31).Select(i => P(i, 1L << 2 * i)).Sum();