Informatique théorique space-complexity

2

Meilleur espace actuel limite inférieure pour SAT?

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 …

22 cc.complexity-theory sat lower-bounds space-bounded space-complexity

3

Combien de temps pour reconnaître les palindromes dans l'espace logarithmique?

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 également …

20 cc.complexity-theory time-complexity space-complexity space-time-tradeoff

2

Quelle est la complexité spatiale du calcul des valeurs propres?

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 matière. Merci.

19 linear-algebra space-complexity

1

Relation quadratique entre espace non déterministe et espace déterministe?

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 …

16 cc.complexity-theory automata-theory space-bounded space-complexity

1

Compromis de l'approximation de l'espace

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 …

14 ds.algorithms graph-theory approximation-algorithms space-complexity

1

Le temps est-il quasi-polynomial dans PSPACE?

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 :)

14 cc.complexity-theory complexity-classes time-complexity space-complexity

1

Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme?

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) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Pour quelles fonctions h(n)h(n)h(n) est-il connu que: pour tout espace constructible f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) …

11 cc.complexity-theory space-bounded space-complexity advice-and-nonuniformity hierarchy-theorems

1

Le SAT à largeur limitée est-il décidable dans l'espace de journal?

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 facteur constant …

10 cc.complexity-theory sat treewidth space-complexity

Questions marquées «space-complexity»