Replies: 1 comment 1 reply
-
About p0201 - when I run I get a line at end |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I ran p0201.mps with preprocess and presolve off and CBC enumerated 59 nodes. Upon inspecting each node, I find that the 1st and 31st nodes to be processed are roots of their own branch and bound (sub?)trees (i.e. all nodes have exactly one of those two nodes as an ancestor), but none of the enumerated nodes is a common ancestor to all other nodes. Further inspection of their CbcBranchingObject.variable_ and CbcBranchingObjects.way_ shows the 1st and 31st nodes to be created from branching on the same variable (x_10) but in different directions. Both the 1st and 31st nodes have several variables with tightened bounds relative to the LP relaxation for p0201.mps. Can I assume that x_10 is the only variable in the 1st and 31st nodes with bounds tightened due to branching? With only preprocess and presolve off, can I assume that all other tightened variable bounds are due to feasibility cuts found for p0201.mps? If not, where else in CBC causes the tightening of these variables' bounds?
The reason I ask the first question above is for the following. Next, I ran 10teams.mps from MIPLIB3 with preprocess and presolve off and CBC enumerated 32 nodes. Upon inspecting each node, I find that all nodes have the 1st processed node as an ancestor, which makes me think it was the root node of the branch and bound tree. However, when I check CbcBranchingObject.variable_ for the first node, I see it was created from branching on x_1618. Why then isn't there a disjoint (sub)tree for the node that was created by branching in the opposite direction?
Beta Was this translation helpful? Give feedback.
All reactions