Aplicando Programação em Lógica com Restrições no Problema das N-Rainhas com Tabela de Pesos

Neste artigo a Programacao em Logica com Restricoes (PLR) e aplicada ao problema classico das n-rainhas , contudo, cada posicao ou celula no tabuleiro possui um peso, um valor inteiro. Assim, este tabuleiro e ponderado segundo uma tabela de pesos, o qual generaliza o conceito de um tabuleiro com pesos iguais em todas as suas celulas. O objetivo consiste em encontrar as combinacoes das n-rainhas que levem ha uma maximizacao sobre estas combinacoes validas. Este problema e uma metafora para problemas reais combinatoriais e ubiqua. Os resultados levantados bem como o tempo de maximizacao sao factiveis dada a complexidade desta classe de problema. Este resultado fortalece a PLR como uma teoria atrativa a problemas combinatoriais a serem aplicados a problemas reais.