分岐型理論