Théorie de la complexité structurelle
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que...
De nombreux résultats importants dans la théorie de la complexité computationnelle, et en particulier la théorie de la complexité "structurelle", ont la propriété intéressante de pouvoir être compris comme suivant fondamentalement (comme je le vois ...) des résultats algorithmiques donnant un...
Taquin Étant donné que le problème est assez long, voici un cas spécial qui capture son essence. Problème: Soit A un algorithme detrministique pour 3-SAT. Est le problème de la simulation complète de l'algorithme A (sur chaque instance du problème). P-Space dur? (Plus précisément, y a-t-il des...
Contexte Il est connu qu'il existe un oracle AAA de telle sorte que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . On sait même que la séparation tient par rapport à un oracle aléatoire. De manière informelle, on peut interpréter cela comme signifiant qu'il existe de nombreux oracles pour...
On ne sait pas si isomorphisme de graphes (IG) pour les graphiques fortement réguliers (SRGS) est en P . Y a-t-il des indices qu'il pourrait ou non être GI- Complet? Y a-t-il des conséquences importantes dans de tels cas? (Similaire à la croyance que l'IG peut ne pas être
Dans nos travaux récents, nous résolvons un problème de calcul qui s'est posé dans un contexte combinatoire, en supposant que , où ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} est la version E X P de ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Le seul papier sur...
Deux documents que j'inclus sont: D. Kozen, "Indexation des classes subrécursives" , STOC, 1978. R. Ladner, «Sur la structure de la réductibilité du temps polynomial» , JACM, 1975.
Pour tout langage arbitraire NP complet, existe-t-il toujours un surensemble de polytimes dont le complément est également infini? Une version triviale qui ne stipule pas que le sur-ensemble a un complément infini a été demandée à /cs//q/50123/42961 Aux fins de cette question, vous pouvez supposer...
La densité d'un langage est une fonction définie comme Supposons et sont des langues sur un alphabet fini, grand nombre-un logspace réduit à et ne sont pas dans . Les fonctions sont polynomiales s'il y a des polynômes et tels que pour tout , etXXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to...
Est-ce que implique
Soit la classe de langages décidée en alternant les machines de Turing qui s'arrêtent dans le temps f ( n ) en utilisant l'espace g ( n ) . Soit A A L T S P ( f ( n ) , g ( n ) ) la classe de langages décidée en alternant les machines de Turing qui cessent d'utiliser f (A T I S P (f( n ) , g( n )...