capture l'idée d'une parallélisation efficace, et une interprétation de celui-ci est les problèmes qui peuvent être résolus dans le temps O ( log c n ) en utilisantdes processeurs parallèles O ( n k ) pour certaines constantes c , k . Ma question est de savoir s'il existe une …
Je suis curieux au sens large de ce que l'on sait des algorithmes de parallélisation en P. J'ai trouvé l'article wikipedia suivant sur le sujet: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'article contient la phrase suivante: On ne sait pas si NC = P, mais la plupart des chercheurs soupçonnent que cela est faux, ce …
(Von Neumann a donné un algorithme qui simule une pièce équitable donnant accès à des pièces biaisées identiques. L'algorithme nécessite potentiellement un nombre infini de pièces (bien qu'en attente, un nombre fini suffira). Cette question concerne le cas où le nombre de lancers autorisés est délimité.) Supposons que nous ayons …
Quelle est la relation entre les algorithmes ADN et les classes de complexité définies à l'aide des machines de Turing? À quoi correspondent les mesures de complexité comme le temps et l'espace dans les algorithmes ADN? Peuvent-ils être utilisés pour résoudre des cas de problèmes NP-complets comme TSP que les …
Préambule Les systèmes de preuve interactifs et les protocoles Arthur-Merlin ont été introduits par Goldwasser, Micali et Rackoff et Babai en 1985. Au début, on pensait que le premier était plus puissant que le second, mais Goldwasser et Sipser ont montré qu'ils avaient le même pouvoir ( en ce qui …
Nous connaissons beaucoup les limites des circuits (taille polynomiale) à profondeur constante. Étant donné que les formules à profondeur constante (taille polynomiale) sont un modèle de calcul encore plus restreint, tous les problèmes connus pour ne pas être en AC 0 ne sont pas non plus calculables par une formule …
Une preuve de séparation de classes de complexité utilise l'uniformité des classes de complexité essentiellement si la preuve ne prouve pas le résultat pour une version non uniforme, par exemple les preuves basées sur la diagonalisation (comme les théorèmes de hiérarchie temporelle et spatiale) font un usage essentiel de l'uniformité …
Motivé par la réponse de Shor liée à différentes notions de NP-complétude, je recherche un problème qui est NP-complet sous les réductions de P mais qui n'est pas connu pour être NP-complet sous les réductions de Logspace (de préférence depuis longtemps). De plus, est-il plus difficile de trouver des réductions …
SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : |w| = n\}nnnT(w)T(w)T(w)AAAwwwAAAfn=maxw∈I(n)T(w).fn=maxw∈I(n)T(w). f_n = \max_{w \in I(n)} T(w). Définissons maintenant les ensembles de toutes les entrées avec la complexité de Kolmogorov , et définissons la séquence Ici est la séquence de temps de fonctionnement moyen pour , sauf lorsque la "taille" des entrées …
László Babai a récemment prouvé que le problème d'isomorphisme des graphes est en temps quasi-polynomial . Voir également son exposé à l'Université de Chicago, note des exposés de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Selon le théorème de Ladner, si P≠NPP≠NPP \neq …
Rappelons le nombre de nombres premiers est la fonction de décompte des nombres premiers . Par "PRIMES in P", le calcul est en #P. Le problème # P-est-il complet? Ou, peut-être, il y a une raison complexe de croire que ce problème n'est pas # P-complet? π(n)π(n)\pi(n)≤n≤n\le nπ ( n …
Disons qu'un langage est de densité P proche s'il existe un algorithme de temps polynomial qui décide correctement sur presque toutes les entrées.LLLLLLL En d'autres termes, il existe un P , tel que disparaît, ce qui signifie Cela signifie également que sur une entrée aléatoire uniforme, l'algorithme de polytime pour …
L'apparence apparemment inutile de l'extraction de crypto-monnaie a soulevé la question d'alternatives utiles, voir ces questions sur Bitcoin , CST , MO . Je me demande s'il existe un algorithme qui peut convertir pratiquement n'importe quel défi de calcul CC\mathcal C (dont la solution peut être vérifiée efficacement) en un …
Il est bien connu que les palindromes peuvent être reconnus en temps linéaire sur des machines de Turing à bandes, mais pas sur des machines de Turing à bande unique (auquel cas le temps nécessaire est quadratique). L'algorithme de temps linéaire utilise une copie de l'entrée et utilise donc également …
(Cette question est un peu une "enquête".) Je travaille actuellement sur un problème où j'essaie de partitionner les bords d'un tournoi en deux ensembles, qui sont tous deux nécessaires pour remplir certaines propriétés structurelles. Le problème "semble" assez difficile, et je m'attends à ce que ce soit NPNP\mathcal{NP} -complete.For une …
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.