About Rubik’s Cube

Language for Rubik’s Cube? a) sequence of moves from the solved state to the current state b) mere labels; to check if can be solved, the problem is equivalent to [3926446] https://math.stackexchange.com/a/3926446/876802

solving Rubik’s Cube requires O(n^2) moves: https://arxiv.org/pdf/1106.5736.pdf

finding an optimal Rubik solution is NPC: https://arxiv.org/abs/1706.06708

how to tell if Rubik’s cube is solvable?: https://math.stackexchange.com/questions/127577/how-to-tell-if-a-rubiks-cube-is-solvable

Knuth proving Schreier-Sims is polynomial time: (w.r.t. what?) https://arxiv.org/pdf/math/9201304.pdf