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
Évaluation du circuit
Est-il connu si le problème d'évaluation du circuit est dans N C 1 ? Que diriez-vous de A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Nous savons que les circuits de profondeur peuvent être évalués avec des circuits de profondeur k + c où c …
1
Théorème d'Adleman sur des demi-tours infinis?
Adleman a montré en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si une fonction booléenne fff de nnn variables peut être calculée par un circuit booléen probabiliste de taille MMM , alors fff peut également être calculé par un circuit booléen déterministe de taille polynôme en MMM et nnn ; en fait, …
2
S'effondre sous l'hypothèse que
Il est connu que si N P ⊆ P / P o l y alors la hiérarchie polynomiale se réduit à Σ P 2 et M A = A M .NP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM Quels sont les effondrements les plus forts qui se produisent si N E X P ⊆ …
2
Est-il possible d'utiliser des restrictions aléatoires pour obtenir une borne inférieure pour
Il existe plusieurs résultats bien connus de limites inférieures de taille de circuit basés sur des restrictions aléatoires et le lemme de commutation .AC0AC0\mathsf{AC^0} Pouvons-nous développer un résultat de lemme de commutation pour prouver une taille de borne inférieure pour circuits T C 0 (similaire aux preuves de borne inférieure …
1
Caractérisation de la complexité du circuit pour DLogTime et NLogTime
DLogTimeDLogTime\mathsf{DLogTime} etNLogTimeNLogTime\mathsf{NLogTime} sont deux des classes de complexité les plus petites que nous ayons. (Notez que la hiérarchie temporelle logarithmiqueLHLH\mathsf{LH} est égale àAC0AC0\mathsf{AC}^0 et ce sont les deux premiers niveaux deLHLH\mathsf{LH} ). Après avoir lu cette question , je deviens curieux de voir si la séparation entre ces deux classes …
2
SAT est-il un langage sans contexte?
J'examine le langage de toutes les formules logiques propositionnelles satisfaisantes, SAT (pour garantir qu'il ait un alphabet fini, nous encoderions les lettres propositionnelles d'une manière appropriée [modifier: les réponses ont souligné que la réponse à la question peut ne pas être robuste sous différents encodages, il faut donc être plus …
1
Les circuits arithmétiques sont-ils plus faibles que booléens?
Soit la taille minimale d'un circuit arithmétique (non monotone) calculant un polynôme multilinéaire et désignent la taille minimale d'un circuit booléen (non monotone) calculant la version booléenne de défini par: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq 0} x_i\,. Les polynômes connus pour lesquels est …
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.