四角い頭を丸くする算数の問題をPythonで解いてみる

わーい、「続きを読む」前に正解を出せたぞ。

「5倍した値が4桁だと...」の部分はいらないような気がしますが……。
# あとs/商/積/？

1. 5の倍数では1の位の数字は5または0である。
2. 3桁の回文数はABAの形をとる。ただしAは0でない。
3. 1., 2. から求める回文数は5n5の形をとる。この形をとる最大の整数は595である。
4. 595/5=119、よって答は 119。
おしまい

自分はこんな感じで解きましたが、ロジカルになってるかな。
# 関係ないけどわたくしも幼少のみぎり四角い頭を丸くするところにかつて通っておりました。

Pythonで書くなら……、これじゃだめ？（笑）
print [x for x in range(100, 1000) if x % 5 == 0 and x / 100 == x % 10][-1] / 5

>「5倍した値が4桁だと...」の部分はいらないような気がしますが……。

「5を掛けると回文数となる3桁の数値」なので、
「3桁の回文数」ではなくて「3桁の数字 * 5 = 回文数」なのですよ。（電車で見間違えてなければ）

> # あとs/商/積/？

おおう。修正！

> 「3桁の回文数」ではなくて「3桁の数字 * 5 = 回文数」なのですよ。

あーっ、なるほど！　失礼しました。
くやしいから修正したワンライナーを……。

max(x for x in range(100, 1000) if str(x * 5) == ''.join(reversed(str(x * 5))))
# 1000 のところの桁を増やしてくとちょっと興味深い（総当たりだから超遅いけど）。

一応暗算でできた。ABBAは 0 でも5 でもなりたたないからABAで、あとはすぐですね。でも問2はそしたら一瞬じゃないの？

解けた。回答は↑のリンクに。
問2：5x5として(5+x+5)mod3=0なxの最大値
問3：5xx5として(5+x+x+5)mod3=0なxは3通り。
　　　15で割って回文数になるのは1通り。

みんなに解かれちゃって、解く楽しみが。。悔しいので短く速くしちゃう。

> max(x for x in range(100, 1000) if str(x * 5) == ''.join(reversed(str(x * 5))))

max(x for x in xrange(999,99,-1)if`x*5`==`x*5`[::-1])

上限を上げると確かに興味深い解が...

おー、コメント付いてますね。
呑み会でしこたま飲んだ後、電車の中で頭の中ぐるぐるしながら暗算で解いた記憶がｗ

名前入れ忘れました。

>上限を上げると確かに興味深い解が...
以下問い1のn桁版の証明。

問い：5を掛けると回文数となる、3桁の数値のうち最大の数値を答えなさい。
回答：
5倍して得られる数の1の位は0, 5 のいずれかであるため題意を満たすのは5.
よって、得られる回文数は以下のいずれかである.

i) 5○○○○...○5 (n+1桁)
ii) 5○○○○...○5 (n桁)

i) の場合、5で割るとn桁にならないため不適. ii) の形について考える。
求める数を X(n) とすると回文数は 5X(n) であり、

5X(n) = 5*10^n + a1*10^(n-1) + a2*10^(n-2) + ... + an-1*10 + 5
(ただし a1, a2, ..., an-1 ∈ {0, 1, ... , 9})

両辺を5で割り、

X(n) = 10^n + 2a1*10^(n-2) + 2a2*10(n-3) + ... + 2an-1 + 1

上記の形から、a1, a2, ..., an-1 の値がいくつであっても X(n) は整数となる。
題意を満たすように a1, a2, ..., an-1 の値を定めると、

a1 = a2 = a3 = ... = an-1 = 9

よって、得られる X(n) は

X(n) = 10^n + 2*9*10^(n-1) + 2*9*10^(n-2) + ... + 2*9 + 1
= 10^n + 1 + 2*9*(10^(n-1) + 10^(n-2) + ... + 1)
= 1000...0 + 1 + 18*(111...1)
= 1000...0 + 1 + 199...8
= 1199...9

以上.

しまった。max()だと高速じゃないや。().next()にしないと。
証明おもしろい。学生時代にこういう問題に遭遇したかったなあ。

> max(x for x in xrange(999,99,-1)if`x*5`==`x*5`[::-1])

おお、スライスのステップ数に負の値を入れるとそうなるんですか。reversed() に入れても元のシーケンスと同じ型でじゃなくてジェネレータで返ってきたから、「おや」とは思ったんですが。
`x` も、こんなシンタックスシュガーが Python にあったのかという感じで、なんだか意外です。

いいこと知りました。

`x` は __repr__ が呼び出されます。str(x)は __str__ が呼び出されます。
str()の代替ではないのでご注意を...

> str()の代替ではないのでご注意を...

あ、補足どもです。