28 aprile 2021 - laboratorio

In un autosalone sono esposte quattro auto d'epoca: una Ferrari, un'Alfa Romeo, una Lamborghini e una Maserati. Il proprietario viene contattato da cinque clienti che gli telefonano per avere informazioni sulle vetture.

Egli risponde loro dando a ciascuno 3 informazioni su una delle vetture, ma a causa della confusione che c'è nell'autosalone, commette qualche errore e a qualcuno fornisce qualche informazione sbagliata. Nelle cinque telefonate fornisce queste informazioni:

1. La Lamborghini è gialla, è la seconda più cara e ha gli interni marroni
2. La Ferrari ha gli interni marroni, è la meno cara ed è rossa.
3. L'automobile nera è la più cara, è l'Alfa Romeo e ha gli interni color panna
4. La meno costosa ha gli interni blu, è la Lamborghini ed è rossa
5. L'Alfa Romeo ha il secondo prezzo più basso, ha gli interni blu e la carrozzeria grigia.

Sapendo che un'automobile ha gli interni verdi, si trovi la soluzione in cui il titolare dell'autosalone ha fornito meno informazioni sbagliate in totale.

N.B.: ciascuna telefonata fornisce 3 informazioni; ad esempio, nella quarta le informazioni sono "La meno costosa ha gli interni blu", "La meno costosa è la Lamborghini" e "La meno costosa è rossa".

Es 1 (punti 14):

Si risolva il problema in CLP(FD).

Es 2 (punti 10):

Si risolva il problema in ASP oppure MiniZinc.