Theory Introduction

The Overview section explained how it’s possible in principle to turn a Rubik’s cube into a computer, however there a big missing piece. How do we actually find those sequences of moves that can encode “add 1” operations for registers? For this, we created an algorithm called the Qter Architecture Solver (QAS) to find those special sequences.

The first half of the Theory section discusses the background knowledge and mathematical foundations required to understand the QAS, and the second half discusses how it actually works.