раздели и властвуй

EN: divide and conquer

Парадигма проектирования алгоритмов, рекурсивно разбивающая задачу на подзадачи того же типа, решающая каждую независимо и объединяющая результаты. Рекуррентное соотношение T(n) = aT(n/b) + f(n) определяет сложность; канонические примеры — сортировка слиянием O(n log n) и бинарный поиск O(log n).