Questions marquées «space-complexity»

Analyses asymptotiques de l'espace nécessaire pour exécuter des algorithmes.

1
Réduction directe de à
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 …
1
Déduire les types de raffinement
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 …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
Qu'est-ce qu'un moyen compact de représenter une partition d'un ensemble?
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 encombrant de représenter une partition d'un ensemble? Voici …
3
La complexité spatiale de la reconnaissance des palindromes Watson-Crick
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 l'ADN: A est le complément de T et C …
4
Une langue dans NSPACE (O (n)) et très probablement pas dans DSPACE (O (n))
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 aussi le problème ouvert DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} n'est pas aussi célèbre que le problème "analogue": "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} …
2
Quelle est la complexité du calcul du coefficient de corrélation de rang de Spearman?
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 \sum_i(y_i-\bar{y})^2}} pour deux listes et y 1 , … , y n . Quelle est la complexité de l'algorithme?X1, … , XnX1,…,Xnx_1, \dots, …
2
Vous recherchez une implémentation d'ensemble avec une faible empreinte mémoire
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 ) et find(x)(vérifie si l'élément …
1
Existe-t-il un algorithme d'optimisation de la complexité spatio-temporelle des algorithmes?
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 implémentation du tri à bulles en entrée …
2
Pourquoi exige-t-on souvent une constructibilité de l'espace dans le théorème de Savitch?
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 preuve. Mais aucune …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.