Quy ước màu sắc:

Màu xanh dương biểu thị các phần tử trong phạm vi sẽ được tìm kiếm và biểu thị hai mốc left và right.

Màu xám biểu thị các phần tử bị loại bỏ khỏi phạm vi tìm kiếm.

Màu xanh lá biểu thị phần tử giữa A[mid].

Màu đỏ biểu thị phần tử có giá trị k tìm thấy.