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.
Il y a beaucoup de questions sur la façon d'analyser le temps d' exécution des algorithmes (voir, par exemple, l' exécution d'analyse et d'analyse de l' algorithme ). Beaucoup sont similaires, par exemple ceux qui demandent une analyse des coûts des boucles imbriquées ou des algorithmes de division...
Convertir des expressions régulières en NFA (minimales) acceptant le même langage est facile avec des algorithmes standard, tels que celui de Thompson . L’autre direction semble être plus fastidieuse, cependant, et les expressions résultantes sont parfois désordonnées. Quels algorithmes existe-t-il...
Il y a beaucoup de tentatives pour prouver soit ou , et naturellement beaucoup de gens réfléchissent à la question, ayant des idées pour prouver la direction dans laquelle ils veulent aller.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Je sais qu'il a été prouvé...
Dans la plupart des classes d'introduction aux algorithmes, des notations telles que (Big O) et sont introduites, et un étudiant apprendra généralement à utiliser l'une de celles-ci pour rechercher la complexité temporelle.ΘOOOΘΘ\Theta Cependant, il existe d'autres notations, telles que , et ....
Normalement, dans les algorithmes, nous ne nous soucions pas de la comparaison, de l'addition ou de la soustraction de nombres - nous supposons qu'ils sont exécutés dans le temps . Par exemple, nous supposons cela lorsque nous disons que le tri basé sur la comparaison est O ( n log n ) , mais...
Les gens disent souvent que les analyseurs syntaxiques LR (k) sont plus puissants que les analyseurs syntaxiques LL (k) . Ces déclarations sont vagues la plupart du temps; en particulier, devrions-nous comparer les classes pour un fixe ou l'union sur tous les k ? Alors, comment est la situation...
Il existe de nombreuses méthodes pour prouver qu'une langue n'est pas régulière , mais que dois-je faire pour prouver qu'une langue est régulière? Par exemple, si on me donne que est régulier, comment puis - je prouver que les éléments suivants L ' est régulière, aussi?LLLL′L′L' L′: = { W ∈ L : u v...
Supposons que je suis un programmeur et que j'ai un problème NP-complet dont j'ai besoin pour le résoudre. Quelles méthodes sont disponibles pour traiter les problèmes des PNJ? Existe-t-il une enquête ou quelque chose de similaire sur ce
Je suis un nerd informatique depuis de nombreuses années. Je peux programmer dans pas mal de langues et je peux même les construire. L'autre jour, je me suis assis avec un copain et je lui ai demandé comment un ordinateur prend de l'électricité et en fait quelque chose, mais nous ne pouvions tout...
Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à...
Il semble que sur ce site, les gens corrigent souvent les autres pour avoir confondu "algorithmes" et "problèmes". Quelle est la différence entre ceux-ci? Comment savoir quand je devrais envisager des algorithmes et des problèmes? Et quel est leur lien avec le concept de langage dans la théorie des...
Supposons que j'ai une liste de fonctions, par exemple nloglog(n),2n,n!,n3,nlnn,…nloglog(n),2n,n!,n3,nlnn,…\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...
Cela peut sembler une question stupide mais je suis vraiment curieux de savoir comment un ordinateur sait que ? De plus, comment un ordinateur sait-il que l'ordre des entiers est et que l'alphabet est A, B, C, D, ...? Est-il stocké quelque part dans le matériel ou le système d'exploitation...
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....
Spécifier des langues formelles en donnant des grammaires formelles est une tâche fréquente: nous avons besoin de grammaires non seulement pour décrire les langues, mais aussi pour les analyser, ou même pour faire une science appropriée . Dans tous les cas, il est important que la grammaire soit...
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...