Como dice LKM, a menos que los cuatro dados tengan el mismo número en la parte inferior, siempre se puede componer 2017.
De acuerdo, ¿pero por qué es eso cierto exactamente? Eso no es inmediatamente obvio, así que aquí hay una prueba:
Si los cuatro dados tienen un número diferente en la parte inferior, entonces para componer 2017 podemos hacer: elegir el $2$ del dado que tiene el $1$ en la parte inferior, elija el $0$ de la que tiene el $7$ en la parte inferior, el $1$ del que tiene el $0$ en la parte inferior, y el $7$ del que tiene un $2$ en la parte inferior. Esquemáticamente, podemos escribir esto como:
$1 \rightarrow 2$
$7 \rightarrow 0$
$0 \rightarrow 1$
$2 \rightarrow 7$
Vale, eso era fácil, pero ¿qué pasa si tienes dos o tres dados con el mismo número en la parte inferior? ¿Podemos seguir haciéndolo?
Bien, supongamos que tenemos dos $0$ 'S, a $1$ y un $2$ en la parte inferior. Entonces podemos hacer:
$0 \rightarrow 1$
$0 \rightarrow 2$
$1 \rightarrow 0$
$2 \rightarrow 7$
Esto, por supuesto, se generaliza a cualquier caso en el que se tengan tres números diferentes en la parte inferior. Es decir, si los números/caras en la parte inferior son dos $A$ 's, un $B$ y un $C$ Entonces podemos hacerlo:
$A \rightarrow B$
$A \rightarrow C$
$B \rightarrow D$
$C \rightarrow A$
Bien, ¿y si tenemos dos $A$ y dos $B$ ¿en el fondo? entonces podemos hacerlo:
$A \rightarrow B$
$A \rightarrow C$
$B \rightarrow D$
$B \rightarrow A$
finalmente, con tres $A$ y una $B$ que podemos hacer:
$A \rightarrow B$
$A \rightarrow C$
$A \rightarrow D$
$B \rightarrow A$