なんか盛り上がる原因を作ってしまったようで申し訳ないけど
少なくとも>>415は>>410の役に立ってないよね
だからオナニーなんだよ
なぜなら、>>410の質問は

>これはどう考えればいいですか。
>わたしは次のようにへたくそな解答をしたのですが。

なんだから
これに対して

>シラミ潰しは計算機を使うのが効率的

では何の意味もない
せめて「効率の良いアルゴリズムを見つけた」とか
「一般化して計算してみたらこんな式が成り立つことが予想される」とか
「一般化して計算してみたら全く規則性が見つからなかった」とかじゃないと