Minus sign in optimization term leads to trashing

[JoD]

See attached example - pushing the minus sign to

!s: FinalScore(s) = -GetScore(s,AssignedTo(s)).

fixes the issue.

[Broes De Cat]

Ik denk dat het in de product propagatie zit. Zie ook nieuw bijgevoegd voorbeeldje.

[Bart Bogaerts]

Product propagatie? Er staat hier geen product in...

[JoD]

-1 * sum{...} ?

[Bart Bogaerts]

Maar dit zou niet als product naar de solver mogen gaan volgens mij.

Er zou een CP variabele moeten gemaakt worden die gelijk is aan die som, met weight -1

[Broes De Cat]

Wat bedoel je? cpvariabelen hebben toch zelf geen weights? hij maakt nu c1 = -c2 c2 = sum ...

[Bart Bogaerts]

Ik dacht dat die een constante factor hadden waarmee ze vermenigvuldigd werden of zo...

Maar vooral:

Ik dacht dat de sumconstraint van de vorm was:

v= k* sum(p_i?k_i v_i)

waar alle k's constanten zijn, de v's variabelen, dus dat daar die -1 in zou moeten zitten...

[Bart Bogaerts]

Opgelost door in product propagator altijd eerst alle gekende variabelen die zeker in de set zitten te verzamelen en die in de "weight" bij te steken.

Reden waarom dit zo goed werkt: product propagatoren zijn heel moeiljik met negatieve getallen wegens sterke nonmonoticiteit. Op deze manier worden triviale negatieve getallen weggewerkt.