Compacte boom van Gerrit Koning