Questions marquées «factoring»

12
Pourquoi FACTOR est-il dans Co-NP?

J'ai du mal à comprendre les problèmes PRIME, COMPOSITE, FACTOR et comment ils sont liés en termes de complexité. Je comprends que PRIME s'est révélé être en par le test de primalité AKS, et je pense que cela fonctionne également pour COMPOSITE.PPP Quant à FACTOR, FACTOR={(m,r):∃s such...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...

8
Vitesse de l'algorithme de Shor

Je suis un débutant en informatique, et on me demande d'écrire un article qui implique la factorisation entière. En conséquence, je dois examiner l'algorithme de Shor sur les ordinateurs quantiques. Pour les autres algorithmes, j'ai pu trouver des équations spécifiques pour calculer le nombre...