Je prépare du matériel de cours sur l'heuristique pour l'optimisation et j'ai étudié les méthodes de descente de coordonnées. Le réglage est ici une fonction multivariée que vous souhaitez optimiser. f a la propriété qui se limite à une seule variable, il est facile à optimiser. Ainsi, la descente...
Dans leur article Approximate Distance Oracles , Thorup et Zwick ont montré que pour tout graphique non orienté pondéré, il est possible de construire une structure de données de taille qui peut renvoyer une ( 2 k - 1 ) approximative distance entre n'importe quelle paire de sommets dans le...
J'ai de la difficulté à comprendre une étape dans le document de Dobkin et Kirkpatrick sur la séparation des polyèdres. J'essaie de comprendre cette version: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Il soutient qu'après avoir connu la meilleure séparation de...
Je me souviens avoir vu une étude ou un article il y a quelque temps affirmant que la plupart des accélérations observées dans les programmes informatiques au cours des dernières décennies provenaient de meilleurs algorithmes plutôt que de matériel plus rapide. Quelqu'un connaît-il l'étude ou...
J'implémente un système dont une partie nécessite de l'aide. Je le conçois donc comme un problème de graphe pour le rendre indépendant du domaine. Problème: On nous donne un graphe acyclique dirigé . Sans perte de généralité, supposons que G a exactement un sommet source s et exactement un sommet...
Les graphes de Paley P q sont ceux dont l'ensemble des sommets est donné par le champ fini GF (q), pour les puissances premières q≡1 (mod 4), et où deux sommets sont adjacents si et seulement s'ils diffèrent de 2 pour certains a ∈ GF (q). Dans le cas où q est premier, le champ fini GF (q) n'est que...
Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème...
Une formule Monotone-2CNF est une formule CNF où chaque clause est composée d'exactement 2 littéraux positifs. Maintenant, j'ai une formule Monotone-2CNF FFF. Soit SSS l'ensemble des affectations satisfaisantes de FFFJ'ai également un oracle qui est capable de donner les informations suivantes:OOO...
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 =...
Je cherchais sur la multiplication matricielle, donc j'ai d'abord visité les algorithmes de multiplication matricielle wiki , dans les références, j'ai trouvé un article qui prétend utiliser l' algorithme O ( n2l o g( n ) )O(n2log(n))O(n^2 log(n)) , je vais lire l'article mais c'est compliqué et...
Dans leur article fondateur Algorithmes théoriques de groupe pour les multiplications matricielles , Cohn, Kleinberg, Szegedy et Umans introduisent le concept de puzzle résolvable de manière unique (défini ci-dessous) et de capacité USP. Ils affirment que Chaudronnier et Winograd, dans leur propre...
Je recherche une implémentation d'un algorithme pour calculer la largeur de chemin d'un graphe. Il est bien connu que le calcul de la largeur de trajet équivaut au calcul du nombre de recherche de nœuds, du nombre de séparation de sommets ou de l'épaisseur d'intervalle du graphique. L'algorithme...
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...
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...
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...
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...
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...