g6-07558. 状态化简·为什么只要一个状态 未做

路径覆盖里可以只设一个状态 $f_u$（祖先里没有黑点时子树 $u$ 的最小代价）。为什么不需要额外设「祖先里已有黑点」的那个状态？

• A. 因为树是二分图
• B. 因为「祖先已有黑点」时，子树 $u$ 里一个点都不用选，代价恒为 $0$——这个状态没有信息量，可以省掉
• C. 因为路径覆盖的答案固定
• D. 因为路径覆盖只有一条路径