Suppose that $\lambda_1,\lambda_2,\lambda_3$ are partititions of $n$. When do there exist permutations $\sigma_1,\sigma_2,\sigma_3 \in S_n$ such that

(1) $\sigma_1\sigma_2\sigma_3$ is the identity;

(2) the $\sigma_i$ generate a transitive subgroup of $S_n$; and

(3) the cycle type of $\sigma_i$ is $\lambda_i$ for all $i$?

One can show that the total number of parts among the $\lambda_i$ must be an integer that is at most $n+2$ and that is congruent to $n$ modulo 2. Is this condition sufficient? If $\lambda_3 = (n)$ and the total number of parts of the $\lambda_i$ is exactly $n+2$, then the existence is known.

This problem is equivalent to the existence of an irreducible curve $X$ over the complex numbers and a nonconstant morphism $X \rightarrow \mathbb{P}^1$ whose branch locus is contained in $\{0,1,\infty\}$ (a Belyi map) and whose monodromy generators have cycle types $\lambda_1,\lambda_2,\lambda_3$.