Изменения
→Разбиение узла: Исправлен баг с перемещением mid_key в new_node
leaf = find_key(T, key)
'''if''' key <tex>\in</tex> leaf
'''return false'''
<span style="color:#008000">// Ищем позицию для нового ключа </span>
pos = 0
'''while''' pos < leaf.key_num '''and''' leaf.key[pos] < key
++pos
<span style="color:#008000">// Вставляем ключ</span> '''for''' i = leaf.key_num '''downto''' pos + 1 leaf.key[i] = leaf.key[i - 1] leaf.pointers[i] = leaf.pointer[i - 1] leaf.key[pos] = key и leaf.pointers[pos] = value на позицию pos в листе
++leaf.key_num
'''void''' split(T: '''BPlusTree''', node: '''Node'''):
new_node = new_Node() <span style="color:#008000"> //Создаем новый узел new_node</span> <span style="color:#008000">// Перенаправляем right и left указатели, вставляя его между </span> new_node.right = node и .right node.right.left = new_node node.right= new_node new_node.left = node <span style="color:#008000">// Перемещаем t - 1 значений и соответствующих им указателей в new_node</span>
mid_key = node.key[t]
new_node.key_num = t - 1
node.key_num = t
'''for''' i = 0 '''to''' new_node.key_num - 1
new_node.key[i] = node.key[i + t + 1]
new_node.pointers[i] = node.pointers[i + t + 1]
new_node.child[i] = node.child[i + t + 1]
new_node.child[new_node.key_num] = node.child[2 * t]
'''if''' node.leaf
++new_node.key_num
new_node.leaf = '''true'''
<span style="color:#008000">// Перемещаем в new_node оставшийся при разбиении элемент mid_key </span> '''for''' i = new_node.key_num - 1 '''downto''' 1 new_node.key[i] = new_node.key[i - 1] new_node.pointers[i] = new_node.pointers[i - 1] new_node.key[0] = node.key[t] new_node.pointers[0] = node.pointers[t]
'''if''' node == T.root
T.root = new_Node() <span style="color:#008000"> // Создаем новый корень T.root</span>
T.root.key[0] = mid_key
T.root.child[0] = node
parent = node.parent
<span style="color:#008000">// Ищем позицию mid_key в отце </span>
pos = 0
'''while''' pos < parent.key_num '''and''' parent.key[pos] < mid_key
++pos
++parent.key_num
'''if''' parent.key_num == 2 * t <span style="color:#008000"> // Если требуется, продолжаем разбиение узла</span>
split(T, parent)
'''return false'''
'''else'''
delete_in_node(leaf, key) <span style="color:#008000"> // Удалить ключ из вершины</span>
'''return true'''
'''void''' delete_in_node(tec: '''Node''', key: '''int'''):
'''if''' key <tex>\notin</tex> tec
'''return'''
<span style="color:#008000">// Ищем позицию удаляемого ключа </span>
pos = 0
'''while''' pos < tec.key_num '''and''' tec.key[pos] < key
++pos
<span style="color:#008000">// Удаляем ключ</span> '''iffor''' i = pos '''to' '' tec.key_num - 1 tec.key <tex>\notin</tex> [i] = tec.key[i + 1] tec.pointers[i] = tec.pointer[i + 1] '''returnfor''' i = pos + 1 '''to''' tec.key_num Удаляем key из tec.child[i] = tec.child[i + 1]
--tec.key_num
--left_sibling.key_num
++tec.key_num
<span style="color:#008000">// Перемещаем максимальный из left_sibling ключ на первую позицию в tec</span> Обновляем '''for''' i = 1 '''to''' tec.key_num - 1 tec.key[i] = tec.key[i - 1] tec.pointers[i] = tec.pointer[i - 1] tec.child[i] = tec.child[i - 1] tec.child[tec.key_num] = tec.child[tec.key_num - 1] tec.key[0] = left_sibling.key[left_sibling.key_num] tec.pointers[0] = left_sibling.pointers[left_sibling.key_num] tec.child[0] = left_sibling.child [left_sibling.key_num + 1] update(tec) <span style="color:#008000"> // Обновить ключи на пути к корню</span>
'''else if''' right_sibling <tex>\neq</tex> null '''and''' right_sibling.key_num > t - 1
--right_sibling.key_num
++tec.key_num
<span style="color:#008000">// Перемещаем минимальный из right_sibling ключ на последнюю позицию в tec</span> tec.key[tec.key_num - 1] = right_sibling.key[0] tec.pointers[tec.key_num - 1] = right_sibling.child[0] Обновляем tec.child[tec.key_num - 1] = right_sibling.pointers[0] update(tec) <span style="color:#008000"> // Обновить ключи на пути к корню</span>
'''else'''
'''if''' left_sibling <tex>\neq</tex> null
<span style="color:#008000">// Сливаем tec и left_sibling </span> '''for''' i = 0 to tec.key_num - 1 left_sibling.key[left_sibling.key_num] = tec.key[i] left_sibling.pointers[left_sibling.key_num] = tec.pointers[i] left_sibling.child[left_sibling.key_num + 1] = tec.child[i] ++left_sibling.key_num left_sibling.child[left_sibling.key_num + 1] = tec.child[tec.key_num] <span style="color:#008000">// Перенаправляем right и left указатели</span> left_sibling.right = tec.right Обновляем tec.right.left = left_sibling update(left_sibling) <span style="color:#008000"> // Обновить ключи на пути к корню</span> delete_in_node(left_sibling.parent, min_key(tec)) <span style="color:#008000"> // Удаляем разделительный ключ в отце</span>
'''else'''
<span style="color:#008000">// Сливаем tec и right_sibling </span> '''for''' i = 0 to tec.key_num - 1 tec.key[tec.key_num] = right_sibling.key[i] tec.pointers[tec.key_num] = right_sibling.pointers[i] tec.child[tec.key_num + 1] = right_sibling.child[i] ++tec.key_num tec.child[tec.key_num + 1] = right_sibling.child[right_sibling.key_num] <span style="color:#008000">// Перенаправляем right и left указатели</span> Обновляем right_sibling.right.left = tec tec.right = right_sibling.right update(tec) <span style="color:#008000"> // Обновить ключи на пути к корню</span> delete_in_node(tec.parent, min_key(right_sibling)) <span style="color:#008000"> // Удаляем разделительный ключ в отце</span> '''if''' T.root.key_num == 1 <span style="color:#008000"> // Если у корня 1 ребенок понижаем высоту дерева</span>
T.root = T.root.child[0]
