Questions marquées «cc.complexity-theory»

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

1
Théorème d'Adleman sur des demi-tours infinis?
Adleman a montré en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si une fonction booléenne fff de nnn variables peut être calculée par un circuit booléen probabiliste de taille MMM , alors fff peut également être calculé par un circuit booléen déterministe de taille polynôme en MMM et nnn ; en fait, …
1
Le «degré de difficulté de Rabin à calculer une fonction et un ordre partiel des ensembles récursifs»
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une notion de degré de difficulté de calcul est …
1
Réduction multiple la plus lente?
Lorsque nous voulons prouver qu'un est N P- complet, alors l'approche standard est de montrer à L une réduction de plusieurs un calculable en temps polynomial d'un problème N P- complet connu . Dans ce contexte, nous n'avons pas besoin d'une limite stricte sur la durée de la réduction. Il …
2
Problèmes complets naturels à des niveaux plus élevés de la -hierarchy
La hiérarchie est une hiérarchie de classes de complexité en complexité paramétrée, voir le Complexity Zoo pour les définitions. Une définition alternative définit utilisant la définissabilité pondérée de Fagin pour les logique du premier ordre, voir le manuel de Flum et Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Pour les classes les plus basses et …
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.