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 …
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 …
Discussion : J'ai passé un peu de temps récemment à apprendre différentes choses sur la complexité de la communication. Par exemple, je me suis familiarisé avec le chapitre pertinent d'Arora / Barak, j'ai commencé à lire certains articles et commandé le livre de Kushilevitz / Nisan. Intuitivement, je veux opposer …
Les langages foliaires sont une belle façon de définir uniformément de nombreuses classes de complexité. La plupart des classes de complexité sont généralement spécifiées par un modèle de calcul (par exemple, TM déterministe / randomisé) et une ressource liée (temps logarithmique, espace poly, etc.). Cependant, dans la formulation du langage …
Aujourd'hui à New York et dans le monde entier, l'anniversaire de Christos Papadimitriou est célébré. C'est une bonne occasion de poser des questions sur les relations entre la classe de complexité PPAD de Christos (et ses autres classes apparentées) et les ordinateurs quantiques. Dans son célèbre article de 1994, Papadimitriou …
Laissez un entier fonction d'une valeur telle que 2 F est en # P . S'ensuit-il que F est en # P ? Y a-t-il des raisons de croire qu'il est peu probable que cela tienne toujours? Des références que je devrais connaître?FFF2F2F2F#P#P\#PFFF#P#P\#P De façon assez surprenante, cette situation est …
Wikipédia a énuméré quatre problèmes qui sont en mais qui sont supposés être en dehors de P : factorisation entière; Logarithme discret; Simulation de systèmes quantiques; Calcul du polynôme de Jones à certaines racines de l'unité.B Q PBQPBQPPPP Existe-t-il d'autres problèmes de ce type?
Existe-t-il un exemple d'une classe de graphes pour laquelle le problème de coloration des sommets est en P mais l'ensemble indépendant est le problème est NP complet?
Y a-t-il des références qui fournissent des détails sur les limites inférieures du circuit pour des problèmes difficiles spécifiques survenant en cryptographie tels que l'affacturage entier, problème de logarithme discret premier / composite et sa variante sur un groupe de points de courbes elliptiques (et leurs variétés abéliennes de dimension …
EDIT au 2011/02/08: Après avoir trouvé et lu des références, j'ai décidé de séparer la question d'origine en deux questions distinctes. Voici la partie concernant UP vs NP, pour la partie classes syntaxiques et sémantiques, veuillez consulter Avantages pour les classes syntaxiques et sémantiques . N PUPUP\mathsf{UP} (le temps polynomial …
La parité et sont comme des jumeaux inséparables. Ou du moins, cela semble au cours des 30 dernières années. À la lumière du résultat de Ryan, il y aura un regain d'intérêt pour les petites classes.AC0AC0AC^0 Furst Saxe Sipser à Yao à Hastad sont toutes des restrictions de parité et …
La célèbre conjecture d'isomorphisme de Berman et Hartmanis dit que tous langages complets sont isomorphes en temps polynomiaux (p-isomorphes) les uns aux autres. La signification clé de la conjecture est qu'elle implique . Il a été publié en 1977, et une preuve à l'appui était que tous problèmes de complets …
Le zoo de complexité n'a pas grand-chose sur . Je recherche un joli problème qui se situe aux niveaux supérieurs de la hiérarchie, c'est-à-dire un problème dans mais dans .SCSC\mathsf{SC} † D T i m e S p a c e ( n O ( 1 ) , lg O …
Problème: on nous donne un ensemble de bâtons ayant tous des longueurs entières. La somme totale de leurs longueurs est n (n + 1) / 2. Pouvons-nous les casser pour obtenir des bâtons de taille en temps polynomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Étonnamment, la seule référence que …
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 …
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.