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...
Dans cette question, j'ai demandé quelle est la différence entre set et type . Ces réponses ont été vraiment clarifiantes (par exemple @AndrejBauer), donc dans ma soif de connaissances, je me soumets à la tentation de poser la même question sur les catégories: Chaque fois que je lis sur la théorie...
n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i<j<k≤n1≤i<j<k≤n1\leq
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...
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...
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...
Je dois créer un algorithme récursif pour voir si un arbre binaire est un arbre de recherche binaire ainsi que compter le nombre de branches complètes (un nœud parent avec les nœuds enfants gauche et droit) avec une variable de comptage globale supposée. Il s'agit d'une affectation pour ma classe...
Dans les réseaux informatiques et la conception d'ordinateurs en grappes hautes performances, la topologie de réseau fait référence à la conception de la manière dont les nœuds sont connectés par des liens pour former un réseau de communication. Les topologies de réseau courantes incluent le...
Dans le problème de correspondance stable , il est indiqué qu'il peut exister des cas où la liste d'hommes peut se contenter de leurs décisions, mais la liste de f ne peut pas lorsque l'algorithme est exécuté avec des propositions d'hommes.mmmfff D'après ce que j'ai lu, une correspondance instable...
La planification à deux niveaux est utile lorsqu'un système exécute plus de processus que la mémoire RAM ne le permet: un planificateur de niveau inférieur bascule entre les processus résidents et un planificateur de niveau supérieur échange et désactive des groupes de processus. Je ne trouve...
Initialement sur math.SE mais sans réponse là-bas. Considérez l'algorithme suivant. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while où u, v et n sont des entiers et l'opération de division est une division entière....
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une...
Que l'ensemble des terminaux et N l'ensemble des symboles non-terminaux de la grammaire hors-contexte G .ΣΣ\SigmaNNNggG Disons que j'ai une chaîne telle que où et sont les formes phrastiques de .a ∈ ( Σ ∪ N)+une∈(Σ∪N)+a \in (\Sigma \cup N)^+x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Gx a y∈ S( G )Xuney∈S(g)x a y...
OK, voici donc une question d'un test passé dans ma classe de théorie du calcul: Un état inutile dans une MT est celui qui n'est jamais entré dans une chaîne d'entrée. Laissez Prouver que U S E L E S S T M est indécidable.U S E L E S ST M= { ⟨ M, q⟩ ∣ q est un état inutile dans M}...
Écrivez pour l'expansion décimale de (sans interligne ). Soit et entiers, avec . Considérez le langage des expansions décimales des multiples de plus une constante:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N}...
Dans la théorie du codage, «la qualité d'un code» signifie combien d'erreurs de canal peuvent être corrigées, ou mieux, le niveau de bruit maximal auquel le code peut faire face. Afin d'obtenir de meilleurs codes, les codes sont conçus à l'aide d'un grand alphabet (plutôt que binaire). Et puis, le...
J'essaie de comprendre ce qui ne va pas avec la preuve suivante de la récurrence suivante T(n)≤2(c⌊nT(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
Dans un traceur de rayons Whitted, chaque intersection rayon-objet engendre un rayon transmis (si l'objet était translucide), un rayon réfléchi et un rayon d'ombre. Le rayon d'ombre contribue au composant d'éclairage direct. Mais que se passe-t-il si le rayon d'ombre croise un objet transparent? Le...
Je suis curieux. J'ai travaillé sur ce type de données dans OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Qui peut être manipulé en utilisant des fonctions récursives explicitement typées (une fonctionnalité qui a été ajoutée...
Considérons un modèle CSP où la modification de la valeur d'une variable particulière coûte cher. Existe-t-il des travaux où la fonction objectif prend également en compte le nombre de modifications de la valeur de la variable au cours du processus de recherche? Un exemple: la variable coûteuse à...