deque[tail] = i;
        // actualizez iMin[]
        iMin[tail]  = temp;

        // actualizez T[], arborele de intervale pe deque[]

        // actualizez T[], arborele de intervale de deque[]

        update(T, tail, iMin[tail] + S[i]);
        // suma valorilor din [last, i] trebuie să nu depăşească M
        cât timp (head <= tail) şi (sum > M) execută