Dans les années 1980, Razborov a montré qu'il existait des fonctions booléennes monotones explicites (telles que la fonction CLIQUE) nécessitant de manière exponentielle de nombreuses portes ET et OU pour le calcul. Cependant, la base {AND, OR} sur le domaine booléen {0,1} n'est qu'un exemple d'un...
Ryan Williams vient d’afficher sa limite inférieure sur ACC , la classe de problèmes qui ont des circuits de profondeur constante avec des ouvertures et des portes sans bornes AND, OR, NOT et MOD_m pour tous les m possibles. Qu'est-ce qui rend les portes MOD_m si spéciales? Ils permettent de...
Je voudrais poser une question sur un cas particulier de la question « Décider si un circuit NC 0 donné calcule une permutation » par QiCheng qui est resté sans réponse. Un circuit booléen est appelé circuit NC 0 k si chaque porte de sortie dépend syntaxiquement d'au plus k portes d'entrée. (Nous...
Soit la fonction qui mappe un circuit s- porte C sur n bits et une chaîne de n bits x à C ( x ) . Supposons que les circuits sont codés comme une séquence acyclique d'affectations k : = g ( i , j ) où i , j , k sont des étiquettes de fils.C i r c u i t E v a ls ,
En termes simples: quelle est la correspondance entre les machines de Turing avec oracles et les familles de circuits uniformes avec oracles? Comment ces derniers sont-ils définis afin d'obtenir le même modèle de calcul, pour une machine Oracle Turing donnée? Cela peut être une question...
Soit la fonction majoritaire, c'est-à-dire f ( x ) = 1 si et seulement si ∑ n i = 1 x i > n / 2 . Je me demandais s'il y avait une preuve simple du fait suivant (par «simple», je veux dire ne pas compter sur la méthode probabiliste comme Valiant 84 ou sur les réseaux de tri; fournissant de...
J'examine des idées sur les algorithmes quantiques exacts. En particulier, je considère les limitations probables de , qui se compose de langages exactement décidables par des familles de circuits quantiques uniformes en temps polytemporaire sur un ensemble arbitraire de portes finies.E Q...