Comparar a utilização e não utilização de sistemas de Programação Lógica por Restrições na resolução do problema seguinte.
Dado n, inteiro positivo, encontrar um subconjunto S do conjunto dos inteiros positivos não superiores a n que tenha cardinal máximo e seja tal que se x e y estão em S, então (x+y)/2 não pertence a S, quaisquer que sejam x e y distintos.
Em grupo (de até 3 elementos). Deve ser entregue até 9 de Dezembro e apresentado na aula prática de 11 de Dezembro (ou em mais, se necessário). Não haverá alteração da data de entrega.
Definição de(s) modelo(s) matemático(s).
Estudo computacional.
Justificação da correcção dos algoritmos (e programas) que forem implementados.
Resolver o problema para n >= 100 (sem deixar o programa a correr durante dias e dias; descrição das tentativas implementadas para aumentar velocidade e dos sucessos e insucessos)
Escrita de Relatório: descrever o problema, o modelo matemático, a implementação, os resultados obtidos, o comportamento do programa para vários exemplos de diferentes complexidades; indicar sugestões sobre possíveis melhoramentos; e não esquecer as referências bibliográficas.
O que naturalmente não se pretende
Que todos os grupos tenham as mesmas ideias, os mesmos programas, os mesmos resultados...
O desconhecimento que algum dos elementos do grupo demonstre sobre o conteúdo do trabalho poderá penalizar o grupo.