Supposons que j'ai deux listes d'entiers positifs de manitude bornée et que je prenne le produit de tous les éléments de chaque liste. Quelle est la meilleure façon de déterminer quel produit est plus grand? Bien sûr, je peux simplement calculer chaque produit, mais j'espère qu'il existe une approche plus …
Que soit une classe de complexité et BP- C la contrepartie aléatoire de C définie comme BPP par rapport à P . Plus formellement, nous fournissons un nombre aléatoire de bits polynomial et nous acceptons une entrée si la probabilité d'accepter est supérieure à 2CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} On sait que pour …
Supposons que est un langage paramétré par rapport à un alphabet . La tranche de est , l'ensemble des instances de qui ont le paramètre . La classe de complexité contient les langages paramétrés tels que pour chaque , éventuellement avec un algorithme différent et un temps d'exécution polynomial lié …
Elberfeld, Jakoby et Tantau 2010 ( ECCC TR10-062 ) se sont révélés une version peu encombrante du théorème de Bodlaender. Ils ont montré que pour les graphiques avec une largeur d'arbre au plus , une décomposition d'arbre de largeur k peut être trouvée en utilisant l'espace logarithmique. Le facteur constant …
Y a-t-il eu des tentatives pour montrer que le caractère aléatoire de Kolmogorov serait suffisant pour RP ? La probabilité utilisée dans l'énoncé "Si la bonne réponse est OUI, alors elle (la machine probabiliste de Turing) renvoie OUI avec probabilité ..." serait-elle toujours bien définie dans ce cas? Ou y …
Les estimateurs biaisés sont utiles en statistique car ils peuvent optimiser l'erreur quadratique moyenne plus que ce qu'un estimateur non biaisé peut gérer . Je me demandais si en théorie CS il y avait des exemples très remarquables de l'utilisation efficace d'estimateurs biaisés. Je me rends compte que cette liste …
J'ai une langue dans laquelle les types sont déballés par défaut, avec l'inférence de type basée sur Hindley – Milner. Je voudrais ajouter un polymorphisme de rang supérieur, principalement pour travailler avec des types existentiels. Je pense que je comprends comment vérifier ces types, mais je ne sais pas quoi …
Dans le papier classique du calcul des constructions , il y a une règle qui dit (page 7 du pdf, page 101 du document original) Cette règle signifierait que tout contexte est réductible à un membre de ce contexte. Il semble que cela ne devrait pas être correct, car cela …
Le fait qu'un problème soit EXP-temps complet implique-t-il que n'est pas en ?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) Je sais que d'après le théorème de la hiérarchie temporelle, n'est pas inclus dans . Néanmoins, cela ne semble pas exclure immédiatement l'existence d'algorithmes de temps sous-exponentiels pour chaque problème EXP-complet , car lors de la réduction …
Soit un polynôme sur un champ fini fixe. Supposons qu'on nous donne la valeur de P sur un vecteur y ∈ { 0 , 1 } n et le vecteur y .P( x1, x2, … , Xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈ { 0 , 1 }ny∈{0,1}ny \in \{0,1\}^nyyy Nous voulons maintenant …
QUESTION COURTE: MAJ-3CNF est-il un problème PP-complet avec plusieurs réductions? VERSION PLUS LONGUE: Il est bien connu que MAJSAT (décider si la majorité des affectations de phrase propositionnelle satisfont la phrase) est PP-complet sous plusieurs réductions et #SAT est # P-complet sous réductions parcimonieuses. Il est également évident que # …
Je n'ai pas pu trouver dans la littérature une caractérisation précise de la disparition de l'écart de dualité SDP. Ou, quand la "forte dualité" tient-elle? Par exemple, quand on va et vient entre le Lasserre et le SOS SDP, on a en principe un écart de dualité. Cependant, d'une manière …
Ceci est inspiré par cette question. Soit la collection de tous les combinateurs qui n'ont que deux variables liées. La combinaison C est-elle complète?CC\mathcal{C}CC\mathcal{C} Je pense que la réponse est négative, mais je n'ai pas pu trouver de référence pour cela. Je serais également intéressé par des références pour des …
Permettez à une machine de Turing probabiliste d'avoir accès à une pièce de monnaie injuste qui génère des probabilités (les flips sont indépendants). Définissez comme la classe de langages reconnaissable par une telle machine en temps polynomial. Il s'agit d'un exercice standard pour prouver que:B P P ppppB PPpBPPpBPP_p A) …
Motivation L'autre jour, je voyageais dans la ville avec les transports en commun et j'ai inventé un problème de graphique intéressant modélisant le problème de trouver la connexion la plus courte entre deux endroits. Nous connaissons tous le "problème du chemin le plus court" classique: étant donné un graphe orienté …
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.