larger domain leads to fewer solutions

[Ingmar Dasseville]

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=b3f69579cd459af68af9 S2 has a larger domain, so every solution of S should be contained in S2, which is not what IDP says

[Ingmar Dasseville]

ik gok modelinvalidatie die rare dingen doet

[Ingmar Dasseville]

more obvious mismatch: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=4fe65ef298a6015b0ea4

[Bart Bogaerts]

Ik verdenk de deling. Als je ze wegschrijft, werkt het.

[Ingmar Dasseville]

never mind, was nog een andere deling vergeten

[Bart Bogaerts]

En uw ene deling was ook verkeerd weggeschreven :p

Probleem zonder deling: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=015bbfcd1955aad344be

(werkt toch niet, had output niet goed genoeg bekeken precies)

[Ingmar Dasseville]

CP probleem: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=1346581c6c1b5fdc2228

[JoD]

kleinste probleem dat ik kon maken: http://dtai.cs.kuleuven.be/krr/idp-ide/?src=e47baa9950a81adf28f9

probleem lijkt ergens te liggen in het niet backtracken over conflicts. Bvb, de eerste choice is g(3)=<-1, en de solver vindt onmiddellijk de conflict clause ~g(3)=<-1(F) | ~i_1(F), maar backtrackt niet over choice g(3)=<-1.

[Ruben Lapauw]

Dit is zeker een bug, maar is het de juiste (2x max) ? (FDAggConstraint.cpp, regel 729-734)

litlist FDProdConstraint::varsContributingToMax(size_t excludedVar) const {
    return varsContributingToMax(excludedVar, true);
}
litlist FDProdConstraint::varsContributingToMin(size_t excludedVar) const {
    return varsContributingToMax(excludedVar, true);
}

BTW deze code wordt niet gecovered in de tests.

[JoD]

found the bug, it's in the product propagator not returning conflict clauses. Here's the fix: https://bitbucket.org/krr/minisatid/commits/436ec203744ba2fe0a3694c16bb0d3195fe1a646

[JoD]

So apparently there are plenty of issues left: Ruben found one, Ingmar found an optimization in the bound propagation, and I refactored attachclause leading to better backjumping. I'm going to try to collect these in the bugfix_prodprop branch.

[JoD]

Fixed by https://bitbucket.org/krr/idp/pull-request/364/bugfix-in-product-propagators/diff