请教一道题

有一个数列，a(0) = 1, a(1) = 1, a(2) = 2,..
有 a(2k) = a(k) + a(k + 1) + k for k > 1
a(2k + 1) = a(k - 1) + a(k) + 1 for k >=1

给一个数y，（1<y<10^25）,判断是否有a(x) = y, 如果有的话，求出最大能使a(x) = y的x

请问大家有没有什么办法或者思路。谢谢了