Если при подсчёте количества ненулевых разрядов числа записанного в уравновешенной троичной системе счисления основанной на ряду степеней нечётного числа (1,3,9,27 и т.д.) получается чётное число, то и само исходное число является чётным.
С этого начинали. Конечно, тут есть немного рекурсии

Думается, что далее размышлять можно только над алгоритмом подсчета и интерпретацией результата (например, в случае нуля).
З.Ы. Например: алгоритм Shaos'а
0. Если аккумулятор ноль, то записать -1 в аккумулятор и перейти к 6а.
1. обнулить переменную четности
2. если младший трит ноль, то идти на 5
3. если переменная 0, то записать в нее +1 и идти на 5
4. если переменная +1, то записать в нее 0 и идти на 5
5. сдвинуть аккумулятор вправо с обнулением старшего трита
6. если аккумулятор не ноль, то идти на 1
6а. Выход
После не более чем N итераций (где N - разрядность аккумулятора) в переменной четности будет хранится 0 - если число в аккумуляторе было четное и +1 - если нечетное.
(Или -1, если ноль)