Mystery Tower is Computationally Hard. - Kyohei Sangodo; Katsuhisa Yamanaka; Takashi Hirayama (J. Inf. Process., 2025)