Questions marquées «cc.complexity-theory»

9
Littérature autour de NP vs EXPTIME

Même si ce n'est pas un point crucial, je ne vois aucune littérature autour de cette question. Y a-t-il des résultats de relativisation? Ne serait-il pas assez simple de prouver une inclusion stricte en adaptant le théorème de la hiérarchie temporelle non déterministe en explorant tous les chemins...

9
Permanent d'une matrice

AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Certaines restrictions pourraient être les cas suivants: Cas Seuls sont autorisés linéaire Fonctionnelles sous forme d' entrées...