Branching priorities

[rrsadykov]

In our problem we would need to give different branching priorities for different variables. I will be able to modify VarBranchingRule algorithm for that myself. However, I would need to retrieve the name of a variable (without indices), given by the user in JuMP. Is it possible now?

[guimarqu]

It's not possible at the moment except if you extract it with a regex.
How the user defines the branching priorities ?

[rrsadykov]

Extracting with regex would be ok. Can you add such a method to MathProg?

For branching priorities, we should add field varname to VarBranchingRule (empty name would be branching on all variables as it is now). Then the user would add several VarBranchingRules to vector rules together with priorities to StrongBranching. As I remember, this branching algorithm already supports priorities. Probably StrongBranching should be renamed just to Branching.

[guimarqu]

Modelling part (@laradicp) :

• Create a new variable attribute specific to Coluna : VarBranchingPriority that inherits from https://jump.dev/MathOptInterface.jl/stable/reference/variables/#MathOptInterface.AbstractVariableAttribute
• Implement MOI.get & MOI.set for the new attribute (in src/MOIwrapper.jl)
• Create a new field branching_priority::Int in Variable
• add a kwarg branching_priority to the method setvar!
• Test the feature

[guimarqu]

@rrsadykov May I let you do the changes in the branching algorithm and open a PR to merge into master ? I'll tag 0.3.9 just after.

[rrsadykov]

Implemented in pull request #528