подсказка: попробуй уменьшать размерность задачи, глядя на старший разряд k и x
например, если оба старших разряда равны 0, то число на последнем шаге 3 было в первой половине списка, и ответ для них будет такой же, как для k' и x' с обрезанными старшими разрядами, а если в k разряд 1, а в x 0, то такого быть не может, а если оба разряда 1, то ..., а если оба разряда ?, то...