In the initial state of the pegs, before I move any disks, can I assume that the black and white disks already conform to the problem constraint that no white ring can be directly on top of a black disk?
If so, doesn’t that imply that it’s always the case that disks are grouped by color and the white group is always below the black group?
Thanks!