设\(S\)表示所有到当前状态的方案的答案的集合。\(\mathbb{E}[S]\)表示集合中答案的期望。
期望可加性 若\(S=T+U\)，则\(\mathbb{E}[S]=\mathbb{E}[T]+\mathbb{E}[U]\)。
