-
assigned issue to
- marked as enhancement
- marked as major
- attached negoptim.idp
Minus sign in optimization term leads to trashing
See attached example - pushing the minus sign to
!s: FinalScore(s) = -GetScore(s,AssignedTo(s)).
fixes the issue.
Comments (8)
-
-
Product propagatie? Er staat hier geen product in...
-
reporter -1 * sum{...} ?
-
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
-
Wat bedoel je? cpvariabelen hebben toch zelf geen weights? hij maakt nu c1 = -c2 c2 = sum ...
-
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...
-
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.
-
- changed status to resolved
- Log in to comment
Ik denk dat het in de product propagatie zit. Zie ook nieuw bijgevoegd voorbeeldje.