Questions marquées «lower-bounds»

questions sur les limites inférieures des fonctions, généralement la complexité d'un algorithme ou un problème

1
Limites inférieures de la taille des CFG pour des langues finies spécifiques
Considérons la question naturelle suivante: étant donné un langage fini , quelle est la plus petite grammaire sans contexte générant ?LLLLLL Nous pouvons rendre la question plus intéressante en spécifiant une séquence de langues , par exemple est l'ensemble de toutes les permutations de : intuitivement, un CFG pour aurait …
2
Limites inférieures sur #SAT?
Le problème #SAT est le problème canonique # P-complete. C'est un problème de fonction plutôt qu'un problème de décision. Il demande, étant donné une formule booléenne dans la logique propositionnelle, combien d'affectations satisfaisantes F a. Quelles sont les meilleures limites inférieures sur #SAT?FFFFFF
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
Compression des informations sur le problème d'arrêt des machines Oracle Turing
Il est bien connu que le problème d'arrêt n'est pas calculable. Cependant, il est possible de "compresser" exponentiellement des informations sur le problème d'arrêt, de sorte que sa décompression soit calculable. Plus précisément, il est possible de calculer à partir d'une description de machines de Turing et d'un conseil à …
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 …
1
Complexité des circuits monotones des fonctions de calcul sur les entrées clairsemées
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, …
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.