Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

Computing in permutation groups without memory.

Cameron, Peter and Fairbairn, Ben and Gadouleau, Maximilien (2014) 'Computing in permutation groups without memory.', Chicago journal of theoretical computer science., 2014 (7). pp. 1-20.

Abstract

Memoryless computation is a modern technique to compute any function of a set of registers by updating one register at a time while using no memory. Its aim is to emulate how computations are performed in modern cores, since they typically involve updates of single registers. The memoryless computation model can be fully expressed in terms of transformation semigroups, or in the case of bijective functions, permutation groups. In this paper, we consider how efficiently permutations can be computed without memory. We determine the minimum number of basic updates required to compute any permutation, or any even permutation. The small number of required instructions shows that very small instruction sets could be encoded on cores to perform memoryless computation. We then start looking at a possible compromise between the size of the instruction set and the length of the resulting programs. We consider updates only involving a limited number of registers. In particular, we show that binary instructions are not enough to compute all permutations without memory when the alphabet size is even. These results, though expressed as properties of special generating sets of the symmetric or alternating groups, provide guidelines on the implementation of memoryless computation.

Item Type:Article
Keywords:Memoryless computation, Permutation groups, Symmetric group, Alternating group, Generating sets, Boolean networks, Sequential updates.
Full text:(VoR) Version of Record
Available under License - Creative Commons Attribution.
Download PDF
(258Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.4086/cjtcs.2014.007
Publisher statement:© 2014 Peter J. Cameron, Ben Fairbairn, and Maximilien Gadouleau This article is distributed under a Creative Commons Attribution License (CC-BY)
Date accepted:27 September 2014
Date deposited:21 October 2015
Date of first online publication:November 2014
Date first made open access:No date available

Save or Share this output

Export:
Export
Look up in GoogleScholar