需要O(log "n")的空间来支持它的分治法（divide-and-conquer）递回。大部份选择算法也是原地，虽然在找到最后结果的过程中，有某些相当地重新排列输入阵列，但却是固定大小的结果。
在计算上的复杂度.在计算复杂性理论中，原地算法包含使用O(1)空间复杂度的所有算法，DSPACE(1)类型。这个类型是非常有限的，它与正规语言相等。事实上，它甚至不包含上面所列的任何范例。因为这个原因，我们也考虑在L的算法，这类型的问题需要O(log "n")额外的空间，来成为原