dwavesystems / dwavebinarycsp

Map constraint satisfaction problems with binary variables to binary quadratic models.
https://docs.ocean.dwavesys.com/projects/binarycsp/en/latest
Apache License 2.0
19 stars 27 forks source link

Check that stitch cascades through each penaltymodel #72

Closed m3ller closed 1 year ago

m3ller commented 5 years ago

Application The stitch function generates a BQM's penaltymodel by cascading thorough Cache, LP, MIP, and finally, MaxGap.

Proposed Solution Make problems of varying "difficulty" so that we can observe that the proper penaltymodels are catching said problems. (Ex. LP should be able to catch an OR-gate, but not an XOR-gate. XOR-gate needs auxiliary variables and LP does not handle that, therefore the problem should be passed to MIP.)

arcondello commented 1 year ago

As of version penaltymodel 1.0.0 penaltymodel only has one factory that uses SciPy.