P5682 [CSP-J2019 江西] 次大值 题解

[CSP-J2019 江西] 次大值

题目描述

Alice 有 $n$ 个正整数，数字从 $1\sim n$ 编号，分别为 $a_1,a_2,\dots ,a_n$。
Bob 刚学习取模运算，于是便拿这 $n$ 个数进行练习，他写下了所有

$$a_i\mathrm{mod}{a}_j(1\le i,j\le n\wedge i\ne j)$$

的值，其中 $\mathrm{mod}$ 表示取模运算。

Alice 想知道所有的结果中，严格次大值是多少。将取模后得到的所有值进行去重，即相同的结果数值只保留一个，剩余数中第二大的值就称为严格次大值。

输入格式

第一行一个正整数 $n$，表示数字个数。
第二行 $n$ 个正整数表示 $a_i$。

输出格式

仅一行一个整数表示答案。
若取模结果去重后剩余数字不足两个，则输出 $-1$。

样例 #1

样例输入 #1

4
4 5 5 6

样例输出 #1

4

样例 #2

样例输入 #2

4
1 1 1 1

样例输出 #2

-1

样例 #3

样例输入 #3

7
12 3 8 5 7 20 15

样例输出 #3

12

提示

【数据范围】
对于 $40\%$ 的数据，$1\le n,a_i\le 100$；
对于 $70\%$ 的数据，$1\le n\le 3000$，$1\le a_i\le 10^5$；
对于 $100\%$ 的数据，$3\le n\le 2\times 10^5$，$1\le a_i\le 10^9$。

【样例 $1$ 解释】
所有取模的结果为 { 4 , 4 , 4 , 1 , 0 , 5 , 1 , 0 , 5 , 2 , 1 , 1 } \{4,4,4,1,0,5,1,0,5,2,1,1\} {4,4,4,1,0,5,1,0,5,2,1,1}。
去重后有： { 0 , 1 , 2 , 4 , 5 } \{0,1,2,4,5 \} {0,1,2,4,5}，结果为 $4$。

其实这题还是有很多要考虑的点的 稍微说一说解题过程

首先它要求严格次大值 所以有两个相同的数没有意义...先排序+去重
假设原序列去重后剩下的序列为a1,a2,...,ana_1,a_2,...,a_na1​,a2​,...,an​

由于 $amodb<a$ 所以最大值一定是an−1 mod ana_{n-1}\ mod\ a_nan−1​ mod an​
简单证明:

• 1.对于a1a_1a1​到an−2a_{n-2}an−2​ 使其取模比它们大的数 就是本身 一定比an−1a_{n-1}an−1​小
• 2.如果一个数模比它小的数 被模的数不可能是ana_nan​ 那么最后值一定小于an−1a_{n-1}an−1​

然后我们可以想到 很明显an−2 mod ana_{n-2}\ mod\ a_nan−2​ mod an​是所有一个数模比它大的数中次大值$x$
我们还要找出一个数模比它小的数中次大值 和刚才的值$x$比较
看起来得枚举了 其实不必
假设这个选择是aj mod aia_j\ mod\ a_iaj​ mod ai​ 那么如果$i\le n-2$ 这个值一定小于$x$
于是$i\ge n-1$ 只剩下一种取法:$j=n,i=n-1$

这两个比较 取较大的 必定就是次大值
代码也很简短

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
using namespace std;
typedef long long LL;
int n;
int a[300005];
int main(){
	cin >> n;
	for(int i = 1;i <= n;i ++) cin >> a[i];
	sort(a + 1,a + 1 + n); n = unique(a + 1,a + 1 + n) - a - 1;
	// 排序+去重
   a[0] = 0;
	if(n <= 1) printf("-1\n");
   // 无解特判
	else printf("%d\n",max(a[n - 2],a[n] % a[n - 1]));
	return 0;
}