методы теории ветвления