<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, "EmojiFont", "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<p>Dear scip community,</p>
<p>I have a huge amount of possible clique cuts, which i have as set packing constraints in the model.
<br>
</p>
<div>Now I have exactly these inequalities in my presolver as cliques to the clique graph (SCIPaddClique).<br>
<br>
When separating using the Set-Packing Constraint handler, all cliques are found and now constraints is violated. If I comment out the addition of the Set-Packing Constraints, some cliques are separated. However, some of the cliques I add to the clique graph
are still severely violated with a sum value of 1.5. The corresponding cut also has an efficiousness of
<span>0.133631</span>.<br>
</div>
<div><br>
</div>
<div>Is it possible to tell the clique separator to separate all possible clique-cuts, that are violated by the current solution?<br>
My actual settings in scip-optsuite-7.0.1 are :<br>
</div>
<div><br>
</div>
<div>presolving/../maxrounds=0</div>
<div>heuristics/../freq = -1<br>
<div>propagating/../maxprerounds = 0<br>
propagating/../freq = -1</div>
<span>separating/../freq = -1</span><br>
separating/clique/priority = 10000000<br>
separating/clique/freq = 1<br>
separate/minorthoroot = 0.1<br>
separating/clique/maxsepacuts = 1000000<br>
separate/minefficacyroot = 0.0001<br>
separating/maxstallrounds = -1<br>
separate/poolfreq = 1<br>
separating/clique/maxzeroextensions = -1<br>
</div>
<div><br>
</div>
<div>
<div>As an extension of my question: <br>
is it perhaps more efficient to have the clique cuts in the model as Set-Packing Constraints (initial = false, separate = true), even if there are a lot of them, and only separate more specific cliques with the Clique generator?</div>
<div><br>
</div>
<div><br>
</div>
<div><span>Many thanks for the support</span>!<br>
</div>
<div><span><br>
</span></div>
<div><span>Kind regards</span></div>
<div>Andreas Linß<br>
</div>
<br>
</div>
<br>
</div>
</body>
</html>