201906200

201906101 は問題として面白いところはないけれど (実際によく遭遇するので答えが知りたかっただけ)、信号の周期や赤信号の割合が既知でないときの有限回試行での戦略、とか考えてみると面白くなるのかな (無限回試行なら初回に全ての信号について一周期待って調査してしまえばいい。定数項減らせるかもしれないけれど…)。