I am trying to implement branch and bound technique for covering points with axis parallel lines. for each sub problem I am considering my LP solution as the LB and iterative rounding solution as the UB. At first I am considering a fractional valued variable (after applying LP) and for 0 and 1 value I am considering SP1 and SP2 as my sub-problems. for each SP1 I have UB1 and LB1 and for each SP2 I have UB2 and LB2 as mentioned earlier. Then I am checking
i) if (LB1=UB1 or LB2=UB2) then stop
ii) if (UB1 >= LB2) then solving SP2
iii) if (UB2 >= LB1) then solving SP1
I am not sure that, I am considering the right approach. Because in most of the nodes both cases ii) and iii) are happening(though at a time just one 'if' is executing). Am I using the right approach?? any help will be appreciated.
Thanks.