A subestrutura ótima é um conceito fundamental em algoritmos, especialmente em programação dinâmica. Ela se refere à propriedade de que uma solução ótima para um problema pode ser construída a partir de soluções ótimas de seus subproblemas. Analisando as alternativas: a) O problema pode ser dividido em subproblemas independentes - Isso se refere mais à decomposição do problema, mas não necessariamente à subestrutura ótima. b) Uma solução ótima para o problema geral pode ser construída a partir de soluções ótimas para seus subproblemas - Esta é a definição correta de subestrutura ótima. c) O problema não pode ser resolvido por métodos determinísticos - Isso não está relacionado ao conceito de subestrutura ótima. d) O problema possui solução única e trivial - Isso não é uma definição de subestrutura ótima. Portanto, a alternativa correta é: b) Uma solução ótima para o problema geral pode ser construída a partir de soluções ótimas para seus subproblemas.