Questions marquées «heuristics»

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.

5
Quel est le nombre maximum de mariages stables pour une instance du problème du mariage stable?
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 / femmes, nous posons la question suivante - Peut-on construire …
5
Algorithmes de largeur d'arbre rapides
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 fonctionnent très rapidement …
2
Algorithme décentralisé pour déterminer les nœuds influents dans les réseaux sociaux
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 t y s e t S=empty setS = {\rm …
3
Application réussie des méthodes de branchement et de limitation pour les problèmes NP-difficiles
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 résoudre ces problèmes. Pour …
1
Comprendre les performances des solveurs QFBV SMT
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 ou d'obtenir des informations sur les …
1
Heuristique pour l'optimisation
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 être une méthode bien définie, …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.