Descreva, em pseudocódigo detalhado, um algoritmo eficiente para manter a Árvore Geradora Mínima (MST) de um grafo ponderado dinâmico onde as arestas são inseridas e removidas frequentemente. Discuta a complexidade de tempo amortizada da sua solução em comparação com abordagens ingênuas que recalculam a MST do zero a cada atualização. Explique o uso de estruturas de dados auxiliares, como árvores de segmento ou Union-Find dinâmico.