MathDB
every coloring function f_k of S satisfies | f_k(S)| \le m

Source: Romania IMO TST 1990 p8

February 19, 2020
combinatoricsinequalitiesfunction

Problem Statement

For a set SS of nn points, let d1>d2>...>dk>...d_1 > d_2 >... > d_k > ... be the distances between the points. A function fk:SNf_k: S \to N is called a coloring function if, for any pair M,NM,N of points in SS with MNdkMN \le d_k , it takes the value fk(M)+fk(N)f_k(M)+ f_k(N) at some point. Prove that for each mNm \in N there are positive integers n,kn,k and a set SS of nn points such that every coloring function fkf_k of SS satisfies fk(S)m| f_k(S)| \le m