Sorting
Merge Sort (Top-Down)
Split the array recursively, sort each half, then merge two sorted runs into one sorted result.
Algorithm
The checked-in replay follows the same small input and final output across all 21 DSA books, so this PHP DSA implementation can be compared directly with the other languages.
divide and conquer
Each recursive call solves a smaller sorted subproblem.
merge step
Two sorted halves are combined by repeatedly taking the smaller front item.
Visual walkthrough
Basic Implementation
basic.php
<?php
function merge_sort($values) {
if (count($values) <= 1) return $values;
$mid = intdiv(count($values), 2);
$left = merge_sort(array_slice($values, 0, $mid));
$right = merge_sort(array_slice($values, $mid));
$merged = [];
$i = 0; $j = 0;
while ($i < count($left) && $j < count($right)) {
if ($left[$i] <= $right[$j]) $merged[] = $left[$i++];
else $merged[] = $right[$j++];
}
return array_merge($merged, array_slice($left, $i), array_slice($right, $j));
}
$arr = [5, 1, 4, 2, 8];
echo "[" . implode(", ", merge_sort($arr)) . "]
";
Complexity
- Time: O(n log n)
- Space: O(n)
- Stable: yes
Implementation notes
$arris the pinned PHP array literal[5, 1, 4, 2, 8].merge_sort($values)returns a sorted array; it does not mutate$arrin place.- The base case is
if (count($values) <= 1) return $values;. $mid = intdiv(count($values), 2)splits the array with integer division.array_slice($values, 0, $mid)creates the left half, andarray_slice($values, $mid)creates the right half.$merged = []collects output while$iand$jindex the sorted left and right arrays.- The merge comparison is
$left[$i] <= $right[$j], so equal values would keep the left-side value first. - Appends use
$merged[] = ..., and leftovers are joined witharray_merge($merged, array_slice($left, $i), array_slice($right, $j)). - The trace shows top-level halves
[5, 1]and[4, 2, 8], sorted as[1, 5]and[2, 4, 8], then merged into[1, 2, 4, 5, 8]. - The final
echoconcatenates[+implode(", ", merge_sort($arr))+], then closes the quoted string after a literal newline, so the output is one bracketed row.