4 人が A、B、C、D の位置に立ち、図の初期構成で 2 本のロープを持っています。
これらの人々は、好きな順序で、2 つの動きを複数回実行することで、これらのロープで「踊る」ことができます。
グループとして反時計回りに 90 度回転します。（したがって、Aの位置にいる人はBの位置に、Bの位置にいる人はCの位置に、というように移動します。）この動きを「回転」と呼び、Rで示します。
例: 与えられた初期状態を 1 回回転すると、以下の状態になります。
D と C の位置にいる人 (北東と南東にいる人) が D と位置を交換し、C の上でロープを持ち上げます。この動きを「スワップ」と呼びます。T と表記します。
例: 1 つのスワップでの初期状態が与えられた場合の状態は次のとおりです。
回転 - R
スワップ - T
操作のプロパティ:
操作は可換ではありません - RRRTT は RTRTR と等しくありません
演算は連想 - (TR)T は T(RT) に等しい
逆 - R^-1 = R^3 または 3R および T^-1 = RTRTR
R^-1 (反時計回りの 1 回転) は次のとおりです。
3R（時計回りに3回転）とは：
このもつれの状態を抽象データ型で表現するには?
操作 (ROTATE & SWAP) は、この抽象データ型によって表されるこのもつれの状態をどのように変更しますか?