# Writing tests for binary search (part e83a)

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

## Задача

Дан отсортированный список чисел `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://ecency.com/@jiribenes1878/post-b9f77a) · [иначе](https://dev.to/valentina_silvaferreira_/rieshaiem-i-tiestiruiem-shifr-tsiezaria-59g) · [затем](https://newatsapp.altervista.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/naked-todler-6ab291.pdf) · [Задача](https://radicle.network/nodes/index.radicle.garden/rad%3Az2FFQfhakTwHuRMK4ax8Af1QznTPx/issues/e14bb556061667150adec713be3e2fa3d78fcebb) · [assert](https://rentry.co/gallery-295189) · [список](https://www.sfahba.com/wp-content/uploads/event-manager-uploads/event_banner/2026/10/bigcatmia-c958c2.pdf) · [решение](https://sway.cloud.microsoft/WUSlSwLccBGiKeQq) · [логарифмическая](https://loc.edu/wp-content/uploads/event-manager-uploads/event_banner/2026/10/boobpres-f0b739.pdf) · [Решение](https://dev.to/valentina_silvaferreira_/nieskolko-rieshienii-rieshieniia-prostoi-zadachi-chisla-fibonachchi-48da) · [каждом](https://drop.xtrafrancyz.net/selif/v70kwgt46u.pdf) · [разработчика](https://gitlab.com/chuongnhuhoa/trusrewre/-/blob/main/articles/is-prime-shagi-mvdkxcq1.md) · [list[int](https://artofhosting.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/event-d23819.pdf) · [while](https://avdc.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/nanacute-1981ef.pdf) · [O(log](https://lauradubois753.overblog.fr/2026/10/maisie-starsession.html) · [середина](https://contracosta.news/wp-content/uploads/event-manager-uploads/event_banner/2026/10/lisa-maisie-julia-ss-dbf228.pdf) · [защищает](https://avdc.org/wp-content/uploads/event-manager-uploads/event_banner/2026/10/event-3ce044.pdf) · [len(arr](https://loc.edu/wp-content/uploads/event-manager-uploads/event_banner/2026/10/let-cia-vargas-nua-bc99b9.pdf) · [правках](https://zanoni.wien/%D8%AF%D8%A7%D8%B3%D8%AA%D8%A7%D9%86+%D8%B3%DA%A9%D8%B3+%D9%85%D9%86+%D9%88%D9%85%D8%A7%D9%85%D8%A7%D9%86?f=instapaper) · [случай](https://kappa.lol/6jPNJT) · [крайние](https://officeducommerce-hyeres.com/yu_yuhwa+onlyfans?f=instapaper) · [скорость](https://r34.life/hhxiaoxiong?f=instapaper) · [тестами](https://dev.to/valentina_silvaferreira_/rassmatrivaiem-klassichieskuiu-zadachu-provierka-anaghramm-geg) · [второй](https://igorsilva26.wixsite.com/my-site-1/post/turk-liseli-porn)