Buenas Rocio, disculpá la demora, el problema en esta solución es que la cantidad de veces que multiplicás por 2 un número puede ser la misma que la cantidad de veces que multiplicás por 2 otro número a su derecha, y terminás contando inversiones comunes en lugar de inversiones significativas. Mirá el siguiente ejemplo con la secuencia [1,3,2,4] que no tiene inversiones significativas! (aunque sí una inversión común)
Primer llamada
-----A = [1, 3]
-----B = [2, 4]
-----Llamada recursiva para [1, 3]:
----------A = [1]
----------rA = 0
----------se llama Merge-and-Count([1], [6])
---------------retorna 0, [1,6]
----------se retorna 0, [1,6]
-----Llamada recursiva para [2, 4]:
----------A = [2]
----------rA = 0
----------B = [4]
----------rB = 0
----------se llama Merge-and-Count([2], [8])
---------------retorna 0, [2,8]
----------se retorna 0, [2,8]
-----queda (rA,A) = (0, [1,6]) y (rB,B) = (0, [2,8])
-----se llama Merge-and-Count de ([1,6], [4,16])
----------retorna 1
-----retorna 1
Si observás, el problema es que el 3 se multiplica por 2 (por estar en la parte derecha de un subproblema), y el 2 se multiplica por 2 una vez también, entonces te queda la inversión 6-4 (cuando vos esperabas que sólo se multiplicara el 2, y no hubiera inversión porque te quedaba 3-4)
Saludos,
JP
Saludos,
JP