Compacte boom van Peter Derksen