We call a permutation $(a_1, a_2,\cdots , a_n)$ of the set $\{ 1,2,\cdots, n\}$ "good" if for any three natural numbers $i <j <k$, $n\nmid a_i+a_k-2a_j$ find all natural numbers $n\ge 3$ such that there exist a "good" permutation of a set $\{1,2,\cdots, n\}$.
1. **Restate the problem in a more convenient form:**
   We will operate on the set \(\{0, 1, \ldots, n-1\}\) instead of \(\{1, 2, \ldots, n\}\). This does not change the nature of the problem but simplifies the arithmetic.

2. **Analyze the condition for a permutation to be "good":**
   For \(3 \leq k \leq n\), we need:
   \[
   a_1 + a_k \not\equiv 2a_2 \pmod{n}
   \]
   This implies:
   \[
   a_k \not\equiv 2a_2 - a_1 \pmod{n}
   \]
   Therefore, \(2a_2 - a_1\) must not be congruent to any \(a_i\) for \(i \neq 2\).

3. **Consider the implications of the above condition:**
   Clearly, \(2a_2 - a_1 \not\equiv a_2\) because that would imply \(a_1 \equiv a_2\), which is a contradiction. Thus, we must have:
   \[
   2a_2 - a_1 \equiv a_1 \pmod{n} \implies 2a_2 \equiv 2a_1 \pmod{n}
   \]
   If \(n\) is odd, this reduces to:
   \[
   a_2 \equiv a_1 \pmod{n}
   \]
   which is a contradiction. Therefore, \(n\) must be even.

4. **Consider the structure of the permutation:**
   We can divide the permutation into two subsets: one consisting of even numbers and the other of odd numbers. If the original permutation is "good", then the even subset divided by two and the odd subset subtracted by one and divided by two must also be "good".

5. **Inductive step:**
   If \(\{2a_1, 2a_2, \ldots, 2a_{n/2}\}\) is good modulo \(2n\), then \(\{a_1, a_2, \ldots, a_{n/2}\}\) is good modulo \(n\) (by dividing everything by two). Similarly, if \(\{2a_1 + 1, 2a_2 + 1, \ldots, 2a_{n/2} + 1\}\) is good modulo \(2n\), then \(\{a_1, a_2, \ldots, a_{n/2}\}\) is good modulo \(n\).

6. **Conclusion from the inductive step:**
   For a size \(n\) permutation to be good, a size \(n/2\) permutation must also be good. If \(n = a \cdot 2^b\) where \(a\) is odd, it follows that for a size \(n\) permutation to be good, a size \(a\) permutation must also be good. However, unless \(a = 1\), this is impossible as shown above. Thus, \(n\) must be a power of 2.

7. **Construction of a "good" permutation:**
   If we permute the numbers in \(\{1, 2, \ldots, n\}\) such that one half is exclusively odd and the other exclusively even, then choosing any \(i\) in one half and \(k\) in the other half will not yield an \(a_j\) because \(a_i + a_k\) is odd while \(2a_j\) is even. Thus, we just need to worry about each half individually, and this can be resolved with the induction step.

The final answer is \( \boxed{ n = 2^b } \).