PLL/Y と PLL/T の双対性
突然だが次の2つの OLL を考える. 示した手順をそれぞれ OLL/T と OLL/Fish と名付ける.
https://scrapbox.io/files/634503ca7f40c30023f3c862.png $ \mathrm{(OLL/T)} := RUR'U' - R'FRF'
https://scrapbox.io/files/63450400b86cb8001d24c8cf.png $ \mathrm{(OLL/Fish)} := F - RU'R'U' - RUR'F'
ちなみに… これらの性質として
OLL/T は三回でもとに戻る
$ \mathrm{(OLL/T)}_3 = \epsilon
OLL/Fish は四回でもとに戻る
$ \mathrm{(OLL/Fish)}_4 = \epsilon
PLL の Y-perm と T-perm は OLL/T と OLL/Fish を用いて次のように構成できる.
$ \mathrm{(PLL/Y)} = \mathrm{(OLL/Fish)} \mathrm{(OLL/T)}
$ \mathrm{(PLL/T)} = \mathrm{(OLL/T)} \mathrm{(OLL/Fish)}