Hola Agustin.
La función Mezclar-y-Contar-Significativas tiene un problema. lista_mezclada tiene que quedar ordenada correctamente. Si tu haces la comparación por si L_izq[i] <= 2 * L_der[j]: puede que no te quede ordenada, poque puede existir un elemento en L_izq menor a uno de L_der pero que no sea menor al 2 * el elemento de L_der.
Tendrías que dejar la misma condición del merge_and_count que vimos en teórico para insertar en lista_mezclada y elaborar como contar las inversiones en caso de añadir L_der[j] a lista_mezclada
Con respecto a demostrar el orden no es necesario si te basas en la propiedad del libro. Pero lo que si hay que hacer es plantear la recurrencia tipo T(n) igual (o mayor e igual , o menor e igual) a una función recursiva en T con n/2 más algún otro término para combinar los subproblemas. Una vez tengas definida la recurrencia T(n), si podés invocar el resultado del libro.
La función Mezclar-y-Contar-Significativas tiene un problema. lista_mezclada tiene que quedar ordenada correctamente. Si tu haces la comparación por si L_izq[i] <= 2 * L_der[j]: puede que no te quede ordenada, poque puede existir un elemento en L_izq menor a uno de L_der pero que no sea menor al 2 * el elemento de L_der.
Tendrías que dejar la misma condición del merge_and_count que vimos en teórico para insertar en lista_mezclada y elaborar como contar las inversiones en caso de añadir L_der[j] a lista_mezclada
Con respecto a demostrar el orden no es necesario si te basas en la propiedad del libro. Pero lo que si hay que hacer es plantear la recurrencia tipo T(n) igual (o mayor e igual , o menor e igual) a una función recursiva en T con n/2 más algún otro término para combinar los subproblemas. Una vez tengas definida la recurrencia T(n), si podés invocar el resultado del libro.