思想：採用非遞迴後序遍歷二叉樹b.當找到節點值為x的節點時將棧中所有節點值存放在anorx陣列中（如圖所示的二叉樹，F節點的anorx為“ACF”），當找到節點值為y的節點時將棧中所有節點值存放在anory陣列中（對於如圖所示的二叉樹，E節點的anory為“ACE”），當兩個節點均已找到後，通過比較找到他們最近的公共祖先（對於如圖所示的二叉樹，F和E節點的最近公共祖先為C）,對應的演算法如下：

int commancestor(BTNode *b,ElementType x,ElementType y)

{

ElementType anorx[MaxSize],anory[MaxSize];

BTNode *St[MaxSize];//定義一個順序棧

BTNode *p=b,*q;

int flag,top=-1,i;//棧指標置初值

bool findx=false,findy=false;

if(b!=NULL)

{

do

{

while(p!=NULL)//將*p所有左節點進棧

{

top++;

St[top]=p;

p=p->lchild;

}

q=NULL;//q指向棧頂節點的前一個已訪問的節點

flag=1;//設定flag=1表示處理棧頂節點

while(top!=-1&&flag==1)

{

p=St[top];//取當前的棧頂元素

if(p->rchild==q)//右孩子不存在或右孩子已被訪問，訪問之

if(p->data==x)//要訪問的節點為要找的節點

{

for(i=0;i<top;i++)//將路徑存入anorx中

{

anorx[i]=St[i]->data;

}

findx=true;

}

else if(p->data==y)//將路徑存入anory中

{

for(i=0;i<=top;i++)

{

anory[i]=St[i]->data;

}

findy=true;

}

if(findx&&findy)//x和y均已找到

{

i=0;

while(anorx[i]==anory[i])

i++;

printf("最近公共祖先：%c\n",anorx[i-1]);

return 1;

}

top--;

q=p;//q指向剛被訪問的節點

}

else

{

p=p->rchild;//p指向右孩子節點

flag=0;//設定flag=0表示棧頂節點處理完畢

}

}

}while(top!=-1);//棧不空迴圈

printf("\n");

}

return 0;

}