Une propriété de «pompage» (des mots d'une certaine longueur impliquent l'existence de boucles dans le mécanisme de définition de la langue) est connue pour exister pour les langues régulières et sans contexte et quelques autres (généralement utilisées pour réfuter l'appartenance d'une langue à une...
Adams décrit un algorithme de division et de conquête pour trouver l'union de deux ensembles (représentés sous forme d'arbres de recherche binaires pondérés). Il décrit ensuite un nouvel algorithme de "l'union de couverture" qui, selon lui, améliore celui de diviser pour mieux régner. Cependant, il...
[Remarque: ce problème a été inspiré par Pokemon Go. Je vais d'abord expliquer le problème en termes mathématiques, puis expliquer la connexion à Pokemon Go. Mon objectif n'est pas de tricher dans le jeu. Si je voulais tricher, de meilleures informations seraient disponibles plus facilement.]...
Je lis l'article NJ Larsson, A. Moffat: Compression basée sur un dictionnaire hors ligne , qui décrit un algorithme de compression qui, si je le comprends bien, est assez similaire au codage par paire d'octets . Étant donné une chaîne de longueur , j'essaie de comprendre comment on peut la...
Mon manuel donne la définition suivante d'une clé primaire dans une base de données relationnelle, que je ne comprends pas entièrement. De l'aide serait grandement appréciée. Laisser RRRêtre une relation. Ensuite, la clé primaire pourRRR est un sous-ensemble de l'ensemble des attributs de RRR, dire...
Un code de correction d'erreur Reed-Solomon composé de N symboles est garanti pour détecter jusqu'à N remplacements de symboles uniques dans une entrée arbitrairement longue plus l'ECC lui-même, et il est également garanti de corriger jusqu'à l'étage (N / 2) un seul symbole remplacements dans le...
Récemment, j'ai commencé mes études en théorie des types / systèmes de types et Lambda Calculus. J'ai déjà lu sur le calcul lambda simple typé dans le style Church and Curry. Le dernier est également connu sous le nom de système d'attribution de type (TA). Je pense aux relations entre TA et...
Considérez les termes construits à partir d'éléments de QQ\mathbb Q et les opérations + , × , - , /+,×,−,/+,\times,-,/, et ⋅--√n⋅n\sqrt[n]{\,\cdot\,} pour chaque nombre naturel nnn. Étant donné la promesse que deux termes sont bien formés - c'est-à-dire qu'il n'y a pas de division par zéro et même...
En classe, notre professeur nous a montré 3 méthodes pour prouver la non-régularité: Théorème de Myhill – Nerode Pompage du lemme pour les langues régulières Preuve de non-régularité, basée sur la complexité de Kolmogorov Maintenant les deux premiers, le théorème de Myhill-Nerode et le lemme de...
Étant donné un ensemble de points de données où nous exécutons K-means sur et obtenons les clusters .X= {X1,X2, … ,Xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\}Xje∈RréXje∈Rréx_i \in \mathbb{R}^dXXXc1,c2, … ,ckc1,c2,…,ckc_1, c_2, \ldots, c_k Maintenant, si nous créons un nouvel ensemble de données...
Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 3 ans . Les ordinateurs et les langages de programmation ont tendance...
J'ai un problème de devoirs qui me rend perplexe parce que les mathématiques vont au-delà de ce que j'ai fait, même si on nous a dit qu'il n'était pas nécessaire de résoudre cela mathématiquement. Fournissez simplement une limite supérieure étroite et justifiez-la. Soit Fournir une borne supérieure...
Je pense que ces deux classes devraient être les mêmes, mais je ne trouve aucune littérature à ce sujet et j'ai une formation limitée sur le sujet. C'est mon raisonnement, et je voudrais savoir si (1) cela est déjà connu ou (2) j'ai mal compris quelque chose ou (3) je viens de découvrir quelque...
La théorie des domaines donne une théorie étonnante de calculabilité en présence de types simples. Mais lorsque le polymorphisme paramétrique est ajouté, il ne semble pas y avoir une bonne théorie qui explique ce qui se passe aussi bien que la théorie des domaines explique le calcul sur des types...
Le vrai problème auquel je suis confronté est le suivant. INSTANCE : j'ai des ensemblesN:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\} et K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\} et matrice aij>0aij>0a_{ij}>0 pour tous i∈Ki∈Ki\in K et j∈Nj∈Nj\in N. QUESTION : J'ai besoin de trouver un sous-ensembleSSS de...
Une fois que nous avons fixé un vérificateur déterministe du temps polynomial V (entrée, certificat), son problème NP correspondant est la question: pour cette entrée, existe-t-il un certificat (taille polynomiale) tel que V (entrée, certificat) renvoie Vrai? Le problème de comptage associé (classe...
Je ne sais pas si c'est le bon endroit pour cette question. Désolé si je vais un peu hors sujet. Le choix d'une langue appropriée pour le premier cours de programmation est l'une des choses les plus importantes que chaque enseignant / conférencier doit garder à l'esprit; surtout si les élèves sont...
En supposant est une variable booléenne dans un programme d'ILP (qui est , r ) et , sont délimités entier variables entre et . Je veux encoder la contrainte de haut niveau suivante:yyyy∈ Zy∈Zy \in Z0 < = y< = 10<=y<=10
Je lis le langage de programmation Rust et j'ai trouvé le passage suivant: N'oubliez pas que l'écriture dans une structure n'est pas une opération atomique, et de nombreuses fonctions comme vec.push()peuvent se réallouer en interne et provoquer un comportement dangereux, donc même la monotonie peut...