题目描述
给定一个正整数数列,和正整数 p,设这个数列中的最大值是 M,最小值是 m,如果 M≤mp,则称这个数列是完美数列。
现在给定参数 p 和一些正整数,请你从中选择尽可能多的数构成一个完美数列。
输入格式
输入第一行给出两个正整数 N 和 p,其中 N(≤105)是输入的正整数的个数,p(≤109)是给定的参数。第二行给出 N 个正整数,每个数不超过 109。
输出格式
在一行中输出最多可以选择多少个数可以用它们组成一个完美数列。
输入样例
10 8
2 3 20 4 5 1 6 7 8 9
输出样例
8
题目信息
作者:CAO, Peng
单位:Google
代码长度限制:16 KB
时间限制:200 ms
内存限制:64 MB
题目类型:二分-寻找有序数列第一个满足某条件的元素的位置
分析
由于题干中涉及序列的最大值和最小值,因此不妨先将所有N个正整数从小到大进行排序。
在此基础上能证明:能使选出的数个数最大的方案,一定是在该递增序列中选择连续的若干个数的方案。
(如果不想看证明可以跳过)
我们简单解释一下反证法是如何证明结论的:
首先假设能使选出的数个数最大的方案,不是在该递增序列中连续的方案。
那就举个例子: 存在序列 1 2 3 4 5 6 7,我们假设1 2 3 7 满足 M<=m*p的要求,根据假设,1 2 3 7 是满足条件的最大序列,可是当我们取出 1 2 3 4 5 6 7,M还是7,m还是1,既然1 2 3 7满足条件,那么 1 2 3 4 5 6 7一定满足条件,这就与假设矛盾,假设不成立
数学上的反证法为:
证明:设递增序列A为{a1,a2,……,ai,ai+1,……,ai+m,aj,……,an },假设从中能选出的个数最大的方案为{ ai,ai+1,……,ai+m,aj },即ai,ai+1,ai+m 为序列中连续的数,aj 为与其在序列中不连续的数。因此该方案中的最大值为 aj,最小值为ai,且满足 aj≤ai*p。而事实上,由于原序列A中元素是递增的,因此可以把方案扩充为连续序列(ai,ai+1,……,aj},而这个序列的最大值仍然为 aj,最小值仍然为 ai;,因此 aj≤ ai*p 仍然成立。于是就找到了一个新的序列,使得它的长度比原先不连续序列的长度要长。因此假设不成立,得出结论:能使选出的数的个数最大的方案,一定是在该递增序列中选择连续的若干个数的方案。证毕。
从左至右扫描序列,对其中的每一个数a[i],在a[i+1]~a[n-1]内二分