結果
問題 | No.2336 Do you like typical problems? |
ユーザー | minato |
提出日時 | 2023-06-02 22:04:18 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 492 ms / 2,000 ms |
コード長 | 28,839 bytes |
コンパイル時間 | 2,224 ms |
コンパイル使用メモリ | 164,152 KB |
実行使用メモリ | 23,152 KB |
最終ジャッジ日時 | 2024-06-08 23:11:46 |
合計ジャッジ時間 | 6,247 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 5 ms
6,816 KB |
testcase_01 | AC | 5 ms
6,940 KB |
testcase_02 | AC | 5 ms
6,940 KB |
testcase_03 | AC | 5 ms
6,944 KB |
testcase_04 | AC | 5 ms
6,940 KB |
testcase_05 | AC | 5 ms
6,940 KB |
testcase_06 | AC | 5 ms
6,944 KB |
testcase_07 | AC | 5 ms
6,940 KB |
testcase_08 | AC | 8 ms
6,940 KB |
testcase_09 | AC | 8 ms
6,940 KB |
testcase_10 | AC | 8 ms
6,944 KB |
testcase_11 | AC | 8 ms
6,944 KB |
testcase_12 | AC | 8 ms
6,940 KB |
testcase_13 | AC | 481 ms
23,124 KB |
testcase_14 | AC | 491 ms
23,116 KB |
testcase_15 | AC | 492 ms
23,076 KB |
testcase_16 | AC | 484 ms
23,152 KB |
testcase_17 | AC | 483 ms
23,112 KB |
testcase_18 | AC | 43 ms
10,144 KB |
testcase_19 | AC | 57 ms
10,272 KB |
testcase_20 | AC | 275 ms
22,988 KB |
ソースコード
#line 1 "library-cpp/other/template.hpp" // clang-format off #include <algorithm> #include <array> #include <bitset> #include <cassert> #include <chrono> #include <cmath> #include <complex> #include <deque> #include <forward_list> #include <fstream> #include <functional> #include <iomanip> #include <ios> #include <iostream> #include <limits> #include <list> #include <map> #include <numeric> #include <queue> #include <random> #include <set> #include <sstream> #include <stack> #include <string> #include <tuple> #include <type_traits> #include <unordered_map> #include <unordered_set> #include <utility> #include <vector> using namespace std; using uint = unsigned int; using ll = long long; using ull = unsigned long long; using i128 = __int128_t; using ld = long double; using pii = pair<int, int>; using pll = pair<long long, long long>; template <class T> using maxheap = priority_queue<T>; template <class T> using minheap = priority_queue<T, vector<T>, greater<T>>; template <class T> using vec = vector<T>; template <class T> using vvec = vector<vector<T>>; #define OVERLOAD_REP(_1, _2, _3, name, ...) name #define REP0(n) for (auto minato = decay_t<decltype(n)>{}; minato < (n); ++minato) #define REP1(i, n) for (auto i = decay_t<decltype(n)>{}; (i) < (n); (i)++) #define REP2(i, l, r) for (auto i = (l); (i) < (r); (i)++) #define rep(...) OVERLOAD_REP(__VA_ARGS__, REP2, REP1, REP0)(__VA_ARGS__) #define OVERLOAD_RREP(_1, _2, _3, name, ...) name #define RREP1(i, n) for (auto i = (n) - 1; (i) >= decay_t<decltype(n)>{}; (i)--) #define RREP2(i, l, r) for (auto i = (r) - 1; (i) >= (l); (i)--) #define rrep(...) OVERLOAD_RREP(__VA_ARGS__, RREP2, RREP1)(__VA_ARGS__) #define all(x) begin(x), end(x) template <class Container> int SZ(const Container& v) { return int(v.size()); } template <class T> void UNIQUE(vector<T>& v) { v.erase(unique(v.begin(), v.end()), v.end()); } template <class T> T MAX(const vector<T>& v) { return *max_element(v.begin(), v.end()); } template <class T> T MIN(const vector<T>& v) { return *min_element(v.begin(), v.end()); } template <class T> T SUM(const vector<T>& v) { return accumulate(v.begin(), v.end(), T(0)); } template <class T> T ABS(T x) { return max(x, -x); } template <class T1, class T2> bool chmax(T1& a, T2 b) { if (a < b) { a = b; return true; } return false; } template <class T1, class T2> bool chmin(T1& a, T2 b) { if (a > b) { a = b; return true; } return false; } int topbit(ull x) { return x == 0 ? -1 : 63 - __builtin_clzll(x); } int botbit(ull x) { return x == 0 ? 64 : __builtin_ctzll(x); } int popcount(ull x) { return __builtin_popcountll(x); } int kthbit(ull x, int k) { return (x >> k) & 1; } constexpr long long TEN(int x) { return x == 0 ? 1 : TEN(x - 1) * 10; } template <typename S> void rearrange(const vector<S>& id) { (void)id; } template <typename S, typename T> void rearrange_exec(const vector<S>& id, vector<T>& v) { vector<T> w(v.size()); for (size_t i = 0; i < id.size(); i++) { w[i] = v[id[i]]; } v.swap(w); } template <typename S, typename Head, typename... Tail> void rearrange(const vector<S>& id, Head& a, Tail& ...tail) { rearrange_exec(id, a); rearrange(id, tail...); } istream& operator>>(istream& is, __int128_t& x) { x = 0; string s; is >> s; int n = int(s.size()), it = 0; if (s[0] == '-') it++; for (; it < n; it++) x = (x * 10 + s[it] - '0'); if (s[0] == '-') x = -x; return is; } ostream& operator<<(ostream& os, __int128_t x) { if (x == 0) return os << 0; if (x < 0) os << '-', x = -x; deque<int> deq; while (x) deq.emplace_front(x % 10), x /= 10; for (int e : deq) os << e; return os; } template <class T> vector<T> &operator++(vector<T>& v) { for (auto& e : v) { e++; } return v;} template <class T> vector<T> operator++(vector<T>& v, int) { auto res = v; for (auto& e : v) { e++; } return res; } template <class T> vector<T> &operator--(vector<T>& v) { for (auto& e : v) { e--; } return v; } template <class T> vector<T> operator--(vector<T>& v, int) { auto res = v; for (auto& e : v) { e--; } return res; } template <class T1, class T2> pair<T1, T2> operator-(const pair<T1, T2>& x) { return pair<T1, T2>(-x.first, -x.second); } template <class T1, class T2> pair<T1, T2> operator-(const pair<T1, T2>& x, const pair<T1, T2>& y) { return pair<T1, T2>(x.first - y.first, x.second - y.second); } template <class T1, class T2> pair<T1, T2> operator+(const pair<T1, T2>& x, const pair<T1, T2>& y) { return pair<T1, T2>(x.first + y.first, x.second + y.second); } template <class T1, class T2> pair<T1, T2> operator+=(pair<T1, T2>& l, const pair<T1, T2>& r) { return l = l + r; } template <class T1, class T2> pair<T1, T2> operator-=(pair<T1, T2>& l, const pair<T1, T2>& r) { return l = l - r; } constexpr char ln = '\n'; const string YESNO[2] = {"NO", "YES"}; const string YesNo[2] = {"No", "Yes"}; void YES(bool t = true) { cout << YESNO[t] << "\n"; } void NO(bool t = 1) { YES(!t); } void Yes(bool t = true) { cout << YesNo[t] << "\n"; } void No(bool t = 1) { Yes(!t); } template <class T> void drop(T x) { cout << x << "\n"; exit(0); } #define INT(...) \ int __VA_ARGS__; \ IN(__VA_ARGS__) #define LL(...) \ ll __VA_ARGS__; \ IN(__VA_ARGS__) #define STR(...) \ string __VA_ARGS__; \ IN(__VA_ARGS__) #define CHR(...) \ char __VA_ARGS__; \ IN(__VA_ARGS__) #define LDB(...) \ long double __VA_ARGS__; \ IN(__VA_ARGS__) #define VEC(type, name, size) \ vector<type> name(size); \ IN(name) #define VEC2(type, name1, name2, size) \ vector<type> name1(size), name2(size); \ for (int i = 0; i < size; i++) IN(name1[i], name2[i]) #define VEC3(type, name1, name2, name3, size) \ vector<type> name1(size), name2(size), name3(size); \ for (int i = 0; i < size; i++) IN(name1[i], name2[i], name3[i]) #define VEC4(type, name1, name2, name3, name4, size) \ vector<type> name1(size), name2(size), name3(size), name4(size); \ for (int i = 0; i < size; i++) IN(name1[i], name2[i], name3[i], name4[i]); #define VV(type, name, N, M) \ vector<vector<type>> name(N, vector<type>(M)); \ IN(name) template <class T> void scan(T& a) { cin >> a; } template <class T> void scan(vector<T>& a) { for (auto& i : a) scan(i); } void IN() {} template <class Head, class... Tail> void IN(Head& head, Tail&... tail) { scan(head); IN(tail...); } void print() { cout << "\n"; } template <class T> void print(const vector<T>& v) { for (auto it = v.begin(); it != v.end(); ++it) { if (it != v.begin()) { cout << " "; } cout << *it; } print(); } template <class T, class... Args> void print(const T& x, const Args& ... args) { cout << x; if (sizeof...(Args)) cout << " "; print(args...); } #ifdef MINATO_LOCAL template <class T1, class T2> ostream& operator<<(ostream& os, pair<T1, T2> p) { return os << "(" << p.first << ", " << p.second << ")"; } template <size_t N, class TUPLE> void debug_tuple(ostream& os, TUPLE _) { (void)os; (void)_; } template <size_t N, class TUPLE, class T, class ...Args> void debug_tuple(ostream &os, TUPLE t) { os << (N == 0 ? "" : ", ") << get<N>(t); debug_tuple<N + 1, TUPLE, Args...>(os, t); } template <class ...Args> ostream& operator<<(ostream& os, tuple<Args...> t) { os << "("; debug_tuple<0, tuple<Args...>, Args...>(os, t); return os << ")"; } string debug_delim(int& i) { return i++ == 0 ? "" : ", "; } #define debug_embrace(x) { int i = 0; os << "{"; { x } return os << "}"; } template <class T> ostream& operator<<(ostream& os, vector<T> v) { debug_embrace( for (T e : v) { os << debug_delim(i) << e; } ) } template <class T, size_t N> ostream& operator<<(ostream& os, array<T, N> a) { debug_embrace( for (T e : a) { os << debug_delim(i) << e; } ) } template <class T, size_t N> enable_if_t<!is_same_v<char, remove_cv_t<T>>, ostream>& operator<<(ostream& os, T(&a)[N]) { debug_embrace( for (T e : a) { os << debug_delim(i) << e; } ) } template <class Key> ostream& operator<<(ostream& os, set<Key> s) { debug_embrace( for (Key e : s) { os << debug_delim(i) << e; }) } template <class Key, class T> ostream& operator<<(ostream& os, map<Key, T> mp) { debug_embrace( for (auto e : mp) { os << debug_delim(i) << e; }) } template <class Key> ostream& operator<<(ostream& os, multiset<Key> s) { debug_embrace( for (Key e : s) { os << debug_delim(i) << e; }) } template <class T> ostream& operator<<(ostream& os, queue<T> q) { debug_embrace( for (; !q.empty(); q.pop()) { os << debug_delim(i) << q.front(); } ) } template <class T> ostream& operator<<(ostream& os, deque<T> q) { debug_embrace( for (T e : q) { os << debug_delim(i) << e; } ) } template <class T> ostream& operator<<(ostream& os, priority_queue<T> q) { debug_embrace( for (; !q.empty(); q.pop()) { os << debug_delim(i) << q.top(); } ) } template <class T> ostream& operator<<(ostream& os, priority_queue<T, vector<T>, greater<T>> q) { debug_embrace( for (; !q.empty(); q.pop()) { os << debug_delim(i) << q.top(); } ) } void debug_out() { cerr << endl; } template <class T, class... Args> void debug_out(const T& x, const Args& ... args) { cerr << " " << x; debug_out(args...); } #define debug(...) cerr << __LINE__ << " : [" << #__VA_ARGS__ << "] =", debug_out(__VA_ARGS__) #else #define debug(...) (void(0)) #endif /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// // clang-format on #line 1 "library-cpp/segmenttree/LazySegmentTree.hpp" template <class T, class U, class F, class G, class H> struct LazySegmentTree { private: F op; G mapping; H composition; T e; U id; int _n, size, log; vector<T> node; vector<U> lazy; public: LazySegmentTree() { } LazySegmentTree(const F& op, const G& mapping, const H& composition, T e, U id, int n) : LazySegmentTree(op, mapping, composition, e, id, vector<T>(n, e)) { } LazySegmentTree(const F& op, const G& mapping, const H& composition, T e, U id, const vector<T>& v) : op(op), mapping(mapping), composition(composition), e(e), id(id), _n(int(v.size())), log(0) { while ((1 << log) < _n) log++; size = 1 << log; node = vector<T>(2 * size, e); lazy = vector<U>(size, id); for (int i = 0; i < _n; i++) node[size + i] = v[i]; for (int i = size - 1; i >= 1; i--) { update(i); } } void set(int p, T x) { assert(0 <= p && p < _n); p += size; for (int i = log; i >= 1; i--) push(p >> i); node[p] = x; for (int i = 1; i <= log; i++) update(p >> i); } // [l, r) (0-indexed) T get(int l, int r) { if (l >= r) return e; l += size; r += size; for (int i = log; i >= 1; i--) { if (((l >> i) << i) != l) push(l >> i); if (((r >> i) << i) != r) push(r >> i); } T sml = e, smr = e; while (l < r) { if (l & 1) sml = op(sml, node[l++]); if (r & 1) smr = op(node[--r], smr); l >>= 1; r >>= 1; } return op(sml, smr); } T all_get() const { return node[1]; } void apply(int p, U val) { assert(0 <= p && p < _n); p += size; for (int i = log; i >= 1; i--) push(p >> i); node[p] = val == id ? node[p] : mapping(node[p], val); for (int i = 1; i <= log; i++) update(p >> i); } void apply(int l, int r, U val) { if (l >= r) return; l += size; r += size; for (int i = log; i >= 1; i--) { if (((l >> i) << i) != l) push(l >> i); if (((r >> i) << i) != r) push((r - 1) >> i); } { int l2 = l, r2 = r; while (l < r) { if (l & 1) all_apply(l++, val); if (r & 1) all_apply(--r, val); l >>= 1; r >>= 1; } l = l2; r = r2; } for (int i = 1; i <= log; i++) { if (((l >> i) << i) != l) update(l >> i); if (((r >> i) << i) != r) update((r - 1) >> i); } } template <typename C> int max_right(int l, const C& check) { assert(0 <= l && l <= _n); assert(check(e)); if (l == _n) return _n; l += size; for (int i = log; i >= 1; i--) push(l >> i); T sm = e; do { while (~l & 1) l >>= 1; if (!check(op(sm, node[l]))) { while (l < size) { push(l); l = (2 * l); if (check(op(sm, node[l]))) { sm = op(sm, node[l]); l++; } } return l - size; } sm = op(sm, node[l]); l++; } while ((l & -l) != l); return _n; } template <typename C> int min_left(int r, const C& check) { assert(0 <= r && r <= _n); assert(check(e)); if (r == 0) return 0; r += size; for (int i = log; i >= 1; i--) push((r - 1) >> i); T sm = e; do { r--; while (r > 1 && (r & 1)) r >>= 1; if (!check(op(node[r], sm))) { while (r < size) { push(r); r = (2 * r + 1); if (check(op(node[r], sm))) { sm = op(node[r], sm); r--; } } return r + 1 - size; } sm = op(node[r], sm); } while ((r & -r) != r); return 0; } T operator[](int p) { assert(0 <= p && p < _n); p += size; for (int i = log; i >= 1; i--) push(p >> i); return node[p]; } #ifdef MINATO_LOCAL friend ostream& operator<<(ostream& os, LazySegmentTree r) { vector<T> v(r._n); for (int i = 0; i < r._n; i++) { v[i] = r[i]; } os << v; return os; } #endif private: void update(int k) { node[k] = op(node[2 * k], node[2 * k + 1]); } void all_apply(int k, U val) { node[k] = val == id ? node[k] : mapping(node[k], val); if (k < size) lazy[k] = composition(lazy[k], val); } void push(int k) { if (lazy[k] == id) return; all_apply(2 * k, lazy[k]); all_apply(2 * k + 1, lazy[k]); lazy[k] = id; } }; /** * 区間更新区間最小値 */ template <typename T> auto buildRangeSetRangeMin(const vector<T>& v, T INF) { auto f = [](T a, T b) { return min(a, b); }; auto g = [](T a, T b) { (void)a; return b; }; auto h = [](T a, T b) { (void)a; return b; }; LazySegmentTree seg(f, g, h, INF, INF, v); return seg; } template <typename T> auto buildRangeSetRangeMin(int n, T INF) { return buildRangeSetRangeMin<T>(vector<T>(n, INF), INF); } /** * 区間更新区間最大値 */ template <typename T> auto buildRangeSetRangeMax(const vector<T>& v, T INF) { auto f = [](T a, T b) { return max(a, b); }; auto g = [](T a, T b) { (void)a; return b; }; auto h = [](T a, T b) { (void)a; return b; }; LazySegmentTree seg(f, g, h, -INF, -INF, v); return seg; } template <typename T> auto buildRangeSetRangeMax(int n, T INF) { return buildRangeSetRangeMax<T>(vector<T>(n, -INF), INF); } /** * 区間加算区間最小値 */ template <typename T, T INF> auto buildRangeAddRangeMin(const vector<T>& v) { auto f = [](T a, T b) { return min(a, b); }; auto g = [](T a, T b) { return a + b; }; auto h = [](T a, T b) { return a + b; }; LazySegmentTree seg(f, g, h, INF, T(0), v); return seg; } template <typename T, T INF> auto buildRangeAddRangeMin(int n) { return buildRangeAddRangeMin<T, INF>(vector<T>(n)); } /** * 区間加算区間最大値 */ template <typename T> auto buildRangeAddRangeMax(const vector<T>& v, T INF) { auto f = [](T a, T b) { return max(a, b); }; auto g = [](T a, T b) { return a + b; }; auto h = [](T a, T b) { return a + b; }; LazySegmentTree seg(f, g, h, -INF, T(0), v); return seg; } template <typename T> auto buildRangeAddRangeMax(int n, T INF) { return buildRangeAddRangeMax<T>(vector<T>(n, -INF), INF); } /** * 区間更新区間和 * @note pair.first: 区間和, pair.second: 区間の長さ */ template <typename T> auto buildRangeSetRangeSum(const vector<T>& v, T id) { using P = pair<T, int>; auto f = [](P a, P b) { return P(a.first + b.first, a.second + b.second); }; auto g = [](P a, T b) { return P(b * a.second, a.second); }; auto h = [](T a, T b) { (void)a; return b; }; vector<P> w(v.size()); for (size_t i = 0; i < v.size(); i++) { w[i] = P(v[i], 1); } LazySegmentTree seg(f, g, h, P(0, 0), id, w); return seg; } template <typename T> auto buildRangeSetRangeSum(int n, T id) { return buildRangeSetRangeSum<T>(vector<T>(n), id); } #line 1 "library-cpp/mod/ModInt.hpp" namespace internal { #ifndef _MSC_VER template <class T> using is_signed_int128 = typename std::conditional<std::is_same<T, __int128_t>::value || std::is_same<T, __int128>::value, std::true_type, std::false_type>::type; template <class T> using is_unsigned_int128 = typename std::conditional<std::is_same<T, __uint128_t>::value || std::is_same<T, unsigned __int128>::value, std::true_type, std::false_type>::type; template <class T> using make_unsigned_int128 = typename std::conditional<std::is_same<T, __int128_t>::value, __uint128_t, unsigned __int128>; template <class T> using is_integral = typename std::conditional<std::is_integral<T>::value || is_signed_int128<T>::value || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type; template <class T> using is_signed_int = typename std::conditional<(is_integral<T>::value && std::is_signed<T>::value) || is_signed_int128<T>::value, std::true_type, std::false_type>::type; template <class T> using is_unsigned_int = typename std::conditional<(is_integral<T>::value && std::is_unsigned<T>::value) || is_unsigned_int128<T>::value, std::true_type, std::false_type>::type; template <class T> using to_unsigned = typename std::conditional< is_signed_int128<T>::value, make_unsigned_int128<T>, typename std::conditional<std::is_signed<T>::value, std::make_unsigned<T>, std::common_type<T>>::type>::type; #else template <class T> using is_integral = typename std::is_integral<T>; template <class T> using is_signed_int = typename std::conditional<is_integral<T>::value && std::is_signed<T>::value, std::true_type, std::false_type>::type; template <class T> using is_unsigned_int = typename std::conditional<is_integral<T>::value && std::is_unsigned<T>::value, std::true_type, std::false_type>::type; template <class T> using to_unsigned = typename std::conditional<is_signed_int<T>::value, std::make_unsigned<T>, std::common_type<T>>::type; #endif template <class T> using is_signed_int_t = std::enable_if_t<is_signed_int<T>::value>; template <class T> using is_unsigned_int_t = std::enable_if_t<is_unsigned_int<T>::value>; template <class T> using to_unsigned_t = typename to_unsigned<T>::type; } // namespace internal template <int m> struct ModInt { public: static constexpr int mod() { return m; } static ModInt raw(int v) { ModInt x; x._v = v; return x; } ModInt() : _v(0) { } // ModInt(long long v) { // long long x = (long long)(v % (long long)(umod())); // if (x < 0) x += umod(); // _v = (unsigned int)(x); // } template <class T, internal::is_signed_int_t<T>* = nullptr> ModInt(T v) { long long x = (long long)(v % (long long)(umod())); if (x < 0) x += umod(); _v = (unsigned int)(x); } template <class T, internal::is_unsigned_int_t<T>* = nullptr> ModInt(T v) { _v = (unsigned int)(v % umod()); } unsigned int val() const { return _v; } ModInt& operator++() { _v++; if (_v == umod()) _v = 0; return *this; } ModInt& operator--() { if (_v == 0) _v = umod(); _v--; return *this; } ModInt operator++(int) { ModInt result = *this; ++*this; return result; } ModInt operator--(int) { ModInt result = *this; --*this; return result; } ModInt& operator+=(const ModInt& rhs) { _v += rhs._v; if (_v >= umod()) _v -= umod(); return *this; } ModInt& operator-=(const ModInt& rhs) { _v -= rhs._v; if (_v >= umod()) _v += umod(); return *this; } ModInt& operator*=(const ModInt& rhs) { unsigned long long z = _v; z *= rhs._v; _v = (unsigned int)(z % umod()); return *this; } ModInt& operator^=(long long n) { ModInt x = *this; *this = 1; if (n < 0) x = x.inv(), n = -n; while (n) { if (n & 1) *this *= x; x *= x; n >>= 1; } return *this; } ModInt& operator/=(const ModInt& rhs) { return *this = *this * rhs.inv(); } ModInt operator+() const { return *this; } ModInt operator-() const { return ModInt() - *this; } explicit operator bool() const { return _v != 0; } ModInt pow(long long n) const { ModInt r = *this; r ^= n; return r; } ModInt inv() const { int a = _v, b = umod(), y = 1, z = 0, t; for (;;) { t = a / b; a -= t * b; if (a == 0) { assert(b == 1 || b == -1); return ModInt(b * z); } y -= t * z; t = b / a; b -= t * a; if (b == 0) { assert(a == 1 || a == -1); return ModInt(a * y); } z -= t * y; } } friend ModInt operator+(const ModInt& lhs, const ModInt& rhs) { return ModInt(lhs) += rhs; } friend ModInt operator-(const ModInt& lhs, const ModInt& rhs) { return ModInt(lhs) -= rhs; } friend ModInt operator*(const ModInt& lhs, const ModInt& rhs) { return ModInt(lhs) *= rhs; } friend ModInt operator/(const ModInt& lhs, const ModInt& rhs) { return ModInt(lhs) /= rhs; } friend ModInt operator^(const ModInt& lhs, long long rhs) { return ModInt(lhs) ^= rhs; } friend bool operator==(const ModInt& lhs, const ModInt& rhs) { return lhs._v == rhs._v; } friend bool operator!=(const ModInt& lhs, const ModInt& rhs) { return lhs._v != rhs._v; } friend ModInt operator+(long long lhs, const ModInt& rhs) { return (ModInt(lhs) += rhs); } friend ModInt operator-(long long lhs, const ModInt& rhs) { return (ModInt(lhs) -= rhs); } friend ModInt operator*(long long lhs, const ModInt& rhs) { return (ModInt(lhs) *= rhs); } friend ostream& operator<<(ostream& os, const ModInt& M) { return os << M._v; } friend istream& operator>>(istream& is, ModInt& M) { long long x; is >> x; M = x; return is; } private: unsigned int _v; static constexpr unsigned int umod() { return m; } }; #line 1 "library-cpp/mod/ModCombination.hpp" template <class M> struct ModCombination { public: ModCombination() { } ModCombination(int n) : n_(n), fac_(n + 1), facinv_(n + 1) { assert(1 <= n); fac_[0] = 1; for (int i = 1; i <= n; i++) fac_[i] = fac_[i - 1] * i; facinv_[n] = M(1) / fac_[n]; for (int i = n; i >= 1; i--) facinv_[i - 1] = facinv_[i] * i; } M fac(int k) const { assert(0 <= k and k <= n_); return fac_[k]; } M facinv(int k) const { assert(0 <= k and k <= n_); return facinv_[k]; } M inv(int k) const { assert(1 <= k and k <= n_); return facinv_[k] * fac_[k - 1]; } M P(int n, int k) const { if (k < 0 or k > n) return M(0); assert(n <= n_); return fac_[n] * facinv_[n - k]; } M C(int n, int k) const { if (k < 0 or k > n) return M(0); assert(n <= n_); return fac_[n] * facinv_[n - k] * facinv_[k]; } /** * @note H(n, k) = (n 個 のボールを k 個の箱に分ける方法の数) * @note H(n, k) = C(n + k - 1, n) */ M H(int n, int k) const { if (n == 0 and k == 0) return M(1); return C(n + k - 1, n); } M catalan(int n) const { if (n == 0) return M(1); return C(2 * n, n) - C(2 * n, n - 1); } private: int n_; vector<M> fac_, facinv_; }; #line 5 "A.cpp" using mint = ModInt<998244353>; // using mint = ModInt<1000000007>; template <class T> struct Compress { public: Compress() { } Compress(const vector<T>& vs) { add(vs); } Compress(const initializer_list<vector<T>>& vs) { for (T& e : vs) add(e); } void add(const vector<T>& vs) { copy(vs.begin(), vs.end(), back_inserter(xs)); } void add(const T& x) { xs.emplace_back(x); } int build() { sort(xs.begin(), xs.end()); xs.erase(unique(xs.begin(), xs.end()), xs.end()); return int(xs.size()); } int size() const { return int(xs.size()); } vector<int> get(const vector<T>& vs) const { vector<int> ret; ret.reserve(vs.size()); transform(vs.begin(), vs.end(), back_inserter(ret), [&](const T& e) { return lower_bound(xs.begin(), xs.end(), e) - xs.begin(); }); return ret; } int get(const T& x) const { return lower_bound(xs.begin(), xs.end(), x) - xs.begin(); } const T& operator[](int k) const { return xs[k]; } private: vector<T> xs; }; void solve() { ModCombination<mint> MC(200000); INT(N); VEC2(int, B, C, N); C++; vec<int> L(N); rep(i, N) L[i] = C[i] - B[i]; Compress<int> Com(B); Com.add(C); int M = Com.build(); using P = pair<mint, mint>; auto f = [&](P a, P b) { return a + b; }; auto g = [&](P a, mint val) { return P(a.first + val * a.second, a.second); }; auto h = [&](mint a, mint b) { return a + b; }; const P e = P(0, 0); const mint id = mint::raw(mint::mod()); vec<P> init(M - 1); rep(i, M - 1) init[i] = P(0, Com[i + 1] - Com[i]); LazySegmentTree seg(f, g, h, e, id, init); mint ans = mint(N) * (N - 1) / 2; rep(i, N) { int l = Com.get(B[i]); int r = Com.get(C[i]); ans -= seg.get(l, r).first * mint(L[i]).inv(); seg.apply(l, r, mint(L[i]).inv()); } ans *= MC.fac(N); ans /= 2; print(ans); } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); cerr << fixed << setprecision(7); int T = 1; // cin >> T; for (int test_case = 1; test_case <= T; test_case++) { // debug(test_case); solve(); } }