Dans son article phare de 1987, Dana Angluin présente un algorithme temporel polynomial pour l’apprentissage d’un DFA à partir de requêtes d’appartenance et de requêtes théoriques (contre-exemples d’un DFA proposé). Elle montre que si vous essayez d'apprendre un DFA minimal avec états et que votre...
Il est bien connu que cet algorithme «naïf» pour mélanger un tableau en échangeant chaque élément avec un autre choisi au hasard ne fonctionne pas correctement: for (i=0..n-1) swap(A[i], A[random(n)]); Plus précisément, puisque à chacune des nnn itérations, l’une desnnn choix est fait (avec une...
Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de...
Il y a nnn bacs et mmm type de balles. La iii ième bin a des étiquettes a i , jai,ja_{i,j} pour 1 ≤ j ≤ m1≤j≤m1\leq j\leq m , c'est le nombre attendu de billes de type jjj . Vous commencez avec b jbjb_j boules de type jjj . Chaque boule de type jjj a un poids w jwjw_j et veut placer les boules dans...
Désolé à l'avance si cette question vous semble stupide ... Pour autant que je sache, la construction d'un algorithme utilisant la programmation dynamique fonctionne de cette façon: exprimer le problème comme une relation de récurrence; mettre en œuvre la relation de récurrence soit par...
EDIT: J'ai maintenant posé une question similaire sur la différence entre les catégories et les ensembles. Chaque fois que je lis sur la théorie du type (qui est certes plutôt informelle), je ne peux pas vraiment comprendre comment elle diffère de la théorie des ensembles, concrètement . Je...
Existe-t-il une différence fondamentale entre la programmation dynamique descendante et ascendante? En particulier, y a-t-il un problème qui peut être résolu de bas en haut mais pas de haut en bas? Ou bien l’approche ascendante est-elle simplement un dénouement de la récurrence de l’approche...
Après avoir lu plusieurs sources, je suis encore confus au sujet des threads au niveau utilisateur et noyau. En particulier: Les threads peuvent exister au niveau utilisateur et au niveau du noyau Quelle est la différence entre le niveau utilisateur et le niveau noyau?
Je lisais sur Iota et Jot et j'ai trouvé cette section déroutante: Contrairement à Iota, où l'arbre syntaxique d'une chaîne peut se ramifier à gauche ou à droite, la syntaxe Jot est uniformément ramifiée à gauche. Par conséquent, Iota est strictement sans contexte, mais Jot est un langage régulier....
J'étudie les CPU et je sais comment il lit un programme de la mémoire et exécute ses instructions. Je comprends également qu'un système d'exploitation sépare les programmes dans les processus, puis alterne entre chacun si rapidement que vous pensez qu'ils s'exécutent en même temps, mais en fait,...
Si quelque chose est simple, alors il devrait être complètement explicable en quelques mots. Cela peut être fait pour le λ-calcul: Le λ-calcul est une grammaire syntaxique (fondamentalement, une structure) avec une règle de réduction (ce qui signifie qu'une procédure de recherche / remplacement est...
Lorsqu'un ordinateur stocke une variable, lorsqu'un programme doit obtenir la valeur de la variable, comment l'ordinateur sait-il où chercher en mémoire la valeur de cette
Je ne suis même pas un étudiant CS, donc cela pourrait être une question stupide, mais veuillez me supporter ... À l'ère pré-informatique, nous ne pouvons implémenter une structure de données de tableau qu'avec quelque chose comme un tableau de tiroirs. Puisqu'il faut localiser le tiroir avec...
Ce programme de 579 bits dans le calcul binaire Lambda a un état d'arrêt inconnu: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100
Je cherche de l'aide pour comprendre l'algorithme de détection de cycle de Floyd. J'ai parcouru l'explication sur wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Je peux voir comment l'algorithme détecte le cycle en temps O (n). Cependant, je ne peux pas visualiser le...
Je prévois d'enseigner un cours d'hiver sur un nombre variable de sujets, dont l'un sera les compilateurs. Maintenant, je suis tombé sur ce problème en pensant aux affectations à donner tout au long du trimestre, mais cela m'a déconcerté, je pourrais donc l'utiliser à titre d'exemple. public class...
Je viens de terminer le premier chapitre de l' introduction à la théorie du calcul de Michael Sipser qui explique les bases des automates finis. Il définit un langage régulier comme tout ce qui peut être décrit par un automate fini. Mais je n'ai pas pu trouver où il explique pourquoi une langue...
Supposons que et b 1 b 2 … b n sont deux chaînes de même longueur. Une anagrammation de deux chaînes est une cartographie bijective p : [ 1 … n ] → [ 1 … n ] telle que a i = b p ( i ) pour chaque i .une1une2… Unna1a2…ana_1a_2\ldots a_nb1b2… Bnb1b2…bnb_1b_2\ldots b_np : [ 1 … n ] → [ 1 … n...
Alan Turing a proposé un modèle pour une machine (la Turing Machine, TM) qui calcule (nombres, fonctions, etc.) et a démontré le théorème de Halting . Une MT est un concept abstrait d'une machine (ou d'un moteur si vous le souhaitez). Le théorème de l'arrêt est un résultat impossible. Un moteur...
Ainsi, le problème de décision TSP (Traveling salesman problem) est NP complet . Mais je ne comprends pas comment je peux vérifier qu'une solution donnée à TSP est en fait optimale en temps polynomial, étant donné qu'il n'y a aucun moyen de trouver la solution optimale en temps polynomial (car le...