再谈 HDU 1005 Number Sequence

再谈 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左右就都没有进行必要的检查。

害，毕竟也是大水题，其实没必要强求那么多。也不是去杠出题人和部分题解代码，不过追求完全正确答案总是正确的，探讨相关问题也有利于开拓思维。