turan_hypergraph_problem