Nagkinahanglan og invariant ang binary search

15-minutong sesyon: pagbasa sulod sa 3 minutos, pag-trace sa 3, pag-eksperimento sa 7, ug pagtubag sa check sa 2. Paggahin og dugang oras kon gikinahanglan.

Ang binary search nagsalig sa sorted data ug nagkagamay nga interval. Mahimong sayop ang paspas nga loop sa unsorted data. Gamita ang library, sulayi ang insertion sa duha ka tumoy ug existing value, ug ipasabot ang invariant sa dili pa maghimo og kaugalingon.

Praktis ug ebidensiya: Tag-ana ang pananglitan o idrowing ang pag-usab sa state. Usba ang usa ka pagtuo, sulayi ang utlanan, ug itala ang aktuwal nga resulta. Ipasabot unsa ang wala mapamatud-i sa gamay nga modelo bahin 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))

Gipaabot nga resulta: 0 1 3

Praktis ug ebidensiya

Isulat ang tagna, aktuwal nga resulta, ug hinungdan sa pagkapareho o kalainan. Ang completion check mosukod sa pagsabot; ang practice task mopauswag sa kahanas.