超图<math>H = (X, E)</math>的'''横截集 transversal'''(或命中集 hitting set)是一个<math>T\subseteq X</math>集合,该集合与每条边都有非空的交集。如果<math>T</math>的真子集不是横截集,则称<math>T</math>为极小截集。<math>H </math>的横截超图是超图<math>(X, F)</math>,其边集<math>F</math>包含<math>H</math>的所有最小横截集。 | 超图<math>H = (X, E)</math>的'''横截集 transversal'''(或命中集 hitting set)是一个<math>T\subseteq X</math>集合,该集合与每条边都有非空的交集。如果<math>T</math>的真子集不是横截集,则称<math>T</math>为极小截集。<math>H </math>的横截超图是超图<math>(X, F)</math>,其边集<math>F</math>包含<math>H</math>的所有最小横截集。 |