Compacte boom van Derk Halma