中文譯作「分支定界」，以遞迴的方式，來列舉數據範圍、數據區間，找出數據界限的方法。

先把一段數據區間分成幾段較小的區間。如果有一段區間，我們當下看不出它是不是正確區間，就把該區間分得更細，並遞迴下去，釐清細節；如果能看出，就停止遞迴。

branch 是指當一段區間不確定界限，就分割區間，並遞迴下去。 bound 是指當一段區間確定了界限，並停止遞迴。

ref: https://blog.csdn.net/feiyangtianyao/article/details/35795317