Tổng quan nghiên cứu

Khai phá luật kết hợp là một trong những kỹ thuật nền tảng của lĩnh vực khai phá tri thức và xử lý dữ liệu lớn, được khởi xướng từ công trình của Rakesh Agrawal năm 1993. Trải qua hơn hai thập kỷ phát triển, kỹ thuật này đóng vai trò then chốt trong việc khám phá các mối liên hệ ẩn dạng điều kiện suy ra hệ quả giữa các tập thực thể trong cơ sở dữ liệu giao dịch quy mô lớn.

Tuy nhiên, các thuật toán truyền thống như Apriori tiếp cận bài toán dựa trên một ngưỡng hỗ trợ tối thiểu duy nhất trên toàn bộ cơ sở dữ liệu. Cách tiếp cận này bộc lộ hạn chế nghiêm trọng được gọi là vấn đề phần tử hiếm: nếu thiết lập ngưỡng hỗ trợ quá cao, các quy luật giá trị chứa các mặt hàng có tần suất thấp nhưng giá trị cao sẽ bị bỏ qua; ngược lại, nếu thiết lập ngưỡng hỗ trợ quá thấp nhằm tìm kiếm các phần tử hiếm, không gian tìm kiếm sẽ bùng nổ tổ hợp, làm tăng chi phí tính toán và sinh ra hàng triệu tập phổ biến vô nghĩa.

Luận văn thạc sĩ chuyên ngành Khoa học máy tính của tác giả Đặng Ngọc Vũ, hoàn thành vào tháng 12 năm 2017 dưới sự hướng dẫn của Phó giáo sư Tiến sĩ Quản Thành Thơ tại Trường Đại học Bách Khoa, Đại học Quốc gia Thành phố Hồ Chí Minh, đã giải quyết triệt để bài toán này. Nghiên cứu tập trung phát triển giải pháp khai phá luật kết hợp sử dụng đa ngưỡng hỗ trợ tối thiểu, đồng thời tích hợp mô hình xử lý song song trên kiến trúc vi xử lý đa nhân.

Nghiên cứu được kiểm nghiệm trên 3 tập dữ liệu tiêu chuẩn với quy mô lên tới 515,597 giao dịch. Kết quả thực nghiệm khẳng định việc song song hóa quy trình đếm độ hỗ trợ giúp rút ngắn thời gian thực thi xuống chỉ còn khoảng 24% đến 24.84% so với xử lý tuần tự, tương đương với tốc độ cải thiện hơn 75%, mở ra tiềm năng ứng dụng mạnh mẽ trong thương mại điện tử, y tế và tài chính.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu xây dựng trên nền tảng lý thuyết khai phá dữ liệu và kiến trúc tính toán song song hiện đại, bao gồm hai trục lý thuyết trọng tâm:

Mô hình đa ngưỡng hỗ trợ tối thiểu cho từng phần tử: Trong mô hình truyền thống, một ngưỡng hỗ trợ duy nhất áp dụng cho mọi phần tử. Nghiên cứu áp dụng khung lý thuyết gán ngưỡng hỗ trợ tối thiểu riêng biệt cho từng phần tử dữ liệu. Ngưỡng này được xác định thông qua hàm tuyến tính phụ thuộc vào tần suất xuất hiện thực tế và hệ số điều chỉnh Beta kết hợp với ngưỡng sàn cho phép. Khi đó, ngưỡng hỗ trợ của một tập phần tử bằng giá trị nhỏ nhất trong số các ngưỡng thành phần. Khung lý thuyết này phá vỡ tính chất đóng xuống truyền thống của giải thuật Apriori, đòi hỏi áp dụng nguyên lý sắp xếp thứ tự tăng dần theo ngưỡng hỗ trợ để đảm bảo tính bao đóng có thứ tự và không bỏ sót tập phổ biến tiềm năng.

Lý thuyết xử lý song song trên hệ thống đa lõi: Mô hình lập trình song song dữ liệu được triển khai dựa trên thư viện Task Parallel Library thuộc nền tảng phần mềm hiện đại. Phương pháp này phân chia không gian ứng viên khổng lồ thành các tác vụ thực thi đồng thời trên các luồng xử lý độc lập, tối ưu hóa triệt để tài nguyên tính toán của vi xử lý đa nhân và khắc phục nút thắt cổ chai về độ trễ trong các vòng lặp duyệt giao dịch.

Phương pháp nghiên cứu

Nguồn dữ liệu và mẫu thực nghiệm: Nghiên cứu sử dụng 3 bộ dữ liệu chuẩn quốc tế có đặc tính phân phối đa dạng:

  • Tập MUSHROOMS gồm 8,124 giao dịch, 119 phần tử, mật độ trung bình 23 phần tử trên mỗi giao dịch (đại diện cho dữ liệu dày, nhiều thuộc tính liên kết chặt chẽ).
  • Tập C20D10K gồm 10,000 giao dịch, 385 phần tử, trung bình 20 phần tử trên mỗi giao dịch (dữ liệu tổng hợp bán lẻ trung bình).
  • Tập BMS-POS gồm 515,597 giao dịch thương mại thực tế, 1,657 phần tử, mật độ trung bình 6.5 phần tử trên mỗi giao dịch (đại diện cho dữ liệu lớn, phân tán và độ thưa cao).

Phương pháp chọn mẫu và phân tích: Nghiên cứu áp dụng phương pháp thực nghiệm toàn phần trên toàn bộ không gian giao dịch của các bộ dữ liệu chuẩn mà không rút gọn ngẫu nhiên, nhằm đánh giá chính xác tính toàn vẹn của tập luật hiếm và khả năng chịu tải của hệ thống. Phương pháp phân tích được chia thành hai giai đoạn rõ rệt:

  • Giai đoạn 1: Tìm kiếm tất cả các tập phổ biến bằng thuật toán đa ngưỡng hỗ trợ cải tiến, kết hợp cấu trúc song song hóa vòng lặp đếm tần suất.
  • Giai đoạn 2: Sinh các luật kết hợp thỏa mãn ngưỡng độ tin cậy từ 85% đến 90%, đồng thời thiết lập cơ chế duyệt bổ sung dữ liệu đối với các tập con không phổ biến nhưng có thể tạo thành luật hợp lệ.

Lý do lựa chọn phương pháp: Việc kết hợp đa ngưỡng hỗ trợ với thư viện song song trên máy tính cấu hình Core i7 thế hệ mới, 16GB RAM cho phép đánh giá chính xác tác động của các siêu tham số trong môi trường thực tế, loại bỏ sự phụ thuộc vào các phần cứng chuyên dụng đắt đỏ. Toàn bộ chu kỳ nghiên cứu và thử nghiệm được hoàn thành trong vòng 7 tháng, từ tháng 7 năm 2017 đến tháng 12 năm 2017.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Nghiên cứu đã đưa ra các kết quả định lượng chi tiết qua hàng loạt kịch bản thử nghiệm, làm nổi bật 4 phát hiện cốt lõi:

Hiệu năng vượt trội của mô hình song song hóa: Trên cả 3 tập dữ liệu thực nghiệm, giải thuật đa ngưỡng song song luôn đạt tốc độ xử lý nhanh gấp 4 lần giải thuật tuần tự. Cụ thể, thời gian thực thi chỉ chiếm từ 24% đến 24.84% thời gian của giải thuật tuần tự tương ứng.

Tác động biên độ của tham số Beta: Khi giá trị Beta giảm dần từ 1.0 xuống 0.1, số lượng tập phổ biến và luật kết hợp sinh ra tăng trưởng theo hàm mũ. Với tập dữ liệu MUSHROOMS ở ngưỡng sàn 0.1 và độ tin cậy 90%, khi Beta giảm từ 1.0 xuống 0.1, số lượng luật kết hợp sinh ra bùng nổ từ 414,834 luật lên đến 150,036,314 luật.

Độ ổn định trên dữ liệu quy mô lớn: Đối với tập dữ liệu lớn BMS-POS với hơn 515,597 giao dịch, ở ngưỡng hỗ trợ 0.001, thuật toán đa ngưỡng tuần tự mất hơn 8,000 giây để hoàn thành, trong khi thuật toán song song hóa hoàn tất toàn bộ tiến trình trong khoảng 2,000 giây.

Khả năng cô lập phần tử hiếm: Thuật toán chứng minh khả năng giữ lại các luật kết hợp chứa phần tử có tần suất xuất hiện cực thấp nhưng mang độ tin cậy trên 90%, điều mà thuật toán đơn ngưỡng với cùng thời gian chạy hoàn toàn bỏ qua hoặc làm tràn bộ nhớ.

Thảo luận kết quả

Hiệu năng tính toán ấn tượng đạt mức tiệm cận lý thuyết (tăng tốc gấp khoảng 4.1 lần) được giải thích bởi việc tận dụng trọn vẹn 4 nhân vật lý và 8 luồng xử lý của vi xử lý máy trạm trong giai đoạn đếm độ hỗ trợ của tập ứng viên. Quá trình kiểm tra sự xuất hiện của các tập ứng viên trong từng giao dịch là một tác vụ độc lập về mặt dữ liệu, do đó phân chia tải song song triệt tiêu độ trễ nhàn rỗi của bộ xử lý.

So sánh với các nghiên cứu trước đây như thuật toán RSAA hay giải thuật CFP-Growth dựa trên cấu trúc cây MIS-Tree, hướng tiếp cận MSApriori song song trong luận văn có ưu thế vượt trội về tính đơn giản trong cài đặt và không đòi hỏi cấu trúc bộ nhớ phức tạp để duy trì cây tiền tố khi kích thước dữ liệu vượt quá 500,000 bản ghi.

Về phương thức trực quan hóa, toàn bộ dữ liệu thực nghiệm có thể được mô tả trực quan thông qua đồ thị đường biểu diễn mối quan hệ giữa tham số Beta và thời gian chạy, kết hợp với biểu đồ cột nhóm thể hiện sự chênh lệch thời gian giữa ba giải thuật: đơn ngưỡng, đa ngưỡng tuần tự và đa ngưỡng song song. Bảng tổng hợp đa chiều về số lượng luật sinh ra theo từng mức độ tin cậy cung cấp cái nhìn toàn diện cho các nhà phân tích dữ liệu nghiệp vụ.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu thực nghiệm vững chắc, 4 giải pháp cụ thể được đề xuất nhằm chuyển giao và ứng dụng công nghệ khai phá dữ liệu tiên tiến:

Mở rộng mô hình lên kiến trúc phân tán đám mây: Đội ngũ kỹ sư dữ liệu cần tiến hành nâng cấp thuật toán từ mô hình song song trên bộ nhớ chia sẻ sang môi trường điện toán phân tán như Apache Spark hoặc Hadoop trong vòng 6 đến 12 tháng tới, nhằm xử lý quy mô dữ liệu vượt ngưỡng 100,000,000 giao dịch với thời gian đáp ứng thời gian thực.

Tối ưu hóa cấu trúc biểu diễn dữ liệu bộ nhớ: Bộ phận nghiên cứu thuật toán nên áp dụng định dạng mảng bit hoặc cấu trúc cơ sở dữ liệu dọc để giảm từ 30% đến 40% chi phí đọc lặp lại cơ sở dữ liệu khi tính toán độ tin cậy cho các tập con không phổ biến trong vòng 3 tháng.

Tích hợp bộ lọc quy luật theo độ nâng và đòn bẩy: Các nhà phát triển hệ thống cần bổ sung các thước đo tương quan thống kê hiện đại như Lift và Leverage vào giai đoạn hậu xử lý, thiết lập ngưỡng lọc tối thiểu Lift lớn hơn 1.25 để loại bỏ các luật ngẫu nhiên, giúp doanh nghiệp tiết kiệm 50% thời gian phân tích thủ công.

Triển khai thử nghiệm trong hệ thống bán lẻ và chẩn đoán y khoa: Ban lãnh đạo các đơn vị bán lẻ và các bệnh viện nên phối hợp với nhóm chuyên gia công nghệ trong thời gian 3 đến 6 tháng để tích hợp mô hình phát hiện luật hiếm vào bài toán phân tích giỏ hàng và cảnh báo tương tác thuốc bất lợi.

Đối tượng nên tham khảo luận văn

Nhà khoa học dữ liệu và kỹ sư học máy: Nắm vững nguyên lý toán học và phương pháp cài đặt thuật toán khai phá mẫu tuần tự và song song, ứng dụng trực tiếp vào việc tối ưu hóa pipeline dữ liệu lớn với hơn 500,000 giao dịch.

Chuyên gia phân tích dữ liệu thương mại điện tử và bán lẻ: Sử dụng luận văn như tài liệu hướng dẫn chuyên sâu để cấu hình tham số Beta và ngưỡng hỗ trợ sàn, giúp nhận diện các mặt hàng kinh doanh ngách mang lại lợi nhuận biên cao nhưng tần suất mua thấp.

Nghiên cứu sinh, học viên cao học và sinh viên công nghệ thông tin: Tài liệu tham khảo học thuật chuẩn mực về phương pháp luận nghiên cứu, kỹ thuật thiết kế thực nghiệm so sánh đa chiều và kỹ năng lập trình song song nâng cao trên nền tảng vi xử lý đa nhân.

Chuyên gia tin học y sinh và giám sát y tế cộng đồng: Vận dụng phương pháp phát hiện các biến cố hiếm để tìm kiếm mối tương quan giữa các triệu chứng lâm sàng đặc thù và các phác đồ điều trị bệnh lý phức tạp với độ tin cậy từ 85% đến 90%.

Câu hỏi thường gặp

Vấn đề phần tử hiếm trong khai phá dữ liệu là gì và tại sao lại quan trọng? Vấn đề phần tử hiếm xuất hiện khi các mục dữ liệu có tần suất xuất hiện rất thấp nhưng mang giá trị tri thức vô cùng lớn. Nếu dùng một ngưỡng hỗ trợ chung, các quy luật này bị loại bỏ hoàn toàn. Việc áp dụng đa ngưỡng hỗ trợ cho phép khai thác triệt để các tri thức tiềm ẩn này.

Giải thuật MSApriori giải quyết việc mất tính chất đóng xuống như thế nào? Giải thuật MSApriori giải quyết vấn đề này bằng cách sắp xếp tất cả các phần tử trong cơ sở dữ liệu theo thứ tự tăng dần của ngưỡng hỗ trợ tương ứng. Cơ chế này hình thành tính chất bao đóng có thứ tự, đảm bảo quá trình sinh tập ứng viên không bỏ sót bất kỳ mẫu phổ biến nào.

Vai trò của tham số Beta trong việc xác định ngưỡng hỗ trợ là gì? Tham số Beta là trọng số điều chỉnh mức độ phụ thuộc của ngưỡng hỗ trợ vào tần suất xuất hiện thực tế của phần tử. Giá trị Beta nằm trong khoảng từ 0.1 đến 1.0. Khi Beta càng nhỏ, ngưỡng hỗ trợ càng giảm, cho phép phát hiện nhiều luật hiếm hơn nhưng cần nhiều tài nguyên tính toán hơn.

Mô hình xử lý song song mang lại bước tiến vượt bậc nào về mặt hiệu năng? Mô hình song song hóa phân chia không gian đếm độ hỗ trợ của các tập ứng viên cho nhiều luồng thực thi đồng thời. Trên hệ thống thử nghiệm 4 nhân, giải thuật song song giúp giảm thời gian chạy xuống còn 24% so với xử lý tuần tự, tương đương tốc độ tăng hơn 4 lần.

Tại sao giai đoạn sinh luật của mô hình đa ngưỡng cần duyệt lại cơ sở dữ liệu? Trong mô hình đa ngưỡng, một tập con của tập phổ biến có thể không đạt ngưỡng hỗ trợ riêng của nó nên không được lưu lại ở bước trước. Khi tính độ tin cậy của luật chứa tập con này ở vế trái, thuật toán bắt buộc phải duyệt lại dữ liệu để xác định chính xác tần suất xuất hiện.

Kết luận

  • Luận văn giải quyết thành công bài toán phần tử hiếm bằng việc áp dụng mô hình đa ngưỡng hỗ trợ tối thiểu kết hợp kỹ thuật song song hóa trên hệ thống đa nhân.
  • Tốc độ xử lý trong giai đoạn tìm tập phổ biến được cải thiện vượt bậc, rút ngắn thời gian thực thi xuống chỉ còn khoảng 24% so với thuật toán tuần tự truyền thống.
  • Khả năng kiểm soát không gian sinh luật linh hoạt thông qua tham số Beta, giúp phát hiện từ hàng trăm nghìn đến hơn 150 triệu luật kết hợp chuẩn xác.
  • Đóng góp giải pháp khoa học thực tiễn vững chắc, được kiểm chứng trên các tập dữ liệu tiêu chuẩn lên đến 515,597 giao dịch thương mại.
  • Lộ trình phát triển 6 đến 12 tháng tới tập trung mở rộng giải thuật lên nền tảng phân tán đám mây và tối ưu hóa bộ nhớ đệm.

Các tổ chức, doanh nghiệp và nhà nghiên cứu quan tâm đến việc tối ưu hóa hệ thống khai phá dữ liệu lớn hãy áp dụng ngay phương pháp đa ngưỡng hỗ trợ song song để khai mở những giá trị tri thức tiềm ẩn trong cơ sở dữ liệu của mình.