Stosuje się to, gdy możesz zdefiniować monotoniczny predykat po przestrzeni odpowiedzi (np. „czy istnieje rozwiązanie z wartością ≤ X?”). Wtedy binarnie wyszukujesz minimalne/maksymalne X spełniające warunek.