# Solving and testing binary search (part 562d)

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

## Задача

Дан отсортированный список чисел `arr` и число `target`. Найти его индекс или вернуть `-1`, если элемента нет.

## Решение

```python
def binary_search(arr: list[int], target: int) -> int:
    lo, hi = 0, len(arr) - 1
    while lo <= hi:
        mid = (lo + hi) // 2
        if arr[mid] == target:
            return mid
        if arr[mid] < target:
            lo = mid + 1
        else:
            hi = mid - 1
    return -1


print(binary_search([1, 3, 5, 7, 9, 11], 7))
```

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

На каждом шаге диапазон поиска сокращается вдвое: если середина меньше цели — ищем справа, иначе слева. Отсюда и логарифмическая скорость.

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

```text
3
```

## Сложность

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


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

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

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

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

Тесты вида assert удобны для учебных задач: они короткие, наглядные и не требуют фреймворков.

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

[правках](https://paper.wf/dianabraun04log/sise-cevirmece-ifsa) · [Проверка](https://hey.xyz/posts/1ab7rxwqrv7exc03083) · [arr[mid](https://avdc.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/mucize-u-ur-b-ce-i-ile-kara-kedi-sex-a3629f.pdf) · [вызова](https://sway.cloud.microsoft/QMb1BcQiXNtVBgDz) · [число](https://discuss.tchncs.de/post/65439972) · [короткие](https://gitlab.com/chuongnhuhoa/trusrewre/-/blob/main/articles/bubble-sort-shagi-mvfadfxk.md) · [работает](https://dev.to/valentina_silvaferreira_/rieshaiem-i-tiestiruiem-shifr-tsiezaria-59g) · [len(arr](https://dev.to/valentina_silvaferreira_/rassmatrivaiem-klassichieskuiu-zadachu-provierka-anaghramm-geg) · [Хорошая](https://dev.to/valentina_silvaferreira_/nieskolko-rieshienii-rieshieniia-prostoi-zadachi-chisla-fibonachchi-48da) · [корректности](https://vit.ac.in/wp-content/uploads/event-manager-uploads/event_banner/2026/10/mucize-u-ur-b-ce-i-ile-kara-kedi-sex-56f9e4.pdf) · [каждом](https://cultmtl.com/wp-content/uploads/event-manager-uploads/event_banner/2026/10/julio-jose-ipcam-dfb4a8.pdf) · [Решение](https://privatebin.devol.it/?fa3c65ebc5d2c8c1#6kr6DsJsNGyfYBLt5QV43Q7nj6DG96wLXxj5jffDYyKG) · [отсортированный](https://radicle.network/nodes/index.radicle.garden/rad%3Azd5b1D9kwm8jAqNGbcziFUkYBDAf/issues/bd77090b9961950eb7bdee7836151455ef1f5704) · [минимум](https://dsokolov7.wixsite.com/my-site-1/post/enthus1asmm) · [учебных](https://articlescad.com/vam-lily-lou-anal-audition-with-mike-adriano-385859.html) · [Найти](https://yakihonne.com/article/naddr1qvzqqqr4gupzpftvugeatq4ujrlgkngpl25wx4pe8vzcpppdhn2936gn7kjc4dugqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0ykn2dnrvsuxgdf594snqce4956rjwfn943x2dej95uxgetyv5mkzdryv9nrztdh0pd) · [случай](https://discuss.tchncs.de/post/65444582) · [поиска](https://krausepavel80.wixsite.com/my-site-1/post/opiumud-hentai-videos-3d-fan-art-and-parody-gallery) · [диапазон](https://tbk.onlyfansarchive.live/bokep+indo+bertukar+keringat+sama+mantan+pacar+sampe+orgasme?f=linkcentre) · [return](https://radicle.network/nodes/seed.pipapo.org/rad%3Az2sRtioXKZ9SGH62Rs5BBv8977Vmq/issues/508b513ee499431fe7c54fe9e2402359d461f036) · [Такой](https://yakihonne.com/article/naddr1qvzqqqr4gupzqj890rdf9262m60g869z3678azlqd0nxema57njcm69rrvegatqrqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0yknzdph8pjx2epn95urwwfk956rgvp494sk2dnr943rgdp4xsukvvpkxumrsyjnvpq) · [затем](https://loc.edu/wp-content/uploads/event-manager-uploads/event_banner/2026/10/breastvore-b28bac.pdf) · [сокращается](https://cultmtl.com/wp-content/uploads/event-manager-uploads/event_banner/2026/10/sp-bf2ccd.pdf) · [скорость](https://news-ctl-posts.hashnode.dev/understanding-the-euclidean-algorithm-for-gcd-part-f4a4) · [нескольких](https://artofhosting.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/sakuramaru-f8aa2d.pdf) · [памяти](https://hey.xyz/posts/3wzfxamkn3gp9c6mqc1) · [слева](https://loc.edu/wp-content/uploads/event-manager-uploads/event_banner/2026/10/stopu42-405edd.pdf) · [требуют](https://paste2.org/HZMYPFKn)