枚举 2-边/点连通诱导子图的线性延迟算法

对于集合系统 $(V,{\mathcal C}\subseteq 2^V)$,称子集 $C\in{\mathcal C}$ 为一个分量。非空子集 $Y\subseteq C$ 是 $C$ 的极小可移除集(MRS),若 $C\setminus Y\in{\mathcal C}$ 且不存在真非空子集 $Z\subsetneq Y$ 满足 $C\setminus Z\in{\mathcal C}$。本文考虑枚举集合系统中所有分量的问题,使得对任意两个分量 $C,C'\in{\mathcal C}$ 且 $C'\subsetneq C$,$C$ 的每个 MRS $X$ 满足 $X\subseteq C'$ 或 $X\cap C'=\emptyset$。我们针对该问题给出一种基于划分的算法,从而得到首个线性延迟枚举所有 2-边连通诱导子图及所有 2-点连通诱导子图的算法。