# Solving and testing binary search

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

## Задача

Дан отсортированный список чисел `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://newatsapp.altervista.org/wp-content/uploads/event-manager-uploads/event_banner/2026/11/innocams-fd96c9.pdf) · [крайние](https://dev.to/devnote2319/idempotent-publishing-jobs-9r51p-7mk) · [минимум](https://dev.to/devnote2319/scheduling-retries-in-a-publishing-pipeline-xnj6q-4bf2) · [случаи](https://mycommunitycalendars.com/wp-content/uploads/event-manager-uploads/event_banner/2026/11/cumtarget-08575b.pdf) · [вернуть](https://jaflysilve.freeflarum.com/d/20054-20054-chemical-process-simulation-tools) · [assert](https://dev.to/devnote2319/account-pools-for-multi-platform-posting-bb4an-4op6) · [случайной](https://dev.to/devnote2319/keeping-link-blocks-stable-across-platforms-ntgpa-1p8h) · [python](https://gitlab.com/chuongnhuhoa/trusrewre/-/blob/main/articles/digit-sum-tests-mw8q34en.md) · [Хорошая](https://privatebin.devol.it/?a970b722cac28111#8yfaukBcioMwuD2m3gXN8fLtoUqHhFBXRDz2DkoXuf1V) · [меньше](https://dev.to/devnote2319/logging-pipeline-runs-without-noise-4c7be-544k) · [проверок](https://paper.wf/sofia1962log/turkish-deepfake-porn-fake-celebrity-xxx-videos-and-photos) · [сразу](https://dev.to/devnote2319/idempotent-publishing-jobs-84uy2-3em1) · [проверка](https://loc.edu/wp-content/uploads/event-manager-uploads/event_banner/2026/11/bbwhennessy-77ea62.pdf) · [нескольких](https://statics.pancake.vn/web-media-264/15/18/17/a5/187563206ceb8165373b81db1f329886d257fcd819c7f208a178770c.pdf) · [видно](https://pastebin.com/0x1sNwH3) · [число](https://jaflysilve.freeflarum.com/d/20155-20155-bokep-indo-hijab-binal-meki-tembem-baru-dicukur) · [вызова](https://dev.to/devnote2319/idempotent-publishing-jobs-oxu5p-1763) · [правках](https://contracosta.news/wp-content/uploads/event-manager-uploads/event_banner/2026/11/marieloves2cuddle-31dce9.pdf) · [времени](https://portfolio25167.mataroa.blog/blog/tango-premium-ifsa/) · [тестами](https://sway.cloud.microsoft/BfENZijFLJXHK61c) · [while](https://news-ctl-posts.hashnode.dev/two-approaches-to-removing-duplicates-from-a-list-mw4kdfyh) · [arr[mid](https://dev.to/devnote2319/keeping-link-blocks-stable-across-platforms-wftry-f09) · [ошибки](https://ecency.com/@radekvesely4878/starsessions-leyla-f05835) · [Задача](https://contracosta.news/wp-content/uploads/event-manager-uploads/event_banner/2026/11/event-7cd030.pdf) · [случай](https://vit.ac.in/wp-content/uploads/event-manager-uploads/event_banner/2026/11/bbwhennessy-6d3b4b.pdf) · [иначе](https://hey.xyz/posts/1vjnz2fg5jr09qf5mrf) · [Посмотрим](https://leahsimon981.overblog.fr/2026/11/wanderingrvbabe-onlyfans-lelu-love-rv-nude-sexy-photos.html) · [работает](https://sway.cloud.microsoft/bnej00Ru7aRXhJ0D) · [решение](https://ink.synkosmos.org/ozd1c055/stickam-teens-strip) · [сокращается](https://jaflysilve.freeflarum.com/d/20160-20160-wjsgmn)

