Perguntas com a marcação «constraint-programming»

Se eu tiver um problema difícil, uma abordagem padrão é expressá-la como uma instância SAT e tentar executar um solucionador SAT nela. Outra abordagem padrão é expressá-lo como um problema de satisfação de restrições e tentar usar um solucionador de CSP. Os dois se sentem de alguma forma vagamente semelhantes …

18 heuristics  sat-solvers  constraint-programming 

O tipo de problemas com "presença na festa" pode ser solucionado no Prolog? Por exemplo: Burdock Muldoon e Carlotta Pinkstone disseram que viriam se Albus Dumbledore viesse. Albus Dumbledore e Daisy Dodderidge disseram que viriam se Carlotta Pinkstone viesse. Albus Dumbledore, Burdock Muldoon e Carlotta Pinkstone disseram que viriam se …

18 logic  constraint-programming  prolog  logic-programming 

Considere um modelo de CSP em que a alteração do valor de uma variável específica seja cara. Existe algum trabalho em que a função objetivo também considere o número de alterações no valor da variável durante o processo de busca? Um exemplo: a variável dispendiosa para alterar pode estar no …

10 algorithms  constraint-programming 

Não se acredita que a satisfação geral (com algumas exceções, como Cláusulas de Horn), tenha uma solução algorítmica. No entanto, o algoritmo a seguir parece ser uma solução para satisfação geral. Qual é exatamente a falha com o seguinte algoritmo? Deixei WWW seja um conjunto vazio que conterá todas as …

8 algorithms  logic  satisfiability  constraint-programming 

Nos é dado um conjunto F={f1,f2,f3,…,fN}F={f1,f2,f3,…,fN}F=\{f_1, f_2, f_3, …, f_N\} do NNNFrutas. Cada fruta tem preço e conteúdo vitamínico ; associamos a fruta ao par ordenado . Agora temos que organizar essas frutas de forma que a lista classificada contenha preços em ordem crescente e conteúdo de vitaminas em ordem …

8 algorithms  arrays  constraint-programming  subsequences