突然想到一道题目

有n个盘子的汉诺塔，T组询问，问你从一个状态到另一个状态最少要几步，并且有一个opt，0表示盘子只能移到相邻的柱子上，1表示无限制。但一开始会有m个状态，表示盘子在移动的过程中不能转移到这些状态。

n<=8,T<=3000,m<=1E3

时限3s，内存512MB

若无解，请输出-1。不能转移的状态不会与初始状态重合。