MathDB
degree of f=2^k

Source: ISI 2012 #8

May 13, 2012
functioninvariantalgebra unsolvedalgebracombinatorics

Problem Statement

Let S={1,2,3,,n}S = \{1,2,3,\ldots,n\}. Consider a function f ⁣:SSf\colon S\to S. A subset DD of SS is said to be invariant if for all xDx\in D we have f(x)Df(x)\in D. The empty set and SS are also considered as invariant subsets. By deg(f)\deg (f) we define the number of invariant subsets DD of SS for the function ff.
i) Show that there exists a function f ⁣:SSf\colon S\to S such that deg(f)=2\deg (f)=2.
ii) Show that for every 1kn1\leq k\leq n there exists a function f ⁣:SSf\colon S\to S such that deg(f)=2k\deg (f)=2^{k}.