Questions marquées «circuit-complexity»

La complexité des circuits est l'étude des circuits liés aux ressources et des fonctions calculées par ces circuits.

1
Dimension VC des polynômes sur semirings tropicaux?
Comme dans cette question, je suis intéressé par le problème vs / pour les circuits tropicaux et (\ min, +) . Cette question se réduit à montrer les limites supérieures de la dimension VC des polynômes sur les semirings tropicaux (voir le théorème 2 ci-dessous). BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) Soit RRR un …
1
Complexité du circuit arithmétique monotone des polynômes symétriques élémentaires?
Le kkk -ième polynôme symétrique élémentaire est la somme de tous produits de variables distinctes. Je m'intéresse à la complexité du circuit arithmétique monotone de ce polynôme. Un algorithme de programmation dynamique simple (ainsi que la figure 1 ci-dessous) donne un circuit avec des portes .Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) Question: une limite inférieure …
2
Régulier contre TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} Y a-t-il un candidat pour un problème dans qui n'est pas dans ?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} Y a-t-il un résultat conditionnel impliquant que , par exemple si puis ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
1
Quelle est la profondeur minimale requise des réductions pour la dureté NP du SAT?
Comme tout le monde le sait, le SAT est complet pour les réductions de plusieurs P de rapport au temps polynomial. Elle est toujours complète par rapport aux réductions multiples de A C 0 .N PNP\mathsf{NP}A C0UNEC0\mathsf{AC^0} Ma question est quelle est la profondeur minimale requise pour les réductions? Plus …
1
Transformation Beigel-Tarui des cricuits ACC
Je lis l'annexe sur les limites inférieures de l'ACC pour NEXP dans le livre Arora et Barak's Computational Complexity . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf L'un des lemmes clés est une transformation des circuits ACC0ACC0ACC^{0} en polynômes multilinéaires sur les entiers avec un degré polylogarithmique et des coefficients quasipolynomiaux, ou équivalents , la classe …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.