Por que o FACTOR está no Co-NP?

12

Estou tendo problemas para entender os problemas PRIME, COMPOSITE, FACTOR e como eles estão relacionados em termos de complexidade. Entendo que o PRIME demonstrou estar em pelo teste de primalidade da AKS, e acredito que isso funcione também para o COMPOSITE.P

Quanto ao fator,

FACTOR={(m,r):s such that1<s<r and s divides m}

pelo que tenho lido, parece que ele está em . Eu ver que é em N P uma vez que um certificado consistiria de um divisor primo de m a menos de r . Mas que tipo de certificado pode estabelecer que não existe esse divisor principal (em tempo polinomial)?NPCoNPNPmr

Fequish
fonte
1
Para que um idioma esteja na prova de NP de que a entrada pertence ao idioma, deve haver um certificado que possa ser verificado em tempo polinomial. Isso não significa que exista um certificado para entradas não pertencentes ao idioma que possa ser verificado com eficiência.
Sashas

Respostas:

11

Um certificado por não haver divisor não trivial de menor que rmr é a fatoração de . Podemos verificar em tempo polinomial que todos os fatores são realmente primos (uma vez que a primalidade está em P pelo teste de primalidade da AKS ), que seu produto é m e que todos eles são pelo menos r .mmr

Yuval Filmus
fonte
1
Obrigado. E eu entendi corretamente que o algoritmo AKS pode nos dizer se um número é primo ou não no tempo polinomial, mas se não for primo, não nos indica os fatores?
Fequish
1
@Fequish: Se não é primo, a AKS não nos diz os fatores.
2
eO((logn)1/3(loglogn)2/3)n
5

Para adicionar à resposta de Yuval: O teste de primalidade do AKS foi descoberto em 2002. Antes disso, não tínhamos um algoritmo de tempo polinomial para verificar se um número é primo. No entanto, Pratt descobriu em 1975 o que hoje é conhecido como certificado Pratt para primalidade e provou que Primes está no NP. Podemos incluir esses certificados Pratt de primalidade para os fatores em nosso certificado para mostrar que o FACTOR está no coNP no lugar do uso do algoritmo AKS para verificar se os fatores são primos diretamente.

Denis Pankratov
fonte