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

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

n=10，i=5的情形

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