A positive integer is called [i]shiny[/i] if it can be written as the sum of two not necessarily distinct integers $a$ and $b$ which have the same sum of their digits. For instance, $2012$ is [i]shiny[/i], because $2012 = 2005 + 7$, and both $2005$ and $7$ have the same sum of their digits. Find all positive integers which are [b]not[/b] [i]shiny[/i] (the dark integers).
1. **Case 1: \( S(n) \) is even**

   Let \( n = \overline{a_1a_2 \ldots a_m} \). We can write \( n \) as:
   \[
   n = \overline{a_1a_2 \ldots (a_k-1) \ldots a_m} + 10^{m-k}
   \]
   where \( a_k \) is a non-zero digit. 

   By transferring digits from the left number to the right number one at a time (i.e., subtracting one from a digit spot on the left number and adding it to the right number), we can eventually make both numbers have the same digit sum \( S(n)/2 \). Therefore, \( n \) is shiny in this case.

2. **Case 2: \( S(n) \) is odd and \( S(n) > 1 \)**

   Clearly, if \( n \) is odd and \( n < 10 \), it does not work. So, we assume \( n \) is two or more digits long. Let \( n = \overline{a_1a_2 \ldots a_m} \). Consider \( a_k \) as a non-zero digit where \( a_{k+1} \) is not 9. This exists as long as \( n \neq \overline{a999 \ldots 999} \) for some \( a \) and some length.

   We can write:
   \[
   n = \overline{a_1a_2 \ldots (a_k-1)9a_{k+2} \ldots a_m} + (a_{k+1}+1)10^{m-k-1}
   \]
   By applying the same trick as with even numbers, the left part and the right part will have the same parity of digit sum. Therefore, \( n \) is shiny in this case as well.

3. **Special Case: \( n = \overline{a999 \ldots 999} \)**

   Suppose \( n = \overline{a999 \ldots 999} \). If \( n \) were shiny, then for \( c + d = n \), we must have \( S(c) + S(d) = S(n) \). This implies \( S(n) \) is even. Thus, \( n = \overline{a999 \ldots 999} \) is shiny if and only if \( S(n) \) is even.

In conclusion, we have proven that \( n \) is shiny if and only if \( n \) is not of the form \( \overline{a999 \ldots 999} \) where \( S(n) \) is odd.

\(\blacksquare\)

The final answer is \( \boxed{ n } \) is shiny if and only if \( n \) is not of the form \( \overline{a999 \ldots 999} \) where \( S(n) \) is odd.