8/31 分の Daily Akari の writer をしました．
問題の形は車輪をイメージしています．解法も実際にぐるぐるすることになるので面白い（？）．
言い訳
今までの Daily Akari にはない ad-hoc な問題を作りたいと思い，「方程式を解かせる問題を作れないかな～」と考えながら作った問題です．解説通り解くなら dfs の深さはそこまで深くはなりませんが，気づくのはおそらく難しくて，深い dfs をする羽目になってしまって不快だった人もいると思います．すみません．
（問題を投稿したのが 6 月末で，そういうこともあって不採用になったのかと思っていたのですが，今更採用されてびっくり．）
（精度を気にしないなら 2 択を引き当てられるかどうかの運ゲーになります．たぶん）
運営の人との twitter の DM
日本語訳：数学的なアプローチが必要な問題を作りたくて，試行錯誤した結果このような形になりました．ただ，想定解が思い浮かばない場合，ただのバックトラッキング問題になってしまい，つまらなく感じるかもしれません。実際に採用するかどうかはお任せします．
解説
4 つの領域に分けて考えます．
左上
上の図において， が成り立ちます．（Akari を置くなら
，置かないなら
．）
両方に置くと真ん中の 1 に矛盾します．実際，以下のいずれかです．
右上
左上と同じ理由で です．
右下
これも同じ理由で です．
左下
です．片方に置こうとするともう片方も置かざるを得ません．
まとめると
以下の 5 つの式が成り立ちます．
これより が分かります．これが分かれば残りはやればできます．
余談
作るのに 3 時間くらいかかった記憶があります．さすがに時間かかりすぎて大変なので，新しい問題を作る気は今のところありません． 他の人々はどのようにして作問しているのか気になります．
