Dans le problème d'extensibilité, on nous donne une partie de la solution et nous voulons décider si nous pouvons l'étendre à une solution complète. Certains problèmes d'extensibilité peuvent être résolus efficacement tandis que d'autres problèmes d'extensibilité transforment un problème facile en un problème difficile. Par exemple, le théorème de Konig-Hall …
Étant donné un algorithme fonctionnant au temps , nous pouvons le convertir en une famille de circuits uniformes "triviaux" pour le même problème de taille au plus ≈ t ( n ) log t ( n ) .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) D'un autre côté, il se pourrait que nous ayons des …
Contexte: La complexité de l'arbre de décision ou la complexité des requêtes est un modèle de calcul simple défini comme suit. Soit F: { 0 , 1 }n→ { 0 , 1 }F:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\} une fonction booléenne. La complexité de requête déterministe de FFf , notée D ( f)ré(F)D(f) , …
J'ai une réduction du problème de partition suivant à un certain problème de planification: Entrée: Une liste une1⩽ ⋯ ⩽ anune1⩽⋯⩽unena_1\leqslant\cdots\leqslant a_n d'entiers positifs dans l'ordre non décroissant. Question: Existe-t-il un vecteur ( x1, … , Xn) ∈ { - 1 , 1 }n(X1,…,Xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n tel que ∑i = 1nunejeXje= 0et∑je=1nunejeXje=0et\sum_{i=1}^na_ix_i=0\qquad\text{and} …
J'étudie récemment le modèle de calcul BSS (cf. par exemple Complexité et calcul réel; Blum, Cucker, Shub, Smale.) Pour les réels , on montre que, étant donné un système de polynômes f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] , …
Le titre est un peu trompeur: mais j'espère que la question n'est pas: Grønlund et nouveau résultat Pettie montrant que 3sum a seulement la complexité de l' arbre de décision m'a demander:O ( n3 / 2)O(n3/2)O(n^{3/2}) Y a-t-il un exemple simple d'un problème avec une complexité d'arbre de décision de …
Soit la fonction majoritaire, c'est-à-dire f ( x ) = 1 si et seulement si ∑ n i = 1 x i > n / 2 . Je me demandais s'il y avait une preuve simple du fait suivant (par «simple», je veux dire ne pas compter sur la méthode …
Une question récente (voir les conséquences de NP = PSPACE ) a demandé des conséquences "désagréables" de . Les réponses liste assez peu de conséquences de l' effondrement, y compris N P = c o N P et d' autres, en fournissant beaucoup de raisons de croire N P ≠ …
Les éléments suivants peuvent-ils tous tenir simultanément? LsLsL_s est contenu dansLs+1Ls+1L_{s+1} pour tous les entiers positifssss . { 0 , 1 }L=⋃sLsL=⋃sLsL = \bigcup_s L_s est la langue de tous les mots finis sur .{0,1}{0,1}\{0,1\} Il y a une classe de complexité et une notion de réduction appropriée pour telle …
Soit une matrice A avec des entrées rationnelles. Quelle est la complexité de vérifier que A est diagonalisable?n × nn×nn\times nUNEUNEAUNEUNEA Je soupçonne que cela peut être fait en P, mais je ne connais aucune référence. Cependant, une question plus intéressante est: existe-t-il une meilleure classe de complexité pour capturer …
De manière informelle, les fonctions unidirectionnelles sont définies par rapport aux algorithmes PTIME. Ils sont calculables en temps polynomial mais non inversibles en temps polynomial moyen. L'existence de telles fonctions est un problème ouvert important en informatique théorique. Je m'intéresse aux fonctions unidirectionnelles (pas nécessairement pour les applications cryptographiques) définies …
Soit une fonction booléenne de n variables booléennes. Soit g ( x ) = T ϵ ( f ) ( x ) la valeur attendue de f ( y ) lorsque y est obtenu à partir de x en inversant chaque coordonnée avec la probabilité ϵ / 2 .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) …
Le problème de partition est faiblement NP-complet car il a un algorithme de temps polynomial (pseudo-polynomial) si les entiers d'entrée sont délimités par un polynôme. Cependant, la partition 3 est un problème fortement NP-complet même si les entiers d'entrée sont délimités par un polynôme. En supposant, , pouvons-nous prouver que …
Rappelons que la largeur d'une résolution réfutation RRR d'une formule CNF FFF est le nombre maximal de littéraux dans une clause se produisant dans RRR . Pour chaque www , il existe des formules insatisfaisantes FFFdans 3-CNF st chaque réfutation de résolution de FFF nécessite une largeur d'au moins www …
Il est facile de voir que si alors il y a des problèmes de recherche totaux qui ne peuvent pas être résolus en temps polynomial (créer un problème de recherche total en ayant à la fois les témoins d'appartenance et les témoins de non-adhésion).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} L'inverse est-il également vrai, …
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.