Me gusta los retos y eso problema me causo bastante emocion =D:

Si: a<b<c<d
2a - 2b - 2c + 2d = 2012
2[2^(a - 1) - 2^(b - 1) - 2^(c - 1) + 2^(d - 1)] = 2*1006
2^(a - 1) - 2^(b - 1) - 2^(c - 1) + 2^(d - 1) = 1006
2[2^(a - 2) - 2^(b - 2) - 2^(c - 2) + 2^(d - 2)] = 2*503
2^(a - 2) - 2^(b - 2) - 2^(c - 2) + 2^(d - 2) = 503
Mira como:
2^x, x 0 es siempre un numero par
2^x, x = 0 es siempre un numero impar y el unico (2^0 = 1)
Ahora como la suma y resta de numeros pares siempre es un numero par pero si hubiera un numero
impar en la suma y resta resultaria un numero impar. Por ello que la unica opcion para que:
2^(a - 2) - 2^(b - 2) - 2^(c - 2) + 2^(d - 2) = 503 seria si resultaria que hubiera un impar osea que (2^0 = 1)
Como a<b<c<d entonces el menor es "a" por lo que "a - 2 = 0 ------> a = 2" .Entonces nos queda:
2^(2 - 2) - 2^(b - 2) - 2^(c - 2) + 2^(d - 2) = 503
1 - 2^(b - 2) - 2^(c - 2) + 2^(d - 2) = 503
2^(d - 2) - 2^(b - 2) - 2^(c - 2) = 502
2[2^(d - 3) - 2^(b - 3) - 2^(c - 3)] = 2*251
2^(d - 3) - 2^(b - 3) - 2^(c - 3) = 251
Ocurre lo mismo que acabamos de decir hace un momento.
Como b<c<d entonces el menor es "b" por lo que "b - 3 = 0 ------> b = 3" .Entonces nos queda:
2^(d - 3) - 2^(3 - 3) - 2^(c - 3) = 251
2^(d - 3) - 1 - 2^(c - 3) = 251
2^(d - 3) - 2^(c - 3) = 252
2[2^(d - 4) - 2^(c - 4)] = 2*126
2^(d - 4) - 2^(c - 4) = 126

2[2^(d - 5) - 2^(c - 5)] = 2*63

2^(d - 5) - 2^(c - 5) = 63
Ocurre lo mismo que acabamos de decir hace un momento.
Como c<d entonces el menor es "c" por lo que "c - 5 = 0 ------> c = 5" .Entonces nos queda:
2^(d - 5) - 2^(5 - 5) = 63
2^(d - 5) - 1 = 63
2^(d - 5) = 64 = 2^6
Entonces "d - 5 = 6 ------> d = 11"
Por ello la unica regla de correspondencia es: a=2, b=3, c=5 y d=11. Corroborando:
2a - 2b - 2c + 2d = 2012
22 - 23 - 25 + 211 = 2012
4 - 8 - 32 + 2048 = 2012
2012 = 2012....................CUMPLE!!!

Espero que te sirva y mas aun que me entiendas.SUERTE!!!!!!