Strategia di risoluzione per la configurazione prodotto
Un modello di configurazione prodotto può essere formulato come problema di soddisfazione dei vincoli (CSP). Microsoft Solver Foundation (MSF) fornisce due tipi di strategie risolutore per risolvere i CSP che possono essere usati dai modelli di configurazione prodotto.
Queste strategie risolutore si basano su un'euristica (regole generali), che viene usata per determinare l'ordine in cui vengono considerate le variabili dei CSP durante la risoluzione del problema. L'euristica può influire in modo significativo sulle prestazioni quando si risolve un problema o una classe di problemi.
In Supply Chain Management, la strategia del risolutore per i modelli di configurazione prodotto determina quale risolutore viene usato con l'euristica. Le strategie Predefinita, Prima domini minimi e Dall'alto in basso usano i due solutori di MSF, mentre la strategia Z3 usa il risolutore Z3.
Gestione informazioni sul prodotto > Prodotti > Modelli di configurazione prodotto > Nuovo
Gli studi sull'implementazione del cliente hanno mostrato che un cambiamento nella strategia del risolutore per un modello di configurazione prodotto può ridurre il tempo di risposta da minuti a millisecondi. Pertanto, vale la pena provare diverse strategie del risolutore per trovare la strategia più efficiente per il modello di configurazione prodotto.
Modifica delle impostazioni per la strategia del risolutore
Per modificare le impostazioni per la strategia del risolutore, nella pagina Modelli di configurazione prodotto selezionare Proprietà modello nel riquadro Azioni. Quindi, nella finestra di dialogo Modifica i dettagli del modello selezionare una strategia del risolutore.
Al momento, non esiste una logica che rilevi automaticamente quale strategia del risolutore sarà la strategia più efficiente per la configurazione del prodotto basata su vincoli. Pertanto, è necessario provare ciascuna strategia del risolutore singolarmente.
La tabella seguente fornisce consigli sulla strategia del risolutore che è possibile usare in vari scenari.
| Strategia risolutore | Usare la strategia in questo scenario |
|---|---|
| Predefinita | Questa strategia è stata ottimizzata per risolvere modelli che si basano su vincoli di tabella. Gli studi sull'implementazione eseguita presso i clienti hanno dimostrato che Predefinita è la strategia più efficiente negli scenari in cui sono ampiamente usati i vincoli di tabella. |
| Prima domini minimi | Le strategie Prima domini minimi e Dall'alto in basso sono strettamente correlate. Gli studi sull'implementazione eseguita presso i clienti hanno dimostrato che la strategia Dall'alto in basso supera la strategia Prima domini minimi. Comunque, la strategia Prima domini minimi viene conservata nel prodotto per la compatibilità con le versioni precedenti. È stato dimostrato che entrambe le strategie di risoluzione sono più efficienti nel risolvere modelli che contengono diverse espressioni aritmetiche in cui non vengono usati vincoli di tabella. Tuttavia, in alcuni casi, la strategia Predefinita supera queste due strategie. Pertanto, si consiglia di provare ogni strategia. |
| Dall'alto in basso | Le strategie Prima domini minimi e Dall'alto in basso sono strettamente correlate. Gli studi sull'implementazione eseguita presso i clienti hanno dimostrato che la strategia Dall'alto in basso supera la strategia Prima domini minimi. Comunque, la strategia Prima domini minimi viene conservata nel prodotto per la compatibilità con le versioni precedenti. È stato dimostrato che entrambe le strategie di risoluzione sono più efficienti nel risolvere modelli che contengono diverse espressioni aritmetiche in cui non vengono usati vincoli di tabella. Tuttavia, in alcuni casi, la strategia Predefinita supera queste due strategie. Pertanto, si consiglia di provare ogni strategia. |
| Z3 | Come strategia di risoluzione predefinita, consigliamo di usare la Z3. In caso di dubbi su prestazioni e scalabilità, è possibile valutare altre strategie. |