A 8-queen problem is to find a function s.t.
- $\ f : \{1, 2, 3, 4,5, 6, 7, 8\} \rightarrow \{1, 2, 3, 4,5, 6, 7, 8\}$
- $\ f$ bijective
- $\ f-\mathrm{Id}, \ f+\mathrm{Id}$ injective
If I modify the first limitation to $f : \mathbb N \rightarrow \mathbb N$, the function seems to exist(can be proved by induction?).
I was wondering if the set of these functions is
- infinite (same by induction)?
- countable or uncountable ?