公式解説同様、ここでは二分探索をします。

\(S\) に含まれない要素それぞれを試しているときに、\(R=R_0\) なら探索を打ち切る枝狩りを入れると与えられたテストケース内では制限時間内に動作しました。

実装 (C++ 2548ms)