Question

我能够在不使用递归的情况下理解preorder遍历，但是我很难进行inorder遍历。我也许似乎没有得到它，因为我还没有理解递归的内在工作。

这是我到目前为止所尝试的：

def traverseInorder(node):
    lifo = Lifo()
    lifo.push(node)
    while True:
        if node is None:
            break
        if node.left is not None:
            lifo.push(node.left)
            node = node.left
            continue
        prev = node
        while True:
            if node is None:
                break
            print node.value
            prev = node
            node = lifo.pop()
        node = prev
        if node.right is not None:
            lifo.push(node.right)
            node = node.right
        else:
            break

内部的while循环感觉不对劲。此外，一些元素被打印两次;也许我可以通过检查之前是否打印过该节点来解决这个问题，但这需要另一个变量，这也是感觉不对。我哪里错了？

我没有尝试过postorder遍历，但我猜它也很相似，我也会遇到相同的概念障碍。

谢谢你的时间！

P.S。：Lifo和Node的定义：

class Node:
    def __init__(self, value, left=None, right=None):
        self.value = value
        self.left = left
        self.right = right

class Lifo:
    def __init__(self):
        self.lifo = ()
    def push(self, data):
        self.lifo = (data, self.lifo)
    def pop(self):
        if len(self.lifo) == 0:
            return None
        ret, self.lifo = self.lifo
        return ret

Answer 1

从递归算法（伪代码）开始：

traverse(node):
  if node != None do:
    traverse(node.left)
    print node.value
    traverse(node.right)
  endif

这是尾递归的一个明显例子，因此您可以轻松地将其转换为while循环。

traverse(node):
  while node != None do:
    traverse(node.left)
    print node.value
    node = node.right
  endwhile

你留下了递归电话。递归调用的作用是在堆栈上推送新的上下文，从头开始运行代码，然后检索上下文并继续执行它正在执行的操作。因此，您为存储创建了一个堆栈，并在每次迭代时确定我们是处于“第一次运行”状态（非空节点）还是“返回”情况（空节点，非空堆栈）并运行适当的代码：

traverse(node):
  stack = []
  while !empty(stack) || node != None do:
    if node != None do: // this is a normal call, recurse
      push(stack,node)
      node = node.left
    else // we are now returning: pop and print the current node
      node = pop(stack)
      print node.value
      node = node.right
    endif
  endwhile

难以理解的是“返回”部分：您必须在循环中确定您正在运行的代码是在“进入功能”状态还是在“从呼叫中返回”的情况下，并且您将拥有一个if/else链，其中包含与代码中非终端递归一样多的情况。

在这种特定情况下，我们使用该节点来保存有关情况的信息。另一种方法是将它存储在堆栈本身（就像计算机用于递归）。使用该技术，代码不太理想，但更容易理解

traverse(node):
  // entry:
  if node == NULL do return
  traverse(node.left)
  // after-left-traversal:
  print node.value
  traverse(node.right)

traverse(node):
   stack = [node,'entry']
   while !empty(stack) do:
     [node,state] = pop(stack)
     switch state: 
       case 'entry': 
         if node == None do: break; // return
         push(stack,[node,'after-left-traversal']) // store return address
         push(stack,[node.left,'entry']) // recursive call
         break;
       case 'after-left-traversal': 
         print node.value;
         // tail call : no return address
         push(stack,[node.right,'entry']) // recursive call
      end
    endwhile

Answer 2

这是一个简单的有序非递归c ++代码..

void inorder (node *n)
{
    stack s;

    while(n){
        s.push(n);
        n=n->left;
    }

    while(!s.empty()){
        node *t=s.pop();
        cout<<t->data;
        t=t->right;

        while(t){
            s.push(t);
            t = t->left;
        }
    }
}

Answer 3

def print_tree_in(root):
    stack = []
    current = root
    while True:
        while current is not None:
            stack.append(current)
            current = current.getLeft();
        if not stack:
            return
        current = stack.pop()
        print current.getValue()
        while current.getRight is None and stack:
            current = stack.pop()
            print current.getValue()
        current = current.getRight();

Answer 4

def traverseInorder(node):
   lifo = Lifo()

  while node is not None:
    if node.left is not None:
       lifo.push(node)
       node = node.left
       continue

   print node.value

   if node.right is not None:
      node = node.right
      continue

   node = lifo.Pop()
   if node is not None :
      print node.value
      node = node.right

PS：我不懂Python，所以可能会有一些语法问题。

Answer 5

以下是使用c＃（。net）中的堆栈进行遍历的示例：

（对于邮购顺序，你可以参考：Post order traversal of binary tree without recursion）

public string InOrderIterative()
        {
            List<int> nodes = new List<int>();
            if (null != this._root)
            {
                Stack<BinaryTreeNode> stack = new Stack<BinaryTreeNode>();
                var iterativeNode = this._root;
                while(iterativeNode != null)
                {
                    stack.Push(iterativeNode);
                    iterativeNode = iterativeNode.Left;
                }
                while(stack.Count > 0)
                {
                    iterativeNode = stack.Pop();
                    nodes.Add(iterativeNode.Element);
                    if(iterativeNode.Right != null)
                    {
                        stack.Push(iterativeNode.Right);
                        iterativeNode = iterativeNode.Right.Left;
                        while(iterativeNode != null)
                        {
                            stack.Push(iterativeNode);
                            iterativeNode = iterativeNode.Left;
                        }
                    }
                }
            }
            return this.ListToString(nodes);
        }

以下是访问标记的示例：

public string InorderIterative_VisitedFlag()
        {
            List<int> nodes = new List<int>();
            if (null != this._root)
            {
                Stack<BinaryTreeNode> stack = new Stack<BinaryTreeNode>();
                BinaryTreeNode iterativeNode = null;
                stack.Push(this._root);
                while(stack.Count > 0)
                {
                    iterativeNode = stack.Pop();
                    if(iterativeNode.visted)
                    {
                        iterativeNode.visted = false;
                        nodes.Add(iterativeNode.Element);
                    }
                    else
                    {
                        iterativeNode.visted = true;
                        if(iterativeNode.Right != null)
                        {
                            stack.Push(iterativeNode.Right);
                        }
                        stack.Push(iterativeNode);
                        if (iterativeNode.Left != null)
                        {
                            stack.Push(iterativeNode.Left);
                        }
                    }
                }
            }
            return this.ListToString(nodes);
        }

binarytreenode，listtostring实用程序的定义：

string ListToString(List<int> list)
        {
            string s = string.Join(", ", list);
            return s;
        }


class BinaryTreeNode
    {
        public int Element;
        public BinaryTreeNode Left;
        public BinaryTreeNode Right;        
    }

Answer 6

状态可以被隐含地记住，

traverse(node) {
   if(!node) return;
   push(stack, node);
   while (!empty(stack)) {
     /*Remember the left nodes in stack*/
     while (node->left) {
        push(stack, node->left);
        node = node->left;
      }

      /*Process the node*/
      printf("%d", node->data);

      /*Do the tail recursion*/
      if(node->right) {
         node = node->right
      } else {
         node = pop(stack); /*New Node will be from previous*/
      }
    }
 }

Answer 7

@Victor，我对你的实现试图将状态推入堆栈有一些建议。我认为没有必要。因为您从堆栈中获取的每个元素都已经过了遍历。因此，不是将信息存储到堆栈中，我们只需要一个标志来指示要处理的下一个节点是否来自该堆栈。以下是我的实现工作正常：

def intraverse(node):
    stack = []
    leftChecked = False
    while node != None:
        if not leftChecked and node.left != None:
            stack.append(node)
            node = node.left
        else:
            print node.data
            if node.right != None:
                node = node.right
                leftChecked = False
            elif len(stack)>0:
                node = stack.pop()
                leftChecked = True
            else:
                node = None

Answer 8

@Emadpres的答案很少优化

def in_order_search(node):
    stack = Stack()
    current = node

    while True:
        while current is not None:
            stack.push(current)
            current = current.l_child

        if stack.size() == 0:
            break

        current = stack.pop()
        print(current.data)
        current = current.r_child

Answer 9

简单的迭代inorder遍历而不递归

'''iterative inorder traversal, O(n) time & O(n) space '''

class Node:
    def __init__(self, value, left = None, right = None):
        self.value = value
        self.left = left
        self.right = right

def inorder_iter(root):

    stack = [root]
    current = root

    while len(stack) > 0:
        if current:
            while current.left:
                stack.append(current.left)
                current = current.left
        popped_node = stack.pop()
        current = None
        if popped_node:
            print popped_node.value
            current = popped_node.right
            stack.append(current)

a = Node('a')
b = Node('b')
c = Node('c')
d = Node('d')

b.right = d
a.left = b
a.right = c

inorder_iter(a)

Answer 10

class Tree:

    def __init__(self, value):
        self.left = None
        self.right = None
        self.value = value

    def insert(self,root,node):
        if root is None:
            root = node
        else:
            if root.value < node.value:
                if root.right is None:
                    root.right = node
                else:
                    self.insert(root.right, node)
            else:
                if root.left is None:
                    root.left = node
                else:
                    self.insert(root.left, node)       

    def inorder(self,tree):
        if tree.left != None:
            self.inorder(tree.left)
        print "value:",tree.value

        if tree.right !=None:
            self.inorder(tree.right)

    def inorderwithoutRecursion(self,tree):
        holdRoot=tree
        temp=holdRoot
        stack=[]
        while temp!=None:
            if temp.left!=None:
                stack.append(temp)
                temp=temp.left
                print "node:left",temp.value

            else:
                if len(stack)>0:
                    temp=stack.pop();
                    temp=temp.right
                    print "node:right",temp.value

Answer 11

这是一个迭代的C ++解决方案，作为@Emadpres发布的替代方案：

void inOrderTraversal(Node *n)
{
    stack<Node *> s;
    s.push(n);
    while (!s.empty()) {
        if (n) {
            n = n->left;
        } else {
            n = s.top(); s.pop();
            cout << n->data << " ";
            n = n->right;
        }
        if (n) s.push(n);
    }
}

Answer 12

这是针对Inorder Traversal ::

的迭代Python代码

class Node:
    def __init__(self, data):
        self.data = data
        self.left = None
        self.right = None

def inOrder(root):
    current = root
    s = []
    done = 0

    while(not done):
        if current is not None :
            s.append(current)
            current = current.left
        else :
            if (len(s)>0):
                current = s.pop()
                print current.data
                current = current.right
            else :
                done =1

root = Node(1)
root.left = Node(2)
root.right = Node(3)
root.left.left = Node(4)
root.left.right = Node(5)

inOrder(root)

Answer 13

为了编写这些递归方法的迭代等价物，我们可以首先了解递归方法本身如何在程序堆栈上执行。假设节点没有它们的父指针，我们需要为迭代变体管理我们自己的“堆栈”。

开始的一种方法是查看递归方法并标记调用将“恢复”的位置（新的初始调用，或递归调用返回后）。下面这些标记为“RP 0”、“RP 1”等（“恢复点”）。以中序遍历为例。（我将以 C 语言呈现，但同样的方法适用于任何通用语言）：

void in(node *x)  
{  
  /* RP 0 */  
  if(x->lc) in(x->lc);  
  /* RP 1 */  
  process(x);  
  if(x->rc) in(x->rc);  
  /* RP 2 */  
}

它的迭代变体：

void in_i(node *root)  
{  
  node *stack[1000];  
  int top;  
  char pushed;  
 
  stack[0] = root;  
  top = 0;  
  pushed = 1;  
 
  while(top >= 0)  
  {  
    node *curr = stack[top];  
 
    if(pushed)  
    {  
      /* type (x: 0) */  
      if(curr->lc)  
      {  
        stack[++top] = curr->lc;  
        continue;  
      }  
    }  
 
    /* type (x: 1) */  
    pushed = 0;  
    process(curr);  
    top--;  
 
    if(curr->rc)  
    {  
      stack[++top] = curr->rc;  
      pushed = 1;  
    }  
  }  
}

带有(x: 0)和(x: 1)的代码注释对应递归方法中的“RP 0”和“RP 1”恢复点。 pushed 标志帮助我们推断出这两个恢复点之一。我们不需要在“RP 2”阶段处理节点，因此我们不将此类节点保留在堆栈中。

您可以阅读有关此方法的详细信息 here（“中序遍历”部分）。

Answer 14

我认为问题的一部分是使用“prev”变量。您不必存储上一个节点，您应该能够在堆栈（Lifo）本身上维护状态。

从Wikipedia开始，您的目标是：

访问root。
遍历左子树
遍历正确的子树

在伪代码中（免责声明，我不知道Python如此对下面的Python / C ++样式代码道歉！）你的算法将是这样的：

lifo = Lifo();
lifo.push(rootNode);

while(!lifo.empty())
{
    node = lifo.pop();
    if(node is not None)
    {
        print node.value;
        if(node.right is not None)
        {
            lifo.push(node.right);
        }
        if(node.left is not None)
        {
            lifo.push(node.left);
        }
    }
}

对于后序遍历，您只需将按下左右子树的顺序交换到堆栈上。

帮助我理解Inorder Traversal而不使用递归

14 个答案: