Suite à une question précédente , quelles sont les meilleures limites inférieures de l' espace actuel pour SAT? Avec une borne inférieure d'espace, je veux dire ici le nombre de cellules de bande de travail utilisées par une machine Turing qui utilise un alphabet binaire de bande de travail. Un...
Il est bien connu que les palindromes peuvent être reconnus en temps linéaire sur des machines de Turing à bandes, mais pas sur des machines de Turing à bande unique (auquel cas le temps nécessaire est quadratique). L'algorithme de temps linéaire utilise une copie de l'entrée et utilise donc...
Je recherche un document d'enquête ou un livre couvrant les résultats sur la complexité spatiale des opérations d'algèbre linéaire courantes telles que le classement matriciel, le calcul des valeurs propres, etc. est plus facile de tracer les résultats temporels. J'apprécie toute référence en la...
Le théorème de Savitch montre que pour toutes les fonctions suffisamment grandes f , et prouver que cela est serré est un problème ouvert depuis des décennies .N S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPUNECE(F(n))⊆réSPUNECE(F(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)FFf...
J'avais fait quelques recherches à ce sujet mais je n'ai pas pu trouver de réponse dans les deux cas. Huck y répondit pleinement. Merci
Dans leur article Approximate Distance Oracles , Thorup et Zwick ont montré que pour tout graphique non orienté pondéré, il est possible de construire une structure de données de taille qui peut renvoyer une ( 2 k - 1 ) approximative distance entre n'importe quelle paire de sommets dans le...
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) ,...
Elberfeld, Jakoby et Tantau 2010 ( ECCC TR10-062 ) se sont révélés une version peu encombrante du théorème de Bodlaender. Ils ont montré que pour les graphiques avec une largeur d'arbre au plus , une décomposition d'arbre de largeur k peut être trouvée en utilisant l'espace logarithmique. Le...