Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
In-place algorithm
open-in-new
<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, an in-place algorithm is an <a href="/facts/Algorithm/fnl5NmRt">algorithm</a> that operates directly on the input <a href="/facts/Data_structure/yNsNvL1I">data structure</a> without requiring extra space proportional to the input size. In other words, it modifies the input in place, without creating a separate copy of the data structure. An algorithm which is not in-place is sometimes called not-in-place or out-of-place. </p><p>In-place can have slightly different meanings. In its strictest form, the algorithm can only have a <a href="/facts/Space_complexity/nsnAW5cV">constant amount of extra space</a>, counting everything including <a href="/facts/Subroutine/9vFJrg0A">function</a> calls and <a href="/facts/Pointer_(computer_programming)/fPoNzy9b">pointers</a>. However, this form is very limited as simply having an index to a length <i>n</i> array requires <i>O</i>(log <i>n</i>) bits. More broadly, in-place means that the algorithm does not use extra space for manipulating the input but may require a small though nonconstant extra space for its operation. Usually, this space is <i>O</i>(log <i>n</i>), though sometimes anything in <i>o</i>(<i>n</i>) is allowed. Note that space complexity also has varied choices in whether or not to count the index lengths as part of the space used. Often, the space complexity is given in terms of the number of indices or pointers needed, ignoring their length. In this article, we refer to total space complexity (<a href="/facts/Deterministic_space/co9rzRQd">DSPACE</a>), counting pointer lengths. Therefore, the space requirements here have an extra log <i>n</i> factor compared to an analysis that ignores the lengths of indices and pointers. </p><p>An algorithm may or may not count the output as part of its space usage. Since in-place algorithms usually overwrite their input with output, no additional space is needed. When writing the output to write-only memory or a stream, it may be more appropriate to only consider the working space of the algorithm. In theoretical applications such as <a href="/facts/Log-space_reduction/eDwttWhn">log-space reductions</a>, it is more typical to always ignore output space (in these cases it is more essential that the output is <i>write-only</i>). </p>