Gerekirci algoritma