For a positive integer $n$, $(a_0, a_1, \cdots , a_n)$ is a $n+1$-tuple with integer entries. 
For all $k=0, 1, \cdots , n$, we denote $b_k$ as the number of $k$s in $(a_0, a_1, \cdots ,a_n)$.
For all $k = 0,1, \cdots , n$, we denote $c_k$ as the number of $k$s in $(b_0, b_1, \cdots ,b_n)$.
Find all $(a_0, a_1, \cdots ,a_n)$ which satisfies $a_0 = c_0$, $a_1=c_1$, $\cdots$, $a_n=c_n$.
1. Let \( A = (a_0, a_1, \ldots, a_n) \) and define \( B \) and \( C \) similarly, so \( C = A \).
2. It is clear that there is at least one zero in each of \( A \), \( B \), and \( C \), and the sum of numbers in each must be \( n+1 \).
3. Let there be \( k \) distinct numbers in \( A \).
4. There will be \( k \) non-zeros in \( B \) and thus \( n+1-k \) zeros.
5. Therefore, \( c_0 = n+1-k \), and \( c_1 + c_2 + \cdots + c_n = k \).
6. Since \( A = C \), there are also \( k \) distinct numbers in \( C \).
7. Let these be \( 0, n+1-k, x_1, x_2, \ldots, x_{k-2} \).
8. The sum of \( x_i \)'s must be at least \( 1+2+\cdots+(k-2) \) but at most \( k \), and this implies \( k \leq 4 \).

**Case 1: \( k = 1 \)**
- This is impossible since \( C \) contains \( 0 \) and \( n+1-k \) and thus at least two distinct numbers.

**Case 2: \( k = 2 \)**
- This means \( 0 \) and \( n+1-k = n-1 \) are the only two distinct numbers in \( C \).
- Hence \( n-1 \mid c_0 + c_1 + \cdots + c_n = n+1 \) so \( n = 2, 3 \).
  - If \( n = 2 \), then \( C \) must be all \( 1 \) which is impossible.
  - If \( n = 3 \), then there must be two \( 2 \)'s and two \( 0 \)'s in \( A \) so \( B = (2, 0, 2, 0) \) and \( C = (2, 0, 2, 0) = A \). Thus we have an answer: \(\boxed{(2, 0, 2, 0)}\).

**Case 3: \( k = 3 \)**
- This means there are three distinct numbers in \( A \): \( 0, n-2 \) and \( t \).
- Some combination of these must sum to \( n+1 \) and these are the possible sub-cases:

  **Sub-case 3.1: We use one \( n-2 \)**
  - In this case, the \( t \)'s sum to \( 3 \), so there are two sub-sub-cases:
    - \( t = 3 \) appears once:
      - We calculate \( B = (n-1, 0, 1, \ldots, 1, 0, 0) \) (here \( \ldots \) will always be all zeros).
      - Thus \( C = (n-2, 2, 0, \ldots, 0, 1, 0) \) but this cannot be \( A \) so no solution.
    - \( t = 1 \) appears three times:
      - Here \( B = (n-3, 3, 0, \ldots, 0, 1, 0) \) and so \( C = (n-2, 1, 0, 1, \ldots, 1, 0, 0, 0) \).
      - To avoid the \( 1 \)'s clashing, we must have \( n = 5 \) or \( n \geq 7 \), so we get the solutions \(\boxed{(3, 1, 1, 1, 0, 0)}\) and \(\boxed{(n-2, 1, 0, 1, \ldots, 1, 0, 0, 0), n \geq 7}\).

  **Sub-case 3.2: We use at least two \( n-2 \)'s**
  - Since \( t \geq 1 \), \( 2(n-2) + 1 \leq n+1 \), so \( n \leq 4 \).
    - \( n = 1, 2 \) impossible as \( n-2 > 0 \).
    - \( n = 3 \) so \( n-2 = 1 \) and \( A \) must consist of \( 0, 1, 1, 2 \) and this leads to the solution \(\boxed{(1, 2, 1, 0)}\).
    - \( n = 4 \) so \( n-2 = 2 \) and \( A \) must consist of \( 0, 0, 1, 2, 2 \) and this leads to the solution \(\boxed{(2, 1, 2, 0, 0)}\).

**Case 4: \( k = 4 \)**
- This means there are four distinct numbers in \( A \): \( 0, n-3, t, u \) where WLOG \( t < u \).
- Some combination of these must sum to \( n+1 \) and again we consider sub-cases based on the number of \( n-3 \) used.

  **Sub-case 4.1: We use one \( n-3 \)**
  - The \( t \)'s and \( u \)'s sum to \( 4 \) so they must be \( 1, 1, 2 \) or \( 1, 3 \):
    - \( 1, 1, 2 \):
      - We calculate \( B = (n-3, 2, 1, \ldots, 1, 0, 0, 0) \) and \( C = B \).
      - To avoid the numbers clashing we must have \( n \geq 6 \) and so we get the answer \(\boxed{(n-3, 2, 1, \ldots, 1, 0, 0, 0), n \geq 6}\).
    - \( 1, 3 \):
      - We calculate \( B = (n-2, 1, 0, 1, \ldots, 1, 0, 0, 0) \) and \( C = (n-3, 3, \ldots, 1, 0, 0) \).
      - Again we can check that \( n = 5 \) or \( n \geq 7 \) so the answers are \(\boxed{(2, 3, 0, 1, 0, 0)}\) and \(\boxed{(n-3, 3, \ldots, 1, 0, 0), n \geq 7}\).

  **Sub-case 4.2: We use at least two \( n-3 \)'s**
  - Since \( t + u \geq 3 \), \( 2(n-3) + 3 \leq n+1 \) so \( n \leq 4 \).
  - It is easy to see that there are no solutions here.

To conclude, this is the list of solutions:
\(\boxed{(1, 2, 1, 0)}\), \(\boxed{(2, 0, 2, 0)}\), \(\boxed{(2, 1, 2, 0, 0)}\), \(\boxed{(2, 3, 0, 1, 0, 0)}\), \(\boxed{(3, 1, 1, 1, 0, 0)}\), \(\boxed{(n-3, 2, 1, \ldots, 1, 0, 0, 0), n \geq 6}\), \(\boxed{(n-3, 3, \ldots, 1, 0, 0), n \geq 7}\), \(\boxed{(n-2, 1, 0, 1, \ldots, 1, 0, 0, 0), n \geq 7}\).