列表的数组实现的递归关系

Question

最近有人问我这个问题，我被难住了。

填空写出递归关系 RecSearch 在大小为 n 的列表中查找特定值 x。您可以假设列表保存在一个名为 A 的数组中。效率不是问题。你必须使用递归。该函数应该 return 所需项目的索引（位置）。不要对列表的性质做任何假设。

RecSearch(A,n,x) = _____ if _____ = _____        

                // _____ >= 1 (indexing from 1, but can also index from zero)

RecSearch(A,n,x) = _____ // otherwise 

Answer 1

RecSearch(A,n,x) = n if A:n = x        

                // n >= 1 (indexing from 1, but can also index from zero)

RecSearch(A,n,x) = RecSearch(A, n-1, x) // otherwise