разветвленный поиск

Мат. ramified search