Questions sur les ressources spatiales des calculs en complexité de calcul ou algorithmes.
Cela pourrait être une question subjective plutôt que celle avec une réponse concrète, mais quand même. Dans la théorie de la complexité, nous étudions la notion de calcul efficace. Il y a des classes comme signifie polynomiale et L représente un espace de journal . Les deux sont considérés comme...
Définissez LOGLOG comme la classe de langues qui peut être calculée dans l'espace O (loglog n) par une machine de Turing déterministe (avec un accès bidirectionnel à l'entrée). De même, définissez NLOGLOG comme la classe de langues qui peut être calculée dans l'espace O (log log n) par une machine...
La connectivité ST est le problème de déterminer s'il existe un chemin dirigé entre deux sommets distincts et t dans un graphe dirigé G ( V , E ) . La question de savoir si ce problème peut être résolu dans l'espace de journalisation est un problème ouvert de longue date. C'est ce qu'on appelle le...
Tout d'abord, je m'excuse d'avance pour toute stupidité. Je ne suis en aucun cas un expert en théorie de la complexité (loin de là! Je suis un étudiant de premier cycle qui suit mon premier cours de théorie de la complexité) Voici ma question. Le théorème de Savitch indique maintenant que...
Il est bien connu que la connectivité st dirigée est complète en . Résultat percée Reingold a montré que undirected st-connectivité est en . La connectivité st dirigée planaire est connue pour être dans . Cho et Huynh ont défini un problème de sac à dos paramétré et ont présenté une hiérarchie de...
Il est clair que tout problème décidable dans un espace de log déterministe ( LLL ) s'exécute au maximum dans le temps polynomial ( PPP ). Il y a une multitude de classes de complexité entre LLL et PPP . Les exemples incluent NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i ,...
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Il est difficile de calculer la largeur de l'arbre NP. L' algorithme d' approximation le plus connu atteint le facteur .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Le théorème de Courcelle stipule que toute propriété de graphes...
Je me demande s'il y a une justification pour croire que ou pour croire que N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L On sait que . La littérature sur dérandomisation de R L est assez convaincant que R L = L . Quelqu'un connaît-il des articles ou des idées convaincants que N L ≠ L ?NL ⊂ L2NL⊂L2NL...
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...
Considérez la langue .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Il est connu que ne peut être reconnu par aucune machine de Turing à espace sublogarithmique alternatif (ATM) (Szepietowski, 1994) . (Il existe un guichet automatique utilisant un espace...
Immerman et Szelepcsenyi indépendamment prouvé que . En utilisant leur technique de comptage inductif, Borodin et al ont prouvé que S A C i est fermé sous complémentation, pour i > 0 . Avant le théorème de Reingold ( S L = L ), Nisan et Ta-Shma ont prouvé S L = c o S L , en utilisant des...
En général, la bande de requête d'un oracle compte pour la complexité spatiale d'une MT. Cependant, il semble plausible d'autoriser une bande oracle en écriture seule (comme celle utilisée dans les réductions d'espace L). Une telle construction est-elle utile? Cela donne-t-il des résultats...
USTCONN est le problème qui nécessite de décider s'il existe un chemin entre le sommet source et le sommet cible t dans un graphique G , où ils sont tous donnés dans le cadre de l'entrée.ssstttGGG Omer Reingold a montré que USTCONN est en L (doi: 10.1145 / 1391289.1391291 ). La preuve construit un...
Dans un article classique, Munro et Paterson étudient le problème de la quantité de stockage requise pour qu'un algorithme trouve la médiane dans un tableau trié de manière aléatoire. En particulier, ils se concentrent sur le modèle suivant: l'entrée est lue de gauche à droite pendant un nombre P...
Récemment, Watrous et al ont prouvé que QIP (3) = PSPACE un résultat remarquable. Ce fut pour moi un résultat surprenant pour le moins et cela m'a fait réfléchir ... Je me demandais si les ordinateurs quantiques pouvaient être simulés efficacement par les ordinateurs classiques. Serait-ce...
Il existe une multitude d'algorithmes qui peuvent analyser une grammaire sans contexte en temps . En utilisant la multiplication matricielle, on peut même aller plus vite asymptotiquement que cela.O ( n3)O(n3)O(n^3) Cependant, tous les algorithmes d'analyse syntaxique des CFG arbitraires que je...
Une distribution est dit ε -fool une fonction f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Et on dit qu'il trompe une classe de fonctions s'il trompe chaque fonction de cette classe. Il est connu que les espaces biaisés ϵ trompent la classe de parités sur les sous-ensembles. (voir...
Il est facile de voir que tout problème décidable dans un espace de log déterministe ( ) s'exécute au plus en temps polynomial ( ). De nombreux algorithmes connus de l'espace de journalisation (par exemple: connectivité st non dirigée, isomorphisme de graphe planaire) s'exécutent dans où est...
Le calcul quantique limité dans le temps est évidemment très intéressant. Qu'en est-il du calcul quantique limité dans l'espace? Je connais de nombreux résultats intéressants pour le calcul quantique avec des limites d'espace sublogarithmiques et divers types de modèles d'automates quantiques. D'un...
Nisan a prouvé dans "Générateurs aléatoires pour le calcul délimité par l'espace", qu'il existe un générateur pseudo-aléatoire qui "trompe" les calculs délimités par l'espace. Cette construction est-elle valable pour chaque oracle (au moins pour les requêtes non