面试题 08.06. 汉诺塔问题

本文旨在对于个人知识的梳理以及知识的分享，如果有不足的地方，欢迎大家在评论区指出

---

题目描述

在经典汉诺塔问题中，有 3 根柱子及 N 个不同大小的穿孔圆盘，盘子可以滑入任意一根柱子。一开始，所有盘子自上而下按升序依次套在第一根柱子上(即每一个盘子只能放在更大的盘子上面)。移动圆盘时受到以下限制:
(1) 每次只能移动一个盘子;
(2) 盘子只能从柱子顶端滑出移到下一根柱子;
(3) 盘子只能叠在比它大的盘子上。

请编写程序，用栈将所有盘子从第一根柱子移到最后一根柱子。

你需要原地修改栈。
示例1:

输入：A = [2, 1, 0], B = [], C = []
 输出：C = [2, 1, 0]

示例2:

 输入：A = [1, 0], B = [], C = []
 输出：C = [1, 0]

提示:

• A中盘子的数目不大于14个。

题目链接

题目分析

汉诺塔问题是递归问题中一个超级经典的问题，源自古印度的传说，该问题就是给定三个柱子，其中柱子上有一些圆盘，所有的圆盘都满足小的在大的上面，现在所有的圆盘按照大小升序的顺序放置在第一根柱子上，想把它们都移动到第三根柱子上，在这期间不准让大的圆盘放到小的上面。

---

说完背景，举一个简单的例子，例如初始时第一根柱子上有三个圆盘，移动图示如下:

# 初始时A上有三个圆盘
		*			*			*
		*			*			*
	   ***			*			*
	  *****			*			*
	 *******		*			*
	*********  	*********	*********
	    A           B           C
# 之后A借助C向B移动A初始时上面的两个圆盘,并将最后一个圆盘放到C上
		*			*			*
		*			*			*
	    *			*			*
	  *****			*			*
	 *******		*		   ***
	*********  	*********	*********
	    A           B           C
	    
	    *			*			*
		*			*			*
	    *			*			*
	    *		   ***			*
	 *******	  *****			*
	*********  	*********	*********
	    A           B           C
	    *			*			*
		*			*			*
	   	*			*			*
	  	*		   ***			*
	 	*		  *****		 *******
	*********  	*********	*********
	    A           B           C
# 之后B借助A向C移动B上面的一个圆盘，之后将B上的最后一个圆盘移动到C
		*			*			*
		*			*			*
	   	*			*			*
	  	*		    *			*
	   ***		  *****		 *******
	*********  	*********	*********
	    A           B           C
	    *			*			*
		*			*			*
	   	*			*			*
	  	*		   	*		  *****
	   ***		  	*		 *******
	*********  	*********	*********
	    A           B           C
# 最后A将最后一个圆盘移动到C即可
	 	*			*			*
		*			*			*
	   	*			*		   ***
	  	*		   	*		  *****
	   	*		  	*		 *******
	*********  	*********	*********
	    A           B           C

通过上面的例子我们可以看出，递归的逻辑是这样的，如果A上初始有n个盘子，那么我们首先将A上的n-1个盘子通过C移动到B，之后将A上的第n个盘子移动到C，那么B上的n-1个盘子我们要通过A移动到C，这样就将所有的盘子都移动到了C，时间复杂度方面，具体分析的话就是$T(n)=2\ast T(n-1)+1$，由此汉诺塔问题的时间复杂度为$O(2^n)$

解题代码

Python

class Solution:
    def hanota(self, A: List[int], B: List[int], C: List[int]) -> None:
        """
        Do not return anything, modify C in-place instead.
        """
        def dfs(n, A, B, C):
            if n==1:
                C.append(A[-1])
                A.pop()
                return
            dfs(n-1, A, C, B)
            C.append(A[-1])
            A.pop()
            dfs(n-1, B, A, C)
        n = len(A)
        dfs(n, A, B, C)

Java

class Solution {
    public void dfs(int n, List<Integer> A, List<Integer> B, List<Integer> C) {
		if(n == 1) {
			C.add(A.remove(A.size()-1));
			return;
		}
		dfs(n-1, A, C, B);
		C.add(A.get(A.size()-1));
        A.remove(A.size()-1);
		dfs(n-1, B, A, C);
	}
	
	public void hanota(List<Integer> A, List<Integer> B, List<Integer> C) {
        int n = A.size();
        dfs(n, A, B, C);
    }
}