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 à changer peut …
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 composant d'éclairage direct est-il ignoré? …
J'ai le problème algorithmique suivant: Déterminer l'espace Turing complexité de reconnaître les chaînes d'ADN qui sont des palindromes Watson-Crick. Les palindromes Watson-Crick sont des chaînes dont le complément inversé est la chaîne d'origine. Le complément est défini par lettre, inspiré de l'ADN: A est le complément de T et C …
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 …
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é …
Étant donné un entier et un ensemble de triplets d'entiers distincts trouver un algorithme qui trouve soit une permutation de l'ensemble telle que ou détermine correctement qu'aucune telle permutation n'existe. Moins formellement, nous voulons réorganiser les nombres de 1 à ; chaque triple dans indique que doit apparaître avant dans …
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 …
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 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) La documentation dit que c'est faux à cause de l'hypothèse inductive que Qu'est-ce que je manque?T(n)≤cnT(n)≤cn T(n) \leq cn
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 …
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 …
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 se …
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 aucune autre mention de …
É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} \} est-il régulier? sans contexte?MMM (Contraste avec …
La logique temporelle linéaire et les automates déterministes de Büchi sont incomparables: DBA ne peut pas exprimer , et LTL ne peut pas exprimer "au moins chaque lettre impaire est 'a'" . Mais parfois, il est intéressant de savoir si le langage d'un DBA peut être exprimé en LTL.FG aFguneFGa …
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 …
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.