Minh họa

Một phần của tài liệu NÂNG CAO HIỆU QUẢ CỦA CÁC THUẬT TOÁN KHAI THÁC LUẬT KẾT HỢP DỰA TRÊN DÀN (đầy đủ) (Trang 118 - 120)

Để minh họa quá trình xây dựng FCIL, xét các tập phổ biến đóng từ bảng 2.5

BUILD_LATTICE( )

1. SORT_ITEMSET (FCI) // Sắp xếp FCI tăng theo chiều dài

2. Lr =  // Khởi tạo nút gốc dàn

3. for each YFCI do

4. RESET_LATTICE(Lr) // gán isTraverse thành false

5. INSERT_LATTICE(Y, Lr) // Chèn Y vào dàn hiện hành

INSERT_LATTICE(Y, l)

6. if l.isTraverse = false then 7. l. isTraverse = true 8. flag = true

9. for each {X} l.Children do 10. if XY then

11. flag = false

12. INSERT_LATTICE(Y, {X}) 13. if flag = true then

Bảng 4.1. Các FCI với minSupCount = 3 FCI C CD CT CW ACW CDW ACTW

 6 4 4 5 4 3 3

Theo thuật toán xây dựng d n tr n hình 4.1, việc xây dựng FCIL từ các tập đóng của bảng 4.1 đƣợc minh họa trong hình 4.2.

Hình 4.2 – Quá trình xây dựng FCIL từ các FCI của bảng 4.1

Đầu ti n, nút gốc d n đƣợc khởi tạo rỗng ( hay {}). Sau đó tập đóng C đƣợc xử lý đầu ti n. Nó đƣợc chèn trực tiếp th nh nút con của {} (hình 4.2.a). Kế tiếp, tập đóng CD đƣợc xử lý. Do nút gốc có một nút con l {C} v C  CD, thuật toán sẽ gọi đệ qui để chèn {CD} v o d n với nút gốc l {C}. {CD} sau đó đƣợc kết nối trực tiếp với {C} (hình 4.2.b) bởi vì {C} không có nút con. Quá trình đƣợc xử lý tƣơng tự đối với các nút {CT}, {CW}, {ACW} và {CDW} (hình 4.2.c đến 4.2.f). Khi tập đóng cuối cùng ACTW đƣợc chèn v o d n (hình 4.2.f), nút con {C} của nút gốc đƣợc xem xét v thuật toán sẽ tiếp tục đƣợc gọi đệ qui để chèn {ACTW} vào d n con với nút gốc l {C}. Ba nút con của {C} l {CD}, {CT} và {CW} sau đó

đƣợc kiểm tra. Do CD  ACTW, nhánh n y kết thúc. Nhánh {CT} sau đó đƣợc kiểm tra. Do CT  ACTW và nút {CT} không có nút con, {ACTW} đƣợc kết nối với {CT}. Cuối cùng, nhánh {CW} đƣợc xem xét. Nó có hai nút con là {CDW} và {ACW}. Theo thuật toán, {ACTW} chỉ nối với {ACW}.

Một phần của tài liệu NÂNG CAO HIỆU QUẢ CỦA CÁC THUẬT TOÁN KHAI THÁC LUẬT KẾT HỢP DỰA TRÊN DÀN (đầy đủ) (Trang 118 - 120)