Counting or Producing All Fixed Cardinality Transversals
An algorithm to count, or alternatively generate, all k-element transversals of a set system is presented. For special cases it works in output-linear time.
fixed cardinality hypergraph transversal hitting set bell number mathematica