<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri,Arial,Helvetica,sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="signature"><span style="font-size: 10pt;">Hi,</span><br>
<span style="font-size: 10pt;">I am quite confused by the documentation about these C++ classes.</span><br>
<span style="font-size: 10.5pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);"><span style="font-size: 10pt;"><span style="font-size: 10pt;">T</span><span style="font-size: 10pt;">he answer to
</span></span><span style="font-size: 10pt;">the question "when should I use separators vs constraint handlers" in the FAQ is as follows:</span><br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:#38761d;background-color:#ffffff"><span style="font-size: 10pt;"></span><span style="color: rgb(0, 0, 0); font-size: 10pt;">“This depends on whether you want to add constraints
or only cutting planes. The main difference is that constraints can be "model constraints", while cutting planes are only additional LP rows that strengthen the LP relaxation. A model constraint is a constraint that is important for the feasibility of the
integral solutions. If you delete a model constraint, some infeasible integral vectors would suddenly become feasible in the reduced model. A cutting plane is redundant w.r.t. integral solutions. The set of feasible integral vectors does not change if a cutting
plane is removed. You can, however, relax this condition slightly and add cutting planes that do cut off feasible solutions, as long as at least one of the optimal solutions remains feasible. “</span></span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:#38761d;background-color:#ffffff"><span style="color: rgb(0, 0, 0); font-size: 10pt;"><br>
</span></span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="color:#38761d;background-color:#ffffff"><span style="color: rgb(0, 0, 0); font-size: 10pt;"><span style="font-size: 10pt;">I want to implement cutting planes, which are redundant
w.r.t. integral solutions,. I</span><span style="font-size: 10pt;">t</span><span style="font-size: 10pt;"> would thus
</span><span style="font-size: 10pt;">s</span><span style="font-size: 10pt;">eem that I need a separator.</span></span></span></p>
</span><span style="font-size: 10pt;">However, the separator description reads:</span><br>
<div id="divtagdefaultwrapper" style="font-size:12pt; color:#000000; background-color:#ffffff; font-family:Calibri,Arial,Helvetica,sans-serif">
<span style="color: rgb(0, 0, 0); font-size: 10pt;"> </span><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">“Separators are used to generate general purpose cutting planes. Constraint based cutting
planes, the second type of cutting planes in SCIP, are separated in the CONSSEPALP and CONSSEPASOL callback methods of the constraint handlers, see</span><a href="http://scip.zib.de/doc-5.0.1/html/CONS.php#CONSSEPALP"><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
</span><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); text-decoration: underline;">CONSSEPALP</span></a><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
and</span><a href="http://scip.zib.de/doc-5.0.1/html/CONS.php#CONSSEPASOL"><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
</span><span style="font-size: 10pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); text-decoration: underline;">CONSSEPASOL</span></a><span style="font-size: 10.5pt; font-family: Arial; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);"><span style="font-size: 10pt;">.
These cuts are valid inequalities or even facets of the polyhedron described by a single constraint or a subset of the constraints of a single constraint class. In contrast, general purpose cuts do not require or exploit any knowledge about the underlying
problem structure but use only the current LP relaxation and the integrality conditions.”</span><br>
<br>
<span style="font-size: 10pt;">The cutting planes I want to implement are problem-specific (they are facets of the problem's polyhedron), thus they are not "general purpose" cutting planes.
</span><span style="font-size: 10pt;">So they cannot be separated with a separator?</span><br>
<span style="font-size: 10pt;">Doesn't it contradict the FAQ answer?</span><br>
<br>
<span style="font-size: 10pt;">Many thanks in advance !</span><br>
<br>
<br>
<br>
<br>
<br>
<br>
</span></div>
</div>
</body>
</html>