Cette question explique à peu près qu'ils peuvent, mais ne montre aucun exemple de l'existence de deux arbres différents avec le même parcours de pré-ordre. Il est également mentionné que la traversée dans l'ordre de deux arbres différents peut être la même bien qu'ils soient structurellement différents. Y en a-t-il …
Donc, étant donné deux DFA, le problème de trouver s'ils génèrent la même langue est-il un problème décidable? Je sais déjà que l'égalité de deux LFC n'est pas décidable mais qu'en est-il de l'égalité de deux DFA? étant donné que la plupart des problèmes avec les DFA sont décidables, est-ce …
J'étais en train d'apprendre sur l'ampleur de la première recherche et une question m'est venue à l'esprit pourquoi BFS est appelé ainsi. Dans le livre Introduction to Algorithms de CLRS , j'ai lu la raison suivante: La recherche en largeur d'abord est ainsi nommée car elle étend la frontière entre …
On m'a donné le problème suivant lors d'une interview: Donne une chaîne qui contient un mélange de parens (pas de crochets ou d'accolades - seulement des parens) avec d'autres caractères alphanumériques, identifiez toutes les parens qui n'ont pas de paren correspondant. Par exemple, dans la chaîne ") (ab))", les indices …
J'avais l'impression que nos ordinateurs, étant finis, ne sont finalement pas plus puissants que les machines à états finis (extraordinairement grandes). Cependant, les machines de Turing linéairement délimitées sont également finies, mais il semble que les langues régulières soient strictement un sous-ensemble incorrect de langues contextuelles. De toute évidence, il …
Je suis donc en train de parcourir le livre HoTT avec certaines personnes. J'ai prétendu que la plupart des types inductifs que nous verrons peuvent être réduits à des types contenant uniquement des types de fonction et des univers dépendants en prenant le type du récurseur comme source d'inspiration pour …
Un jeu de cartes est 52. Une main est 5 cartes des 52 (ne peut pas avoir de doublon). Quel est le moins de bits pour représenter une main de 5 cartes et comment? Une main NE dépend PAS de l'ordre (KQ = QK). 64329 = 96432 Oui, peut utiliser …
Supposons que nous lisions une séquence de nnn nombres, un par un. Comment trouver le kkk plus petit élément simplement en utilisant la mémoire de cellule O(k)O(k)O(k) et en temps linéaire ( O(n)O(n)O(n) ). Je pense que nous devrions enregistrer les premiers kkktermes de la séquence et lorsque nous obtenons …
La question générale, comme son titre l'indique, est la suivante: Quelle est la différence entre DS et OR / optimisation. Sur le plan conceptuel, je comprends que DS essaie d' extraire des connaissances des données disponibles et utilise principalement des techniques de statistiques et d'apprentissage automatique. D'un autre côté, OR …
Wikipedia répertorie la complexité temporelle de l'addition comme nnn , où nnn est le nombre de bits. S'agit-il d'une borne inférieure théorique rigide? Ou est-ce simplement la complexité de l'algorithme connu le plus rapide actuellement. Je veux savoir, car la complexité de l'addition souligne toutes les autres opérations arithmétiques et …
Supposons que l'on veuille raisonner sur les propriétés du code au-delà de choses comme la totalité et la pureté fonctionnelle - on se soucie également de la consommation de mémoire ou de la complexité algorithmique d'une fonction. Cela peut-il être fait à l'aide de systèmes de typage et d'effets dépendants?
J'ai deux ensembles de points dans le plan bidimensionnel. Je veux trouver la paire de points la plus proche telle que , , et la distance euclidienne entre est aussi petite que possible. Comment cela peut-il être fait efficacement? Peut-on le faire en temps , où?S,TS,TS,Ts,ts,ts,ts∈Ss∈Ss \in St∈Tt∈Tt \in Ts,ts,ts,tO(nlogn)O(nlogn)O(n …
Lors de la création d'un client pour une API Web en C #, j'ai rencontré un problème concernant nullla valeur où cela représenterait deux choses différentes: rien , par exemple un foopeut ou peut ne pas avoir unbar inconnu : par défaut, la réponse de l'API ne comprend qu'un sous-ensemble …
Cette question est de savoir si chaque théorème mathématique peut être réduit à la question de savoir si une seule machine de Turing s'arrête. En particulier, je m'intéresse aux conjectures qui ne sont actuellement pas prouvées. Par exemple: Wikipedia dit qu'il est actuellement inconnu s'il existe des nombres parfaits impairs. …
Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la fonctionnalité …
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.