L'informatique greedy-algorithms

2

Comment prouver que l'algorithme gourmand est correct

J'ai un algorithme gourmand que je soupçonne peut-être correct, mais je ne suis pas sûr. Comment vérifier si c'est correct? Quelles sont les techniques à utiliser pour prouver un algorithme gourmand correct? Existe-t-il des modèles ou des techniques communs? J'espère que cela deviendra une question de référence qui pourra être …

29 algorithm-analysis proof-techniques correctness-proof greedy-algorithms

1

Quand un algorithme gourmand peut-il résoudre le problème de changement de pièce?

Étant donné un ensemble de pièces de monnaie de dénominations différentes et une valeur v, vous voulez trouver le moins de pièces nécessaires pour représenter la valeur v.c 1 , . . . , c nc1,...,cnc1, ... , cn Par exemple, pour le jeu de pièces 1,5,10,20, cela donne 2 …

24 algorithms combinatorics greedy-algorithms

1

Dans quelle mesure les matroïdes et les grédoides sont-ils fondamentaux dans la conception d'algorithmes?

Dans un premier temps , matroïdes ont été introduites pour généraliser les notions d'indépendance linéaire d'une collection de sous - ensembles sur un terrain mis . Certains problèmes qui contiennent cette structure permettent aux algorithmes gourmands de trouver des solutions optimales. Le concept de greedoids a été introduit plus tard …

23 algorithms optimization combinatorics greedy-algorithms matroids

4

Comment utiliser un algorithme gourmand pour trouver la séquence non décroissante la plus proche de celle donnée?

On vous donne n entiers tous compris entre et . Sous chaque entier vous devez écrire un entier entre 0 et l avec la condition que les b i forment une séquence non décroissante. Définissez la déviation d'une telle séquence comme étant . Concevez un algorithme qui trouve les b_i …

20 algorithms optimization greedy-algorithms subsequences

2

Exactitude-preuve d'un algorithme gourmand pour la couverture minimale des sommets d'un arbre

Il existe un algorithme gourmand pour trouver la couverture minimale des sommets d'un arbre qui utilise la traversée DFS. Pour chaque feuille de l'arbre, sélectionnez son parent (c.-à-d. Que son parent est dans la couverture de sommet minimum). Pour chaque nœud interne: si l'un de ses enfants n'est pas sélectionné, …

14 algorithms trees greedy-algorithms

1

Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Sélection de fonctionnalités de type arbre de décision de longueur fixe pour minimiser les performances de recherche moyennes

J'ai une requête complexe utilisée pour rechercher un ensemble de données pour trouver . Chaque requête prend un temps moyen donc le temps global dans la recherche linéaire est. Je peux décomposer une requête en sous-requêtes plus simples q_i et trouver H_ \ text {approx} = \ {s \ in …

9 algorithms optimization machine-learning greedy-algorithms databases

1

Expressivité des expressions régulières modernes

J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

4

Trouvez des travaux planifiés sans chevauchement avec un coût maximum

Étant donné un ensemble de n travaux avec [heure de début, heure de fin, coût], trouvez un sous-ensemble de sorte qu'aucun travail ne se chevauche et que le coût soit maximum. Maintenant, je ne sais pas si un algorithme gourmand fera l'affaire. C'est-à-dire, trier par coût et toujours prendre le …

8 algorithms scheduling greedy-algorithms knapsack-problems

Questions marquées «greedy-algorithms»