Re: [Fwd: Re: [Fwd: graceful tree labeling example]]

On Thu, 5 Oct 2017, Heinrich Schuchardt wrote:

> your model uses more integers than needed. This typically makes problems
> harder to solve.
>
> You just need the binaries gt, vx, and ex. All other variables can be
> float. The constraints enforce that they will be integer.

Of course not labeling them integer implies that the
solver will not be able to use their integrality.

Constraint-enforced integer might be a useful variable type.
The solver would not need to branch on them,
but could use their integrality for things like Gomory cuts.

-- 
Michael   [email protected]
"Sorry but your password must contain an uppercase letter, a number,
a haiku, a gang sign, a heiroglyph, and the blood of a virgin."
                                                              --  someeecards