atcoder.jp 解説にあるような「どれか1つに1を加算する」（その後全部を1引く）操作を読み替えられた場合、上のコードのような感じで解ける。 なお、ABCの値はA[0]A[1]A[2]のリストとし、ソートしてA[0]が大きい前提としている。 A[1]とA[2]にA[0]を合わせる…