General Set Packing Detector
Overview
ID | Full Name | Propagate | Finish | Postprocess |
---|---|---|---|---|
? | generalmastersetpack | ✓ |
This detector sets the following constraint types as master constraints:
- set packing constraints
- constraints with \(\text{rhs}\geq 0\) and \(\text{lhs}=-\infty\)
Algorithmic Details
This detector adds the aforementioned constraints to the master. This is done as follows:
- Iterate over all open constraints
- If the constraint's type (determined in preprocessing) is
setpacking
, fix it to the master - If the constraint's type is not
logicor
and notsetcovering
and notsetpartitioning
, but its right hand side is non-negative and its left hand side is -infinity, fix it to the master
- If the constraint's type (determined in preprocessing) is
Theoretical Details
Parameters
enabled flag to indicate whether detector <generalmastersetpack> is enabled [FALSE] finishingenabled flag to indicate whether detector <generalmastersetpack> is enabled for finishing of incomplete decompositions [FALSE] freqcallround frequency the detector gets called in detection loop ,ie it is called in round r if and only if minCallRound <= r <= maxCallRound AND (r - minCallRound) mod freqCallRound == 0 <generalmastersetpack> [1] maxcallround maximum round the detector gets called in detection loop <generalmastersetpack> [0] mincallround minimum round the detector gets called in detection loop <generalmastersetpack> [0] origenabled flag to indicate whether detector <generalmastersetpack> is enabled for detecting in the original problem [FALSE] origfreqcallround frequency the detector gets called in detection loop,i.e., it is called in round r if and only if minCallRound <= r <= maxCallRound AND (r - minCallRound) mod freqCallRound == 0 <generalmastersetpack> [1] origmaxcallround maximum round the detector gets called in detection loop <generalmastersetpack> [0] origmincallround minimum round the detector gets called in detection loop <generalmastersetpack> [0] overruleemphasis flag to indicate whether emphasis settings for detector <generalmastersetpack> should be overruled by normal settings [FALSE] postprocessingenabled flag to indicate whether detector <generalmastersetpack> is enabled for postprocessing of finished decompositions [FALSE] priority priority of detector <generalmastersetpack> [0] skip flag to indicate whether detector <generalmastersetpack> should be skipped if others found decompositions [FALSE] usefullrecall flag to indicate whether detector <generalmastersetpack> should be called on descendants of the current partialdec [FALSE]
Links
- Documentation: dec_generalmastersetpack.cpp