Questions marquées «complexity»

2
S'effondre sous l'hypothèse que
Il est connu que si N P ⊆ P / P o l y alors la hiérarchie polynomiale se réduit à Σ P 2 et M A = A M .NP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM Quels sont les effondrements les plus forts qui se produisent si N E X P ⊆ …
2
Quelles sont exactement les classes FP, FNP et TFNP?
Dans son livre Computational Complexity , Papadimitriou définit le FNP comme suit: Supposons que est un langage dans NP . Par la proposition 9.1, il y a un décidable polynomial, relation polynomiale équilibré R L tel que pour toutes les chaînes x : Il y a une chaîne y avec …
13 complexity 
1
EXP-Complete Problems vs Subexponential Algorithms
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 …
1
Statut de PP-complétude de MAJ3SAT
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 # …
1
Problèmes 2-NEXPTIME-complete
Nous avons un problème et nous avons trouvé un algorithme qui semble être 2-nexptime. Je voudrais trouver des problèmes connus de 2-nexptime-complete afin de trouver une borne inférieure. J'ai trouvé dans la littérature principalement deux de ces problèmes: si PCP comme solution de taille inférieure à22n22n2^{2^n} et le problème du …
3
P / Poly vs classes de complexité uniformes
On ne sait pas si NEXP est contenu dans P / poly. En effet, prouver que NEXP n'est pas en P / poly aurait des applications en dérandomisation. Quelle est la plus petite classe uniforme C pour laquelle on peut prouver que C n'est pas contenu dans P / poly? …
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.