quantum algorithms for hypergraph simplex finding