临界 3-超图（详细版）

给定 3-超图 $H$，$V(H)$ 的子集 $M$ 是 $H$ 的一个模，若对每个 $e\in E(H)$ 满足 $e\cap M\neq\emptyset$ 且 $e\setminus M\neq\emptyset$，存在 $m\in M$ 使得 $e\cap M=\{m\}$ 且对每个 $n\in M$，有 $(e\setminus\{m\})\cup\{n\}\in E(H)$。例如，$\emptyset$、$V(H)$ 以及 $\{v\}$（其中 $v\in V(H)$）是 $H$ 的模，称为平凡模。若所有模均为平凡模，则 3-超图为素超图。此外，若素 3-超图的所有通过移除一个顶点得到的诱导子超图均不为素超图，则该素 3-超图为临界超图。我们刻画了临界 3-超图。