首先,条件可以抽象为 Y 不能相连,然后: 钦定根为 Y,YX 的个数加上 \(2\): 钦定某一个叶子节点为 Y,XY 的个数加上 \(1\): 钦定某一个非叶子非根节点为 Y,YX 的个数加上 \(2\),XY 的个数加上 \(1\): 根据上面的讨论,YX 的个数一定为偶数,先判掉. 现在问题变成了一个二维的类独立集问题,直接设计 \(f_{u,i,j,0/1}\) 表示 \(u\) 的子树选出一个独立集填 Y 满足 XY 和 YX 个数分别为 \(i,j\) 是否可行,\(u\) 选或者…