L'algorithme DEFLATE populaire utilise le codage Huffman au-dessus de Lempel-Ziv. En général, si nous avons une source aléatoire de données (= entropie 1 bit / bit), aucun encodage, y compris Huffman, n'est susceptible de le compresser en moyenne. Si Lempel-Ziv était "parfait" (ce qu'il approche...
Branch and bound est une heuristique efficace pour les problèmes de recherche, et Wikipedia répertorie un certain nombre de problèmes difficiles où branch-and-bound a été utilisé. Cependant, je n'ai pas été en mesure de trouver des références pour suggérer que c'est plus qu'une "seule méthode" pour...
Cette question concerne les problèmes de programmation quadratique avec des contraintes de boîte (box-QP), c'est-à-dire des problèmes d'optimisation de la forme minimiser sous réserve de x ∈ [ 0 , 1 ] n .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T...
Le chapitre 1 du livre The Probabilistic Method, par Alon et Spencer mentionne le problème suivant: Étant donné un graphique , décidez si sa connectivité de bord est au moins ou non.ggGn / 2n/2n/2 L'auteur mentionne l'existence d'un algorithme par Matula et l'améliore à .O ( n3)O(n3)O(n^3)O (...
Chong, Han et Lam ont montré que la connectivité st non dirigée peut être résolue sur la PRRE EREW en temps avec des processeurs O ( m + n ) .O ( log n )O(Journaln)O({\log}n)O ( m + n )O(m+n)O(m+n) Quel est l'algorithme parallèle le plus connu pour la connectivité st dans les graphes planaires...
Dans cet article de Kempe-Kleinberg-Tardos, les auteurs proposent des algorithmes gourmands basés sur des fonctions sous-modulaires pour déterminer les nœuds les plus influents d'un graphe, avec des applications aux réseaux sociaux.kkk Fondamentalement, l'algorithme se présente comme suit: S= e m p...
On nous donne un graphe acyclique dirigé G = ( V, E)g=(V,E)G=(V,E) avec un nombre associé à chaque sommet ( ), et un nombre cible .g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Le problème de somme de sous-ensemble DAG (peut exister sous un nom différent, une référence sera excellente)...
J'ai rencontré ce problème dans un domaine de la physique assez éloigné de l'informatique, mais cela semble être le type de question qui a été étudié en CS, alors j'ai pensé tenter ma chance en le posant ici. Imaginez que l'on vous donne un ensemble de points et une liste de certaines des distances...
Il est bien établi que , pour chaque matroïde MMM et toute fonction de pondération www , il sort un algorithme GreedyBasis (M, w )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) qui renvoie une base pondérale maximale de MMM . Alors, la direction inverse est-elle également vraie? Autrement dit, s'il existe...
Motivation: Un co-auteur édite un manuscrit et j'aimerais voir un résumé clair des éditions. Toutes les « diff » -comme outils ont tendance à être inutile si vous êtes à la fois du texte déplacerez (par exemple, la réorganisation de la structure) et faire des modifications locales. Est-il vraiment...
Un de mes amis me pose le problème de planification suivant sur l'arbre. Je trouve que c'est très propre et intéressant. Y a-t-il une référence pour cela? Problème: Il y a un arbre , chaque arête a un coût de déplacement symétrique de 1 . Pour chaque sommet v i , il existe une tâche qui doit être...
En 1973, Weiner a donné la première construction en temps linéaire d'arbres suffixes. L'algorithme a été simplifié en 1976 par McCreight et en 1995 par Ukkonen. Néanmoins, je trouve l'algorithme d'Ukkonen relativement impliqué conceptuellement. Y a-t-il eu des simplifications de l'algorithme...
J'ai un problème algébrique lié aux vecteurs dans le domaine GF (2). Soit (0,1) de dimension et . Trouver un algorithme polynomial temporel qui trouve un (0,1) -vecteur de la même dimension tel que n'est pas la somme des vecteurs parmi . L'addition de vecteurs se fait sur le champ GF (2), qui a...
Je lis le document "Fast Paxos" de Leslie Lamport et je suis coincé avec les preuves d'exactitude des deux Paxos classiques et Fast Paxos. Par souci de cohérence, la valeur vvv choisie par le coordinateur dans la phase 2a2a2a du tour iii doit satisfaire CP(v,i):CP(v,i):CP(v,i): Pour tout...
Une fonction d'ensemble est sous-modulaire monotone si pour tout A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Une propriété plus forte est Prenant C =...
Étant donné un graphique cyclique dirigé où le poids de chaque bord peut être négatif, le concept de "chemin le plus court" n'a de sens que s'il n'y a pas de cycles négatifs, et dans ce cas, vous pouvez appliquer l'algorithme Bellman-Ford. Cependant, je suis intéressé à trouver le chemin le plus...
Je voudrais connaître l'histoire de ces deux termes: " efficace ", " faisable ". Qui les a utilisés pour le calcul / les algorithmes la première fois? (au sens moderne de ces termes, c'est-à-dire du 20e siècle). Comment sont-ils devenus courants? Comment ces deux termes ont-ils commencé à être...
Considérons un prédicat monotone sur l'ensemble de puissance (ordonné par inclusion). Par "monotone" je veux dire: tel que , si puis . Je cherche un algorithme pour trouver tous les éléments minimaux de , c'est-à-dire les tels que mais , . Puisque la largeur de est n \ choisissez n /...
L'algorithme simplex est souvent traité soit dans l'arithmétique réelle, soit dans le monde discret avec des calculs exacts. Cependant, il semble être implémenté le plus souvent avec une arithmétique à virgule flottante. Cela conduit à se demander si l'algorithme simplex doit être considéré comme...
Considérez le problème de test d'appartenance au sous-groupe abelian suivant . Contributions: Un groupe abélien fini G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} avec arbitrairement grand .didid_i Un générateur de jeu d'un sous - groupe...