MathDB
Evading function

Source: KJMO 2018 p8

July 26, 2019
combinatoricsfunction

Problem Statement

For every set SS with n(3)n(\ge3) distinct integers, show that there exists a function f:{1,2,,n}Sf:\{1,2,\dots,n\}\rightarrow S satisfying the following two conditions.
(i) {f(1),f(2),,f(n)}=S\{ f(1),f(2),\dots,f(n)\} = S (ii) 2f(j)f(i)+f(k)2f(j)\neq f(i)+f(k) for all 1i<j<kn1\le i<j<k\le n.