碰集

描述

离散数学中集合论里面的概念。碰集是计算机科学家们在研究人工智能领域的系统诊断的时候需要解决的问题，最早是由加州大学伯克利分校的计算机专家里查德·曼宁·卡普（Richard Manning Karp，1935- ）在1972年提出的。

定义

如果集合S与集合簇C中的每个集合都存在着非空交集，那么集合S是集合簇C的碰集。如果在不破坏碰集的前提下，集合S中的元素都无法移除，那么S被称为极小碰集。

相关算法

计算碰集的传统算法有 HS-Tree ,HS-DAG ,HST-Tree ,BHS-Tree，SE-Tree 等等，在此基础上，学者们又陆续提出了一些新的算法。