Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

1
Analyse lissée des algorithmes d'approximation
L'analyse lissée a été appliquée à plusieurs reprises pour comprendre le temps d'exécution d'algorithmes exacts pour de nombreux problèmes comme la programmation linéaire et les k-means. Il existe des résultats assez généraux dans ce domaine, par exemple Heiko Röglin et Berthold Vöcking, Smoothed analysis of integer programming , 2005. Certains …
1
Théorème de Schaefer et CSP de largeur illimitée
Le théorème de dichotomie de Schaefer montre que chaque problème de CSP sur est soit résoluble en temps polynomial, soit NP-complet. Cela s'applique uniquement aux problèmes CSP de largeur limitée, à l'exclusion de SAT et Horn-SAT, par exemple. Les problèmes CSP généraux de largeur illimitée peuvent être très difficiles (même …
1
Solveurs NP optimaux
Fixer un problème de recherche NP-complet, par exemple le formulaire de recherche de SAT. La recherche de Levin fournit un algorithme L pour résoudre X qui est optimal dans un certain sens. Plus précisément, l'algorithme est "Exécute tous les programmes P possibles en queue d'aronde sur l'entrée x , une …
1
Résultats négatifs sur l'approche de particules identiques au problème d'isomorphisme graphique (GI)
Il y a eu quelques efforts pour attaquer le problème d'isomorphisme des graphes en utilisant la marche aléatoire quantique des bosons à noyau dur (symétrique mais sans double occupation). La puissance symétrique de la matrice d'adjacence, qui semblait prometteuse, s'est révélée incomplète pour les graphiques généraux dans cet article par …
1
Les algorithmes quantiques à accélération exponentielle peuvent-ils être redéfinis à l'aide de programmes étendus?
L'adversaire général de la borne inférieure est désormais connu pour caractériser la complexité des requêtes quantiques grâce aux travaux révolutionnaires de Reichardt et al. La même ligne de travail établit également des connexions avec le cadre du programme span pour concevoir des algorithmes quantiques. De nombreux algorithmes quantiques intéressants, y …
2
Complexité de l'espace pour calculer l'alignement optimal des chaînes pour la distance d'édition de Levenshtein
Si on nous donne deux chaînes de taille et , le calcul standard de la distance d'édition de Levenshtein se fait par un algorithme dynamique avec la complexité temporelle et la complexité spatiale . (Certaines améliorations peuvent être apportées en fonction de la distance de montage , mais nous ne …
3
AM / MA et NP par analogie avec P et BPP
Arora et Barak montrent que peut être exprimé comme c'est-à-dire l'ensemble des langues qui ont des réductions aléatoires à 3SAT. est également une généralisation aléatoire naturelle de en ce que vous remplacez le vérificateur déterministe par un vérificateur aléatoire.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Existe-t-il un sens dans lequel l'un d'entre eux est plus …
2
Réduire les questions de seuil aux questions de finitude
Il est généralement plus simple de raisonner sur le calcul où la limitation est la finitude du calcul plutôt qu'un seuil comme "calculable en temps polynomial". Dans la théorie des langages formels par exemple, plutôt d'utiliser le ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n pour caractériser le monoïde apériodique, il est plus …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.