Papadimitriou–Yannakakis' completeness conjecture for minimum generating sets of quasigroups
Papadimitriou–Yannakakis' conjecture. The minimum generating set problem for quasigroups is ∃log2nP\exists^{\log^2 n}\mathsf{P}∃log2nP-complete.