O que garante a estabilidade em um algoritmo de ordenação por fusão?

Resposta

Resposta direta: A rotina de merge que, em empates, escolhe primeiro o elemento da sublista esquerda, preservando a ordem relativa.

Explicação: Um algoritmo é estável quando não altera a ordem relativa de elementos com chaves iguais.
Na etapa de fusão, ao comparar elementos iguais, optar pela sublista esquerda mantém a sequência original entre iguais.
A estabilidade depende da implementação; usar um buffer auxiliar e a escolha pela esquerda em empates garante a propriedade.