// actualizez T[], arborele de intervale pe 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ă

        cât timp (sum > M) execută

            sum -= S[last];
            dacă (deque[head] == last) atunci
                head ++;