Finding irreducible factors in Q of polynomials with rational coefficients
Is in P