RELSMO2024 問7を解読する！

　お久しぶりです　ぴーです

　以前AoPSを漁っていたらこんなものを見つけまして...
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
・

AoPSにLatexコード表示機能があってまじで良かったなと思ってます　感謝

それはそうとして、まぁ見るからにやばいですね　難問とかいう次元じゃないです そもそもなんの分野なんでしょうか

ということで、これを解読していきたいと思います

そもそもRELSMOって？

　の前に、ほとんどの人はRELSMOを知らないと思うので(僕もこれを見つけて初めて知った)説明します

　まず ELMO (Experimental Lincoln Math Olympiad)というアメリカの数オリがあります
　問題はAoPS→USA Contests→MOP Contestsから見れるので、もしかしたら見かけたことある人もいるかもしれません
　この大会は1チーム約6~7人のチーム戦であり、毎年AoPSで募集がかけられています　非公式(?)だけど問題はちゃんとしてる
　正直情報源が少なくて真偽も微妙なので詳しくは上のリンクから見てください

　まぁそんな感じのELMOですが、こんな説明が書いてあります DeepLに突っ込んだ

　簡単にまとめると、ELSMOとRELMO(RELSMO)はおふざけ数学コンです
　実際に見てみると、ELSMOは問題用紙がふざけてます
　問題自体はELMOと同じです(例外有) 2017年　これでもまだ優しい方
　2012年から開催されていて、解読難易度は
(2012)<2014<2013<2016<2021<2023<2020<2017<2019<2018<2022
　です　これを解読するのも面白いかも？

　一方、RELMO(RELSMO)は大学数学を使ったり、知識一発ゲーだったり、普段なら出題されないような問題が出題されています
　比較的新しく、2022年から始まっています

　問題文おかしいですがそのまま書いてあったので...
　この問題も深く考えないほうがいいです
　解説はAoPSから見れます

解読その１

　前置きはこれくらいにして、いよいよ解読に入りましょう

　文字列をよく見てみると、$\cdots \mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(\mathrm{\exists }y\in {\mathbb{Z}}_0^{+}:((\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:\cdots$のようなものは
$\cdots \mathrm{\exists }x,y,z\in {\mathbb{Z}}_0^{+}\cdots$とまとめられるので、こうなります

　次で解読の半分くらい進んじゃいますが、実は問題文をよくよく見てみると、2行目の終わりから
$$\begin{array}{rl}& (\mathrm{\exists }r\in {\mathbb{Z}}_0^{+}:((\mathrm{\forall }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\neg }(x\cdot y=r))\vee (x=1)\vee (\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(x=z\cdot p))))\\ \\ & \wedge (\mathrm{\exists }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(r=y+z+1))\wedge (s=r\cdot (p\cdot x+m)+y)))))\end{array}$$
　4行目の終わりから
$$\begin{array}{rl}& (\mathrm{\exists }r\in {\mathbb{Z}}_0^{+}:((\mathrm{\forall }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\neg }(x\cdot y=r))\vee (x=1)\vee (\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(x=z\cdot p))))\\ \\ & \wedge (\mathrm{\exists }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(r=y+z+1))\wedge (s=r\cdot (p\cdot x+u)+y)))))\end{array}$$
　7行目の前半から
$$\begin{array}{rl}& (\mathrm{\exists }r\in {\mathbb{Z}}_0^{+}:((\mathrm{\forall }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\neg }(x\cdot y=r))\vee (x=1)\vee (\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(x=z\cdot p))))\\ \\ & \wedge (\mathrm{\exists }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(r=y+z+1))\wedge (s=r\cdot (p\cdot x+v)+y)))))\end{array}$$

　と、ほとんど同じ文字列が繰り返されています(最後が$m,u,v$かの違いのみ)
　これをそれぞれ${\mathrm{P}}_{\mathrm{m}}$、${\mathrm{P}}_{\mathrm{u}}$、${\mathrm{P}}_{\mathrm{v}}$と置いちゃいましょう
　さらに$\mathrm{\forall }n\in {\mathbb{Z}}_0^{+}:(\mathrm{\exists }b\in {\mathbb{Z}}_0^{+}:(\mathrm{\forall }m\in {\mathbb{Z}}_0^{+}:$は問題文全体に掛かっているので以下のように書き直せます。

　かなりスッキリしました(?)ね

解読その２

　ここからは数学的考察を含んだ解読をしていきます

　まず
$\mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(x+m=b)$(一行目)
$\mathrm{\neg }(\mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(p+x=1))$(一行目)
$\mathrm{\neg }(\mathrm{\exists }x,y\in {\mathbb{Z}}_0^{+}:(p=(x+2)\cdot (y+2)))$(一行目)
$\mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(p=m+x+1)$(二行目)
$\mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(u=p+x)$(三行目)
$\mathrm{\neg }(v=0)$(三行目)
$\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(r=y+z+1)$(${\mathrm{P}}_{\alpha }$二行目)

　はそれぞれ
$m\le b$
$p>1$
$p$は素数
$p>m$
$u\ge p$
$v\ne 0$
$r>y$
　と同値です。言われてみれば問題文に$\ne$と不等号は出てきてなかったので、これが諸悪の根源ですね

　また括弧を頑張って追っていくと、問題文の構造は
「$(\mathrm{\exists }x\in {\mathbb{Z}}_0^{+}:(x+m=b))$または(以下すべて)」すなわち
「$m\le b$または(以下すべて)」だとわかるので、以下に書き換えられます

解読その３

　ここまで解読できてもまだややこしいのは中括弧や大括弧が使われていないからだと思うんですが、何重にも重なっているので使っても意味ないんですよね...　

　次に、問題文の後半
$\begin{array}{rl}& \mathrm{\forall }u\in {\mathbb{Z}}_0^{+}:((u\ge p)\vee (u=0)\vee (u=n+1)\vee (\mathrm{\neg }\mathrm{P})\\ & \vee (\mathrm{\exists }v,k\in {\mathbb{Z}}_0^{+}:((v\ne 0)\wedge ((u=v\cdot (k+2))\vee (u=v\cdot (k+2)+1))\wedge \mathrm{P})))\end{array}$
　を考えます。

　まず、構造としては
$\mathrm{\forall }u\in {\mathbb{Z}}_0^{+}:((u\ge p)\vee (u=0)\vee (u=n+1)\vee (\mathrm{\neg }\mathrm{P})$または(ほげほげ)
　となり、これは
「$p$未満の正整数$n$で$u\ne n+1$かつ$P_n$を満たすものすべてに対して、(ほげほげ)が成り立つ」
　と同値です。
　ここで、$n\in {\mathbb{Z}}_0^{+}$だったのを$n\in \mathbb{N}$とし、$u\ne n$に変えればスッキリします。

　次に、${\mathrm{P}}_{\alpha }$について考えます。

　まず、$\mathrm{\forall }x,y\in {\mathbb{Z}}_0^{+}:((\mathrm{\neg }(x\cdot y=r))\vee (x=1)\vee (\mathrm{\exists }z\in {\mathbb{Z}}_0^{+}:(x=z\cdot p)))$の部分は
「$xy=r$を満たす任意の非負整数$x,y$に対して、$x=1$もしくは$x$は$p$の倍数である」
となります。これはずばり$r$が$p$の累乗であることと同値ですね

　次に、$\mathrm{\exists }x,y\in {\mathbb{Z}}_0^{+}:((r>y)\wedge (s=r\cdot (p\cdot x+\alpha )+y))$の部分は、$r=p^k$としたとき$s$を$p$進数で表した時の$p^k$の位が$\alpha$ということなので、全体としては
「$s$を$p$進数表示した時、$\alpha$が現れる」
となります。

　またこれは$\alpha =0$のとき必ず真ですが、$m,u,v\ne 0$が保証されているので大丈夫です。
　以上を踏まえると

　最後に、$\mathrm{\exists }v,k\in {\mathbb{Z}}_0^{+}:((v\ne 0)\wedge ((u=v\cdot (k+2))\vee (u=v\cdot (k+2)+1))\wedge {\mathrm{P}}_{\mathrm{v}})$は
「$s$の$p$進数表示に現れる正整数$v$であって、$u=vk$または$u=vk+1$($k$は$2$以上の整数)を満たすものが存在する」
となります。

　以上より

　となります！解読完了！(文章が不自然なのはおいといて...)

解く

・
・
・
・
・
・
・
・
・
・
・
・
・
・
・
　とはいえ、せっかく解読したので解きたいですよね。

　問題文は以下のように言い換えられます

　解こう...と思ったんですが、これ未解決らしいです　かなしい(もし解決していたら教えてください)

　不完全燃焼なのでおまけとしてこういう問題を一問作ろうと思ったんですが、エイプリルフールというちょうど良い時期が来たので公開しました
　なのでこれ以上は特に無いです...

　最後まで読んでいただきありがとうございました