在八数码问题中,并不是每一个初始状态都可以转化到目标状态的,此提供了一个简单的证明。