Une heuristique est une procédure qui peut s'appliquer de manière générique à de nombreux problèmes (par exemple, descente de gradient, optimisation alternée, recuit simulé) mais qui n'aura généralement pas de garanties formelles associées à son utilisation.
Quelles sont les explications théoriques à la réussite pratique des solveurs SAT, et quelqu'un peut-il donner un aperçu et des explications de type "wikipedia"? Par analogie, l' analyse lissée ( version arXiv ) de l'algorithme simplex explique très bien pourquoi elle fonctionne si bien dans la...
Problème de mariage stable: http://en.wikipedia.org/wiki/Stable_marriage_problem Je suis conscient que pour une instance d'un SMP, de nombreux autres mariages stables sont possibles en dehors de celui retourné par l'algorithme de Gale-Shapley. Cependant, si l'on ne donne que , le nombre d'hommes /...
Je voudrais calculer la largeur d' arbre d'un graphique. Il existe de très bonnes heuristiques pour d'autres problèmes de graphes NP-durs tels que VF2 pour l'isomorphisme de sous-graphe, avec du code disponible en igraph par exemple. Je les ai essayés sur mes graphiques et je trouve qu'ils...
Existe-t-il des problèmes NP complets sans sous-ensemble infini d'instances telles que l'appartenance à peut être décidée en temps polynomial, et pour tout , peut être résolu en temps polynomial? (En supposant )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq
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...
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...
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...
Comme c'est vendredi, il est temps de poser une question CW. Je recherche des heuristiques qui ont une large utilisation dans les problèmes d'optimisation. Pour limiter la portée à des heuristiques plus «favorables à la théorie», voici les règles (certaines arbitraires, d'autres non) Ce devrait...
J'enseigne un cours sur la méta-heuristique et j'ai besoin de générer des exemples intéressants de problèmes combinatoires classiques pour le terme projet. Concentrons-nous sur le TSP. Nous nous attaquons aux graphiques de dimension et plus. J'ai bien sûr essayé de générer un graphique avec une...
Je cherche une liste de problèmes d'optimisation NP-hard, où il y a une recherche active en heuristique pratique pour les résoudre et il y a des repères communs, que les gens essaient de battre. Exemples: reconstruction d'arbres phylogénétiques (heuristique par exemple ici ) Vendeur itinérant (pas...
Les solveurs SMT tels que Z3 ou Boolector utilisent un ensemble complexe d'heuristiques pour résoudre les problèmes. Cependant, cela rend également très difficile la prévision des performances d'un tel solveur pour un problème donné. Ma question est donc: Question Existe-t-il un moyen de comprendre...