Étant donné une instance de SAT, je voudrais pouvoir estimer à quel point il sera difficile de résoudre l'instance. Une façon consiste à exécuter des solveurs existants, mais ce genre de résultat va à l'encontre du but d'estimer la difficulté. Une deuxième façon pourrait être de regarder le rapport...
Si j'ai un problème difficile, une approche standard consiste à l'exprimer en tant qu'instance SAT et à essayer d'exécuter un solveur SAT dessus. Une autre approche standard consiste à l'exprimer comme un problème de satisfaction de contrainte et à essayer d'utiliser un solveur CSP. Les deux se...
Lorsque nous utilisons A * (ou tout autre meilleur algorithme de recherche de chemin), nous disons que l'heuristique utilisée doit être admissible , c'est-à-dire qu'elle ne doit jamais surestimer la longueur (ou les déplacements) réels du chemin de la solution. Comment une heuristique admissible...
J'ai fait quelques tests de différentes températures initiales dans mon algorithme de recuit de simulation et j'ai remarqué que la température de départ a un effet sur les performances de l'algorithme. Existe-t-il un moyen de calculer une bonne température
Une fonction heuristique h(n)h(n)h (n) est ... Cohérent si le coût estimé du nœud nnn à l'objectif n'est pas supérieur au coût de l'étape pour son successeur n′n′n' plus le coût estimé du successeur à l'objectif. Admissible si h(n)h(n)h(n) ne surestime jamais le véritable coût pour l'état de...
j'ai un problème concernant la situation suivante. J'ai deux tableaux de nombres comme celui-ci: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): 4 4 8 10 10 7 7 10 10 11 7 4 7 7 4 supposons maintenant que le deuxième tableau est très difficile...
Le problème suivant a-t-il été étudié auparavant? Si oui, quelles approches / algorithmes ont été développés pour le résoudre? Problème ("Problème de hauteur d'empilage maximale") Étant donné polygones, trouvez leur disposition stable et sans chevauchement qui maximise leur hauteur d'empilement sur...