Je cherche une preuve que la complexité de Kolmogorov n'est pas calculable en utilisant une réduction d'un autre problème non calculable. La preuve commune est une formalisation du paradoxe de Berry plutôt qu'une réduction, mais il devrait y avoir une preuve en réduisant quelque chose comme le...
Je crois que les réponses à cette question donnent des classes telles que pour tous les polynômes , il y a un problème dans la classe qui n'a pas de circuits de taille . Cependant, je pose des questions sur la taille du circuit .p ( n ) ωpppp(n)p(n)p(n)ω(n)ω(n)\omega \hspace{.02 in}(n)...
Wikipedia [1] déclare que la borne inférieure la plus connue pour la taille des preuves Frege est quadratique et qu'il n'y a pas de borne inférieure super-linéaire connue pour le nombre de lignes de preuves Frege. Des questions: 1) Quelle est la borne inférieure la plus connue pour le nombre de...
Soit une langue, et définissons par ssi . Je recherche une référence pour:L ⊆ A∗L⊆A∗L \subseteq A^*f L ( x , y ) = 1 x ⋅ y ∈ LFL: A∗× A∗→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}FL( x , y) = 1fL(x,y)=1f_L(x, y) = 1x ⋅ y∈ Lx⋅y∈Lx\cdot y \in L Proposition. est régulier si la...
Nous avons un problème et nous avons trouvé un algorithme qui semble être 2-nexptime. Je voudrais trouver des problèmes connus de 2-nexptime-complete afin de trouver une borne inférieure. J'ai trouvé dans la littérature principalement deux de ces problèmes: si PCP comme solution de taille...
Étant donné des générateurs puissants pour un groupe agissant sur des chaînes de bits de longueur et un élément , combien est-il difficile de calculer l'élément lexicographiquement minimal de , le orbite de en ?( G ≤ Sn, ∗ )(g≤Sn,∗)(G \leq S_n, *)nnns ∈ { 0 , 1 }ns∈{0,1}ns \in \{0, 1\}^nG ....
Que soit une classe de complexité et BP- C la contrepartie aléatoire de C défini de la même manière que BPP est défini par rapport à P . Plus formellement, nous fournissons polynomialement de nombreux bits aléatoires et nous acceptons une entrée si la probabilité d'accepter est supérieure à...
Quelle est la méthode d'approximation de Razborov? Quelqu'un peut-il donner un aperçu de haut niveau et l'intuition derrière
Je suis un chercheur qui travaille dans la théorie des algorithmes et de la complexité, j'utilise la complexité paramétrée dans une certaine mesure. Il me semble que les chercheurs en complexité paramétrée sont très actifs (je ne veux pas dire que d'autres ne le sont pas) en termes de nombre de...
Je suis curieux de savoir comment vous avez vu la non-uniformité être utile dans le calcul. Une façon est le caractère aléatoire, comme dans , et une autre est des tables de recherche qui sont utilisées pour montrer que toutes les langues ont des circuits non uniformes.B PP⊆ P/ polyBPP⊆P/polyBPP...
Pour de nombreux problèmes, l'algorithme avec la meilleure complexité asymptotique a un très grand facteur constant qui est caché par une grande notation O. Cela se produit dans la multiplication matricielle, la multiplication d'entiers (en particulier, le récent algorithme de multiplication...