Lo consiguió! Yo probablemente sea complicado más de lo que yo tenía para entonces, si alguien ve alguna manera simplemente esto me encantaría escuchar comentarios.
Para solucionar esto, vamos a $y=0$ , de modo que
$f(f(x)) = x+f(2017)$.
Deje $c=f(2017)$. A continuación, para todos los $x\in\mathbb{Z}$,
$$f(f(x)) = x+c$$
Ahora conectar $x=y=0$ en el original de la ecuación obtenemos
$f(f(0)) = f(2017)$. Tomando $f$ de ambos lados de los rendimientos
$f(f(f(0))) = f(f(2017))$ que es $f(0)+c=2017+c$así
$f(0) = 2017$.
Ahora tome $f$ de ambos lados de la ecuación original para obtener
$f(f(f(x)+y)) = f(x+f(y+2017))$
que es
$f(x)+y + c = f(x+f(y+2017))$
Establecimiento $y=-2017$ da
$$f(x)-2017 + c = f(x+f(0)) = f(x+2017)$$.
Ahora volvemos de nuevo a la ecuación original con $y=1$. Esto le da
$f(f(x)+1) = x+f(2018)$ que por la fórmula anterior es la
$x+f(1)-2017 + c$. Así
$$f(f(x)+1)-f(f(x)) = x+f(1)-2017+c - (x+c) = f(1)-2017$$
Ahora, como $f(f(x)) = x+c$, $f(f(x))$, y por lo tanto $f(x)$, puede alcanzar todos los valores en $\mathbb{Z}$. Así que para cualquier $k\in\mathbb{Z}$, hay un $x\in\mathbb{Z}$ tal que $f(x)=k$, y por lo que la fórmula anterior se convierte en
$$f(k+1)-f(k) = f(1)-2017$$
para todos los $k\in\mathbb{Z}$. Así que para todos los $k\in\mathbb{Z}$,
$$f(k) = k+c_2$$
para algunos $c_2$. Así que la ecuación original se convierte en
$$x+y+2c_2=x+y+2017+c_2$$
por lo $c_2=2017$. Por lo tanto la única solución es
$$f(x) = x+2017$$