Cây 2-3-4

Trong khoa học máy tính, cây 2-3-4 là cây nhiều nhánh mà mỗi nút của nó có thể có đến bốn nút con và ba mục dữ liệu. 
Cây 2-3-4 là cây cân bằng giống như cây đỏ-đen, tuy nhiên ít hiệu quả hơn nhưng ngược lại dễ lập trình hơn.

Các số 2, 3, 4 trong cụm từ 2-3-4 có ý nghĩa là khả năng có 2-3 hoặc 4 liên kết đến các nút con có thể có được trong một nút cho trước. 

Với mọi nút lá thì không có nút con, nhưng có thể chứa 1, 2 hoặc 3 mục dữ liệu, không có nút rỗng. Một cây 2-3-4 có thể có đến bốn cây con, nên được gọi là "cây nhiều nhánh bậc 4".

Trong cây 2-3-4 mỗi nút có ít nhất là hai liên kết, trừ nút lá ("nút không có nút con").

==Tổ chức==
===Các khóa trong một nút===
Trong một nút lá hoặc nút trong có thể có 2-3-4 khóa đại diện cho mục dữ liệu. Các khóa trong mỗi nút được sắp xếp theo thứ tự tăng dần. Tất nhiên các nút lá không có con. 

Còn với các nút không phải là lá, trong từng trường hợp có số nút con như sau:
- Một nút chứa một khóa luôn luôn có đúng 2 nút con. Nó được gọi là 2-nút.
- Một nút chứa hai khóa luôn luôn có đúng 3 nút con. Nó được gọi là 3-nút.
- Một nút chứa ba mục khóa luôn luôn có đúng 4 nút con. Nó được gọi là 4-nút.

Như vậy, một nút không phải là lá phải luôn luôn có số nút con nhiều hơn 1, so với số khóa của nó. Nói cách khác, đối với mọi nút trong có số con là "l" và số khóa là "d", thì: "l" = "d"+ 1.

===Các khóa nằm trong các nút khác nhau===
Một đặc tính quan trọng của cấu trúc cây tìm kiếm nhị phân là mối liên hệ giữa các liên kết với giá trị khoá của cây con bên trái, có khoá nhỏ hơn khoá của nút đang xét và tất cả nút của cây con bên phải, có khoá lớn hơn hoặc bằng khoá của nút đang xét. 

Trong cây 2-3-4 thì một cấu trúc tương tự như trên, thể hiện trong các tính chất sau:
1. Tất cả các nút con của cây con thứ 1 của nút cha có các khoá nhỏ hơn khoá thứ nhất của nút cha.
2. Tất cả các nút con của cây con thứ 2 của nút cha có các khoá lớn hơn khoá thứ nhất và nhỏ hơn khóa thứ hai của nút cha (nếu nút cha có khóa thứ hai).
3. Tất cả các nút con của cây con thứ 3 (nếu có) của nút cha có các khoá lớn hơn khoá thứ hai và nhỏ hơn khóa thứ ba của nút cha (nếu nút cha khóa có khóa thứ ba).
4. Tất cả các nút con của cây con thứ 4 (nếu có) của nút cha có các khoá lớn hơn khoá thứ ba của nút cha.

Trong cây 2-3-4, tất cả các lá đều nằm trên cùng một mức. Các nút ở mức trên thường không đầy đủ, nghĩa là chúng có thể chứa chỉ 1 hoặc 2 khóa thay vì 3 khóa.

Lưu ý rằng: cây 2-3-4 là cây cân bằng. Nó vẫn giữ được sự cân bằng ngay ca khi ta chèn các phần tử theo thứ tự "tăng dần hoặc giảm dần".

===Khóa tiền nhiệm và khóa kế vị===
Cũng như trong cây tìm kiếm nhị phân, trong cây 2-3-4 khóa tiền nhiệm của một khóa k là khóa lớn nhất trong các khóa nhỏ hơn k, khóa kế vị là khóa nhỏ nhất trong các khóa lớn hơn k. 
Theo cấu trúc của cây 2-3-4, để tìm "khóa tiền nhiệm" và "khóa kế vị" của khóa "k" trước hết tìm nút u chứa khóa "k". 

Nếu u là nút trong, giả sử "k" là khóa thứ "m" của u, khi đó khóa tiền nhiệm là khóa cuối cùng của nút cực phải trong cây thứ m của nút u, còn khóa kế vị là khóa đầu tiên trong nút cực trái của cây con thứ m+1 của nút u. 
Nếu khóa k nằm trong nút lá u, việc tìm khóa tiền nhiệm và kế vị có khó khăn hơn, tuy nhiên, trong các ứng dụng của cây 2-3-4 không cần đến trường hợp này.

Trong hình trên đây, khóa tiền nhiệm của khóa 24 là khóa 22, còn khóa kế vị của khóa 24 là khóa 26.

==Các phép biến đổi không làm thay đổi tính chất của cây 2-3-4==
===Dịch chuyển khóa ===
Phép biến đổi này chuyển một khóa từ một 3-nút hoặc 4-nút sang một nút anh em kề nó có ít hơn 3 khóa. 
Giả sử A là con thứ k của nút cha và A có 1 khóa là a , B là nút thứ k+1 của nút cha và B có 3 khóa b < b< b . Khóa thứ k của nút cha là c. Khi đó ta có a< c < b < b 3</sub> .
Phép dịch chuyển sẽ chuyển khóa c từ nút cha xuống cuối nút A và chuyển khóa đầu tiên b của nút B lên thay cho c. Như vậy trong phép dịch chuyển này số khóa của nút cha không thay đổ, số khóa của nút A tăng thêm một và số khóa của nút B giảm một. Để số khóa của A và B nằm trong phạm vi từ 1 đến 3, điều kiện để thực hiện phép chuyển khóa là số khóa của nút A nhỏ hơn 3 và số khóa của nút B lớn hơn 1.

Nếu nút anh em liền kề với nút u chỉ có một nút có thể tăng số khóa của u từ một nút anh em không liền kề có nhiều hơn một khóa bằng 2 hoặc 3 phép dịch chuyển liên tiếp.

=== Tách một nút ===
- Phép biến đổi này tách một nút thành hai nút, nghĩa là thêm một nút anh em với nó. Như vậy số con của nút cha tăng thêm một, do đó số khóa của nút cha cũng tăng lên một. Khóa tăng thêm này được lấy từ chính nút con sẽ được tách ra. Do đó để có thể tách một nút, nút đó phải có đúng 3 khóa k1 < k2 < k3 (nó là 4-nút). Khi tách, chỉ khóa k1 được giữ lại nút ban đầu (nút này trở thành 2-nút), k3 được gán cho nút mới tạo thêm (là 3-nút), còn k2 được thêm vào nút cha. Như vậy nút ban đầu và nút mới tạo ra là anh em liền kề. Nếu nút cha đã là 4-nút thì trước khi thêm k2 vào nó cần tách chính nút cha này.

- Trong trường hợp nút cần tách là nút gốc, vì nút gốc không có cha nên ngoài việc tách ra còn phải thêm một nút mới làm cha của nút ban đầu và nút mới tách ra.

=== Gộp hai nút ===
Phép gộp hai nút anh em liền kề thành một nút. Khi đó số con của nút cha giảm đi một, do đó cả số khóa của nút cha cũng giảm một. Khóa này được đưa cả vào nút mới gộp. Do đó chỉ có thể gộp hai anh em liền kề thành một nút khi cả hai là các 2-nút, nghĩa là mỗi nút chỉ có đúng một khóa, đồng thời cha của chúng phải có nhiều hơn một khóa. Sau khi gộp, nút ban đầu trở thành 4-nút, còn nút anh em được giải phóng.

==Tìm một khóa trên cây 2-3-4==
Để tìm một khóa k trên cây 2-3-4, trước hết ta tìm nó trong dãy khóa của nút gốc. Tại mỗi nút, nếu tìm thấy một khóa của nút bằng k thì trả về true và dừng quá trình tìm kiếm. Nếu không tìm thấy và nút đó là lá thì trả về false , còn nếu nút đó là nút trong và k nằm giữa khóa thứ m và m+1 thì tiếp tục tìm kiếm trong con thứ k của nút đó. 

== Chèn một khóa mới vào cây ==
Để chèn một khóa vào một cây 2-3-4 , trước hết tìm giá trị đó trong cây, nếu không thấy thì chèn khóa đó vào nút lá gặp tại cuối quá trình tìm kiếm. Nếu nút này có ít hơn 3 khóa thì việc thêm khóa đó vào nút đơn giản là việc sắp xếp nó cùng với các khóa đã có theo thứ tự tăng. Nếu nút là muốn chèn thêm là 4-nút thì trước khi chèn ta tách nút đó ra. Điều phức tạp xảy ra khi nút cha của nút định tách cũng là 4-nút. Khi đó trước khi tách nút này phải tách nút cha của nó.

==Xóa một khóa khỏi cây 2-3-4==
Nếu phép chèn một khóa vào một nút phải giải quyết trường hợp tràn với nút đầy đẫn tới thao tác tách, nghĩa là thêm một nút, thì phép xóa phải giải quyết trường hợp cạn đối với 2-nút, khi đó việc giải phóng khóa đó dẫn tới một nút rỗng, nghĩa là phải giải phóng nút này.
Phép xóa một khóa k khỏi cây 2-3-4 đòi hỏi những phân tích phức tạp hơn. Trước hết tìm nút chứa nó. Các trường hợp sau có thể xảy ra:

===Trường hợp 1===
Khóa k nằm trong nút lá u và u có nhiều hơn một khóa: giải phóng khóa k khỏi u .
===Trường hợp 2===
Khóa k nằm trong nút lá u và u chỉ có một khóa và tồn tại nút anh em v của u có nhiều hơn một khóa thì bằng phép dịch chuyển dần có thể dịch chuyển một khóa của v đến u khiến u trở thành 3-nút và quay về trường hợp 1.

===Trường hợp 3===
Khóa k nằm trong nút lá u và u chỉ có một khóa và tất cả các nút anh em của u chỉ có một khóa thì bằng phép gộp u với nút anh em kề nó sẽ khiến u trở thành 3-nút và quay về trường hợp 1.
===Trường hợp 4===
Khóa k nằm trong nút trong u: Khi đó tìm khóa tiền nhiệm hoặc khóa kế vị của k (khóa này luôn nằm trong nút lá). Thay k bởi khóa đó, và giải phóng khóa đó tkhỏi nút chứa nó (quay về trường hợp 1). Tuy việc dùng khóa tiền nhiệm hay kế vị đều được, nhưng nên chọn khóa nào trong chúng nằm trong nút có hai khóa trở lên, nếu cả hai đều nằm trong các 2-nút thì chọn khóa nào cũng được.

==Giả mã==
Trong phần này ta sử dụng một số ký hiệu sau:
1. Nếu u là một nút thì u.keys chỉ số khóa chứa trong u, khi đó số con của nó là u.keys+1, giá trị của các khóa được chứa trong mảng u.key[1..3];
2. Các nút con của nút u được trỏ đến bởi mảng con trỏ u.child[1..4];
3. Cha của nút u được trỏ bởi biến con trỏ u.parent, nếu u là nút gốc thì u.parent = Null, nếu u là con thứ m của nút cha thì m được lưu trữ bởi biến u.order=m;
4. Biến u.leaf = true / false tùy theo u là lá hay nút trong.
===Phép dịch chuyển===
Procedure Trans_keys(u,bleft)

=== Phép tách nút ===
Procedure SplitNode(u);

=== Gộp nút===
Procedure Fusion(u) ; 

=== Tăng số khóa cho 2-nút ===
Khi xóa một khóa trong hai nút, trước hết phải dùng phép chuyển khóa hoặc phép dồn nút để tăng số khóa của nút này. Nếu tìm được một khóa anh em có nhiều hơn một khóa có thể dùng phép dịch chuyển, nếu không có có thể dùng một phép gộp nút.
====Tìm nút anh em có nhiều hơn một khóa====
Procedure FindSubling(u);

Nếu hàm trả về 0 thì tất cả các nút anh em đều là 2-nút

====Tăng số khóa cho 2-nút====
Procedure TwoNodeAddKey(u);
=== Tìm kiếm một khóa trong cây ===
====Tìm một khóa trong một nút====
Giả sử u có n khóa. Đặt thêm các phần tử khóa hai đầu u.key(0) =  ∞ và u.key(n+1)= +∞. Khi tìm khóa k trong nút u có thể hoặc k = u.key(j) với 1 ≤ j ≤ n hoặc k thuộc một trong u.keys+1 khoảng (u.key(j),u.key(j+1)) , j=0..,n. Trong trường hợp thứ nhất hàm trả về chỉ số khóa tìm thấy j, trong trường hợp sau hàm trả về chỉ số của cận sau trong khoảng nó tìm thấy với dấu âm.
Procedure NodeSearchKey(u, k);
====Tìm một khóa trong cây====
Procedure TreeSearchKey(k; var v);
====Tìm khóa tiền vị và khóa kế vị của một khóa====
Nút chứa khóa tiền vị của khóa thứ m trong nút u

Procedure Predecessor(u,m);

Nút chứa khóa thế vị của khóa thứ m trong nút u

Procedure Successor(u,m)

=== Chèn một khóa vào cây 2-3-4===
Để chèn khóa k vào cây 2-3-4 ta sử dụng thủ tục đệ quy sau với nút gốc.

Procedure NodeInsert(u,k);

=== Xóa khóa khỏi cây 2-3-4===
====Xóa một khóa trong nút lá====
Procedure LeafDelete(u, k);

====Xóa một khóa trong cây gốc ở đỉnh u ====
Procedure NodeDelete(u, k);
Nguồn:
- Ford, William and William Topp. Data Structures with C++ Using STL, Second Edition. Upper Saddle River, New Jersey: Prentice Hall, 2002. ISBN: 0-13-085850-1. Pages 683-290 of section 12.6: 2-3-4 Trees
- More info on 2-3-4 Tree

==Xem thêm==
- Cây tìm kiếm nhị phân
- Cây AVL
- Cây đỏ đen