Risoluzione esercizio

[anonymous_c5d2a1]

Buonasera a tutti: posto questo problema per capire se c'è qualcuno che propone una soluzione più corta.

Uno dei contadini di Mathville, ha riempito con il latte della sua mucca, un secchio di $9$ litri. Dispone poi di altri $2$ secchi, vuoti, che hanno rispettivamente la capacità di $4$ e $5$ litri. Il suo obiettivo è quello di avere nel secchio più grande, con qualche travaso (che riempia o svuoti completamente uno dei $2$ secchi coinvolti), esattamente $7$ litri. Quanti travasi (senza buttare il latte per terra e ... senza berlo) dovrà fare al minimo per raggiungere l'obiettivo?

Propongo la mia soluzione:
Situazione iniziale:
Secchio da $9$ litri $9$ litri
Secchio da $4$ litri $0$ litri
Secchio da $5$ litri $0$ litri
$1°$ travaso:
Secchio da $9$ litri $5$ litri
Secchio da $4$ litri $4$ litri
Secchio da $5$ litri $0$ litri
$2°$ travaso:
Secchio da $9$ litri $5$ litri
Secchio da $4$ litri $0$ litri
Secchio da $5$ litri $4$ litri
$3°$ travaso:
Secchio da $9$ litri $1$ litri
Secchio da $4$ litri $4$ litri
Secchio da $5$ litri $4$ litri
$4°$ travaso:
Secchio da $9$ litri $1$ litri
Secchio da $4$ litri $3$ litri
Secchio da $5$ litri $5$ litri
$5°$ travaso:
Secchio da $9$ litri $6$ litri
Secchio da $4$ litri $3$ litri
Secchio da $5$ litri $0$ litri
$6°$ travaso:
Secchio da $9$ litri $6$ litri
Secchio da $4$ litri $0$ litri
Secchio da $5$ litri $3$ litri
$7°$ travaso:
Secchio da $9$ litri $2$ litri
Secchio da $4$ litri $4$ litri
Secchio da $5$ litri $3$ litri
$8°$ travaso:
Secchio da $9$ litri $2$ litri
Secchio da $4$ litri $2$ litri
Secchio da $5$ litri $5$ litri
$9°$ travaso:
Secchio da $9$ litri $7$ litri
Secchio da $4$ litri $2$ litri
Secchio da $5$ litri $0$ litri

In attesa ringrazio e saluto.

[axpgn]

$4-5-0$
$4-1-4$
$8-1-0$
$8-0-1$
$3-5-1$
$3-2-4$
$7-2-0$