Le titre en dit plus ou moins, mais je suppose que je pourrais ajouter un peu de contexte et quelques exemples spécifiques qui m'intéressent. Les théoriciens de la complexité descriptive, tels que Immerman et Fagin, ont caractérisé la plupart des classes de complexité les plus connues à l'aide de la …
Il est bien connu que l'exponentiation modulaire (la partie principale d'une opération RSA) est coûteux en calcul, et pour autant que je comprends les choses, la technique d' exponentiation modulaire de Montgomery est la méthode préférée. L'exponentiation modulaire est également mise en évidence dans l'algorithme d'affacturage quantique, et elle est …
En lisant quelques discussions récentes sur l'informatique quantique ( ici , ici et ici ), je me souviens d'une question intéressante sur la puissance d'une sorte de machine de conservation de -norm.ℓpℓp\ell_p Pour les personnes travaillant dans la théorie de la complexité allant vers la complexité quantique, un excellent texte …
Avec certains algorithmes randomisés, vous pouvez dérandomiser l'algorithme, en supprimant (à un coût possible en temps d'exécution) l'utilisation de bits aléatoires et en maximisant une limite inférieure sur l'objectif (généralement calculé en utilisant le fait que les théorèmes concernent les performances attendues de l'aléatoire algorithme). Existe-t-il un équivalent pour les …
Aujourd'hui à New York et dans le monde entier, l'anniversaire de Christos Papadimitriou est célébré. C'est une bonne occasion de poser des questions sur les relations entre la classe de complexité PPAD de Christos (et ses autres classes apparentées) et les ordinateurs quantiques. Dans son célèbre article de 1994, Papadimitriou …
Dans son article de 1995 Algorithmes à temps polynomial pour la factorisation principale et les logarithmes discrets sur un ordinateur quantique , Peter W. Shor discute d'une amélioration de la partie recherche d'ordres de son algorithme de factorisation. Les sorties algorithme standard , un diviseur de l'ordre r de x …
Wikipédia a énuméré quatre problèmes qui sont en mais qui sont supposés être en dehors de P : factorisation entière; Logarithme discret; Simulation de systèmes quantiques; Calcul du polynôme de Jones à certaines racines de l'unité.B Q PBQPBQPPPP Existe-t-il d'autres problèmes de ce type?
Dans le calcul quantique et l'information quantique de Nielsen et Chuang, ils disent que de nombreux algorithmes basés sur les transformées de Fourier quantiques reposent sur la propriété d'invariance de Coset des transformées de Fourier et suggèrent que les propriétés d'invariance d'autres transformées pourraient produire de nouveaux algorithmes. Y a-t-il …
En calcul quantique adiabatique (AQC), on code la solution d'un problème d'optimisation à l'état fondamental d'un [problème] hamiltonien . Pour arriver à cet état fondamental, vous commencez dans un état initial (fondamental) facilement refroidissable avec Hamiltonian H i et "recuit" (perturber adiabatiquement) vers H p , c'est-à-direHpHpH_pHjeHiH_iHpHpH_p H( s ) …
Quelle est la complexité temporelle (et non la complexité des requêtes) de l'algorithme de Grover? Il me semble clair qu'il s'agit de car il existe des itérations et chaque itération nécessite l'utilisation de l'opération de réflexion qui à son tour prend du temps utilisant n'importe quel ensemble standard de portes …
L'informatique réversible est un modèle informatique qui ne permet que des opérations thermodynamiquement réversibles. Selon le principe de Landauer, qui stipule que l'effacement d'un peu d'informations libère joules de chaleur, cela exclut les fonctions de transition qui ne sont pas un à un (par exemple, les opérateurs booléens ET et …
Dans la théorie de l'information quantique, la distance entre deux canaux quantiques est souvent mesurée en utilisant la norme du diamant. Il existe également un certain nombre de façons de mesurer la distance entre deux états quantiques, comme la distance de trace, la fidélité, etc. L' isomorphisme de Jamiołkowski fournit …
Mon théorème préféré en théorie de la complexité est le théorème de la hiérarchie temporelle. Cependant, cela a été fait en 1965. Je voulais alors savoir s'il y avait quelque chose de similaire pour l'informatique quantique. Si ce n'est pas le cas, quelles sont les personnes / groupes qui travaillent …
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …
Je suis physicien dans l'âme et je pense donc que l'informatique quantique à sens unique est géniale. En particulier, l'informatique quantique basée sur la mesure de l'état des graphes (MBQC) a été un très bon développement dans la recherche sur l'informatique quantique, à l'origine de Raussendorf & Briegel . Il …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.