并排比较

并集或包含关系固定时，可以用每个元素的归属状态重新描述两个集合。先把必然出现的部分与仍可选择的部分分开，原来的集合关系就变成了有限状态的选择问题。

一题还附带数值等式，另一题计算事件概率；集合的归属编码是共同的起点。