英国の宝くじ「ロト」は27枚買えば“必ず当たる” 英数学者が23年に発見 その方法とは？

研究チームは、27枚の宝くじで当選を保証できることを証明するのは比較的簡単だったが、26枚では不可能であることを証明するのが非常に難しかったと述べている。26枚で不可能であることを検証するには、宇宙の原子の数よりも多い10の165乗もの計算が必要だという。 この問題を解決するために、研究チームは1970年代にフランスで開発された「Prolog」という論理プログラミング言語を使用した。従来のコンピュータ言語では、コーダーが機械に何をすべきかを適宜指示するが、Prologは問題に関する既知の事実のリストを取り、それが解決可能かどうかを自ら推論する。 Source and Image Credits: Cushing, David, and David I. Stewart. “You need 27 tickets to guarantee a win on the UK National L

[roshi]

Prologの事例を情報処理技術者試験以外で初めて見たかも。。

[KoshianX]

“研究チームは1970年代にフランスで開発された「Prolog」という論理プログラミング言語を使用した” Prolog で開発!?

[JULY]

記事の本筋よりも、「Prolog」に懐かしさでいっぱい。学生だった 40 年近く前、教養課程で履修した論理学の先生が、コンピュータで述語論理を扱えるようになった時の衝撃を話していたなぁ。

[deep_one]

プロログだ。／10枚連番で買えば末等が必ず当たる的な。／難しかったのは「26枚では無理であること」の証明か。／幾何なんだ…分からん。

[osakana110]

日本の年末ジャンボも10枚買えば必ず当たる方法があって… 連番で10枚買う方法なんですけど… 3000円かかるし、当選金300円だから儲からないけど、英国の宝くじの『ロト』より還元率いいよね？

[RySa]

ほほぅ論理だてて条件設定した後推論させたのか。Prologは自分が使い慣れていた推論エンジンだったからと言う理由かな。SATソルバでも出来そう。コード発見（https://github.com/cushydom88/lottery-problem/blob/main/lottery.pl）

[unyamnya]

日本の宝くじの場合、連番10枚セットのほかバラ10枚セットも末等1枚は必ず当たる

[sakidatsumono]

Prologでなくても、GAとかPSOとかSAとか量子アニーリングでも行けそうに見える/やっぱSATソルバーでも行けるんだ

[kamei_rio]

"27枚の宝くじで当選を保証できることを証明するのは比較的簡単だったが、26枚では不可能であることを証明するのが非常に難しかったと述べている" そうなんだ

[tybalt]

https://github.com/cushydom88/lottery-problem

[y_hirano]

Prologかあ

[kuzudokuzu]

「当たり」を出すための数学的手法であって、「儲け」を出すための実質的手法ではない。数学的には「より少なく買って」という効率を追求できるが、その前提を無視すれば「全部買えば当たる」とも言える。

[ton-boo]

Prologでコーディング量が減ったとかならわかるけど計算量は減らなくね、と思ったんだがそこんとこどうなんじゃろ

[murlock]

数学的には価値があるんだろうけど宝くじは10枚買えば必ず当たるみたいなもんだろうな

[straychef]

一番下の賞金が27枚分より高いとは思えない

[erya]

''競馬は単勝18枚買えばかならず当たる''俺発見

[kenzy_n]

当たらないことの方が当たり前かと。

[Seamless]

毎回必ず当たる27枚の宝くじの組み合わせを発見。有限幾何学を利用。宇宙の原子の数よりも多い10の165乗もの計算をするため自律的に推論する論理プログラミング言語「Prolog」を使用