Après avoir appris à construire un tableau de suffixes en complexité , je suis intéressé à découvrir les applications des tableaux de suffixes. L'une d'elles consiste à trouver la sous-chaîne commune la plus longue entre deux chaînes, en temps . J'ai trouvé sur internet l'algorithme suivant:O ( N )O(N)O(N)O(N)O(N)O(N)O(N) fusionner …
Un récent blog de puzzle sur la recherche de trois réponses régulièrement espacées m'a conduit à une question de stackoverflow avec une réponse de haut niveau qui prétend le faire en temps O (n lg n). La partie intéressante est que la solution implique la quadrature d'un polynôme, référençant un …
Apparemment, si , toutes les langues de exception de et seraient terminées.P ∅ Σ ∗ N PP = N PP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*N PNP{\sf NP} Pourquoi ces deux langues en particulier? Ne pouvons-nous pas leur réduire une autre langue en en les sortant lors de l'acceptation ou de la non-acceptation?PP{\sf …
Les machines de comptage avec deux compteurs ou plus sont généralement équivalentes aux machines de Turing dans les cours sur la théorie du calcul. Cependant, je n'ai pas vu d'analyse formelle des langues pouvant être reconnues par une machine à guichet unique. Ces langues sont-elles équivalentes aux langues sans contexte …
Ce problème, pour moi, semble très intéressant. Il était sur le point de trouver un cycle simple (c'est-à-dire un cycle où ne sont pas des nœuds répétés) dans un graphe orienté. Ma solution va comme ceci, c'est-à-dire que ce graphique est un problème de cas: Je sais qu'il y a …
Dans une conférence, un professeur a mentionné que les ordinateurs modernes n'ont pas autant de puissance de calcul qu'une machine Turing parce qu'ils n'ont pas de mémoire infinie, et comme aucun ordinateur ne peut avoir une mémoire infinie, la machine Turing est donc inaccessible et représente simplement la limite supérieure …
J'essaie de dériver l' article classique dans le titre uniquement par des moyens élémentaires (pas de fonctions génératrices, pas d'analyse complexe, pas d'analyse de Fourier) bien qu'avec beaucoup moins de précision. Bref, je veux "seulement" prouver que la hauteur moyenne hnhnh_n d'un arbre à nnn nœuds (c'est-à-dire le nombre maximum …
Les algorithmes d'échecs actuels vont d'environ 1 ou peut-être 2 niveaux dans un arbre de chemins possibles en fonction des mouvements du joueur et de l'adversaire. Disons que nous avons la puissance de calcul pour développer un algorithme qui prédit tous les mouvements possibles de l'adversaire dans une partie d'échecs. …
J'ai lu Introduction aux algorithmes de Cormen et al. et je lis l'énoncé du théorème maître à partir de la page 73 . Dans le cas 3, il existe également une condition de régularité qui doit être satisfaite pour utiliser le théorème: ... 3. Si f(n)=Ω(nlogba+ε)f(n)=Ω(nlogba+ε)\qquad \displaystyle f(n) = \Omega(n^{\log_b …
Soit A à B réductibles, par exemple, . Par conséquent, la machine de Turing accepter a accès à un oracle pour . Soit la machine de Turing acceptant soit et l'oracle de soit . Les types de réductions:A B A M A B O BA ≤ BUNE≤BA \leq BUNEUNEABBBUNEUNEAMUNEMUNEM_{A}BBBOBOBO_{B} Réduction …
Étant donné un ensemble des ensembles, je voudrais trouver un ensemble de telle sorte que chaque ensemble dans contient au moins un élément de . J'aimerais également que contienne le moins d'éléments possible tout en répondant à ce critère, bien qu'il puisse exister plus d'un plus petit avec cette propriété …
Je suis des assistants de preuve auto-apprenants et j'ai décidé de commencer sur quelques preuves de base et de progresser. Étant donné que les preuves sont basées sur d'autres preuves et forment donc une hiérarchie, existe-t-il un référentiel de la hiérarchie des preuves? Je sais que je peux choisir un …
J'utilise un ordinateur numérique pour écrire ce message. Une telle machine a une propriété qui, si vous y réfléchissez, est en fait assez remarquable: c'est une machine qui, si elle est programmée de manière appropriée, peut effectuer tout calcul possible . Bien sûr, les machines à calculer d'un type ou …
Je travaille sur un compilateur pour un langage concaténatif et je voudrais ajouter un support d'inférence de type. Je comprends Hindley – Milner, mais j'ai appris la théorie des types au fur et à mesure, donc je ne sais pas comment l'adapter. Le système suivant est-il solide et inférable? Un …
Lorsque nous comparons la complexité de deux algorithmes, il arrive généralement que f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n)) ou (éventuellement les deux), où et sont les temps d'exécution (par exemple) des deux algorithmes.f gg(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Est-ce toujours le cas? Autrement dit, au moins une des relations f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n)) et g(n)=O(f(n))g(n)=O(f(n))g(n) = …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.