void delete_node(RB_tree *tree, short int key){
RB_node *node = get_node(tree, key);
if(node != tree->nil){
RB_node *y, *x;
if(node->left == tree->nil || node->right == tree->nil){
y = node;
}else{
y = get_successor(node, tree->nil);
}
if(y->left != tree->nil){
x = y->left;
}else{
x = y->right;
}
x->parent = y->parent;
if(y->parent == tree->nil){
tree->root = x;
}else if(is_left(y)){
y->parent->left = x;
}else{
y->parent->right = x;
}
if(y != node){
node->key = y->key;
}
if(y->color == BLACK){
RB_delete_fixup(tree, x);
}
free(y);
}
}
void RB_delete(RBT* T, node* z)
{
T->numOfNodes--;
node* x;
node* y = z;
int y_original_color = y->color;
if (z->left == T->nil)
{
x = z->right;
RB_transplant(T, z, z->right);
}
else if (z->right == T->nil)
{
x = z->left;
RB_transplant(T, z, z->left);
}
else
{
//이 부분에서 z는 삭제할 노드를, y는 삭제되고 그 자리를 채울 노드를 나타낸다.
//z->left 와 z->right 가 T->nil 이 아니므로, 자식은 반드시 존재한다. 따라서, minimum 함수를 사용할 수 있다.
//successor 를 사용할 필요가 없다. 자식이 있으므로, 부모를 찾아갈 필요가 없다.
y = minimum(z->right);
y_original_color = y->color;
x = y->right;
//없애려는 노드(==z)의 successor(==y) 가 바로 오른쪽 자식인 경우
//(x는 nil_node 이면 안된다.)
if (x!=T->nil && y->parent == z)
x->parent = y;
//그렇지 않은 경우
else
{
RB_transplant(T, y, y->right);
y->right = z->right; //z자리로 y를 채우기 위해, y의 오른쪽 자식을 z의 오른쪽 자식을 가리키게 한다.
y->right->parent = y; //바뀐 y의 오른쪽 자식의 부모를 y를 가리키게 한다.(아직 z를 가리키고 있으므로)
}
//지금까지 과정으로 삭제할 노드의 오른쪽 자식트리를 이용하여 z자리를 채워 줬고, 새로 채운 노드와 삭제되는 노드의 왼쪽 자식트리를 이어주는 과정을 진행한다.
RB_transplant(T, z, y); //z 자리에 y를 채워주기 위해서 z의 부모와 z의 관계를 y와의 관계로 바꿔준다.
y->left = z->left; //y의 왼쪽 자식을 z의 왼쪽 자식으로 채운다.
y->left->parent = y; //y->left 가 nil_node 일 수는 없다. 앞의 if 조건문에서 처리가 되었기 때문이다. 따라서, y->left->parent 접근은 valid하다.
y->color = z->color; //색깔을 일치시킨다.
}
if (y_original_color == COLOR_BLACK) //if 조건문에 따라 y가 z노드를 가리킬 수도 있고, 새로 채워질 노드를 가리킬 수도 있다. 경우에 따른 y에 대하여 그 색깔을 나타낸다.
RB_delete_fixup(T, x);
free(z); //제거된 노드의 메모리 해제
}
template <class EXT_ID, class INT_ID, class COMPARE_KEYS, class ACE_LOCK> int
ACE_RB_Tree<EXT_ID, INT_ID, COMPARE_KEYS, ACE_LOCK>::remove_i (ACE_RB_Tree_Node<EXT_ID, INT_ID> *z)
{
ACE_TRACE ("ACE_RB_Tree<EXT_ID, INT_ID, COMPARE_KEYS, ACE_LOCK>::remove_i (ACE_RB_Tree_Node<EXT_ID, INT_ID> *z)");
// Delete the node and reorganize the tree to satisfy the Red-Black
// properties.
ACE_RB_Tree_Node<EXT_ID, INT_ID> *x;
ACE_RB_Tree_Node<EXT_ID, INT_ID> *y;
ACE_RB_Tree_Node<EXT_ID, INT_ID> *parent;
if (z->left () && z->right ())
y = RB_tree_successor (z);
else
y = z;
if (!y)
return -1;
if (y->left ())
x = y->left ();
else
x = y->right ();
parent = y->parent ();
if (x)
{
x->parent (parent);
}
if (parent)
{
if (y == parent->left ())
parent->left (x);
else
parent->right (x);
}
else
this->root_ = x;
if (y != z)
{
// Replace node z with node y, since y's pointer may well be
// held externally, and be linked with y's key and item.
// We will end up deleting the old unlinked, node z.
ACE_RB_Tree_Node<EXT_ID, INT_ID> *zParent = z->parent ();
ACE_RB_Tree_Node<EXT_ID, INT_ID> *zLeftChild = z->left ();
ACE_RB_Tree_Node<EXT_ID, INT_ID> *zRightChild = z->right ();
if (zParent)
{
if (z == zParent->left ())
{
zParent->left (y);
}
else
{
zParent->right (y);
}
}
else
{
this->root_ = y;
}
y->parent (zParent);
if (zLeftChild)
{
zLeftChild->parent (y);
}
y->left (zLeftChild);
if (zRightChild)
{
zRightChild->parent (y);
}
y->right (zRightChild);
if (parent == z)
{
parent = y;
}
ACE_RB_Tree_Node_Base::RB_Tree_Node_Color yColor = y->color ();
y->color (z->color ());
z->color (yColor);
//Reassign the y pointer to z because the node that y points to will be
//deleted
y = z;
}
// CLR pp. 263 says that nil nodes are implicitly colored BLACK
if (!y || y->color () == ACE_RB_Tree_Node_Base::BLACK)
RB_delete_fixup (x, parent);
y->parent (0);
y->right (0);
y->left (0);
ACE_DES_FREE_TEMPLATE2 (y,
this->allocator_->free,
ACE_RB_Tree_Node,
EXT_ID, INT_ID);
--this->current_size_;
return 0;
}
template <class EXT_ID, class INT_ID, class COMPARE_KEYS, class ACE_LOCK> int
ACE_RB_Tree<EXT_ID, INT_ID, COMPARE_KEYS, ACE_LOCK>::remove_i (ACE_RB_Tree_Node<EXT_ID, INT_ID> *z)
{
ACE_TRACE ("ACE_RB_Tree<EXT_ID, INT_ID, COMPARE_KEYS, ACE_LOCK>::remove_i (ACE_RB_Tree_Node<EXT_ID, INT_ID> *z)");
// Delete the node and reorganize the tree to satisfy the Red-Black
// properties.
ACE_RB_Tree_Node<EXT_ID, INT_ID> *x;
ACE_RB_Tree_Node<EXT_ID, INT_ID> *y;
ACE_RB_Tree_Node<EXT_ID, INT_ID> *parent;
if (z->left () && z->right ())
y = RB_tree_successor (z);
else
y = z;
if (!y)
return -1;
if (y->left ())
x = y->left ();
else
x = y->right ();
parent = y->parent ();
if (x)
{
x->parent (parent);
}
if (parent)
{
if (y == parent->left ())
parent->left (x);
else
parent->right (x);
}
else
this->root_ = x;
if (y != z)
{
// Copy the elements of y into z.
z->key () = y->key ();
z->item () = y->item ();
}
// CLR pp. 263 says that nil nodes are implicitly colored BLACK
if (!y || y->color () == ACE_RB_Tree_Node_Base::BLACK)
RB_delete_fixup (x, parent);
y->parent (0);
y->right (0);
y->left (0);
ACE_DES_FREE_TEMPLATE2 (y,
this->allocator_->free,
ACE_RB_Tree_Node,
EXT_ID, INT_ID);
--this->current_size_;
return 0;
}
