Para que um algoritmo guloso seja eficiente, ele precisa ter uma característica específica que permita que a escolha local leve a uma solução global ótima. Essa característica é conhecida como "propriedade de escolha local ótima". Vamos analisar as alternativas: a) O problema precisa ser recursivo - Isso não é uma característica necessária para algoritmos gulosos. b) O problema deve ser decomponível em subproblemas independentes - Essa é uma característica mais associada a algoritmos dinâmicos, não necessariamente a algoritmos gulosos. c) O problema deve ter uma estrutura de sobreposição ótima - Isso também é mais relacionado a algoritmos dinâmicos. d) O problema deve ter uma propriedade de escolha local ótima - Esta é a característica essencial para que um algoritmo guloso funcione corretamente e seja eficiente. Portanto, a alternativa correta é: d) O problema deve ter uma propriedade de escolha local ótima.