描述
離散數學中集合論裏面的概念。碰集是計算機科學家們在研究人工智能領域的系統診斷的時候需要解決的問題，最早是由加州大學伯克利分校的計算機專家裏查德·曼寧·卡普（Richard Manning Karp，1935- ）在1972年提出的。
定義
如果集合S與集合簇C中的每個集合都存在着非空交集，那麼集合S是集合簇C的碰集。如果在不破壞碰集的前提下，集合S中的元素都無法移除，那麼S被稱爲極小碰集。
相關算法
計算碰集的傳統算法有 HS-Tree ,HS-DAG ,HST-Tree ,BHS-Tree，SE-Tree 等等，在此基礎上，學者們又陸續提出了一些新的算法。