Зацыкливание

[BDA]

Вот так и нужно было сразу писать условие

#include <stdlib.h>
#include <stdio.h>

int
main()
{
    int a, b;
    scanf("%d %d", &a, &b);
    if (a < 0 || b < 0) {
        printf("-1\n");
    } else if (!a || !b) {
        printf("0\n");
    } else if ((a + b) % 2) {
        printf("-1\n");
    } else {
        int a2, b2, i = 1;
        a2 = b2 = (a + b) / 2;
        if (a > b) {
            int c = a;
            a = b;
            b = c;
        }
        while (!(a2 == a && b2 == b) && !(a2 % 2 + b2 % 2)) {
            a2 /= 2;
            b2 += a2;
            ++i;
        }
        if (a2 == a && b2 == b) {
            printf("%d\n", i);
        } else {
            printf("-1\n");
        }
    }
    return 0;
}

Теперь "просто" разберитесь в решении.

upd
Чуть исправил код (добавил пару условий).

[rrrFer]

думаю у задачи должно быть красивое алгоритмическое решение, а то что ты пытаешься делать будет циклиться (или придеца хранить все уже просмотренные варианты, но это нехорошо, я думаю).

Ну вот, BDA нашел красивое решение )

А можно и "в лоб" решать, но на плюсах будет не красиво, на прологе сносно )) :

p(0, _):-!.
p(_, 0):-!.
p(A, B):-
  retract(t(A, B)), !, fail;
  assert(t(A, B)),
  B >= A, !, BB is B - A, AA is A + A, p(AA, BB)
  ; AA is A - B, BB is B + B, p(AA, BB).

clear:-
  retract(t(_,_)), clear.
clear.

count(N, R):-
  retract(t(_,_)), !, NN is N + 1, count(NN, R);
  R is N.

g(A, B):-
  notrace, clear, !, (p(A, B), count(0, R), write(R);
  write(-1)), !.

[akademochka]

Спасибо, попробую))