L'informatique circuits

9

Pourquoi l'addition est-elle aussi rapide que les opérations en bits dans les processeurs modernes?

Je sais que les opérations binaires sont très rapides sur les processeurs modernes, car ils peuvent fonctionner en parallèle sur 32 ou 64 bits. Les opérations binaires ne prennent donc qu'un cycle d'horloge. Toutefois, l’ajout est une opération complexe qui consiste en au moins une, voire une douzaine d’opérations par …

73 computer-architecture arithmetic circuits cpu digital-circuits

2

Universalité de la porte Toffoli

Concernant la porte quantique de Toffoli : est-ce universellement classique , et si oui, pourquoi? est-ce quantiquement universel, et pourquoi?

20 quantum-computing circuits turing-completeness

1

Pourquoi tous les solveurs SAT récents fonctionnent sur CNF au lieu du circuit SAT?

Après la sortie de la bibliothèque AIGER pour gérer les graphiques et les onduleurs en 2006 (je pense), certains solveurs SAT de circuits ont été publiés en 2006-2008, et dans quelques courses / compétitions SAT, il y avait des pistes AIG. Cependant, depuis lors, il semble que l'accent ait été …

18 satisfiability circuits sat-solvers

1

Quelles langues non régulières sont dans ?

Par exemple, je sais que la langue non régulière est en . J'aimerais en savoir plus d'exemples comme celui-ci.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory regular-languages circuits

1

Comment comprendre le verrou SR

Je ne peux pas comprendre comment fonctionne le verrou SR. Apparemment, vous branchez une ligne d'entrée de R, et une autre de S, et vous êtes censé obtenir des résultats dans et Q ' .QQQQ′Q′Q' Cependant, les deux R et S nécessitent une entrée de la sortie de l'autre, et …

10 circuits sequential-circuit

1

Pourquoi P et P / poly ne sont-ils pas trivialement les mêmes?

La définition de P est un langage qui peut être décidé par un algorithme de temps polynomial. La définition de P / poly peut être interprétée comme signifiant un langage qui peut être décidé par un circuit de taille polynomiale (voir http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Maintenant, pourquoi un circuit de taille polynomiale …

10 complexity-theory time-complexity circuits

1

Les circuits de profondeur 2 avec portes OR et MOD ne sont pas universels?

Il est bien connu que chaque fonction booléenne peut être réalisée en utilisant un circuit booléen de profondeur 2 (sur les variables, leur négation et leurs valeurs constantes) contenant des portes ET au premier niveau et une seule porte OU au niveau supérieur; c'est simplement la représentation DNF de .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to …

9 complexity-theory logic circuits

3

Le test d'identité polynomiale sur des expressions * arithmétiques * n'est-il pas trivial?

Tests d'identité polynomiale est l'exemple type d'un problème connu pour être co-RP mais pas connu pour être en P . Sur les circuits arithmétiques , cela semble en effet difficile, car le degré du polynôme peut être rendu exponentiellement grand par quadrature répétée. Cette question aborde la question de savoir …

8 randomized-algorithms polynomial-time circuits

1

Création de nots contrôlés plus importants à partir de portes qubit unique, Toffoli et CNOT, sans espace de travail

L'exercice 4.29 du calcul quantique et des informations quantiques de Nielsen et Chuang m'a déconcerté. Trouver un circuit contenant Toffoli, CNOT et des portes à qubit unique qui implémente une porte (pour ), en utilisant aucun qubits de travail.O (n2)O(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 J'ai compris que cela ne …

8 quantum-computing circuits

1

Circuits logiques combinatoires et théorie du calcul

J'essaie de relier les circuits logiques multinationaux (ordinateurs basés uniquement sur des portes logiques) avec tout ce que j'ai appris récemment dans la théorie du calcul. Je me demandais si les circuits logiques combinatoires peuvent implémenter des calculs de la même manière que les machines à états finis. Ils semblent …

8 complexity-theory turing-machines computation-models circuits

3

Taille du circuit pour «au moins n entrées sont vraies»

Dis que tu as mmm entrées booléennes, et vous êtes donné un seuil nnn. Vous devez construire un circuit booléen qui est évalué à vrai si au moinsnnndes entrées vrai. Vous pouvez utiliser les portes ET, OU, NON ou XOR (limité au fan-in two, avec arbitraire fan-out). Asymptotiquement, comment pouvez-vous …

8 complexity-theory circuits

Questions marquées «circuits»