循环字符串问题中的翻手算法

最近在看《编程珠玑》，里面提到了一个问题：
将一个$n$元一维向量想做旋$i$个位置，如：当$n=8$且$i=3$时向量$abcdefg$旋转为$defghabc$。
问题很简单，不看书中的参考答案，自己也很容易想到解法：简单的数组处理就能搞定。但是作者提出了一种很好玩的翻手算法，几乎不占用额外空间，且时间复杂度为$O(n)$。

n=10，i=5的情形

这个算法实现起来也很容易：对要反转的list设置一堆头尾指针，指针一边靠拢一边交换指向的元素，这样执行效率不仅是$O(n)$，甚至是$\Theta(n)$的。而空间上，只需要在交换时额外占用一个元素的位置即可。
据作者说，这一算法是Brian Kernighan和P.J.Plauger在1981年出版的$Software\ Tools\ in\ Pascal$一书中实现的，很神奇了。