La barrière des preuves naturelles de Razborov et Rudich déclare que sous des hypothèses cryptographiques crédibles, on ne peut pas espérer séparer NP de P / poly en trouvant des propriétés combinatoires de fonctions constructives, grandes et utiles. Il existe plusieurs résultats bien connus qui parviennent à échapper à la …
Les langages Dyck sont définis par la grammaire suivante S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sur l'ensemble des symboles { ( 1 , … , ( k , ) 1 , … , ) k } . Langues Intuitivement Dyck sont les langues de parenthèses équilibré de k genre différent. Par exemple, …
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd L'entrée Zoo pour TC0TC0\mathsf{TC^0} ne mentionne que la séparation entre la profondeur 2 et 3. Existe-t-il également une référence standard pour le fait que la hiérarchie AC0dACd0\mathsf{AC^0_d} ne s'effondre pas?
Le poidsd'une chaîne binaire est le nombre de uns dans la chaîne. Que se passe-t-il si nous sommes intéressés à calculer une fonction monotone sur des entrées avec quelques-unes?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n On sait que décider si un graphe a une -clique est difficile pour les circuits monotones (voir entre autres Alon Boppana, …
A C0AC0AC^0 est la classe des circuits de taille polynomiale à profondeur constante avec portes NON et portes fan-in ET et OR sans limite, où les entrées et les portes ont également une fanout sans limite. Considérons maintenant une nouvelle classe, appelons-la A C0b fACbf0AC^0_{bf} qui est comme A C0AC0AC^0 …
Razborov a prouvé que chaque circuit monotone qui calcule la fonction de correspondance parfaite pour les graphes bipartis doit avoir au moins portes (il l'a appelé "permanent logique"). Une meilleure borne inférieure pour le même problème a-t-elle été prouvée depuis lors? (disons ?) Pour autant que je me souvienne, ce …
En comptant les arguments, on peut montrer qu'il existe des polynômes de degré n dans 1 variable (c'est-à-dire quelque chose de la forme qui ont complexité du circuit n. De plus, on peut montrer qu'un polynôme comme nécessite au moins multiplications (vous en avez besoin juste pour obtenir un degré …
Quelle est la largeur d'arbre minimale d'un circuit sur pour calculer MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Ici MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} sort 1 si au moins la moitié de ses entrées sont 111 . Je ne me soucie que de la taille du circuit (doit être polynomial) et qu'une entrée ne doit être lue …
Supposons que notre entrée soit un binaire xxxet que nous sortir ⌊ x / c ⌋⌊x/c⌋⌊x/c⌋\lfloor x/c \rfloor , où ccc est un entier constant. Ce n'est qu'un changement si ccc est une puissance de deux, mais qu'en est-il des autres nombres? Pouvons-nous le faire avec un circuit à profondeur …
Je lis le fameux article Impagliazzo et Wigderson en 1997. Comme je suis nouveau dans ce domaine et que l'article est une version concise de la conférence, j'ai du mal à suivre leurs épreuves. En particulier, certains de leurs nouveaux théorèmes manquent de preuves. À ma connaissance, aucune version de …
J'ai quelques questions concernant la tromperie des circuits à profondeur constante. On sait que logO(d)(n)logO(d)(n)\log^{O(d)}(n) sens de l'indépendance est nécessaire pour tromper AC0AC0AC^0 circuits AC ^ 0 de profondeur ddd , où nnn est la taille de l'entrée. Comment peut-on le prouver? Puisque ce qui précède est vrai, tout générateur …
Quel genre de théorèmes de hiérarchie existe-t-il pour la profondeur du circuit? Des déclarations comme g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Considérons maintenant familles de circuits avec portes d'oracle - disons, , où A est une classe complexe de circuit contenant logspace avec accès oracle à une autre classe B , par des portes d'oracle annexés à la base de A . Existe-t-il des exemples pathologiques similaires dans …
Un théorème de produit direct, de manière informelle, dit que calculer instances d'une fonction est plus difficile que calculer une fois.f fkkkFffFff Les théorèmes typiques du produit direct (par exemple, le lemme XOR de Yao) examinent la complexité du cas moyen et soutiennent (très grossièrement) que ne peut pas être …
Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels, ils sont courants. Maintenant, modulo …
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.