Изменения

'''for''' i = 0 '''to''' leaf.key_num '''if''' key <tex>\in</tex> == leaf.key[i] '''return false''' pos = 0

Вставляем '''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 в листе

new_node = new_Node() <span style="color:#008000"> //Создаем новый узел </span> new_node.right = node.right Перенаправляем node.right и .left указатели, вставляя его между node и = new_node node.right= new_node new_node.left = node

'''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]

Перемещаем new_node.key_num значений и соответствующих им указателей в new_node

Перемещаем в '''for''' i = new_node оставшийся при разбиении элемент mid_key .key_num - 1 '''downto''' 1 new_node.key[i] = node.key[i - 1] new_node.pointers[i] = node.pointers[i - 1] new_node.key[0] = node.key[t] new_node.pointers[0] = node.pointers[0]

Создаем новый корень T.root= new_Node()

Вставляем в '''for''' i = parent на позицию .key_num '''downto''' pos ключ + 1 parent.key[i] = parent.key[i - 1] '''for''' i = parent.key_num + 1 '''downto''' pos + 2 parent.child[i] = parent.child[i - 1] parent.key[pos] = mid_key и направляем ссылку из него на parent.child[pos + 1] = new_node

'''if''' parent.key_num == 2 * t <span style="color:#008000"> // Если требуется, продолжаем разбиение узла</span>

'''while''' pos < leaf.key_num '''and''' leaf.key[pos] < key ++pos '''if''' pos == leaf.key_num '''or''' leaf.key [pos] <tex>\notinneq</tex> leafkey '''return false'''

delete_in_node(leaf, key) <span style="color:#008000"> // Удалить ключ из вершины</span>

'''if''' pos == tec.key_num '''or''' tec.key [pos] <tex>\notinneq</tex> teckey '''return''' Удаляем '''for''' i = pos '''to''' tec.key_num - 1 tec.key[i] = tec.key из [i + 1] tec.pointers[i] = tec.pointer[i + 1] '''for''' i = pos + 1 '''to''' tec.key_num tec.child[i] = tec.child[i + 1]

Перемещаем максимальный из '''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>

Перемещаем минимальный из 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)

Сливаем left_sibling.right = tec и left_sibling .right Перенаправляем tec.right и .left указатели= left_sibling Обновляем ключи на пути к корню'''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] update(left_sibling) delete_in_node(left_sibling.parent, min_key(tec)) <span style="color:#008000"> // Удаляем разделительный ключ в отце</span>

Сливаем right_sibling.right.left = tec tec.right = right_sibling.right '''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 Перенаправляем right и left указателиtec.child[tec.key_num + 1] = right_sibling.child[right_sibling.key_num] Обновляем ключи на пути к корнюupdate(tec)

'''if''' T.root.key_num == 1 <span style="color:#008000"> // Если у корня 1 ребенок понижаем высоту дерева</span>