用 $f(i)$ 表示到第 $i$ 位为止的答案的期望，$g(i)$ 表示到第 $i$ 位为止的后缀 o 的长度的期望。

如果当前是 1，那么 $f(i) = f(i - 1) + 2 g(i - 1) + 1$，$g(i) = g(i - 1) + 1$。

如果当前是 0，那么 $f(i) = f(i - 1)$，$g(i) = 0$。

如果当前是 ? 就结合以上两者即可。

时间复杂度 $O(n)$。