cât timp (head <= tail) şi (sum > M) execută
            sum -= S[last];
            dacă (deque[head] == last) atunci

                head ++

                head ++;

            sfdacă

            iMin[head] = query(bst, last, deque[head] - 1);
            update(T, head, iMin[head] + S[ deque[head] ]);

            last ++;
        sfcâttimp

        // actualizez iMin[]
        iMin[head] = query(bst, last - 1, deque[head] - 1);
        // actualizez T[]
        update(T, head, iMin[head] + S[ deque[head] ]);

        // reţin optimul pentru poziţia curentă
        bst[i] = query(T, head, tail);
    sfpentru