Better fixed-arity unbiased black-box algorithms

In their GECCO'12 paper, Doerr and Doerr proved that the k-ary unbiased black-box complexity of OneMax on n bits is O(n/k) for 2 ≤ k ≤ log₂ n. We propose an alternative strategy for achieving this unbiased black-box complexity when 3 ≤ k ≤ log₂ n. While it is based on the same idea of block-wise optimization, it uses k-ary unbiased operators in a different way. For each block of size 2^{k −1} − 1 we set up, in O(k) queries, a virtual coordinate system, which enables us to use an arbitrary unrestricted algorithm to optimize this block. This is possible because this coordinate system introduces a bijection between unrestricted queries and a subset of k-ary unbiased operators. We note that this technique does not depend on OneMax being solved and can be used in more general contexts. This together constitutes an algorithm which is conceptually simpler than the one by Doerr and Doerr, and in the same time achieves better constant multiples in the asymptotic notation. Our algorithm works in (2 + o(1)) · n/(k − 1), where o(1) relates to k. Our experimental evaluation of this algorithm shows its efficiency already for 3 ≤ k ≤ 6.