J'essaie de prouver qu'un tas binaire avec nœuds a exactement , étant donné que le tas est construit de la manière suivante:nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Chaque nouveau nœud est inséré via percoler vers le haut . Cela signifie que chaque nouveau nœud doit être créé au prochain...
Je suis d' apprentissage automatisé théorème prouvons / solveurs SMT / assistants de preuve par moi - même et après une série de questions au sujet du processus, en commençant ici . Pourquoi les prouveurs de théorèmes automatisés, c'est-à-dire ACL2 et les solveurs SMT, n'ont-ils pas besoin de...
Selon Wikipedia : Informellement, du point de vue de la théorie algorithmique de l'information, le contenu informationnel d'une chaîne équivaut à la longueur de la représentation autonome la plus courte possible de cette chaîne. Quelle est la définition rigoureuse informelle analogue des...
J'ai remarqué que différentes structures de données sont utilisées lorsque nous implémentons des algorithmes de recherche. Par exemple, nous utilisons des files d'attente pour implémenter la recherche en largeur, des piles pour implémenter la recherche en profondeur en premier et des tas en min...
Dans la théorie de calcul de Michael Sipser à la page 270, il écrit: P = la classe de langues dont l'adhésion peut être décidée rapidement. NP = la classe de langues dont l'appartenance peut être vérifiée rapidement. Quelle est la différence entre «décidé» et
On pense généralement qu'une limite inférieure asymptotique telle que la dureté exponentielle implique qu'un problème est "intrinsèquement difficile". Le cryptage qui est "intrinsèquement difficile" à casser est considéré comme sûr. Cependant, une borne inférieure asymptotique n'exclut pas la...
Disons que nous avons une grande collection de tâches et une collection de processeurs identiques (en termes de performances) qui fonctionnent complètement dans parallèle. Pour les scénarios d'intérêt, nous pouvons supposer . Chaque prend un certain temps / cycles à terminer une fois qu'il est...
L'année dernière, je lisais un article fantastique sur «La mécanique quantique pour les jardins d'enfants» . Ce n'était pas du papier facile. Maintenant, je me demande comment expliquer le tri rapide dans les mots les plus simples possibles. Comment puis-je prouver (ou au moins une onde de main)...
Je me bats vraiment avec cette propriété: Soient X,YX,YX,Y soit des espaces de cohérence et f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) est une fonction monotone. est continu si et seulement si , pour tout tel que D est un ensemble
On nous donne un ensemble de points bidimensionnels et un entier . Nous devons trouver une collection de cercles qui entourent tous les points de sorte que le rayon du plus grand cercle soit aussi petit que possible. En d'autres termes, nous devons trouver un ensemble de points centraux tels que la...
J'ai travaillé sur le problème suivant de ce livre . Un certain langage de traitement de chaîne offre une opération primitive qui divise une chaîne en deux parties. Comme cette opération implique la copie de la chaîne d'origine, il faut n unités de temps pour une chaîne de longueur n, quel que soit...
Quelques informations: je suis informaticien spécialisé dans les loisirs et ingénieur logiciel. Donc, pardonnez si cette invite semble quelque peu hors du champ gauche - je joue régulièrement avec des simulcres mathématiques et des problèmes ouverts quand je n'ai rien de mieux à faire. En jouant...
L'algorithme de minimisation DFA de Brzozowski crée un DFA minimal pour DFA en:GGG inverser tous les bords de , faisant de l'état initial un état accepté, et des états acceptés initiaux, pour obtenir un NFA pour le langage inverse,GGGN′N′N' en utilisant la construction du jeu de puissance pour...
Définition : Un polygone PPP dans le plan est appelé monotone par rapport à une droite LLL , si chaque ligne orthogonale à LLL coupe PPP au plus deux fois. Étant donné un polygone PPP , est-il possible de déterminer s'il existe une ligne LLL telle que le polygone PPP soit monotone par rapport à...
J'essayais de trouver un système qui évaluerait les règlements administratifs d'une organisation afin de déterminer leur logique sous-jacente. Je pense qu'un système de prédicat de premier ordre fonctionnerait pour représenter les règles, qui pourraient être traduites du texte via le balisage d'une...
Dans le livre "Computational Geometry: Algorithms and Applications" de Mark de Berg et al., Il existe un algorithme de force brute très simple pour calculer les triangulations de Delaunay. L'algorithme utilise la notion d' arêtes illégales - des arêtes qui peuvent ne pas apparaître dans une...
introduction La première étape J'ai écrit un réseau neuronal à rétropropagation standard, et pour le tester, j'ai décidé de le faire mapper XOR. C'est un réseau 2-2-1 (avec fonction d'activation tanh) X1 M1 O1 X2 M2 B1 B2 À des fins de test, j'ai configuré manuellement le neurone moyen supérieur...
Si j'ai une grammaire de type 3, elle peut être représentée sur un automate déroulant (sans faire aucune opération sur la pile) afin que je puisse représenter des expressions régulières en utilisant des langages sans contexte. Mais puis-je savoir si une grammaire de type 3 est , L L ( 1 ) , S L R (...
Soit une fonction fixe constructible dans le temps.FFf Le résultat de simulation universelle classique pour les MT (Hennie et Stearns, 1966) indique qu'il existe un TM deux bandes tel que, étant donnéUUU la description d'un TM , et⟨ M⟩⟨M⟩\langle M \rangle une chaîne d'entrée ,XXx s'exécute pour les...
J'ai étudié les trois et j'énonce mes inférences ci-dessous. Quelqu'un pourrait-il me dire si je les ai suffisamment compris ou non? Je vous remercie. L'algorithme de Dijkstra est utilisé uniquement lorsque vous avez une seule source et que vous souhaitez connaître le plus petit chemin d'un nœud à...