1.对于找到唯一通路之前的步骤，如果唯一通路之前就能找到通路，则不会有唯一通路在后面出现，因为通路前的方格必定已经被访问过，无法再继续访问一次，无法在唯一通路之外的其他方格中与最终方格打通，不可能有通路；
2.对于找到唯一通路之后，算法只会往还没访问过的方格去递归，这种情况下这些路不可能与原来的通路有公共边被打通，因为原来的路的方格都已经被访问过，故这部分通路既无法去到出口的方格，也无法通过之前的路，故不可能有整个迷宫的通路出现。
算法正确性证明如上
1.对于找到唯一通路之前的步骤，如果唯一通路之前就能找到通路，则不会有唯一通路在后面出现，因为通路前的方格必定已经被访问过，无法再继续访问一次，无法在唯一通路之外的其他方格中与最终方格打通，不可能有通路；
2.对于找到唯一通路之后，算法只会往还没访问过的方格去递归，这种情况下这些路不可能与原来的通路有公共边被打通，因为原来的路的方格都已经被访问过，故这部分通路既无法去到出口的方格，也无法通过之前的路，故不可能有整个迷宫的通路出现。
算法正确性证明如上