You are given a 0-indexed integer array nums and an integer p. Find p pairs of indices of nums such that the maximum difference amongst all the pairs is minimized. Also, ensure no index appears more than once amongst the p pairs.
Note that for a pair of elements at the index i and j, the difference of this pair is |nums[i] - nums[j]|, where |x| represents the absolutevalue of x.
Return the minimummaximum difference among all ppairs. We define the maximum of an empty set to be zero.
Example 1:
Input: nums = [10,1,2,7,1,3], p = 2
Output: 1
Explanation: The first pair is formed from the indices 1 and 4, and the second pair is formed from the indices 2 and 5.
The maximum difference is max(|nums[1] - nums[4]|, |nums[2] - nums[5]|) = max(0, 1) = 1. Therefore, we return 1.
Example 2:
Input: nums = [4,2,1,2], p = 1
Output: 0
Explanation: Let the indices 1 and 3 form a pair. The difference of that pair is |2 - 2| = 0, which is the minimum we can attain.
Constraints:
1 <= nums.length <= 105
0 <= nums[i] <= 109
0 <= p <= (nums.length)/2
Solutions
Solution 1: Binary Search + Greedy
We notice that the maximum difference has monotonicity: if a maximum difference \(x\) is feasible, then \(x-1\) is also feasible. Therefore, we can use binary search to find the minimal feasible maximum difference.
First, sort the array \(\textit{nums}\). Then, for a given maximum difference \(x\), check whether it is possible to form \(p\) pairs of indices such that the maximum difference in each pair does not exceed \(x\). If possible, we can try a smaller \(x\); otherwise, we need to increase \(x\).
To check whether \(p\) such pairs exist with maximum difference at most \(x\), we can use a greedy approach. Traverse the sorted array \(\textit{nums}\) from left to right. For the current index \(i\), if the difference between \(\textit{nums}[i+1]\) and \(\textit{nums}[i]\) does not exceed \(x\), we can form a pair with \(i\) and \(i+1\), increment the pair count \(cnt\), and increase \(i\) by \(2\). Otherwise, increase \(i\) by \(1\). After traversing, if \(cnt \geq p\), then such \(p\) pairs exist; otherwise, they do not.
The time complexity is \(O(n \times (\log n + \log m))\), where \(n\) is the length of \(\textit{nums}\) and \(m\) is the difference between the maximum and minimum values in \(\textit{nums}\). The space complexity is \(O(1)\).