[Scip] Question about the cons_linking

[Gregor Hendel]

Dear Gang Bai

SCIP features a presolver that converts integer variables to their
binary representation. It is disabled by default. You can enable it
by setting the parameter "presolving/convertinttobin/maxrounds" to -1.
You can verify the conversion from the SCIP output in the interactive
shell after presolving.

The presolver also features a limit to the maximum integer domain size,
which you can use to restrict the conversion to some of your
integer variables.
The parameter name is "presolving/convertinttobin/maxdomainsize".

Regards,
Gregor

On 05/23/2014 05:28 AM, Gang Bai wrote:
> Hi SCIP folks,
>
> For an integer variable Y in a CIP problem, I want to get a binary representation B of it, so that B=0 if Y=0 and B=1 otherwise. One possible way is to use the cons_linking to get an array of bin variables and then use the cons_or to get B.
>
> My question is, in cons_linking, how to determine the num of bin variables for representing an int variable of which the lower and upper bounds are 0 and 5000 respectively. In 3.0.2, there is no way in cons_linking to set the integer coefficients, so what are the default values?
>
> Also, back to my original problem, is there a more elegant way to get the binary representation B of an int variable Y?
>
> Thanks,
>
> -Gang
> Sent from my iPad
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip