Estratégia do solucionador para a configuração do produto

Este artigo descreve como pode utilizar a estratégia do solucionador para melhorar o desempenho da configuração do produto.

O conceito das estratégias do solucionador foi introduzido pela primeira vez na Atualização cumulativa 7 (CU7) para o Microsoft Dynamics AX 2012 R2. Foi alargado na Atualização Cumulativa 8 (CU8) para o Microsoft Dynamics AX 2012 R3 e aplicações de finanças e operações, Enterprise edition 7.3.

O conceito de estratégia do solucionador consiste nas seguintes estratégias:

• Predefinição
• Domínios mínimos primeiro
• De cima para baixo
• Z3

Estratégia do solucionador

Um modelo de configuração do produto pode ser formulado como um problema de satisfação da restrição (CSP). O Microsoft Solver Foundation (MSF) fornece dois tipos de estratégias de solucionadores para resolver os CSPs que podem ser utilizados a partir de modelos de configuração do produto. Estas estratégias de solucionadores dependem da heurística para determinar a ordem em que as variáveis dos CSPs são consideradas quando o problema está a ser resolvido. A heurística pode afetar significativamente o desempenho quando um problema ou classe de problemas está a ser resolvido.

A estratégia de solucionador para modelos de configuração do produto determina qual o solucionador que é utilizado com heurística. As estratégias Predefinição, Domínios mínimos primeiro e De cima para baixo usam os dois solucionadores do MSF, enquanto a estratégia Z3 utiliza o solucionador Z3.

Estudos reais de implementação do cliente demonstraram que uma mudança na estratégia de solucionador para um modelo de configuração do produto pode reduzir o tempo de resposta de minutos para milissegundos. Por isso, vale a pena o esforço de experimentar diferentes estratégias de solucionadores para encontrar a estratégia mais eficiente para o seu modelo de configuração do produto.

Alterar as definições para a estratégia de solucionador

Para alterar a estratégia de solucionador, na página Modelos de configuração do produto, no Painel de Ações, selecione Propriedades do modelo. Em seguida, na caixa de diálogo Editar de detalhes do modelo, selecione uma estratégia de solucionador.

Atualmente, não existe lógica que detete automaticamente qual a estratégia de solucionador que será a estratégia mais eficiente para a configuração de produtos baseados em restrições. Portanto, deve experimentar as estratégias de solucionadores uma a uma.

A tabela seguinte fornece recomendações sobre a estratégia de solucionador a utilizar em vários cenários.

Estratégia do solucionador	Use a estratégia neste cenário
Predefinição	A estratégia Predefinição foi otimizada para resolver modelos que dependem de restrições da tabela. Estudos de implementação de clientes demonstraram que esta estratégia é a estratégia mais eficiente em cenários onde as restrições de tabela são amplamente utilizadas.
Domínios mínimos primeiro	As estratégias Domínios mínimos primeiro e De cima para baixo estão intimamente relacionadas. Os estudos de implementação do cliente demonstraram que a estratégia De cima para baixo supera a estratégia Domínios mínimos primeiro. No entanto, a estratégia Domínios mínimos primeiro é mantida no produto para retrocompatibilidade. Ambas as estratégias de solucionadores têm sido mais eficientes na resolução de modelos que contêm várias expressões aritméticas onde não são utilizadas restrições de tabela. No entanto, em alguns casos, a estratégia Predefinição supera estas duas estratégias. Portanto, lembre-se de tentar cada estratégia.
De cima para baixo	As estratégias Domínios mínimos primeiro e De cima para baixo estão intimamente relacionadas. Os estudos de implementação do cliente demonstraram que a estratégia De cima para baixo supera a estratégia Domínios mínimos primeiro. No entanto, a estratégia Domínios mínimos primeiro é mantida no produto para retrocompatibilidade. Ambas as estratégias de solucionadores têm sido mais eficientes na resolução de modelos que contêm várias expressões aritméticas onde não são utilizadas restrições de tabela. No entanto, em alguns casos, a estratégia Predefinição supera estas duas estratégias. Portanto, lembre-se de tentar cada estratégia.
Z3	Recomendamos que utilize a estratégia Z3 como estratégia de solucionador predefinida. Se está preocupado com o desempenho e a escalabilidade, pode avaliar as outras estratégias.

Recursos adicionais

Descrição geral da configuração do produto

Heurística

Problema de Satisfação de Restrição