Let G = S_n$G = S_n$ (the permutation group on n$n$ elements). Let A be a subset of G$A\subset G$ such that A$A$ generates G$G$.
Is there an n$n$-cycle g$g$ in G$G$ that can be expressed as
g = a_1 a_2 ... a_k$g = a_1 a_2 ... a_k$
where a_i in A union A^{-1}$a_i\in A \cup A^{-1}$ and k is at most c_1 n^{c_2}$k\leq c_1 n^{c_2}$, where c_1$c_1$ and c_2$c_2$ are constants?
What about 2$2$-cycles, or elements of any other particular form?