赤黒木<ブラック高さ>（再投稿）

Question

/** The following function checks the red black tree black height
* @param n the root node is inputed then a traversal is done to calculate the black-height
* @return Return an error message / mesages informing the user whether or not the black height was maintained
* @author Ferron Smith
*/

public static void getCount (SkaRedBlackTreeNode skaRedBlackTreeNode) {
    VizRedBlackTreeNode n = skaRedBlackTreeNode.getVizRep();
if (validRoot(n))
    {
        static int lcount = leftCount(n);
        static int rcount = rightCount(n);

        if (rcount == lcount) {
            n.displayMsg("Black height maintained");
        }
        else
            // n.displayWarning("rcount " + rcount + " lcount " + lcount);
            n.displayError("Red Black Tree is unbalanced");
    }
}

/** The following function counts all the black node of the left side of the tree
 * @param n the left child is inputed and a traversal is done to count all the black nodes
 * */
public static int leftCount (VizRedBlackTreeNode n)
{
        if (n == null)
        return 0;
        else if (n.getrbtColr() == Color.black) 
                return 1 + leftCount(n.getLeft());
        else 
            leftCount(n.getLeft());    
}

/** The following function counts all the black node of the right side of the tree
 * @param n the right child is inputed and a traversal is done to count all the black nodes
 * */
public static int rightCount (VizRedBlackTreeNode n)
{   
    if (n == null)
    return 0;
    else if (n.getrbtColr() == Color.black) {
            return 1 + rightCount (n.getRight());
    else    
        rightCount(n.getRight());
    }
}

この再投稿である、あなたはこの1つが動作すると思います、私は特定の条件にし、

まだ私を失敗していないとして、それをテストしてみました

Answer 1

私の知る限り、あなただけのツリーの下左端と右端のパスに黒の高さをチェックしています。赤黒木の定義は、黒高さが全てののパスに同じであることが必要です。たとえば、この無効なツリーは、プログラムによってフラグが付けられていません。

      B
     / \
    /   \
   /     \
  B       B
 / \     / \
B   R   R   B

また、サイクルをチェックしませんかキーが順になっている場合。

Answer 2

だから私はあなたがここにJavaで作業していることを実現しますが、ここで役立つかもしれないいくつかの擬似コードだ：

unsigned int blackHeight()
  height, heightLeft, heightRight = 0
  if black
    height++
  if left
    heightLeft = left->blackHeight()
  else
    heightLeft = 1
  if right
    heightRight = right->blackHeight()
  else
    heightRight = 1
  if heightLeft != heightRight
    //YOU HAVE A PROBLEM!
  height += heightLeft
  return height

私はちょうど赤黒木で自分自身を実験し始めているが、私はこのアルゴリズムはあなたがからそれを呼び出す任意のノード上の黒い高さを与えるべきであると考えています。

編集：私は資格必要がありますね、これは、ツリー内のノードではない内で見つかったコードになります。 C ++では、それはsomeNode-> blackHeight（）で呼び出されます。

Answer 3

 //enter code here

    private static void blackHeight(rbnode root) {
        if (root == null)
            return; 

        if (root.color == "black") {
            root.black_count = root.parent.black_count+1;

        } else {
            root.black_count = root.parent.black_count;
        }
        if ((root.left == null) && (root.right == null)) {              
            bh = root.black_count;              
        }               
        blackHeight(root.left);
        blackHeight(root.right);
    }