L'informatique constraint-programming

1

Quand utiliser SAT vs Constraint Satisfaction?

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 sentent en quelque …

18 heuristics sat-solvers constraint-programming

4

Les problèmes de satisfaction des contraintes peuvent-ils être résolus avec Prolog?

Est-ce que les problèmes de type "fréquentation des partis" sont résolus dans Prolog? Par exemple: Burdock Muldoon et Carlotta Pinkstone ont tous deux déclaré qu'ils viendraient si Albus Dumbledore venait. Albus Dumbledore et Daisy Dodderidge ont tous deux déclaré qu'ils viendraient si Carlotta Pinkstone venait. Albus Dumbledore, Burdock Muldoon et …

18 logic constraint-programming prolog logic-programming

1

Dans la programmation par contraintes, existe-t-il des modèles qui prennent en compte le nombre de changements de variables?

Considérons un modèle CSP où la modification de la valeur d'une variable particulière coûte cher. Existe-t-il des travaux où la fonction objectif prend également en compte le nombre de modifications de la valeur de la variable au cours du processus de recherche? Un exemple: la variable coûteuse à changer peut …

10 algorithms constraint-programming

2

Un algorithme de satisfiabilité provisoire

La satisfiabilité générale (à quelques exceptions telles que les clauses de Horn) ne semble pas avoir de solution algorithmique. Cependant, l'algorithme suivant semble être une solution pour la satisfiabilité générale. Quel est exactement le défaut de l'algorithme suivant? Laisser WWW être un ensemble vide qui contiendra toutes les variables qui …

8 algorithms logic satisfiability constraint-programming

1

Trouver une sous-séquence de longueur maximale satisfaisant simultanément deux contraintes d'ordre

On nous donne un ensemble de Fruits. Chaque fruit a un prix et une teneur en vitamines ; nous avons associé le fruit à la paire ordonnée . Maintenant, nous devons organiser ces fruits de telle sorte que la liste triée contienne les prix en ordre croissant et le contenu …

8 algorithms arrays constraint-programming subsequences

Questions marquées «constraint-programming»