ramified search

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