Je recherche des ressources pour débuter avec l'analyse de programme . Le seul livre que j'ai trouvé sur le sujet est le livre Nielson & Nielson . En dehors de cela, il semble qu'il n'y ait que des livres de "compilateur" où "l'analyse de programme" serait un chapitre, ou quelque chose du...
Je trouve difficile de différencier clairement entre la multiprogrammation et le multitâche. Ma principale source est Wikipédia , mais l'article de WP semble être un peu en contradiction avec des sources moins réputées (comme mon professeur d'université). Comme je lis WP, la multiprogrammation est...
Je m'intéresse aux procédures de partage équitable des terres (c.-à-d. Partage sans envie, ou au moins partage proportionnel). Contrairement au problème bien étudié de division des gâteaux, la division des terres est bidimensionnelle, c'est-à-dire que les préférences des utilisateurs peuvent varier...
Un graphe est en corde s'il n'a pas de cycles induits de longueur ou plus. Un arbre de clique de est un arbre dont les sommets de l'arbre sont les cliques maximales de . Une arête en correspond à un séparateur minimal. Le nombre d'arbres cliques distincts peut être exponentiel dans le nombre de...
Le galet est un jeu de solitaire joué sur un graphe non orienté , où chaque sommet a zéro ou plusieurs galets. Un mouvement de caillou unique consiste à retirer deux cailloux d'un sommet v et à ajouter un caillou à un voisin arbitraire de v . (Évidemment, le sommet v doit avoir au moins deux...
Je commence un cours de premier cycle en informatique à l'automne prochain, mais je ne peux pas vraiment comprendre le λ-calcul dans le contexte de la programmation fonctionnelle. Je peux mal interpréter cela complètement, mais basé sur cette définition de la Stanford Encyclopedia of Philosophy,...
Mes antécédents provenaient de langages impératifs, principalement C, C ++ et Python. J'ai repris Scala, Erlang et un peu de Haskell quelques années plus tard et depuis, je me suis beaucoup intéressé à la programmation fonctionnelle et aux formalismes qui la sous-tendent. Je m'intéresse également à...
Étant donné nombres A 1 ≤ A 2 ≤ . . . ≤ A k tel que k Σ i = 1 A i = k ( 2 k + 1 ) est - il une attribution de numéros i 1 , i 2 , . . . , I 2 k qui est une permutation de 1 , 2 , . . . , 2kkkUNE1≤ A2≤ . . . ≤ AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i = 1kUNEje= k ( 2 k + 1...
Ou au moins générer un ensemble de chaînes qu'un NFA accepte, donc je peux le nourrir dans l'autre NFA. Si je fais une recherche à travers tous les chemins de la NFA, cela fonctionnera-t-il? Bien que cela prenne beaucoup de
Une séquence binaire de longueur nnn est juste une séquence ordonnée sorte que chaque soit ou . Afin de générer toutes ces séquences binaires, on peut utiliser la structure d'arbre binaire évidente de la manière suivante: la racine est "vide", mais chaque enfant gauche correspond à l'ajout de à la...
J'ai un problème d'optimisation contraint dans l'entropie de la matrice (Shannon) . La matrice peut être écrite comme la somme des matrices de rang 1 de la forme où est un vecteur normalisé donné. Les coefficients des matrices de rang 1 sont les inconnues dans lesquelles nous optimisons et ils...
Ce problème est né des tests de logiciels. Le problème est un peu difficile à expliquer. Je vais d'abord donner un exemple, puis essayer de généraliser le problème. Il y a 10 éléments à tester, disons de A à J, et un outil de test qui peut tester 3 éléments en même temps. L'ordre des éléments dans...
Je dois conserver une collection d'entiers compris entre 0 et 65535 afin de pouvoir effectuer rapidement les opérations suivantes: Insérer un nouvel entier Insérer une plage d'entiers contigus Supprimer un entier Supprimer tous les entiers sous un entier Tester si un entier est présent Mes données...
De nombreux sites donnent aux opérateurs Sobel le masque de convolution pour lisser une image. Cependant, je n'ai trouvé aucun site décrivant comment vous pouvez dériver les opérateurs à partir de premières dérivées partielles. Si quelqu'un peut expliquer la dérivation, je l'apprécierais...
Supposons qu'un algorithme ait une relation de récurrence d'exécution: T( n ) = { g( n ) + T( n - 1 ) + T( ⌊ δn ⌋ )F( n ): n ≥ n0: n < n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0...
J'ai vu des sites Web qui prétendent «prouver» que HTML5 + CSS est Turing Complete. J'ai vu des sites Web qui prétendent «prouver» que SQL est Turing Complete. J'ai vu un tas de sites Web qui prétendent «expliquer» ce que signifie être Turing Complete. Assez! Où puis-je trouver un livre (écrit par...
La notation Big-O cache des facteurs constants, il existe donc certains algorithmes qui sont impossibles pour toute taille d'entrée raisonnable car le coefficient sur le terme est si énorme.O(n)O(n)O(n)nnn Existe-t-il des algorithmes connus dont le temps d'exécution est mais avec un terme ordre...
Je travaille sur un éditeur de diagrammes. Les diagrammes affichent des formes 2D ( nœuds ) connectées à des connecteurs ( bords ). Je voudrais ajouter une opération qui, étant donné une sélection de nœuds, les "démêle" : elle les repositionne pour réduire le nombre d'arêtes croisées, si possible...
Je suis étudiant en informatique. Je veux créer mon propre langage de programmation (un langage de base avec peu d'instructions). Je sais faire un analyseur syntaxique, je l'ai déjà fait en Perl. Dans un article, j'ai lu quelque chose sur le compilateur, un compilateur se fait en soi. Par exemple,...
Quelle notation est utilisée pour discuter des coefficients des fonctions en notation big-O? J'ai deux fonctions: F( x ) = 7 x2+ 4 x + 2F(X)=7X2+4X+2f(x) = 7x^2 + 4x +2 g( x) = 3 x2+ 5 x + 4g(X)=3X2+5X+4g(x) = 3x^2 + 5x +4 Évidemment, les deux fonctions sont , en effet , mais cela ne permet pas une...