Kailangan ng invariant ang binary search

15-minutong sesyon: magbasa nang 3 minuto, mag-trace nang 3, mag-eksperimento nang 7, at sagutan ang check nang 2. Maglaan ng dagdag na oras kung kailangan.

Umaasa ang binary search sa sorted data at lumiliit na interval. Maaaring mali ang mabilis na loop sa unsorted data. Gumamit ng library, subukan ang insertion sa magkabilang dulo at existing value, at ipaliwanag ang invariant bago gumawa ng sarili.

Pagsasanay at ebidensiya: Hulaan ang halimbawa o iguhit ang pagbabago ng state. Baguhin ang isang palagay, subukan ang hangganan, at itala ang aktuwal na resulta. Ipaliwanag kung ano ang hindi napapatunayan ng maliit na modelo tungkol sa production system.

from bisect import bisect_left
values=[2,4,6]
print(bisect_left(values,1))
print(bisect_left(values,4))
print(bisect_left(values,8))

Inaasahang resulta: 0 1 3

Pagsasanay at ebidensiya

Itala ang hula, aktuwal na resulta, at dahilan ng pagtugma o pagkakaiba. Sinusukat ng completion check ang pag-unawa; hinahasa ng practice task ang kasanayan.