# Solving and testing binary search (part 417c)

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

## Задача

Дан отсортированный список чисел `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  # и второй случай
```

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

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

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

[список](https://vit.ac.in/wp-content/uploads/event-manager-uploads/event_banner/2026/10/halo-infinite-wallpaper-iphone-42d64f.pdf) · [вызова](https://marieroux423.overblog.fr/2026/10/azeri-ifsa-video-koleksiyonu-cretsiz-indirme-ve-izleme.html) · [сначала](https://paper.wf/sofia1993log/turkce-altyazili-pornolar-izle-hd-sikis-videolari) · [включая](https://videosfree.duckdns.org/cassie+laine+lesbian?f=instapaper) · [логарифмическая](https://yakihonne.com/article/naddr1qvzqqqr4gupzqrlzuec0hluhguaklec6erms8508chueqvdj8dgkgz2addpmuwcxqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0yknzc3sxccnzdtz94snqen9956rvdfn943xyepj943rjdejvg6x2v35vv6k2ewhrhj) · [затем](https://radicle.network/nodes/seed.cielago.xyz/rad%3Az3eYWgHucqLfwN8rib2taiMfgxP3s/issues/160a8142516649e66b03941f6b38895ae2fae0b2) · [элемента](https://dev.to/valentina_silvaferreira_/nieskolko-rieshienii-rieshieniia-prostoi-zadachi-chisla-fibonachchi-48da) · [len(arr](https://drop.xtrafrancyz.net/selif/7ztmjp39xo.pdf) · [проверок](https://paper.wf/vera1994log/talullax-webcam-porn-video-record-stripchat) · [иначе](https://blogfreely.net/nathannazarov26/starsessions-models) · [случаи](https://sway.cloud.microsoft/4LCCBKYPElEVQyuh) · [Хорошая](https://sway.cloud.microsoft/LdhGYpMGQVppnqkw) · [while](https://gitlab.com/chuongnhuhoa/trusrewre/-/blob/main/articles/merge-sort-razbor-mvaj4qg9.md) · [python](https://blog.spikyhair.club/oz23c982/aibanwork-japanese-adult-gallery-with-jinguji-ayano) · [случайной](https://paste.rs/kar95) · [примерах](https://dev.to/valentina_silvaferreira_/rieshaiem-i-tiestiruiem-shifr-tsiezaria-59g) · [глазами](https://hey.xyz/posts/97h6vhet7t88197j7) · [добавлением](https://yakihonne.com/article/naddr1qvzqqqr4gupzq6a84e5l3j3q2lmr2r203rd5jnff9zxlrrs2sgv6yxkw37uff3s2qy28wumn8ghj7un9d3shjtnyv9kh2uewd9hszrthwden5te0dehhxtnvdakqzynhwden5te0danxvcmgv95kutnsw43qqtr8v9kxcetj0yknqep5xgmxvvrz95erqvmz956x2enz94skgepc94jkzefn8yukvephxuekzea7fh4) · [нескольких](https://radicle.network/nodes/index.radicle.garden/rad%3AzVCiAUDwfnVqeSMmuWFG8oVL21cY/issues/6fdf8dd84b345743862310a8b13b3eb0940defaa) · [Посмотрим](https://thevillagecharterschool.org/rae+lil+black+crooked+throne+part+2?f=instapaper) · [чисел](https://privatebin.devol.it/?a8c249cda1850374#HmtdNHSdB7Ga4GdRYctEZVwJooRJ4omFBhAWX2PbPBXA) · [видно](https://ecency.com/@marekkral2859/post-50be86) · [убеждаемся](https://rentry.co/tgwh6k4v) · [индекс](https://news-ctl-posts.hashnode.dev/a-step-by-step-look-at-palindrome-check-part-00df) · [памяти](https://dev.to/valentina_silvaferreira_/rassmatrivaiem-klassichieskuiu-zadachu-provierka-anaghramm-geg) · [времени](https://oliviapopa48.wixsite.com/my-site-1/post/%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%8C-%D1%81%D0%B0%D0%BD%D0%B4%D1%80%D0%B0-%D0%BE%D1%80%D0%BB%D0%BE%D0%B2%D0%B0)