実装をしましょう。例えば ans=0ans=0 と初期化し、

  • SiS_io ならば ans:=ians := i とする
  • SiSi+1S_iS_{i+1}xx ならばループを打ち切る

という操作を ii の昇順に行うという方法が考えられます。