No.308

が小さい () ときは が小さい順に幅優先探索で到達できるかどうかを試す.

が大きい場合は以下の方法で求める.

1の右は2で素数なので, 最初は下に移動するしかない. 下も素数の場合は移動できないので は合成数である必要がある.

が合成数の場合を挙げてみると,

のとき:

1 2 3
4 5 6
7 8 9

のとき:

1 2 3 4 5
6 7 8 9 10
11 12 13 14 15

のとき:

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

のとき:

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

のとき:

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

のとき:

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

のとき:

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

のとき:

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

となる.

のとき以外は途中に壁があるので外には出られない.

のときは偶数が縦に並ぶので, その偶数の列すべてに行くことができれば, すべての合成数に到達できる. したがって がある程度より大きければ, が最小となる.

ただし, の場合でも, 下のように が素数の場合は到達できない.

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

この場合は が最小となる.

が素数の場合も到達できないが, かつ の場合, となり, で割り切れるため合成数となるので, が素数である場合, とはなりえないので, で到達できる.

が素数かどうかの判定であるが, が小さい () 場合は までの試し割りで判定し, が大きい場合はミラー=ラビン法で判定する.

D言語の場合は大きな数の乱数を求めるのに手間がかかるので, ここは GMP の乱数判定(ミラー=ラビン法を使っている)関数を使う.