Pràctica 4: Optimització en SAT

Basat en l’exemple de minColoring.pl, i utilitzant aquest Makefile, resoleu els següents problemes d’optimització:

Programa Prolog

Entrada(s) del programa

Cost òptim

  1. minColoringExampleA_opt6.pl

  1. 6

  1. factory.pl

  1. easy152.pl

  2. hard97.pl

  3. hard147.pl

  1. 152

  2. 97

  3. 147

  1. towers.pl

  1. towersExampleA_opt3.pl

  2. towersExampleB_opt6.pl

  3. towersExampleC_opt5.pl

  1. 3

  2. 6

  3. 5

Podeu baixar-vos tots els fitxers al zip labo4tardor26.zip.

Note:

Per a factory, s’adjunten tres exemples d’entrada. Els que tenen «hard» al nom són difícils.


IMPORTANT al LLIURAMENT:

Has de lliurar els DOS fitxers Prolog: factory.pl, i towers.pl, per separat, sense fer ZIPs o similars.