En utilisant l'algorithme de report prospectif, nous pouvons calculer l'addition en utilisant une profondeur de taille polynomiale 5 (ou 4?) famille de circuits C 0 . Est-il possible de réduire la profondeur? Peut-on calculer l'addition de deux nombres binaires en utilisant une famille de circuits...
Supposons qu'un graphe à n sommets soit présenté comme un flux de m arêtes, mais plusieurs passes sont autorisées sur le flux.gGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan et Sridar Rajagopalan ont observé que l' espace est nécessaire pour déterminer s'il existe un chemin entre deux sommets...
[Remarque: je crois que cette question ne dépend en aucune façon de l'exactitude ou de l'inexactitude du document de Deolalikar.] Sur le blog de Scott Aaronson Shtetl Optimized , dans la discussion sur la récente tentative de Deolalikar sur P vs NP, Leonid Gurvits a fait le commentaire suivant :...
La parité et sont comme des jumeaux inséparables. Ou du moins, cela semble au cours des 30 dernières années. À la lumière du résultat de Ryan, il y aura un regain d'intérêt pour les petites classes.AC0AC0AC^0 Furst Saxe Sipser à Yao à Hastad sont toutes des restrictions de parité et aléatoires....
Contexte: Considérons le modèle habituel à deux parties de la complexité de la communication où Alice et Bob reçoivent des chaînes de nnn bits Xxx et yyy et doivent calculer une fonction booléenne F( x , y)f(x,y)f(x,y) , où F: { 0 , 1 }n× { 0 , 1 }n→ { 0 , 1 }f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times...
USTCONN est le problème qui nécessite de décider s'il existe un chemin entre le sommet source et le sommet cible t dans un graphique G , où ils sont tous donnés dans le cadre de l'entrée.ssstttGGG Omer Reingold a montré que USTCONN est en L (doi: 10.1145 / 1391289.1391291 ). La preuve construit un...
EDIT (22 août 2011): Je simplifie encore la question et je mets à contribution la question. Peut-être que cette question plus simple aura une réponse facile. Je vais également biffer toutes les parties de la question initiale qui ne sont plus pertinentes. (Merci à Stasys Jukna et Ryan O'Donnell...
Considérons le langage composé de toutes les chaînes de k lettres sur Σ de telle sorte qu'il n'y ait pas deux lettres égales:Lk−distinctLk−distinctL_{k-distinct}kkkΣΣ\Sigma Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct}...
Je pense qu'un théorème de hiérarchie des tailles pour la complexité des circuits peut être une percée majeure dans le domaine. Est-ce une approche intéressante de la séparation des classes? La motivation de la question est que nous devons dire il existe une fonction qui ne peut pas être calculée...
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...
Définissez la complexité gaussienne d'une matrice comme le nombre minimal d'opérations élémentaires de ligne et de colonne nécessaires pour amener la matrice sous une forme triangulaire supérieure. Il s'agit d'une quantité comprise entre 0 et n 2 (via élémination gaussienne). La notion prend tout...
L'article de Fischer ce mois-ci m'a rappelé à quel point je connaissais mal l'art des structures de données succinctes et les algorithmes pour les utiliser. Pour ceux qui ne connaissent pas les structures de données succinctes: Étant donné une structure combinatoire, avec une (n) configurations...
La borne inférieure Blum est la borne inférieure du circuit la plus connue sur la base complète d'une fonction explicite , cf. Réponse de Jukna à cette question pour des résultats connexes.f : { 0 , 1 } n → { 0 , 1 }3 n - o ( n )3n-o(n)3n-o(n)F: { 0 , 1 }n→ { 0 , 1 }F:{0,1}n→{0,1}f : \{0,1\}^n \to...
La complexité des circuits en profondeur bornée est l'un des principaux domaines de recherche de la théorie de la complexité des circuits. Cette rubrique a des origines dans des résultats comme "la fonction de parité n'est pas dans " et "la fonction mod n'est pas calculée par ", où est la classe...
Quel est le nombre minimal de portes binaires nécessaires pour calculer ET et OU de bits d'entrée simultanément? La borne supérieure triviale est . Je pense que c'est optimal, mais comment le prouver? La technique d'élimination de porte standard ne fonctionne pas ici car en attribuant une constante...
J'ai récemment découvert une borne inférieure quadratique sur la complexité d'un problème dans le modèle d'arbre de décision, et je me demande si ce résultat pourrait être partiellement généralisé au modèle de machine à accès aléatoire. Par partiellement , je veux dire une généralisation aux...
La hauteur d'étoile (généralisée) d'une langue est l'imbrication minimale des étoiles de Kleene requise pour représenter la langue par une expression régulière étendue. Rappelons qu'une expression régulière étendue sur un alphabet fini satisfait ce qui suit:AAA (1) et a sont des expressions...
Contexte Une formule à lecture unique sur un ensemble de portes (également appelée base) est une formule dans laquelle chaque variable d'entrée apparaît une fois. Les formules à lecture unique sont communément étudiées sur la base de De Morgan (qui a les portes 2 bits ET et OU, et la porte 1 bit...
Ceci fait suite à cette question et est lié à cette question de Shiva Kinali. Il semble que les preuves dans ces articles ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) utilisent des théorèmes de hiérarchie. Je veux savoir si les preuves sont des théorèmes de diagonalisation "...
Chaque circuit arithmétique monotone , c'est-à-dire un circuit { + , × }{+,×}\{+,\times\} , calcule un polynôme multivarié avec des coefficients entiers non négatifs. Étant donné un polynôme , le circuitf ( x 1 , … , x n )F( x1, … , Xn)F(X1,…,Xn)F(x_1,\ldots,x_n)F( x1, … ,...