Submission #3883678

---

Source Code Expand

#include <bits/stdc++.h>

using namespace std;

#define pb push_back
#define mp make_pair
#define mt make_tuple
#define fi first
#define se second
#define all(a) (a).begin(),(a).end()
#define endl "\n"
#define show(x) cerr << #x << " " << x << endl

typedef long long ll;
typedef unsigned long long ull;

constexpr const int INT_INF=0x3f3f3f3f; // 1061109567
constexpr const ll LL_INF=0x3f3f3f3f3f3f3f3f; // 4557430888798830399

template <typename T> bool chmin(T &a, T b) {
    if (a > b) {a = b;return true;}return false;
}

template <typename T> bool chmax(T &a, T b) {
    if (a < b) {a = b;return true;}return false;
}

// INT
#define GCD(a, b) __gcd(a, b)
template <typename T> T LCM(T a, T b) {return a / GCD(a, b) * b;}
template <typename T> T EXTGCD(T a, T b, T& x, T& y) {
    T d = a;
    if (b != 0) {d=EXTGCD(b,a%b,y,x);y-=(a/b)*x;}
    else x=1,y=0;
    return d;
}
template <typename T> bool is_prime(T a) {
    for(int i=2;i*i<=a;i++)if(a%i==0)return 1;
    return 0;
}

// MOD
const ll MOD = 1000000000 + 7;
#define add(a, b) ((a % MOD) + (b % MOD)) % MOD
#define mul(a, b) ((a % MOD) * (b % MOD)) % MOD
#define sub(a, b) ((a % MOD) + MOD - (b % MOD)) % MOD
template <typename T> T mod_inverse(T a, T mod, bool prime){ // if mod is prime, "prime" is true.
    if(prime){
        T tmp=mod-2,now=a,res=1;while(tmp){if(tmp&1)res=mul(res,now);now=mul(now,now);tmp>>=1;}
        return res;
    }else{T x,y;EXTGCD(a,mod,x,y);return (mod+x%mod)%mod;}
}
#define divide(a, b) ((a % MOD) * (mod_inverse(b, MOD, true))) % MOD

//LLの数値をつかう時は最後にLをつける癖をつけよう
//
//  　　┓　　　┏
//  　＊┗┓　┏┛
//  　　　┫　┣　＊
//  　┏┳┻━┻┳┓
//  　┗┫　　　┣┛
//  ＊　┣　　━┃　＊        Merry Christmas!!
//  　┏┛　　〃┃
//  　┃●　　　┣━┳┓
//  　┗┻┳━━┛　┣┛
//  　＊　┃┏┓┣┓┃
//WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW

int n;
vector <pair <ll, int> > v;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.precision(10);
    cout << fixed;
#ifdef LOCAL_DEFINE
    FILE *stream1;
    //FILE *stream2;
    stream1 = freopen("/Users/aim_cpo/CLionProjects/competitive/in.txt", "r", stdin);
    //stream2 = freopen("out.txt", "w", stdout);
    if (stream1 == nullptr) return 0;
    //if (stream2 == NULL) return 0;
#endif
    // テキトー考察
    //
    // PCとコンセントの最適なマッチングの一つとして、左から i 個目のコンセントは左から i 個目のPCと繋がる
    // このマッチングで i 番目のPCと繋がるコンセントの座標を con[i] とし、PCの座標を pc[i] とする
    // con[i] < pc[i] < con[i + 1] < pc[i + 1] , con[i] < pc[i] < pc[i + 1] < con[i + 1],
    // pc[i] < con[i] < pc[i + 1] < con[i + 1] , pc[i] < con[i] < con[i + 1] < pc[i + 1]
    // 以上の4パターンではpcの繋げるコンセントを i と i + 1 で入れ替えるとケーブルが絶対に長くなるので入れ替えてはいけない
    // con[i] < con[i + 1] < pc[i] < pc[i + 1] , pc[i] < pc[i + 1] < con[i] < con[i + 1]
    // 以上の2パターンではコンセントを入れ替えてもケーブルの長さは変わらないのでこのようなパターンの箇所のみ考える
    // con[i] < con[j] < pc[i] < pc[j] の場合のみで考える
    // pc[i] が繋げる事のできるコンセントは (j - i + 1) 通りである
    // pc[j] が繋げる事のできるコンセントは (j - i) 通りである
    // こんな感じで、i 番目のpcがつなぐことのできるコンセントの数を持っておくと計算できる
    // 同様にして、pc[i] < pc[j] < con[i] < con[j] のパターンも考えられる
    // O(n)でできる
    // 提出したらACなのできっと合ってる??
    cin >> n;
    for (int i = 0; i < n; i++) {
        ll a; cin >> a;
        v.emplace_back(a, 0);
    }
    for (int i = 0; i < n; i++) {
        ll a; cin >> a;
        v.emplace_back(a, 1);
    }
    sort(all(v));
    ll a = 0L, b = 0L;
    ll res = 1L;
    for (int i = 0; i < (int)v.size(); i++) {
        if (v[i].se == 0 && b == 0) {
            a++;
        } else if (v[i].se == 0) {
            res = mul(res, b);
            b--;
        }
        if (v[i].se == 1 && a == 0) {
            b++;
        } else if (v[i].se == 1) {
            res = mul(res, a);
            a--;
        }
    }
    cout << res << endl;
#ifdef  LOCAL_DEFINE
    cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << "s.\n";
#endif
    return 0;
}

Submission Info

Judge Result