Domino Reduction

From Speedsolving.com Wiki
Revision as of 09:02, 5 July 2020 by RedstoneTim (talk | contribs) (Fixed small typo)
Domino Reduction
DR.png
Information
Proposer(s): Morwen Thistlethwaite
Proposed: 1981
Alt Names: DR, Domino Phase, H1 (Thistlethwaite), G1 (Kociemba), Phase 1 (Kociemba)
Variants: Partial Domino Reduction, Half Turn Reduction
Subgroup:
No. Algs: 0-2217 million (number of positions)
Avg Moves: 9.53 (optimal)
Purpose(s):

Domino Reduction or DR is a technique invented by Morwen Thistlethwaite. It is employed by computer algorithms, speedsolvers and fewest move solvers to bring the 3x3x3 cube into a state similar to the Rubik's Domino. This is accomplished by orienting all the corners and performing 2-axis EO, reducing the cube from <U,D,L,R,F,B> to <U,D,L2,R2,F2,B2>. God's number for DR is 12.

Computer algorithms

Domino Reduction was initially invented to allow computer algorithms to solve the cube efficiently.

The first computer algorithm to utilize Domino Reduction was Thistlethwaite's algorithm in 1981. Due to hardware limitations back then, Domino Reduction is performed in two steps. The algorithm firstly orients the edges and then proceeds to orient the corners and separate the E-slice edges in one step. Using this approach, Domino Reduction can be reached in a maximum of 20 moves. Using two more steps after Domino Reduction, this algorithm was able to solve a cube in a maximum of 52 moves HTM.

11 years later, in 1992, Herbert Kociemba invented Kociemba's Algorithm. It's main difference from Thistlethwaite's algorithm is that the first two steps and the last two steps are combined into one step each, solving the cube in two "phases". Because of this, it is also called the Two-Phase-Algorithm. It was possible to store all positions using the more advanced technology and various optimizations like symmetry reduction described on Kociemba's website. This algorithm was able to solve Domino Reduction optimally in at most 12 moves and the whole cube in 29 moves.

Speedsolving

Although Domino Reduction is very rarely used in speedsolving, various methods have been invented to allow human solvers to reduce to a domino state quickly.

The first one was Human Thistlethwaite, an adapted version of Thistlethwaite's algorithm for humans, proposed by Ryan Heise in 2002. Most of the reduction steps are either done intuitively or using a small set of pre-made algorithms. Because of the amount of thinking required and the relatively bad ergonomics of the method, virtually no one uses Human Thistlethwaite as their main speedsolving method.

An unrelated method, Shadowslice Snow Columns, was invented in 2015 by Joseph Briggs. It starts with EOEdge, where edges are oriented and two E-slice edges are solved. The solver then proceeds by building a pseudo-pair and a pseudo-triplet and performing one of 23 algorithms. This solves the last two E-slice edges and orients the corners, effectively reducing the cube to a domino state with all E-slice edges solved. After this step, there are multiple ways to finish. The finish usually has pretty good ergonomics (R2, U, D and M moves) and makes the solve 40 to 50 moves STM long. SSC is a much more viable method for speedsolving than Human Thistlethwaite, although it's still rarely used because it drastically differs from mainstream speedsolving methods and since a good way to finish the cube after DR still needs to be found.

Although Domino Reduction might be viable for speedsolving, it is still not developed enough and too different from other methods to be adapted by more people in the near future.

Fewest move solving

Domino Reduction in an FMC context has been mentioned as early as 2007[1]. However, it only started to be widely used in 2019. In that year, Domino Reduction became so popular that it was adopted by virtually all top solvers as their main way to do FMC because it usually yields better results than standard blockbuilding, allowing for consistent sub-30 solves in the hands of an expert. The technique also lead to multiple records in that year, such as Harry Savage's 17 move WR single Sebastiano Tronto's 16 move WR single. Inspired by the records and frustrated by the lack of documentation, Alexandros Fokianos and Tommaso Raposio documented Domino Reduction for FMC in "A Domino Reduction Guide" on August 7, 2019. Because the guide already explains Domino Reduction in great detail and should be the primary source to learn from, only an overview is given here.

Performing Domino Reduction

Domino Reduction in FMC consists of three substeps:

These can be done at different times, e.g. one could first orient the corners, separate the E-slice edges and then orient the remaining edges. The most widely used approach firstly orients the edges, then separates some E-slice edges (not necessarily all) and then sets up to a so called "DR Trigger", which can then be applied to reduce to a Domino state. A DR Trigger is a usually short, pre-memorized algorithm that places a certain amount E-slice edge into the E-slice and orients certain corners. For example, the move "R" is a DR Trigger which brings the edges on UR and DR to the E-slice and orients the FUR and BDR corners clockwise and the FDR and BUR corners anti-clockwise. Other common DR Triggers include R U R', R U' R' and R U2 R'/L F2 L'. The setup is usually done by trying to get the same amount of bad edges and bad corners as a certain DR Trigger (using the example from before, the trigger "R" needs two bad edges and four bad corners to allow for it to be used). The bad pieces are then placed into the formation of a DR Trigger using U, D, F2, L2, B2 and R2 moves to preserve them and the trigger is applied.

Finishing after Domino Reduction

There are four main ways to solve the cube after Domino Reduction:

It should be noted here that after Domino Reduction, Blockbuilding becomes a lot easier than usual (comparable to normal solves and ones with edges already oriented). Additionally, Corner Insertions become less efficient due to the high amount of half turns while Edge Insertions become more efficient due to oriented edges and the high amount of double and parallel moves.

Partial Domino Reduction

Partial Domino Reduction is when only exactly two of the three steps of Domino Reduction (CO, E-slice, EO) have been performed, so the cube is only partially reduced to a Domino state. This can be useful when very few moves are required to get to such a state.

Possible ways to continue are to

  • immediately reduce to normal Domino Reduction
    • E-slice remaining: insert a commutator that brings the edges into the E-slice
    • CO remaining: use DR triggers like R U' L2 U R'
    • EO remaining: orient the edges using Roux-like EOs (such as M' U M)
  • solve the pieces later using Insertions
    • E-slice remaining: solve up to a state where only a few edges remain (including the ones that belong in the E-slice) and use Edge Insertions to solve them
    • CO remaining: insert Corner Commutators or Sunes
    • EO remaining: solve up to a state where only a few edges remain (including the unoriented ones) and use Edge Insertions to solve them

See also

External links