Informatique théorique circuit-families

3

Limites inférieures du circuit sur des ensembles arbitraires de portes

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 ensemble de portes intéressant …

40 lower-bounds circuit-complexity circuit-families

3

Pourquoi les portes mod_m sont-elles intéressantes?

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 …

39 cc.complexity-theory circuit-complexity big-picture circuit-families

2

Décider si un circuit NC calcule ou non une permutation

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 …

27 cc.complexity-theory open-problem permutations circuit-families

1

Classification des portes réversibles

Le réseau de Post , décrit par Emil Post en 1941, est essentiellement un diagramme d'inclusion complet d'ensembles de fonctions booléennes qui sont fermées sous composition: par exemple, les fonctions monotones, les fonctions linéaires sur GF (2) et toutes les fonctions. (Post n'a pas supposé que les constantes 0 et …

22 circuit-families

1

Petits circuits pour problème d'évaluation de circuit

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 …

14 cc.complexity-theory circuit-complexity circuit-families

3

Complexité du circuit de la fonction majoritaire

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 …

13 cc.complexity-theory circuit-complexity boolean-functions circuit-families circuit-depth

1

Circuits avec oracles vs Machines de Turing avec oracles

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 élémentaire, mais il n'est pas …

13 cc.complexity-theory turing-machines oracles circuit-families

1

Existe-t-il un ensemble de portes unitaires finies qui peut réaliser exactement tous les QFT d'ordre ?

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 PEQP\mathsf{EQP} La transformée de Fourier quantique (QFT), donnée …

11 quantum-computing circuit-families

Questions marquées «circuit-families»