D - Match, Mod, Minimize Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MiB

配点 : 700

問題文

長さ N の非負整数列 A=(A_1,A_2,\dots ,A_N),B=(B_1,B_2,\dots ,B_N) と正整数 M が与えられます。

A の要素を自由に並び替えることが出来るとき、\max_{1\le i\le N} ((A_i+B_i) \bmod M) としてありうる最小値を求めて下さい。

T 個のテストケースが与えられるので、それぞれについて答えを求めて下さい。

制約

  • 1 \le T \le 10^5
  • 1 \le N \le 3 \times 10^5
  • 1 \le M \le 10^9
  • 0 \le A_i,B_i \lt M
  • 全てのテストケースにおける N の総和は 3 \times 10^5 以下
  • 入力される値は全て整数

入力

入力は以下の形式で標準入力から与えられる。

T
\text{case}_1
\text{case}_2
\vdots
\text{case}_T

各テストケースは以下の形式で与えられる。

N M
A_1 A_2 \ldots A_N
B_1 B_2 \ldots B_N

出力

T 行出力せよ。

j 行目には j 番目のテストケースについて、\max_{1\le i\le N} ((A_i+B_i) \bmod M) としてありうる最小値を出力せよ。


入力例 1

3
3 6
3 1 4
2 0 1
1 1000000000
999999999
999999999
10 201
144 150 176 154 110 187 38 136 111 46
96 109 73 63 85 1 156 7 13 171

出力例 1

3
999999998
111

1 つ目のテストケースについて、A4,3,1 と並び替えると (A_i+B_i) \bmod M はそれぞれ 0,3,2 となり、これらの \max3 となります。

Score : 700 points

Problem Statement

You are given sequences of non-negative integers A=(A_1,A_2,\dots ,A_N),B=(B_1,B_2,\dots ,B_N) of length N and a positive integer M.

When the elements of A can be rearranged freely, find the minimum possible value of \max_{1\le i\le N} ((A_i+B_i) \bmod M).

T test cases are given, so find the answer for each.

Constraints

  • 1 \le T \le 10^5
  • 1 \le N \le 3 \times 10^5
  • 1 \le M \le 10^9
  • 0 \le A_i,B_i \lt M
  • The sum of N over all test cases is at most 3 \times 10^5.
  • All input values are integers.

Input

The input is given from Standard Input in the following format:

T
\text{case}_1
\text{case}_2
\vdots
\text{case}_T

Each test case is given in the following format:

N M
A_1 A_2 \ldots A_N
B_1 B_2 \ldots B_N

Output

Output T lines.

The j-th line should contain the minimum possible value of \max_{1\le i\le N} ((A_i+B_i) \bmod M) for the j-th test case.


Sample Input 1

3
3 6
3 1 4
2 0 1
1 1000000000
999999999
999999999
10 201
144 150 176 154 110 187 38 136 111 46
96 109 73 63 85 1 156 7 13 171

Sample Output 1

3
999999998
111

For the first test case, if we rearrange A to 4,3,1, then (A_i+B_i) \bmod M becomes 0,3,2 respectively, and the \max of these is 3.