#include #include #include #include #include #include #include #include #include #include #include #include #include #include #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template vector> vec2d(int n, int m, T v){ return vector>(n, vector(m, v)); } template vector>> vec3d(int n, int m, int k, T v){ return vector>>(n, vector>(m, vector(k, v))); } template void print_vector(vector v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } using mint = atcoder::modint1000000007; ostream& operator<<(ostream& os, const mint& m){ os << m.val(); return os; } #define N_MAX 4002 mint inv[N_MAX],fac[N_MAX],finv[N_MAX]; void init(){ const ll MOD = mint::mod(); fac[0]=1;fac[1]=1; finv[0]=1;finv[1]=1; inv[1]=1; for(int i=2;i; int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; init(); int n; cin >> n; vector t(n), x(n); vector

vp; for(int i = 0; i < n; i++){ cin >> t[i] >> x[i]; if(t[i] == 1){ x[i]--; }else{ } vp.push_back({x[i], i}); } sort(vp.begin(), vp.end()); int cnt = 0; auto dp = vec2d(n+1, n+1, mint(0)); dp[0][0] = 1; for(int i = 0; i < n; i++){ auto [x, idx] = vp[i]; for(int ng = 0; ng <= i; ng++){ int small = x-(cnt+ng); if(t[idx] == 1){ if(small >= 1) dp[i+1][ng+1] += dp[i][ng]*small; dp[i+1][ng] += dp[i][ng]; }else{ if(small >= 1) dp[i+1][ng] += dp[i][ng]*small; } } if(t[idx] == 0) cnt++; } mint ans = 0; for(int ng = 0; ng <= n; ng++){ mint sgn = ng%2 == 0 ? 1 : -1; ans += sgn*dp[n][ng]*fac[n-(cnt+ng)]; } cout << ans << endl; }