# Solving and testing merge sort (part 3b59)

Посмотрим на задачу глазами разработчика: сначала решение, затем убеждаемся в его корректности.

## Задача

Реализовать сортировку слиянием — устойчивый алгоритм с гарантированной сложностью O(n log n).

## Решение

```python
def merge_sort(arr: list[int]) -> list[int]:
    if len(arr) <= 1:
        return arr
    mid = len(arr) // 2
    left = merge_sort(arr[:mid])
    right = merge_sort(arr[mid:])
    return merge(left, right)


def merge(left: list[int], right: list[int]) -> list[int]:
    result = []
    i = j = 0
    while i < len(left) and j < len(right):
        if left[i] <= right[j]:
            result.append(left[i]); i += 1
        else:
            result.append(right[j]); j += 1
    return result + left[i:] + right[j:]


print(merge_sort([5, 2, 4, 6, 1, 3]))
```

## Как это работает

Список делится пополам до кусков по одному элементу, затем соседние куски сливаются в отсортированные последовательности. Слияние двух отсортированных списков линейно.

## Пример работы

```text
[1, 2, 3, 4, 5, 6]
```

## Сложность

O(n log n) по времени всегда, O(n) по памяти.


## Проверка тестами

Хорошая привычка — проверять решение сразу на нескольких примерах, включая крайние случаи.

```python
assert is_valid(True) is not None  # базовая проверка вызова
assert is_valid(False) is not None  # и второй случай
```

Такой минимум уже защищает от случайной ошибки при правках кода.

С добавлением проверок решение становится самодокументируемым — сразу видно, что код делает.

**Читайте также:**

[list[int](https://clararoux564.overblog.fr/2026/10/secret-star-sessions-gallery-olivia-julia-lisa-and-more-photo-sets.html) · [вызова](https://dev.to/valentina_silvaferreira_/rieshaiem-i-tiestiruiem-shifr-tsiezaria-59g) · [assert](https://yakihonne.com/article/naddr1qvzqqqr4gupzpdxd05zun20va3nxxpm3lctjfez9z8cvn27szxanrnzj8ygzrnxtqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0ykkzef5xgekzd3j943rwvry956rzvf595unqe3c95mxzepe89snqerzxvcny5wrzxj) · [проверка](https://news-ctl-posts.hashnode.dev/writing-tests-for-the-sieve-of-eratosthenes-part-d595) · [right](https://news-ctl-posts.hashnode.dev/a-step-by-step-look-at-fast-exponentiation-part-479e) · [Реализовать](https://kappa.lol/3c2Xa6) · [Проверка](https://hey.xyz/posts/2t14paszvamqteyr3gf) · [случаи](https://drop.xtrafrancyz.net/selif/vbz6mk8rc7.pdf) · [сортировку](https://mmorar2.wixsite.com/my-site-1/post/%E5%8D%83%E5%B2%81%E5%B0%8F%E6%A2%85) · [соседние](https://drop.xtrafrancyz.net/selif/s0aa3a09km.pdf) · [элементу](https://clarasimon273.overblog.fr/2026/10/yemada.html) · [пополам](https://news-ctl-posts.hashnode.dev/two-ways-to-solve-the-sum-of-digits-part-022c) · [делится](https://yakihonne.com/article/naddr1qvzqqqr4gupzqqm5vr07uqkx35naxlav8kmayw7l6gejgvdhugrtq8mpjc7kh37wqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0ykkydecvymnwwfe95cnwctr956rvdfk95ukywty94jnvwpnv5ur2cm9xycnwdm6pq4) · [куски](https://blogfreely.net/catherine-vasilyev70/ri-ben-xing-jiao-shi-pin) · [решение](https://sway.cloud.microsoft/64E0jjmhX1dhugUI) · [Список](https://rentry.co/gallery-699543) · [случайной](https://gitlab.com/chuongnhuhoa/trusrewre/-/blob/main/articles/caesar-dva-sposoba-mvfaf1p9.md) · [второй](https://dev.to/valentina_silvaferreira_/nieskolko-rieshienii-rieshieniia-prostoi-zadachi-chisla-fibonachchi-48da) · [кусков](https://statics.pancake.vn/web-media-264/d0/80/a5/b5/7590405fe8132f0975a3608e417a95c749cc42131539902ad8b2fc60.pdf) · [всегда](https://dev.to/valentina_silvaferreira_/rassmatrivaiem-klassichieskuiu-zadachu-provierka-anaghramm-geg) · [нескольких](https://fermer.dp.ua/desi+aunty+peeing?f=instapaper)