decipherable in polynomial time