Let $\Omega$ be an universal set and $|\Omega|=N$, denote $\mathcal{F}$ to be the family of all subsets $\subset \Omega$ with cardinal $n$. We now define a function $f:\mathcal{F}\rightarrow \Omega$, and which satisfies the following properties:

- $\forall A\in \mathcal{F},\ f(A)\in A$,
- If $|A_1\cap A_2|=n-1$ then $f(A_1)\not=f(A_2)$.

My question is:

When does this kind of functions exist?

A simple result is that if $n=N-2$ then this kind of functions exist iff $N$ is odd, since we can reduce this question to *idempotent symmetric latin square* designing problem.

Proof: We change the function to its complement functions, i.e. $f'(\bar{A})=f(A)$. Note that $\bar{A}$ have only two elements, so $f'$ can be regarded as a function $\Omega\times \Omega\rightarrow \Omega$ such that $f'(a,b)\not=a\not=b$ and $f'(a,b)\not=f'(a,c)$ and $f'(a,b)=f'(b,a)$, which is exactly some kind ofidempotent symmetric latin square.

We can also show that $n$ should not less then $N/2-1$.

Proof: Suppose not, choosing an arbitrary subset $A'\in \Omega$ and $|A'|=n-2$, since $n<N/2-1$ we can find different $a,b\not\in A'$ and denote $A_1=A'\cup\{a\},\ A_2=A'\cup \{b\}$. For $i=1,2$, we have $N-n+1$ ways to extend $A_i$ to a subset with cardinal $n$ by adding a new element. We claim that there must be an element $e\not\in A_1\cup A_2$, such that $f(A_1\cup\{e\})=f(A_2\cup \{e\})=e$ and which contradict to property 2. But this is easily follows by $2(n+1)<N\Leftrightarrow n<N/2-1$.

So, does anyone know whether this problem can be reduced to any well studied problems?

Actually, I conjecture that this kind of functions do not exist when $n<N-2$, but I don't know how to prove it.

propertiseis sort of likeexpertise. I like it! Perhaps the "propertise" of an object is not just a miscellaneous list of properties, but the gestalt of all relevant properties taken together. $\endgroup$