Language: C++

#include <bits/stdc++.h>
//#include <boost/multiprecision/cpp_int.hpp>
//#include <ext/pb_ds/assoc_container.hpp>
//#include <ext/pb_ds/tree_policy.hpp>
#pragma GCC optimize("O3")
#define REP(i,n) for(int i=0;i<n;i++)
#define REPP(i,n) for(int i=1;i<=n;i++)
#define ALL(obj) (obj).begin(), (obj).end()
#define EPS (1e-9)
#define INF (1e17)
#define PI (acos(-1))
//const double PI = acos(-1);
//const double EPS = 1e-15;
//long long INF=(long long)1E17;
#define i_7 (long long)(1e9+7)
//#define i_7 998'244'353
long mod(long a){
    long long c=a%i_7;
    if(c>=0)return c;
    return c+i_7;
}
long long po(long a, long b){
    if(b==0){
        return 1;
    }
    
    long long z = po(a,b/2);
    z = mod(z*z);
    if(b%2!=0){
        z = mod(a*z);
    }
    return z;
}
 
bool prime_(int n){
  if(n==1){
    return false;
  }else if(n==2){
    return true;
  }else{
    for(int i=2;i<=std::sqrt(n);i++){
      if(n%i==0){
        return false;
      }
    }
    return true;
  }
}
 
long long gcd_(long long a, long long b){
  if(a<b){
    std::swap(a,b);
  }
  if(a%b==0){
    return b;
  }else{
    return gcd_(b,a%b);
  }
}
 
long long lcm_(long long x, long long y){
  return (x/gcd_(x,y))*y;
}
 
//using namespace std;
//using namespace boost::multiprecision;
//using namespace __gnu_pbds;
 
int main(){
  using namespace std;
  int n;
  long long t;
  cin>>n>>t;
  long long a[n], b[n];
  vector<pair<pair<long long, long long>, int>> vi;
  vector<long long> bs;
  REP(i, n){
    cin>>a[i]>>b[i];
    if(a[i] == 0){
      bs.push_back(b[i]);
    }else{
      vi.push_back(make_pair(make_pair(a[i], b[i]), i));
    }
  }
  auto cmp(pair<pair<long long, long long>, int> x, pair<pair<long long, long long>, int> y) -> bool{
    long long ai = x.first.first;
    long long bi = x.first.second;
    long long aj = y.first.first;
    long long bj = y.first.second;
    return aj * (bi + 1) <= ai * (bj + 1);
  };
  if(bs.size() == n){
    sort(ALL(bs));
    long long temp = 0;
    long long ans = 0;
    REP(i, n){
      temp += 1 + bs[i];
      if(temp <= t){
        ans++;
      }else{
        break;
      }
    }
    cout<<ans<<endl;
    return 0;
  }
  if(vi.size() == n){
    sort(ALL(vi), cmp);
    long long temp = 0;
    long long ans = 0;
    REP(j, n){
      int i = vi[j].second;
      temp++;
      temp = a[i] * temp + b[i];
      if(temp <= t){
        ans++;
      }else{
        break;
      }
    }
    cout<<ans<<endl;
    return 0;
  }
  sort(ALL(vi), cmp);
  sort(ALL(bs));
  int gnum = vi.size();
  int znum = bs.size();
  vector<vector<long long>> dp(gnum + 1, vector<long long>(31, INF));
  vector<long long> sbs(znum);
  REP(i, gnum + 1){
    REP(j, 31){
      if(j == 0){
        dp[i][j] = 0;
        continue;
      }
      if(i < j)continue;
      dp[i][j] = dp[i - 1][j];
      int ti = vi[i - 1].second;
      if(dp[i - 1][j - 1] > t)continue;
      long long temp = dp[i - 1][j - 1] + 1 + a[ti] * (dp[i - 1][j - 1] + 1) + b[ti];
      dp[i][j] = min(dp[i][j], temp);
      if(dp[i][j] > t)break;
    }
  }
  REP(i, znum){
    if(i == 0){
      sbs[i] = 1 + bs[i];
    }else{
      sbs[i] = sbs[i - 1] + 1 + bs[i];
    }
  }
  int ans = 0;
  REP(i, gnum + 1){
    REP(j, 31){
      if(dp[i][j] > t)break;
      long long r = t - dp[i][j];
      auto itr = upper_bound(ALL(sbs), r);
      int cnt = distance(sbs.begin(), itr);
      ans = max(ans, j + cnt);
    }
  }
  cout<<ans<<endl;
  return 0;
}


Compiler output:
a.cc: In function 'int main()':
a.cc:85:101: error: a function-definition is not allowed here before '{' token
   85 |   auto cmp(pair<pair<long long, long long>, int> x, pair<pair<long long, long long>, int> y) -> bool{
      |                                                                                                     ^
a.cc:108:19: error: 'cmp' was not declared in this scope; did you mean 'bcmp'?
  108 |     sort(ALL(vi), cmp);
      |                   ^~~
      |                   bcmp
a.cc:124:17: error: 'cmp' was not declared in this scope; did you mean 'bcmp'?
  124 |   sort(ALL(vi), cmp);
      |                 ^~~
      |                 bcmp