No.046 D

AtCoDeer くんが TopCoDeer くんと同じ手を出したときは, 得点は $0$ である.

ここで AtCoDeer くんの任意の2手の順序を入れ替えることを考える. たとえばパー, グーの順序を入れ替えると, TopCoDeer くんの手がグー, パーだった場合は勝ち, 負けが引き分け, 引き分けに変わるので得点は変わらない. 同様に考えるとどの2手の順序を入れ替えても得点は変わらないということがわかる.

よって, AtCoDeer くんは $\lfloor \vert s \vert / 2 \rfloor$ 個のパーを出す場合が最も得点を高くできるので, これから TopCoDeer くんのパーの数を引いた数が最大得点である.