1000位数字是否是斐波纳契数

Question

我在11月COOK-OFF的Codechef上遇到了问题，我必须找到给定的1000位数字是否是斐波那契数字。

我知道如果n是斐波纳契数的属性，那么5n^2 + 4或5n^2 - 4是一个完美的方格，但我在这里找到了一个更简单的方法。

http://www.codechef.com/viewsolution/2996264

任何人都可以解释一下为什么这有效吗？

以下是问题的链接

http://www.codechef.com/COOK40/problems/AMIFIB

Answer 1

该解决方案不有效。它说事情是Fibonacci数字，而不是。例如：

dsm@notebook:~/coding$ ./a.out 
10
768049
YES
958938
YES
1345527
YES
2334421
YES
1000000009
YES
1000000010
YES
1000000011
YES
1000000012
YES
1070066266382758936764980584457396885083683896632151665013235203375314520604694040621889147582489792657804694888177591957484336466672569959512996030461262748092482186144069433051234774442750273781753087579391666192149259186759553966422837148943113074699503439547001985432609723067290192870526447243726117715821825548491120525013201478612965931381792235559657452039506137551467837543229119602129934048260706175397706847068202895486902666185435124521900369480641357447470911707619766945691070098024393439617474103736912503231365532164773697023167755051595173518460579954919410967778373229665796581646513903488154256310184224190259846088000110186255550245493937113651657039447629584714548523425950428582425306083544435428212611008992863795048006894330309773217834864543113205765659868456288616808718693835297350643986297640660000723562917905207051164077614812491885830945940566688339109350944456576357666151619317753792891661581327159616877487983821820492520348473874384736771934512787029218637250627825
YES

（最后一个数字是fib（4782）+ 1000000009）。但是，我认为它应该（正确地）为所有斐波那契数字＆lt; = 1000位数返回YES。