就地数组重新排序？

假设我有一个数组a长度n和第二个数组indices，也有长度n. indices包含序列的一些任意排列[0, n)。我想重新安排a这样它就按照指定的顺序indices。例如，使用 D 语法：

auto a = [8, 6, 7, 5, 3, 0, 9];
auto indices = [3, 6, 2, 4, 0, 1, 5];
reindexInPlace(a, indices);
assert(a == [5, 9, 7, 3, 8, 6, 0]);

这可以在 O(1) 空间和 O(n) 时间内完成吗？最好不要变异indices?

随着变异indices:(。没有看起来很难（请参阅稳定的就地合并排序）。

a = [8, 6, 7, 5, 3, 0, 9]
indices = [3, 6, 2, 4, 0, 1, 5]

for i in xrange(len(a)):
    x = a[i]
    j = i
    while True:
        k = indices[j]
        indices[j] = j
        if k == i:
            break
        a[j] = a[k]
        j = k
    a[j] = x

print a