Quase todo exemplo de árvore de decisão que encontrei é uma árvore binária. Isso é praticamente universal? A maioria dos algoritmos padrão (C4.5, CART etc.) suporta apenas árvores binárias? Pelo que entendi, CHAID não se limita a árvores binárias, mas isso parece ser uma exceção.
Uma divisão bidirecional seguida por outra divisão bidirecional em uma das crianças não é a mesma coisa que uma divisão única. Isso pode ser um ponto acadêmico, mas estou tentando garantir que entenda os casos de uso mais comuns.