关于寻找对偶反馈顶点集的注记

对于每条边被染成红色或蓝色的边双色图$G$，若顶点集$S$击中$G$的所有蓝色环和红色环，则称$S$为一个对偶反馈顶点集。本文中，我们证明了可通过紧凑表示在$O^*(c_1^k)$时间内找到大小不超过$k$的对偶反馈顶点集，并在$O^*(c_2^{k^2 + k})$时间内枚举所有大小不超过$k$的极小对偶反馈顶点集，其中$c_1$和$c_2$为常数。