Yeah, this is actually a great way to explain the gate synthesis problem in a quantum computer, it's like solving a high dimensional rubik's cube !