
arXiv: 1111.6026
In this paper, we are interested in memoryless computation, a modern paradigm to compute functions which generalises the famous XOR swap algorithm to exchange the contents of two variables without using a buffer. This uses a combinatorial framework for procedural programming languages, where programs are only allowed to update one variable at a time. We first consider programs which do not have any memory. We prove that any function of $n$ variables can be computed this way in only $4n-3$ variable updates. We then derive the exact number of instructions required to compute any manipulation of variables. This shows that combining variables, instead of simply moving them around, not only allows for memoryless programs, but also yields shorter programs. Second, we show that allowing programs to use memory is also incorporated in the memoryless computation framework. We then quantify the gains obtained by using memory: this leads to shorter programs and allows us to use only binary instructions, which is not sufficient in general when no memory is used.
FOS: Computer and information sciences, Computational Complexity (cs.CC), Memoryless computation, computational difficulty, memoryless computation, FOS: Mathematics, Mathematics - Combinatorics, Theory of data, Models of computation, Computational difficulty, models of computation, 005, Models of computation (Turing machines, etc.), symmetric group, Combinatorics., Computer Science - Computational Complexity, theory of data, Combinatorics, combinatorics, Combinatorics (math.CO), Symmetric group
FOS: Computer and information sciences, Computational Complexity (cs.CC), Memoryless computation, computational difficulty, memoryless computation, FOS: Mathematics, Mathematics - Combinatorics, Theory of data, Models of computation, Computational difficulty, models of computation, 005, Models of computation (Turing machines, etc.), symmetric group, Combinatorics., Computer Science - Computational Complexity, theory of data, Combinatorics, combinatorics, Combinatorics (math.CO), Symmetric group
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 13 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
