#ifndef HIDDEN_IN_VISUAL_STUDIO // 無意味.折りたたむのが目的. // 警告の抑制 #define _CRT_SECURE_NO_WARNINGS // 使えるライブラリの読み込み #include #include // function using namespace std; // 型名の短縮 using ll = long long; // -2^63 ~ 2^63 = 9 * 10^18 using ull = unsigned long long; // 0 ~ 2^64 = 1.8 * 10^19 using uint = unsigned int; // 0 ~ 2^32 = 4 * 10^9 using pii = pair; using pll = pair; // 定数の定義 const double PI = 3.141592653589793238462643383279; // 円周率 const vector dx4 = { 1, 0, -1, 0 }; // 4 近傍 const vector dy4 = { 0, 1, 0, -1 }; const vector dx8 = { 1, 1, 0, -1, -1, -1, 0, 1 }; // 8 近傍 const vector dy8 = { 0, 1, 1, 1, 0, -1, -1, -1 }; const ll INFL = (ll)1e18; const int INF = (int)1e9; const double EPS = 1e-10; // 許容誤差に応じて調整 // 汎用マクロの定義 #define all(a) (a).begin(), (a).end() #define sz(x) ((int)(x).size()) #define rep(i, n) for(int i = 0, i##_len = ((int)(n)); i < i##_len; ++i) // 0 から n-1 まで #define repi(i, s, t) for(int i = (int)(s), i##_end = ((int)(t)); i <= i##_end; ++i) // s から t まで昇順 #define repir(i, s, t) for(int i = (int)(s), i##_end = ((int)(t)); i >= i##_end; --i) // s から t まで降順 #define repe(i, a) for(const auto& i : (a)) // a の全要素 #define repb(i, d) for(int i = 0, i##_len = (1 << (int)(d)); i < i##_len; ++i) // d ビット全探索 #define repp(a) sort(all(a)); for(bool a##_perm = true; a##_perm; a##_perm = next_permutation(all(a))) // a の順列全て #define Yes(b) if(b){cout << "Yes" << endl;}else{cout << "No" << endl;} #define Tak(b) if(b){cout << "Takahashi" << endl;}else{cout << "Aoki" << endl;} #define norm hypot // ノルム(2D, 3D) // 汎用関数の定義 inline ll pow(ll n, int k) { ll v = 1; rep(i, k) v *= n; return v; } // 工夫が必要なほど k が大きかったらどうせオーバーフローするからこれでいい inline ll pow(int n, int k) { ll v = 1; rep(i, k) v *= (ll)n; return v; } template inline bool chmax(T& M, const T& x) { if (M < x) { M = x; return true; } return false; } // 最大値を更新(更新されたら true を返す) template inline bool chmin(T& m, const T& x) { if (m > x) { m = x; return true; } return false; } // 最小値を更新(更新されたら true を返す) // 入出力用の >>, << のオーバーロード template ostream& operator<< (ostream& os, pair p) { os << "(" << p.first << "," << p.second << ")"; return os; } // pair の出力用 template istream& operator>> (istream& is, pair& p) { T tmp1; U tmp2; is >> tmp1 >> tmp2; p = { tmp1, tmp2 }; return is; } // pair の入力用 // 手元環境(Visual Studio) #ifdef _MSC_VER #define popcount (int)__popcnt // 全ビットにおける 1 の個数 #define popcountll (int)__popcnt64 inline int ctz(uint n) { unsigned long i; _BitScanForward(&i, n); return i; } // 下位ビットに並ぶ 0 の個数 ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; } // 最大公約数 #define dump(a) cerr << "[DEBUG] " << endl << a << endl; // デバッグ出力用 #define dump_array(a) cerr << "[DEBUG]" << endl; for (auto x : a) {cout << x << " ";} cout << endl; #define dump_array2(a) cerr << "[DEBUG]" << endl; for (auto c : a) {for (auto x : c) {cout << x << " ";} cout << endl;} // 提出用(GCC) #else #define popcount (int)__builtin_popcount #define popcountll (int)__builtin_popcountll #define ctz __builtin_ctz #define gcd __gcd #define dump(a) #define dump_array(a) #define dump_array2(a) #endif #endif // 無意味.折りたたむのが目的. // AtCoder 専用 #include using namespace atcoder; ostream& operator<< (ostream& os, modint1000000007 x) { os << x.val(); return os; } // mint の出力用 ostream& operator<< (ostream& os, modint998244353 x) { os << x.val(); return os; } ostream& operator<< (ostream& os, modint x) { os << x.val(); return os; } istream& operator>> (istream& is, modint1000000007& x) { ll tmp; is >> tmp; x = tmp; return is; } // mint の入力用 istream& operator>> (istream& is, modint998244353& x) { ll tmp; is >> tmp; x = tmp; return is; } istream& operator>> (istream& is, modint& x) { ll tmp; is >> tmp; x = tmp; return is; } // mint で使いたい法によってここを切り替える using mint = modint1000000007; //using mint = modint998244353; //using mint = modint; // modint::set_mod(10000); // mint の法の指定 //【めぐる式二分探索】O(log |ok - ng|) /* * 条件 okQ() を満たす要素 ok と満たさない要素 ng との境界を二分探索する. * 境界に隣り合うような条件を満たす要素(ok 側)の位置を返す. */ template // T は int, ll など T binary_search(T ok, T ng, function& okQ) { // 境界が決定するまで while (abs(ok - ng) > 1) { // 区間の中間 T mid = (ok + ng) / 2; // 中間が OK かどうかに応じて区間を縮小する. if (okQ(mid)) { ok = mid; } else { ng = mid; } } return ok; } int main() { int n, k, p; cin >> n >> k >> p; vector a(n); rep(i, n) { cin >> a[i]; a[i] %= p; } sort(all(a)); dump_array(a); vector b(n); rep(i, n) { cin >> b[i]; b[i] %= p; } dump_array(b); // k 番目の数が v 以上なら true,さもなくば false. // 言い換えれば,v 未満の数が k 個未満なら true, さもなくば false. function okQ = [&](int v) { ll cnt = 0; // 各 b[i] について,(a + b[i]) mod p < v なる A の要素 a を数える. // これを同値変形していくと // 0 <= a + b[i] < v || p <= a + b[i] < p + v // ⇔ a < v - b[i] || p - b[i] <= a < p + v - b[i] // となる. rep(i, n) { auto it1 = lower_bound(all(a), v - b[i]); auto it2 = lower_bound(all(a), p - b[i]); auto it3 = lower_bound(all(a), p + v - b[i]); cnt += distance(a.begin(), it1); cnt += distance(it2, it3); } return cnt < k; }; auto res = binary_search(0, p, okQ); cout << res << endl; } /* TLE 畳み込み int main() { int n, k, p; cin >> n >> k >> p; vector a_cnt(p), b_cnt(p); rep(i, n) { int a; cin >> a; a_cnt[a % p]++; } rep(i, n) { int b; cin >> b; b_cnt[b % p]++; } // dump_array(a_cnt); // dump_array(b_cnt); auto m_cnt = convolution_ll(a_cnt, b_cnt); // dump_array(m_cnt); ll cnt_sum = 0; rep(i, p - 1) { cnt_sum += m_cnt[i] + m_cnt[i + p]; if (k <= cnt_sum) { cout << i << endl; return 0; } } cout << p - 1 << endl; } */