It is possible to recognize hypertrees (as duals of alpha-acyclic hypergraphs) in linear time.[9] The exact cover problem (finding a set of non-overlapping hyperedges that covers all the vertices) is solvable in polynomial time for hypertrees but remains NP-complete for alpha-acyclic hypergraphs.[10]