选择状态的最小集合

逐个追问「能不能算出来」，删掉重复与可推导的状态，用渲染时派生计算生成完成数量和筛选结果。