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.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.pl

  2. towersExample_sp2.pl

  3. towersExample_s7.pl

  1. 5

  2. 3

  3. 6

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

Note:

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

(*) L’exemple d’entrada hard147.pl és l’antic hardMaybe147.pl. El cost òptim, 147, ha estat confirmat.


IMPORTANT al LLIURAMENT:

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