three-style

three-style is a program that searches 3x3 commutators used in 3-style, an advanced method for solving the Rubik's cube blindfolded by swapping 3 pieces at a time without affecting the rest of the cube.

Contents

• Installation
• Usage
• Concept
• References
• Contributing

Installation

You can use three-style by downloading the prebuilt binary for your system from the releases or by installing it using cargo:

cargo install three-style

Usage

three-style uses layers for describing pieces or more precisely sticker targets. Example: UF (edge), UBL (corner). Currently, it only exposes one main command search and is used in the following way:

three-style search --gen RUD --corners UFR UBL RFD --depth 4
three-style search -g RUD -c UFR UBL RFD -d 4
three-style search --gen RUE --edges UF UB LF --depth 4
three-style search -g RUD -e UF UB LF -d 4

[!NOTE] Depth is relative to the length of the commutator in its notation form.

Concept

A commutator is an algorithm of the form: A B A' B' which allows us to swap 3 pieces at once without affecting the rest of the cube. It's commonly described in the following notation: [A, B].

It consists of two basic parts:

• An interchange is a single move that swaps two pieces without affecting the third one
• An insertion are three moves that insert the third piece into one of the two pieces spot without affecting the other one.

But not all cases can be solved using pure commutators, some cases require using setup moves. A setup move is a sequence of moves that turn the case into a case that can be solved using pure commutators. Commutators that use setup moves are of the form S A B A' B' S' and are more commonly written as [S: [A, B]]

[!NOTE] Edges has a special case called 4 movers which don't use the normal 3 moves insertion. Example: [M', U2]

The program basically does an interative DFS and applies these rules to find commutators. Because these rules allow efficient prunning, search is decently fast.

References

• 3-style tutorial by Timothy Goh

• Cube explorer

Contributing

Bug reports, Pull requests and feature requests are all welcome!