1.用栈记忆：在访问途中将依次遇到的节点保存下来。版本一是模拟递归实现的结果；版本二是直接模拟递归。
2.节点增加指向父节点的指针：通过指向父节点的指针来回溯，增加一个访问标志位，指示节点是否已经被访问。
一、先序遍历
// 先序遍历伪代码：非递归版本，用栈实现，版本1
void preOrder1(TNode* root)
{
Stack S;
while ((root != NULL) || !S.empty())
{
if (root != NULL)
{
Visit(root);
S.push(root); // 先序就体现在这里了，先访问，再入栈
root = root->left; // 依次访问左子树
}
else
{
root = S.pop(); // 回溯至父亲节点
root = root->right;
}
}
}
preOrder1每次都将遇到的节点压入栈，当左子树遍历完毕后才从栈中弹出最后一个访问的节点，访问其右子树。在同一层中，不可能同时有两个节点压入栈，因此栈的大小空间为O(h)，h为二叉树高度。时间方面，每个节点都被压入栈一次，弹出栈一次，访问一次，复杂度为O(n)
// 先序遍历伪代码：非递归版本，用栈实现，版本2
void preOrder2(TNode* root)
{
if ( root != NULL)
{
Stack S;
S.push(root);
while (!S.empty())
{
TNode* node = S.pop();
Visit(node); // 先访问根节点，然后根节点就无需入栈了
S.push(node->right); // 先push的是右节点，再是左节点
S.push(node->left);
}
}
}
// 先序遍历伪代码：非递归版本，不用栈，增加指向父节点的指针
void preOrder3(TNode* root)
{
while ( root != NULL ) // 回溯到根节点时为NULL，退出
{
if( !root->bVisited )
{ // 判定是否已被访问
Visit(root);
root->bVisited = true;
}
if ( root->left != NULL && !root->left->bVisited ) // 访问左子树
{
root = root->left;
}
else if( root->right != NULL && !root->right->bVisited ) // 访问右子树
{
root = root->right;
}
else // 回溯
{
root = root->parent;
}
}
}
二、中序遍历
根据上面的先序遍历，可以类似的构造出中序遍历的三种方式。仔细想一下，只有第一种方法改过来时最方便的。需要的改动仅仅调换一下节点访问的次序，先序是先访问，再入栈；而中序则是先入栈，弹栈后再访问。伪代码如下。时间复杂度与空间复杂度同先序一致。
// 中序遍历伪代码：非递归版本，用栈实现，版本1
void InOrder1(TNode* root)
{
Stack S;
while ( root != NULL || !S.empty() )
{
while( root != NULL ) // 左子树入栈
{
S.push(root);
root = root->left;
}
if ( !S.empty() )
{
root = S.pop();
Visit(root->data); // 访问根结点
root = root->right; // 通过下一次循环实现右子树遍历
}
}
}
第二个用栈的版本却并不乐观。preOrder2能够很好的执行的原因是，将左右节点压入栈后，根节点就再也用不着了；而中序和后序却不一样，左右节点入栈后，根节点后面还需要访问。因此三个节点都要入栈，而且入栈的先后顺序必须为：右节点，根节点，左节点。但是，当入栈以后，根节点与其左右子树的节点就分不清楚了。因此必须引入一个标志位，表示 是否已经将该节点的左右子树入栈了。每次入栈时，根节点标志位为true,左右子树标志位为false。
// 中序遍历伪代码：非递归版本，用栈实现，版本2
void InOrder2(TNode* root)
{
Stack S;
if( root != NULL )
{
S.push(root);
}
while ( !S.empty() )
{
TNode* node = S.pop();
if ( node->bPushed )
{ // 如果标识位为true,则表示其左右子树都已经入栈，那么现在就需要访问该节点了
Visit(node);
}
else
{ // 左右子树尚未入栈，则依次将 右节点，根节点，左节点 入栈
if ( node->right != NULL )
{
node->right->bPushed = false; // 左右子树均设置为false
S.push(node->right);
}
node->bPushed = true; // 根节点标志位为true
S.push(node);
if ( node->left != NULL )
{
node->left->bPushed = false;
S.push(node->left);
}
}
}
}
对比先序遍历，这个算法需要额外的增加O(n)的标志位空间。另外，栈空间也扩大，因为每次压栈的时候都压入根节点与左右节点，因此栈空间为O(n)。时间复杂度方面，每个节点压栈两次，作为子节点压栈一次，作为根节点压栈一次，弹栈也是两次。因此无论从哪个方面讲，这个方法效率都不及InOrder1。
中序遍历的第三个非递归版本：采用指向父节点的指针回溯。这个与先序遍历是非常类似的，不同之处在于，先序遍历只要一遇到节点，那么没有被访问那么立即访问，访问完毕后尝试向左走，如果左孩子不能访问，则尝试右边走，如果左右皆不可访问，则回溯；中序遍历是先尝试向左走，一直到左边不通后访问当前节点，然后尝试向右走，右边不通，则回溯。（这里不通的意思是：节点不为空，且没有被访问过）
// 中序遍历伪代码：非递归版本，不用栈，增加指向父节点的指针
void InOrder3(TNode* root)
{
while ( root != NULL ) // 回溯到根节点时为NULL，退出
{
while ( root->left != NULL && !root->left->bVisited )
{ // 沿左子树向下搜索当前子树尚未访问的最左节点
root = root->left;
}
if ( !root->bVisited )
{ // 访问尚未访问的最左节点
Visit(root);
root->bVisited=true;
}
if ( root->right != NULL && !root->right->bVisited )
{ // 遍历当前节点的右子树
root = root->right;
}
else
{ // 回溯至父节点
root = root->parent;
}
}
}
这个算法时间复杂度与空间复杂度与第3个先序遍历的版本是一样的。
三、后续遍历
从直觉上来说，后序遍历对比中序遍历难度要增大很多。因为中序遍历节点序列有一点的连续性，而后续遍历则感觉有一定的跳跃性。先左，再右，最后才中间节点；访问左子树后，需要跳转到右子树，右子树访问完毕了再回溯至根节点并访问之。这种序列的不连续造成实现前面先序与中序类似的第1个与第3个版本比较困难。但是按照第2个思想，直接来模拟递归还是非常容易的。
// 后序遍历伪代码：非递归版本，用栈实现
void PostOrder(TNode* root)
{
Stack S;
if( root != NULL )
{
S.push(root);
}
while ( !S.empty() )
{
TNode* node = S.pop();
if ( node->bPushed )
{ // 如果标识位为true,则表示其左右子树都已经入栈，那么现在就需要访问该节点了
Visit(node);
}
else
{ // 左右子树尚未入栈，则依次将 根节点,右节点,左节点入栈
node->bPushed = true; // 根节点标志位为true
S.push(node);
if ( node->right != NULL )
{
node->right->bPushed = false; // 左右子树均设置为false
S.push(node->right);
}
if ( node->left != NULL )
{
node->left->bPushed = false;
S.push(node->left);
}
}
}
}
四、层次遍历
// 层序遍历伪代码：非递归版本，用队列完成
void LevelOrder(TNode *root)
{
Queue Q;
Q.push(root);
while (!Q.empty())
{
node = Q.front(); // 取出队首值并访问
Visit(node);
if (NULL != node->left) // 左孩子入队
{
Q.push(node->left);
}
if (NULL != node->right) // 右孩子入队
{
Q.push(node->right);
}
}
}
小结一下：用栈来实现比增加指向父节点指针回溯更方便；采用第一个思想，就是跟踪指针移动 用栈保存中间结果的实现方式，先序与中序难度一致，后序很困难。先序与中序只需要修改一下访问的位置即可。采用第二个思想，直接用栈来模拟递归，先序非常简单；而中序与后序难度一致。先序简单是因为节点可以直接访问，访问完毕后无需记录。而中序与后序时，节点在弹栈后还不能立即访问，还需要等其他节点访问完毕后才能访问，因此节点需要设置标志位来判定，因此需要额外的O(n)空间。
作者：像少年啦飞驰
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利.
