Ich hab hier einen Algo. entwickelt der mir durch Übergabe eines Baums in Inorder- und Postorder-Darstellung gespeichert in einem Baum, den ursprünglichen Baum wieder rekonstruiert. Hier ist meine Implementierung:

tree_element1* searchtree1::traversierungPreIn(int preorder[], int fPre, int lPre, int inorder[], int fIn, int lIn, int start)
{
	//int rootVal;
	int p = 0;	//Position der Wurzel

	if(lPre < fPre)
	{
		return NULL;
	}
	else
	{
		tree_element1* node = new tree_element1;

		node->val = preorder[fPre];
		p = positionRoot(inorder, node->val, fIn);
		//preorder = Array mit Preorder-Anordnung
		//fPre+1 = first-Index im Preorder-Array einen Index weiter
		//fPre+p = first-Index im Preorder-Array abhängig von Position der Wurzel (wird so zum last-Index)
		//inorder = Array mit Inorder-Anordnung
		//fIn = first-Index im Inorder-Array
		//fIn+p+1 = first-Index im Inorder-Array in Abhängigkeit von Position der Wurzel und einen Schritt weiter
		start = fIn+p-1 - fPre+p;
		node->left = traversierungPreIn(preorder, fPre+1, fPre+p, inorder, fIn, fIn+p-1, start);

		node->right = traversierungPreIn(preorder, fPre+p+1, lPre, inorder, fIn+p+1, lIn, start);

		return node;
	}
}

Das Problem an meiner Implementierung ist nun: Sie funktioniert schon fast. Ich hab nun den Tip bekommen, dass in den rekursiven Aufrufen so eine Art Schleifeninvariante mitziehen muss, die mir die Unterschiede zwischen den Arrays berechnet. Ich komme aber nicht drauf, wie ich die Variable start berechnen muss bzw. an welcher Stelle ich in den rekursiven Aufrufen die start-Variable mit einbeziehen muss...

Kann mir jemand helfen?