再谈 HDU 1005 Number Sequence
网上有部分题解代码是错的,在此给出这篇博客,希望更多人可以看到。也不是去杠出题人和部分题解代码,不过追求完全正确答案总是正确的,探讨相关问题也有利于开拓思维。
虽然我说的错误代码能够AC,黑盒测试不可能涵盖所有可能的测试样例,但是还是希望大家在做题/做研究的时候能够保持严谨性
问题的发现
去年暑假后写了这样一份题解:HDU-1005-题解-思维(本人第一篇博客)
前几天一个学弟给我拿过来这样一份AC代码:
#include<iostream>
using namespace std;
int arr[10000];
int main()
{
int a,b,c;
arr[1]=arr[2]=1;
while(cin>>a>>b>>c,a||b||c)
{
int i;
for( i=3;i<10000;i++)
{
arr[i]=(a*arr[i-1]+b*arr[i-2])%7;
if(arr[i]==1&&arr[i-1]==1)
break;
}
c=c%(i-2);
arr[0]=arr[i-2];
cout<<arr[c]<<endl;
}
return 0;
}
其实本来还有另外一段代码,他过来问我为啥一个AC了一个没有AC,其实两份代码几乎没有任何差别,只不过另外一份是用的函数返回值,这个直接break; 另外两份代码还有一点区别,这个是影响AC与否的重点:数组大小不一样。AC代码数组大小为1e5,WA代码的数组大小为1e4。
题干中的范围是1 <= n <= 100,000,000,开数组会直接MLE,是一道找循环节的规律思维题,而且在之前的博客中也提到过,循环起始位置+循环节长度不会超过50(算是半严格证明),所以和数组大小没关系。反而,由于循环不一定是从头开始,位置并不确定,(参考上一篇博客中的数据,(a + b) % 7 == 0的情况,从第三项开始均为0)这段代码反而会有问题
所以为什么他能AC呢?
问题的分析
先尝试找反例证明这段代码是错的,因为之前因为没有判断后面循环的情况WA了好几发,所以这次直接拿数据开始试,7 7 1
、7 7 2
、7 7 3
、7 7 10
……结果发现都没有问题,所以还是要看代码
很容易发现这段代码算了前10000项, 直到找到循环节为止。(此处循环节是以11为循环起始,即从头开始)
但是刚刚的数据能够证明上述方式是错的,于是继续hack
优先试了10000以上的数据,发现基本都没有问题,直到我用了下面l俩组数据:
7 7 9999
7 7 10000
输出均为1。至此hack成功。
分析出现错误的原因
对于上面的特殊输入,循环从3开始不会找到1 1的组合,所以循环不会通过break跳出,而是一直执行到i==10000
结束,此时i - 2 = 9998
。
而后面的c = c % (i - 2)
即对9998取余数,当c = 9999
和c=10000
时, c%(i-2)
结果为1和2,即为输出前两项,即是该代码的问题所在。代码AC的原因可能是刚好后台数据没有对应的情况,对于该代码来说数据较弱。
问题的反思
由于黑盒测试局限性,出现有小问题但是AC了的代码是非常正常的。另外我从网上去查了一下该题的题解,发现很多代码都有问题。这道题其实数据非常水,甚至在循环节50左右就都没有进行必要的检查。
害,毕竟也是大水题,其实没必要强求那么多。也不是去杠出题人和部分题解代码,不过追求完全正确答案总是正确的,探讨相关问题也有利于开拓思维。