Language: C++

#include "bits/stdc++.h"
using namespace std;
typedef long long li;

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);

    li n, t;
    cin >> n >> t;
    vector<li> as(n), bs(n);

    vector<li> order;
    for (int i = 0; i < n; ++i) {
        cin >> as[i] >> bs[i];
        bs[i] = as[i] + bs[i] + 1;
        order.push_back(i);
    }

    sort(order.begin(), order.end(), [&](int i, int j) {
        if (as[i] != 0 || as[j] != 0) {
            return as[j] * bs[i] < as[i] * bs[j];
        } else {
            return bs[i] < bs[j];
        }
    });

    li zeros = 0;
    for (; zeros < n; zeros++) {
        if (as[zeros] == 0) {
            break;
        }
    }

    vector<li> mincost(30, t + 1);
    mincost[0] = 0;
    for (int i = 0; i < zeros; ++i) {
        for (int j = 29; j > 0; --j) {
            mincost[j] = min(mincost[j], mincost[j - 1] + as[order[i]] * mincost[j - 1] + bs[order[i]]);
        }
    }

    vector<li> acc;
    acc.push_back(0);
    for (int i = zeros; i < n; ++i) {
        acc.push_back(acc.back() + bs[order[i]]);
    }
    li ans = 0;
    for (int nz = 0; nz < 30; ++nz) {
        if (mincost[nz] > t) {
            continue;
        }
        ans = max(ans, nz + (upper_bound(acc.begin(), acc.end(), t - mincost[nz]) - acc.begin()) - 1);
    }
    cout << ans << endl;


    return 0;
}

Compiler output:
a.cc: In function 'int main()':
a.cc:53:18: error: no matching function for call to 'max(li&, __gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >::difference_type)'
   53 |         ans = max(ans, nz + (upper_bound(acc.begin(), acc.end(), t - mincost[nz]) - acc.begin()) - 1);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_algobase.h:257:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::max(const _Tp&, const _Tp&)'
  257 |     max(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:257:5: note:   template argument deduction/substitution failed:
a.cc:53:18: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >::difference_type' {aka 'long int'})
   53 |         ans = max(ans, nz + (upper_bound(acc.begin(), acc.end(), t - mincost[nz]) - acc.begin()) - 1);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)'
  303 |     max(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note:   candidate expects 3 arguments, 2 provided
In file included from /usr/include/c++/14/algorithm:61:
/usr/include/c++/14/bits/stl_algo.h:5706:5: note: candidate: 'template<class _Tp> constexpr _Tp std::max(initializer_list<_Tp>)'
 5706 |     max(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5706:5: note:   candidate expects 1 argument, 2 provided
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::max(initializer_list<_Tp>, _Compare)'
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note:   template argument deduction/substitution failed:
a.cc:53:18: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   53 |         ans = max(ans, nz + (upper_bound(acc.begin(), acc.end(), t - mincost[nz]) - acc.begin()) - 1);
      |               ~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~