Problem Definition

Given a set with and a collection of 3-element subsets of . Does contain an exact cover for , that is, a subcollection such that every element of occurs in exactly one member of ?