Je suis intéressé par une fonction booléenne explicite avec la propriété suivante: si est constant sur un sous-espace affine de , alors la dimension de ce sous-espace est .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Il n'est pas difficile de montrer qu'une fonction symétrique ne satisfait pas cette propriété en considérant un …
Je m'intéresse au problème suivant: étant donné un ensemble X et des sous-ensembles X_1, ..., X_n de X, trouver une coloration des éléments de X avec k couleurs de telle sorte que les éléments de chaque X_i sont tous de couleurs différentes. Plus précisément, je regarde le cas où tous …
La parité-P est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation" (plutôt qu'un nombre nul ou non nul de chemins d'acceptation). Ainsi la parité-P est essentiellement PP jeune frère rabougris de: en PP …
Définissez la complexité gaussienne d'une matrice comme le nombre minimal d'opérations élémentaires de ligne et de colonne nécessaires pour amener la matrice sous une forme triangulaire supérieure. Il s'agit d'une quantité comprise entre 0 et n 2 (via élémination gaussienne). La notion prend tout son sens dans n'importe quel domaine.n×nn×nn …
Il est bien connu que les ordinateurs quantiques sont strictement plus puissants que leurs homologues classiques en termes de complexité des requêtes . Existe-t-il d'autres modèles (naturels ou artificiels) qui se situent strictement entre le quantique et le classique en termes de complexité des requêtes? La séparation peut être activée …
Je viens de lire la question " La factorisation des nombres entiers est-elle un problème NP-complet? " ... alors j'ai décidé de dépenser une partie de ma réputation :-) en posant une autre question ayant :P ( Q est trivial ) ≈ 1QQQP( Q est trivial ) ≈ 1P(Q est …
Quels sont les principaux problèmes de complexité de calcul ouverts qui découlent des langages de programmation, en particulier l'analyse et la compilation de programmes? Je recherche des problèmes du type "la complexité temporelle de l'inférence de type Hindley-Milner" ou "la complexité temporelle de 0CFA" (bien que les deux soient des …
Est-il possible de convertir un CNFCC\mathcal C en un autre CNF tel queΨ(C)Ψ(C)\Psi(\mathcal C) La fonction peut être calculée en temps polynomial à partir d'un paramètre aléatoire secret r .ΨΨ\Psirrr a une solution si et seulement si C a une solution.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Toute solution de Ψ ( C ) …
Un circuit booléen non déterministe possède, en plus des entrées ordinaires , un ensemble d'entrées "non déterministes" . Un circuit non déterministe accepte l'entrée s'il existe tel que la sortie du circuit sur . Analogue à (la classe de langues décidables par des circuits de taille polynomiale), peut être définie …
Contexte Il est connu qu'il existe un oracle AAA de telle sorte que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . On sait même que la séparation tient par rapport à un oracle aléatoire. De manière informelle, on peut interpréter cela comme signifiant qu'il …
Considérez ce problème: étant donné une liste d'ensembles finis, recherchez un ordre qui minimise .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Existe-t-il des algorithmes connus pour cela? Quelle est sa complexité? Je n'ai pas encore pu penser à un algorithme optimal …
Il est bien connu que de nombreux problèmes NP-complets présentent une transition de phase. Je m'intéresse ici à la transition de phase par rapport au confinement dans le langage, plutôt qu'à la dureté de l'entrée, par rapport à un algorithme. Pour rendre le concept sans ambiguïté, définissons-le formellement comme suit. …
Étant donné le groupe de symétrie et deux sous-groupes et , ? G , H ≤ S n π ∈ S n G π ∩ H = ∅SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Pour autant que je sache, le problème est connu sous le nom de problème d'intersection de coset. Je …
On sait que la taille minimale des U_2 calculant la fonction de parité est exactement égale à . La preuve de la borne inférieure est basée sur la méthode d'élimination des portes.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Récemment, j'ai remarqué que la méthode d'élimination de porte fonctionne bien également pour …
L'article "Algorithmes sous-quadratiques pour 3SUM", par Ilya Baran, Erik D. Demaine, Mihai Patrascu a la complexité suivante pour le Problème 3SUM: étant donné une liste LLL de nnn entiers s'il y a x,y,z∈Lx,y,z∈Lx,y,z \in L tels que x+y=z.x+y=z.x+y=z. w−w−w-A C 0 O ( n 2 / w 2 log w …
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.