Ja, das zählt zur ganzzahligen linearen Optimierung. Allerdings lässt sich das nicht so intuitiv hier im Forum erklären... Schau dir am besten mal auf Youtube Videos dazu an ("Knapsack Branch and Bound" oder "Integer Programming Branch and Bound").
Dein Bild stimmt auch schon nicht, (z.B. X2=2 macht keinen Sinn).