Analyses asymptotiques de l'espace nécessaire pour exécuter des algorithmes.
Nous savons que la est dans par le théorème du théorème d' Immerman-Szelepcsényi et puisque la est par conséquent, la est un espace de journalisation multiple réductible à la . Mais y a-t-il une réduction directe / combinatoire qui ne passe pas par le graphe de configuration des machines de Turing...
Voici un problème bien connu. Étant donné un tableau A[1…n]A[1…n]A[1\dots n] d'entiers positifs, affichez le plus petit entier positif ne figurant pas dans le tableau. Le problème peut être résolu dans l' espace et le temps O(n)O(n)O(n) : lire le tableau, garder une trace dans l' espace...
Existe-t-il des algorithmes connus pour les problèmes formulés qui nécessitent une complexité SPACE de O (sqrt (N))? Je sais qu'il existe des algorithmes avec cette complexité temporelle
Étant donné deux chaînes, comment pouvez-vous vérifier si elles sont une permutation l'une de l'autre en utilisant l'espace O (1)? La modification des chaînes n'est en aucun cas autorisée. Remarque: espace O (1) par rapport à la longueur de la chaîne ET à la taille de
Il existe un algorithme de sélection le pire des cas bien connu pour trouver le k ième élément le plus grand dans un tableau d'entiers. Il utilise une médiane des-médianes approche pour trouver un pivot assez bon, les partitions du tableau d'entrée de en place, puis continue récursive en elle...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Il existe des structures de données efficaces pour représenter les partitions définies. Ces structures de données présentent de bonnes complexités temporelles pour des opérations telles que Union et Find, mais elles ne sont pas particulièrement économes en espace. Qu'est-ce qu'un moyen peu...
J'ai le problème algorithmique suivant: Déterminer l'espace Turing complexité de reconnaître les chaînes d'ADN qui sont des palindromes Watson-Crick. Les palindromes Watson-Crick sont des chaînes dont le complément inversé est la chaîne d'origine. Le complément est défini par lettre, inspiré de...
J'ai étudié le coefficient de corrélation de rang du Spearman .ρ = ∑je( xje- x¯) ( yje- y¯)∑je( xje- x¯)2∑je( yje- y¯)2-------------------√ρ=∑je(Xje-X¯)(yje-y¯)∑je(Xje-X¯)2∑je(yje-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2...
Il a été prouvé que le problème de décider si une entrée est un palindrome ou non nécessite un espace sur une machine de Turing. Cependant, même le stockage de l'entrée prend de l'espace cela ne signifie-t-il pas que toutes les machines Turing nécessitent de l'espace ?Ω ( logn...
En fait, j'ai trouvé que l'ensemble des langues contextuelles, CSLCSL\mathbf{CSL} ( =NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} langues acceptées) ne sont pas aussi largement discutées que REGREG\mathbf{REG} (langues régulières) ou CFLCFL\mathbf{CFL} (langues sans contexte). Et...
Comme l'indique la question, comment prouver que ?NTIME (f( n ) ) ⊆ ESPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Quelqu'un peut-il m'indiquer une preuve ou la décrire ici?
Je recherche l'implémentation du type de données défini. Autrement dit, nous devons maintenir un sous-ensemble dynamique SSS (de taille nnn ) à partir de l'univers de taille u avecuU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu opérations insert(x)(ajouter un élément xà SSS...
Dans les années 1950, un certain nombre de méthodes de minimisation des circuits pour les fonctions booléennes ont été inventées. Existe-t-il une extension de ces méthodes ou quelque chose de similaire pour optimiser la complexité temporelle ou spatiale des algorithmes? Par exemple, une...
Considérez le problème suivant: Soit une constante. On nous donne un tableau -ary de et . Soit .kkkkkkUNEré1× … ×rékAd1×…×dkA_{d_1\times\ldots\times d_k}000111N=∏ki = 1réjeN=∏i=1kdiN = \prod_{i=1}^k d_i Nous voulons créer une structure de données en prétraitant pour effectuer le type d'opérations...
Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la...