素数大富豪素数問題に挑む -7日目-　間違いを発見！

※この記事は、数字のド素人であるにせーが、素数大富豪素数問題に挑む記録です。

〜前回までの進捗〜

以上

さて残りの9桁を片付けるかーと考え始めたところでふと気付いた。

6桁からずっと使い回してきた「各桁で使われる数字の個数を数えて、トランプで表現できない素数をカウントする」プログラムであるが、それぞれの数字の個数の上限を、0は2個、2〜9の数字に関しては4個としてきた。

これは…間違いである。

なぜなら、ジョーカー2枚はどんな数字としても使うことができるからである。

ところが、現在のプログラムではジョーカーを0として使うことしか想定していない。

つまり、本当に素数大富豪で出すことのできる素数は、現在算出している数よりさらに多いと思われる。

…なんてことを言っていても仕方ないので早速修正を考える。

6桁まではそれを想定に入れて0の上限しか考えていないので、修正の必要があるのは7桁からだ。

以前の計算では「0が3個以上または2〜9のどれかが5個以上」使われていたら「トランプでは表現不可」と判断していた。

しかし正しくは、10以外の形で0が使われていない場合に限り、2〜9は6個まで使うことができる。

つまり、「10でない形の0の個数」と「2〜9のいずれかの個数」の和が7以上になった場合のみ、トランプで表現できないということになる。

これを組み込んだプログラムを回してみたところ、素数大富豪で出すことができない素数の個数は、

7桁では 4,953個 → 4,083個

8桁では 120,019個 → 66,932個

となった。

7桁では思ったより減らなかったのは、0の個数の制限の方が強く効いているということなのだろう。

一方で8桁では、作れない数が約半分になった。ジョーカーを使うということが、これだけの可能性を広げているということを改めて実感させられた。

以上から、6桁と7桁はの素数大富豪素数はそれぞれ

　586,081 - 4,083 = 581,998個

　5,096,876 - 66,932 = 5,029,944個

となった。

…今後こそ本当だといいなぁ。

にせいの日記