AtCoder / スフィンクスのなぞなぞ
ふくほです。
ABC006-C スフィンクスのなぞなぞ
を解きました。
問題↓
atcoder.jp
考えたこと
鶴亀算を3変数にしたやつですね。
と大きめ。
三重ループは勿論、二重ループ
(2つの値を決めておいて、最後の1つが
条件を満たしているのか吟味する方法)
でも間に合わなさそう。
何とかして多重ループは
避けたいお気持ちでした。
ここで私は思いつきました。
赤ちゃんの数を, 老人の数を, 大人の数を
と置いた時、問題から
の2つの式を満たすことがわかります。
ここから1文字を消去し
2変数の関係式に持ち込みます。
今回はを消去しました。
結果
が得られます。
ここでを固定してみると
このは非負整数になります。
最後に、から
を求めます。
も非負整数であることを
確認する必要があります。