2016-04-24 140 views
0

所以我有一個二進制搜索樹在C中的代碼工作正常。但是,當我添加BST刪除代碼時,我的程序將在刪除期間崩潰。AVL樹刪除導致程序崩潰

它給了我一個錯誤,說訪問衝突讀取位置0x00000000。

我認爲這是關於傳遞NULL指針或什麼的。也許我在某個地方讀過,或者那可能完全錯了,我很傻。

無論如何,這裏是我的AVL刪除代碼。如果你能幫助我讓我的程序工作並幫助我理解我做錯了什麼,我會非常感激。我還會包括我的函數來尋找最小節點,因爲我覺得它可能是罪魁禍首。

AVL min_node(AVL self) 
{ 
    /* A AVL node to keep track of the current node. */ 
    AVL current = self; 


    /* This loop finds the minimum node, by traversing the tree until the leftmost node is discovered. */ 
    while (!empty_tree(current)) 
    { 
     current = current->left; 
    } 

    /* Returns the tree. */ 
    return current; 
} 



AVL delete(AVL self, long id) 
{ 

    if (self != NULL) 
    { 
     if (id == self->student_id) 
     { 
      if (self->left != NULL) 
      { 
       AVL successor = min_node(self->right); 
       self->student_id = successor->student_id; 
       self->right = delete(self->right, self->student_id); 
      } 
      else 
      { 
       AVL to_free = self; 
       if (self->left) 
       { 
        self = self->left; 
       } 
       else 
       { 
        self = self->right; 
       } 
       free(to_free); 
      } 
     } 
     else if (id < self->student_id) 
     { 
      self->left = delete(self->left, id); 
     } 
     else 
     { 
      self->right = delete(self->right, id); 
     } 
    } 

    /*NEW SHIT*/ 
    int balance = getBalance(self); 

    //Left Left Case 
    if (balance > 1 && getBalance(self->left) >= 0) 
    { 
     return rotateRight(self); 
    } 
    //Left Right Case 
    if (balance > 1 && getBalance(self->left) < 0) 
    { 
     self->left = leftRotate(self->left); 
     return rotateRight(self); 
    } 
    //Right Right Case 
    if (balance < -1 && getBalance(self->right) <= 0) 
    { 
     return leftRotate(self); 
    } 
    //Right Left Case 
    if (balance < -1 && getBalance(self->right) > 0) 
    { 
     self->right = rotateRight(self->right); 
     return leftRotate(self); 
    } 

    return self; 
} 

UPDATE:所以它似乎是對兩行刪除功能一個崩潰:

self->student_id = successor->student_id; 

OR

AVL successor = min_node(self->right); 

編輯2:根據要求,我包括我的整個avl.c文件。

#include <stdlib.h> 
#include <stdbool.h> 
#include "avl.h" 

bool names_match(char* name_one, char* name_two) 
{ 
    if (strcmp(name_one, name_two) == 0) 
    { 
     return true; 
    } 
    else 
    { 
     return false; 
    } 
} 

bool empty_tree(AVL self) 
{ 
    if (self == NULL) 
    { 
     return true; 
    } 
    else 
    { 
     return false; 
    } 
} 


AVL leftRotate(AVL self) 
{ 
    AVL y = self->right; 
    AVL T2 = y->left; 

    y->left = self; 
    self->right = T2; 

    return y; 
} 

AVL rotateRight(AVL self) 
{ 
    AVL x = self->left; 
    AVL T2 = x->right; 

    x->right = self; 
    self->left = T2; 

    return x; 
} 

int getBalance(AVL node) 
{ 
    if (node == NULL) 
    { 
     return 0; 
    } 
    return height(node->left) - height(node->right); 
} 


AVL insert(AVL self, long id) 
{ 
    if (self == NULL) 
    { 
     self = (AVL)malloc(sizeof(struct avlNode)); 
     self->student_id = id; 
     self->left = self->right = NULL; 
    } 
    else if (id < self->student_id) 
    { 
     self->left = insert(self->left, id); 
    } 
    else if (id > self->student_id) 
    { 
     self->right = insert(self->right, id); 
    } 


    /*NEW SHIT*/ 
    int balance = getBalance(self); 

    //Left Left Case 
    if (balance > 1 && id < self->left->student_id) 
    { 
     return rotateRight(self); 
    } 
    //Right Right Case 
    if (balance < -1 && id > self->right->student_id) 
    { 
     return leftRotate(self); 
    } 
    //Left Right Case 
    if (balance > 1 && id > self->left->student_id) 
    { 
     self->left = leftRotate(self->left); 
     return rotateRight(self); 
    } 
    //Right Left Case 
    if (balance < -1 && id < self->right->student_id) 
    { 
     self->right = rotateRight(self->right); 
     return leftRotate(self); 
    } 

    //Return unchanged pointer (i dunno why. could probably be void) 
    return self; 
} 

/* === AVL MINIMUM NODE === 
Finds the minimum node in a AVL. 
*/ 
AVL min_node(AVL self) 
{ 
    /* A AVL node to keep track of the current node. */ 
    AVL current = self; 

    /* This loop finds the minimum node, by traversing the tree until the leftmost node is discovered. */ 
    while (!empty_tree(current->left)) 
    { 
     current = current->left; 
    } 

    /* Returns the tree. */ 
    return current; 
} 



AVL delete(AVL self, long id) 
{ 
    if (self != NULL) 
    { 
     if (id == self->student_id) 
     { 
      if (self->left != NULL) 
      { 
       AVL successor = min_node(self->right); 
       self->student_id = successor->student_id; 
       self->right = delete(self->right, self->student_id); 
      } 
      else 
      { 
       AVL to_free = self; 
       if (self->left) 
       { 
        self = self->left; 
       } 
       else 
       { 
        self = self->right; 
       } 
       free(to_free); 
      } 
     } 
     else if (id < self->student_id) 
     { 
      self->left = delete(self->left, id); 
     } 
     else 
     { 
      self->right = delete(self->right, id); 
     } 
    } 

    /*NEW SHIT*/ 
    if (self == NULL) 
    { 
     return self; //ADDED TODAY 
    } 

    int balance = getBalance(self); 

    //Left Left Case 
    if (balance > 1 && getBalance(self->left) >= 0) 
    { 
     return rotateRight(self); 
    } 
    //Left Right Case 
    if (balance > 1 && getBalance(self->left) < 0) 
    { 
     self->left = leftRotate(self->left); 
     return rotateRight(self); 
    } 
    //Right Right Case 
    if (balance < -1 && getBalance(self->right) <= 0) 
    { 
     return leftRotate(self); 
    } 
    //Right Left Case 
    if (balance < -1 && getBalance(self->right) > 0) 
    { 
     self->right = rotateRight(self->right); 
     return leftRotate(self); 
    } 

    return self; 
} 

/* === AVL NODE COUNT === 
Counts the number of nodes in the AVL. 
*/ 
int number_of_nodes(AVL self) 
{ 
    /* If the tree is empty, return a count of 0 nodes. */ 
    if (empty_tree(self)) 
    { 
     return(0); 
    } 
    /* If the tree is not empty, but its left and right nodes are, return a count of 1 node. */ 
    else if (empty_tree(self->left) && empty_tree(self->right)) 
    { 
     return(1); 
    } 

    /* If the tree is not empty, and its left and right nodes are also not empty, run this function recursively in the left and right nodes. */ 
    else 
    { 
     return(1 + (number_of_nodes(self->left) + number_of_nodes(self->right))); 
    } 

} 

/* === AVL HEIGHT === 
Returns the total height of a AVL. 
*/ 
int height(AVL self) 
{ 
    /* If the tree is empty, return a count of 0 nodes. */ 
    if (empty_tree(self)) 
    { 
     return 0; 
    } 
    /* If the tree is not empty, run this fucntion recursively on the left and right branches, returning the max of the two. */ 
    else 
    { 
     return 1 + max(height(self->left), height(self->right)); 
    } 
} 



/* === PRINT AVL === 
Prints a AVL in pre-order. 
*/ 
void print_pre_order(AVL self) 
{ 

    /* If the tree isn't empty, print the node's ID and then run this function recursively on the left and then the right nodes, 
    to print pre order. */ 
    if (!empty_tree(self)) 
    { 
     printf("%d", self->student_id); 
     printf("\n"); 
     print_pre_order(self->left); 
     print_pre_order(self->right); 

    } 
} 

/* === SEARCH AVL === 
Searches a AVL for a particular node. 
*/ 
bool searchTree(AVL self, long id) 
{ 
    if (!empty_tree(self)) 
    { 
     /* If the node's ID matches the input ID, return true. */ 
     if (self->student_id == id) 
     { 
      return true; 
     } 

     /* If the node's ID doesn't match the input ID, run this function recurseively on the appropriate node. */ 
     else 
     { 
      if (self->student_id > id) 
      { 
       return searchTree(self->left, id); 
      } 
      else if (self->student_id < id) 
      { 
       return searchTree(self->right, id); 
      } 
     } 
    } 
    return false; 
} 

void destroy_tree(AVL self) 
{ 
    /* If the tree is not empty, free each node in the tree by running this function recursively on the left and right branches. */ 
    if (!empty_tree(self)) 
    { 
     destroy_tree(self->left); 
     destroy_tree(self->right); 
     free(self); 
    } 
} 

編輯3:有趣的發展。正在使用的AVL樹實際上是在一個鏈表中,每個節點都包含一個AVL樹。現在我已經意識到(通過大量測試)AVL樹上的節點可以被刪除,它的第一個已經被構建。非常有趣,更令人討厭。

+2

這是一個**完美**使用調試器的機會;) – Idos

+0

我使用調試器。這就是我知道我的程序在刪除時遇到問題以及最小節點功能的原因。 – user3414510

+0

那麼是什麼阻止你將問題縮小到特定的命令並查看會發生什麼? – Idos

回答

0

我認爲問題出在您傳遞給函數的'自適應'上。如果'自我'是一個指針,我認爲它是我認爲你應該通過'自我'的'地址',就像'&(自>右)',並且當前應該被賦予'& self'like'current = * self'。然後我認爲它可以工作。 我想我可以改正我說的話如果我提供的整個代碼,但我認爲你得到的主意

+0

嘗試了你的建議。不幸的是,沒有工作。令我感到不快的是,它和我的二進制搜索樹一起工作正常。我只是無法弄清楚爲什麼它與額外的AVL代碼崩潰。 – user3414510

+0

你能告訴我整個代碼嗎? – Vivek

+0

當然,我已將它添加到主帖子中。 – user3414510