Наткнулся на лекцию, где был приведена данная техника, но анализа асимптотики не было, но было сказано, что она составляет O(n*logn), где n — количество вершин в дереве.