5

let ${A\choose k}=\{S\subseteq A: |S|=k\}$ and $[r]=\{1,\dots,r\}$.
Using Hall's marriage theorem one can prove there exists a bijection $f:{[2n+1]\choose n+1}\to{[2n+1]\choose n}$ so that $f(A)\subset A$ for all $A\in {[2n+1]\choose n+1}$.
Question. is there an explicit simple construction of such an $f$ (or its inverse) ?

RobPratt
  • 45,619
tomm
  • 293
  • 1
  • 7

0 Answers0