POT-PERM = { <p, q, t> : p = qt onde p e q são permutações sobre { 1, . . . , k } e t é um inteiro em binário }
Do jeito que foi definido, dá a impressão que o k é o mesmo para p e q, mas eu só consigo entender se na verdade p for uma permutação sobre { 1, . . . , kp } e q for uma permutação sobre { 1, . . . , kq }, com kp = t . kq.
Procede ou eu que ainda não entendi o exercício?