<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Dear Bahereh,<br>
<br>
so your problem contains only the reformulated (binary) psi
variables? Your problem is that you do not want to accept all
integer psi solutions because they might correspond to a fractional
solution of the original problem? If that is the case, do you
decline such a solution in CONSCHECK? How do you branch in the
CONSENFOLP after you registered that the current solution belongs to
a fractional one in the original space? Do you set the result
pointer to SCIP_BRANCHED?<br>
<br>
<br>
Best,<br>
<br>
Benny<br>
<br>
<br>
<div class="moz-cite-prefix">On 07/27/2015 03:36 AM, Bahareh
Eghtesadi wrote:<br>
</div>
<blockquote
cite="mid:CA+t7RjG5YAyvwY0QLdZ0RDn0Ynp7J6YNs1AWntman4dNBWS-5g@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>
<div>Dear all,<br>
<br>
</div>
I am implementing a b&p algorithm. In my problem, I have a
set of binary variables (beside the decomposition variables)
in my master problem, call them psi, for which I have a
branching rule. In my branching rule, the options for
constructor is:<br>
ObjBranchrule( scip, name, "branchs on Original vars", 50000 ,
-1 , 1.0)<br>
<br>
</div>
I also want to check the integrality of the original
variables(call x). For that, I have a conshdlr with following
options:<br>
<br>
ObjConshdlr(scip, name, "....",-10000 , 50000 , 10000, -1, -1 ,
1 , 0 , FALSE , FALSE , FALSE , FALSE ,
SCIP_PROPTIMING_BEFORELP)<br>
<div>
<div>
<div>
<div>
<div class="gmail_signature"><span
style="background-color:rgb(255,255,255);color:rgb(153,153,153)"></span><span
style="background-color:rgb(255,255,255);color:rgb(153,153,153)"></span><br>
</div>
<div class="gmail_signature">In this conshdlr, in the
CONSENFOLP method, I find the values of the original
variables and if they are not integer, I call
SCIPcreateChild.<br>
<br>
</div>
<div class="gmail_signature">However, in the optimal
solution, all the psi variables are binary, but the
original variables are continuous. The objective
function value is also less than the optimal obj.
value(I already know it).<br>
</div>
<div class="gmail_signature">I have tried to track down
the b&b tree, and it seems whenever all the binary
variables(psi) are binary, it takes it as the optimal
solution eventhough there are some fractional x. <br>
</div>
<div class="gmail_signature">I also changed the priority
of the conshdlr to be less than the branching rule's.
Then, the same solution is caught with less number of
nodes(quicker). <br>
<br>
</div>
<div class="gmail_signature">I am not sure how to check
what happens after the psi s are binary, and why it
doesnt go to the CONSENFOLP method after that. Is
there a reason for happening this?<br>
</div>
<div class="gmail_signature">I attached the output file
with statistics and the branching statistics.<br>
<br>
</div>
<div class="gmail_signature">Thanks in advance.<br>
</div>
<div class="gmail_signature"><br>
<br>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
______________________________
Benjamin Müller
Zuse Institute Berlin
Takustr. 7, 14195 Berlin
<a class="moz-txt-link-abbreviated" href="mailto:benjamin.mueller@zib.de">benjamin.mueller@zib.de</a>
+49 30 841 85-195</pre>
</body>
</html>