Skoro algorytm ma zwrócić wartość PRAWDA, wybierzmy dwa elementy takie, które należą do dwóch różnych tablic, a ich suma wyniesie 20, np. 10 i 10. Najlepiej jeśli sumy każdych dwóch pozostałych elementów będą różne od 20. Tablice powinny być uporządkowane rosnąco. Chcemy, aby algorytm wykonał dokładnie sześć porównań. Jedna z możliwych strategii polega na zmuszeniu algorytmu do przejścia po wszystkich elementach tablicy A (5 porównań), a następnie porównania piątego elementu z tablicy A z czwartym elementem z tablicy B, po którym algorytm zwróci wynik PRAWDA i zakończy działanie. Niech para (i, j) oznacza indeks i-tego elementu tablicy A i j-tego elementu tablicy B. Można dobrać elementy tablic tak, aby sumy w parach (1,5), (2,5), (3,5), (4,5) były mniejsze od 20, suma pary (5,5) była większa od 20 i dopiero para (5,4) dała sumę równą 20, co spowoduje podanie PRAWDA i zakończenie wykonywania algorytmu.

Może to być na przykład A = [2, 4, 6, 8, 10] i B = [5, 7, 9, 10,11] oraz x=20.