Questions marquées «reference-question»

Réservé - ne doit pas être utilisé pour la plupart des nouvelles questions. Questions à large portée sur les méthodes et concepts généraux, tels que les méthodes de preuve, les outils d'analyse d'algorithmes ou les bases de l'architecture informatique. Ce n'est pas pour les questions demandant des références, c'est-à-dire des livres ou des articles.

6
Tri des fonctions par croissance asymptotique
Supposons que j'ai une liste de fonctions, par exemple nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Comment puis-je les trier asymptotiquement, c'est-à-dire après la relation définie par f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , en supposant qu'ils soient effectivement comparables deux à deux (voir aussi …
2
Comment prouver qu'une langue est hors contexte?
Il existe de nombreuses techniques pour prouver qu'une langue n'est pas sans contexte, mais comment puis-je prouver qu'une langue est sans contexte? Quelles techniques existe-t-il pour le prouver? De toute évidence, une façon consiste à présenter une grammaire sans contexte pour la langue. Existe-t-il des techniques systématiques pour trouver une …
1
Comment écrire une épreuve par induction sur la longueur de la chaîne d'entrée?
Dans mon cours de théorie de l'informatique, beaucoup de nos problèmes impliquent l'utilisation de l'induction sur la longueur de la chaîne d'entrée pour prouver les déclarations sur les automates finis. Je comprends l'induction mathématique, mais lorsque les cordes entrent en jeu, je suis vraiment déclenché. J'apprécierais vraiment que quelqu'un passe …
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.