Boolean satisfiability problem
ハイパーグラフ "H" = ("X", "E") の「横断（transversal）」または「ヒッティングセット（hitting set）」formula_9 とは、どのエッジとも、積集合が空ではない集合のことである。すなわち、Tと各エッジの間に共通なノードが必ず存在する。横断 "T" は、その真部分集合として横断と呼べるものがない場合に「最小」であるという。"H" の「横断ハイパーグラフ」は ("X", "F") で表されるハイパーグラフであり、"F" は "H" の全最小横断からなる。横断ハイパーグラフの計算は、機械学習などの計算機科学分野で応用されており、ゲーム理論、データベースのインデックス付け、充足可能性問題、最適化などと関連する。