设计算法，将存有n(n>0)个数的数组A中的元素A[0]至A[n-1]循环右移k(k>0)位，要求只允许使用一个元素大小的附加存储，元素移动或交换次数为O(n)。