Tổng quan về luận án

Trong kỷ nguyên của trí tuệ nhân tạo và học máy hiện đại, bài toán phân loại mẫu có giám sát (supervised pattern classification) đóng vai trò then chốt trong việc xây dựng các hệ thống nhận diện thông minh, từ xử lý hình ảnh, tiếng nói, chữ viết đến chẩn đoán y khoa tự động. Nền tảng kinh điển của lĩnh vực này được dẫn dắt bởi thuật toán Máy véc-tơ hỗ trợ (Support Vector Machine - SVM), vốn nổi bật nhờ việc đưa bài toán tối ưu về dạng quy hoạch toàn phương lồi (Convex Quadratic Programming - QP) với nghiệm toàn cục duy nhất. Tuy nhiên, trước các tập dữ liệu thế giới thực có cấu trúc đa cụm phức tạp (multi-cluster complex topology), phân phối phi đồng nhất và mất cân bằng nghiêm trọng giữa các lớp, mô hình một siêu phẳng truyền thống cũng như các biến thể hai siêu phẳng song song hoặc không song song đối mặt với rào cản lớn về độ chính xác và chi phí tính toán.

Công trình luận án tiến sĩ ngành Khoa học máy tính (Mã số: 9.01) của tác giả Nguyễn Thế Cường, dưới sự hướng dẫn khoa học của PGS. Huỳnh Thế Phùng tại Trường Đại học Khoa học - Đại học Huế (2023), mang tiêu đề "Nâng cao hiệu năng phân lớp dữ liệu trên cơ sở cải tiến thuật toán SVM" đã tạo nên bước tiến đột phá. Bằng cách định hình lại hoàn toàn chiến lược phân tách không gian qua hai mô hình tiếp cận tiên phong: chiến lược Lớp-đối-cụm (Class-vs-Cluster) và chiến lược Cụm-đối-lớp (Cluster-vs-Class), luận án giải quyết trọn vẹn điểm nghẽn của các biến thể SVM trước đó.

Khoảng trống nghiên cứu (Research Gap) xuất phát từ thực tế: các mô hình SVM xấp xỉ (PSVM), SVM thông qua trị riêng suy rộng (GEPSVM), SVM song sinh (TSVM), SVM song sinh dùng bình phương tối thiểu (LSTSVM) và SVM song sinh có cấu trúc (S-TSVM) chưa khai thác triệt để mối quan hệ giữa thông tin cấu trúc nội tại của từng cụm dữ liệu (covariance matrix) và mật độ số lượng điểm dữ liệu giữa các cụm. Khi dữ liệu chứa nhiều cụm dị biến, các thuật toán này có xu hướng bỏ qua độ chi tiết cấu trúc (structural granularity), dẫn đến suy giảm độ chính xác và tiêu tốn tài nguyên khi giải các ma trận dày đặc kích thước lớn.

Hệ thống câu hỏi nghiên cứu và giả thuyết khoa học được xác lập chặt chẽ:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để mô hình hóa đồng thời cấu trúc phân tán hình học của từng cụm dữ liệu và giải quyết hiện tượng mất cân bằng số lượng mẫu giữa các cụm trong bài toán phân loại nhị phân?
  • Câu hỏi nghiên cứu 2 (RQ2): Có thể chuyển đổi bài toán quy hoạch toàn phương kép sang hệ phương trình tuyến tính (Systems of Linear Equations - SLEs) trong không gian đa cụm để tối ưu hóa thời gian huấn luyện mà không làm suy giảm biên phân lớp?
  • Giả thuyết 1 (H1): Việc tích hợp ma trận hiệp phương sai của từng cụm kết hợp trọng số phạt theo kích thước mẫu sẽ định hướng siêu phẳng phân tách chạy dọc theo phân phối tự nhiên của cụm dữ liệu, nâng cao đáng kể độ chính xác phân lớp.
  • Giả thuyết 2 (H2): Chiến lược phân rã bài toán QP lớn thành tập hợp $(l+k)$ hoặc $(k+l)$ bài toán con hoặc hệ phương trình tuyến tính dựa trên công thức Sherman-Morrison-Woodbury (SMW) sẽ giảm độ phức tạp tính toán từ $O(m^3)$ xuống $O(m^3/4)$ hoặc nhanh hơn gấp nhiều lần.

Khung lý thuyết của công trình được kiến tạo dựa trên Lý thuyết học thống kê (Statistical Learning Theory), Tối ưu hóa lồi, Hệ điều kiện Karush-Kuhn-Tucker (KKT), Đối ngẫu Lagrange, Phân cụm liên kết phân cấp Ward (Ward's Hierarchical Agglomerative Clustering) và Phép biến đổi Kernel trong không gian Hilbert. Phạm vi thực nghiệm bao quát các tập dữ liệu giả lập 2 chiều mô phỏng hình học không gian và hàng loạt bộ dữ liệu chuẩn quốc tế từ kho lưu trữ UCI Machine Learning Repository (bao gồm cả tập dữ liệu nhỏ và tập dữ liệu quy mô lớn), kiểm chứng qua phương pháp đánh giá chéo (Cross-Validation - CV).

Literature Review và Positioning

Lịch sử phát triển của các thuật toán phân lớp dựa trên biên cực đại bắt đầu từ công trình nền tảng của Vapnik & Cortes (1995), thiết lập mô hình SVM với một siêu phẳng phân tách tối ưu hóa biên mềm thông qua việc giải bài toán quy hoạch toàn phương (QP). Nhằm vượt qua rào cản tính toán $O(m^3)$ của ma trận ràng buộc dày đặc, Mangasarian và các cộng sự (2001) đã đề xuất Proximal SVM (PSVM), thay thế ràng buộc bất đẳng thức bằng ràng buộc đẳng thức để tìm hai siêu phẳng song song thông qua việc giải hệ phương trình tuyến tính. Tiếp đó, Mangasarian & Wild (2006) phát triển GEPSVM, giải bài toán tìm trị riêng suy rộng qua thương số Rayleigh (Rayleigh quotient) để xác định hai siêu phẳng không nhất thiết song song.

Bước đột phá tiếp theo thuộc về Jayadeva, Khemchandani & Chandra (2007) với mô hình Twin SVM (TSVM). TSVM xác định hai siêu phẳng không song song bằng cách giải hai bài toán QP kích thước nhỏ hơn (mỗi bài toán có số ràng buộc tương ứng với số điểm của một lớp, $m_A$ hoặc $m_B$), giúp tăng tốc độ huấn luyện xấp xỉ 4 lần so với SVM tiêu chuẩn. Để đẩy nhanh hơn nữa tốc độ thực thi, Kumar & Gopal (2009) giới thiệu Least Squares Twin SVM (LSTSVM), chuyển đổi bài toán QP của TSVM thành việc giải hai hệ phương trình tuyến tính (SLEs) thông qua nghịch đảo ma trận cấp $(n+1)$. Nhằm đưa thông tin cấu trúc cụm vào TSVM, Qi et al. (2013) đề xuất Structural Twin SVM (S-TSVM), đưa ma trận hiệp phương sai tổng $\Sigma_+ = \sum \Sigma_i^+$ vào hàm mục tiêu để định hướng siêu phẳng theo trục phân tán của các lớp.

Trong dòng chảy học thuật quốc tế, tồn tại hai luồng quan điểm đối lập sâu sắc:

  1. Trường phái Biên đơn toàn cục (Global Single Hyperplane): Tập trung duy trì nguyên lý cực tiểu hóa rủi ro cấu trúc (Structural Risk Minimization) với một siêu phẳng duy nhất để kiểm soát năng lực tổng quát hóa (generalization bound), nhưng chấp nhận sự bế tắc khi xử lý các cụm dữ liệu phân tán phức tạp và không đồng nhất.
  2. Trường phái Đa siêu phẳng cục bộ/song sinh (Proximal / Non-parallel Multi-hyperplane): Cho rằng việc áp đặt một siêu phẳng duy nhất hoặc xem toàn bộ một lớp là một khối thống nhất là phi thực tế; cần xây dựng các siêu phẳng cục bộ áp sát từng cấu trúc dữ liệu để đạt độ khớp hình học tối đa.

Luận án của NCS. Nguyễn Thế Cường định vị chính xác khoảng trống học thuật chưa từng được giải quyết: S-TSVM dù đã đưa ma trận hiệp phương sai vào mô hình nhưng lại gộp chung toàn bộ ma trận hiệp phương sai của các cụm thành một ma trận tổng, làm triệt tiêu các đặc trưng phân phối dị biệt giữa các cụm riêng lẻ, đồng thời hoàn toàn bỏ qua tương quan về số lượng phần tử giữa các cụm. Khi đặt cạnh các nghiên cứu quốc tế tiêu biểu như TS-WRSVM (2021) hay Weighted SVM của các nhóm tác giả quốc tế, luận án vượt lên nhờ đề xuất hệ thống 3 thuật toán cải tiến có cấu trúc toán học hoàn chỉnh: WS-SVM (Weighted Structural SVM), ILS-SVM (Improvement Least Square SVM) và WLS-SVM (Weighted Least Square SVM), thiết lập cơ chế phân tách đa siêu phẳng kết hợp trọng số kích thước mẫu và ma trận hiệp phương sai cục bộ.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án tạo ra sự mở rộng bản chất đối với Lý thuyết Học máy Thống kê và Tối ưu hóa Ràng buộc:

  1. Mở rộng lý thuyết tối ưu hóa biên có cấu trúc (Structural Margin Optimization): Thay vì tối ưu hóa khoảng cách hình học đơn thuần tới các điểm dữ liệu cá lẻ, luận án tích hợp trực tiếp ten-xơ hiệp phương sai cục bộ $\Sigma_{Ai} = \frac{1}{m_{Ai}}\sum_{x_j \in A_i}(x_j - \mu_{Ai})(x_j - \mu_{Ai})^T$ vào bài toán đối ngẫu Lagrange, chứng minh tính xác định dương của ma trận nghịch đảo hệ thống và bảo toàn nghiệm toàn cục.
  2. Thiết lập nguyên lý phân bổ trọng số phạt theo tỷ lệ mật độ cụm: Luận án chứng minh rằng trong dữ liệu mất cân bằng nghiêm trọng, hệ số phạt cố định $c$ gây ra hiện tượng thiên lệch biên phân lớp về phía lớp đa số. Bằng việc đưa các trọng số phân bổ theo kích thước cụm $m_{Ai}, m_{Bj}$, mô hình triệt tiêu hoàn toàn sai số phân lớp có hệ thống.
  3. Chuyển dịch mô hình (Paradigm Shift) từ Đơn/Song siêu phẳng sang Đa siêu phẳng liên kết cấu trúc: Chuyển hóa tư duy phân loại hai lớp nhị phân truyền thống thành bài toán tối ưu tổ hợp giữa $k$ cụm của lớp dương ${+}$ và $l$ cụm của lớp âm ${-}$, mở ra không gian phân tách gồm $(l+k)$ siêu phẳng (chiến lược Lớp-đối-cụm) hoặc $(k+l)$ siêu phẳng (chiến lược Cụm-đối-lớp).

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp chặt chẽ 3 trụ cột lý thuyết toán - tin học:

  • Lý thuyết Quy hoạch toàn phương lồi & Hệ KKT: Đảm bảo mọi bài toán tối ưu nguyên thủy (primal problems) đều được ánh xạ chính xác sang bài toán đối ngẫu (dual problems) có cấu trúc ma trận thưa, giải quyết thông qua các điều kiện dừng tối ưu bậc một.
  • Lý thuyết Phân cụm liên kết phân cấp Ward (Ward's Linkage): Trích xuất độ chi tiết cấu trúc (Structural Granularity) không phụ thuộc vào giả định hình cầu như $k$-means, cho phép thu nhận chính xác tâm cụm $\mu_{Ai}, \mu_{Bj}$ và ma trận hiệp phương sai nội cụm $\Sigma_{Ai}, \Sigma_{Bj}$.
  • Đại số tuyến tính số trị & Bổ đề Sherman-Morrison-Woodbury (SMW): Giảm số chiều tính toán ma trận nghịch đảo từ cấp mẫu dữ liệu $m$ xuống cấp số chiều đặc trưng $(n+1)$, triệt tiêu nút thắt cổ chai về bộ nhớ khi huấn luyện các tập dữ liệu quy mô lớn.

Điều kiện biên (boundary conditions) được xác lập nghiêm ngặt: Thuật toán bảo toàn tính hội tụ khi và chỉ khi các ma trận hiệp phương sai $\Sigma_{Ai}, \Sigma_{Bj}$ là nửa xác định dương và hệ số điều hòa $\mu, \epsilon > 0$ bảo đảm tính khả nghịch của các ma trận khối $(H^T H + \mu I + \lambda F)$.

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

Thiết kế nghiên cứu

Nghiên cứu vận hành theo thế giới quan thực chứng (positivism) kết hợp suy diễn toán học hình thức và thực nghiệm định lượng chính xác. Thiết kế đa tầng (multi-level research architecture) được triển khai qua 3 cấp độ:

  • Cấp độ 1 (Cấu trúc hình học cục bộ): Khảo sát vi mô tại từng cụm $A_i \subset \mathbb{R}^{m_{Ai} \times n}$ và $B_j \subset \mathbb{R}^{m_{Bj} \times n}$ để xác định độ phân tán không gian qua ma trận hiệp phương sai.
  • Cấp độ 2 (Tối ưu hóa siêu phẳng thành phần): Thiết lập hàm mục tiêu kết hợp chuẩn Euclid $\frac{1}{2}|w|^2$, số hạng phạt lề vi phạm $c e^T \xi$, số hạng chính quy hóa $\frac{1}{2}\mu(|w|^2 + b^2)$ và số hạng định hướng phân tán $\frac{1}{2}\lambda w^T \Sigma w$.
  • Cấp độ 3 (Hệ thống quyết định tổng thể): Tích hợp quy tắc gán nhãn dựa trên khoảng cách cực tiểu từ mẫu thử mới $x$ tới hệ thống siêu phẳng tương ứng của từng lớp.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ tiêu chuẩn nghiêm ngặt gồm 4 pha đồng bộ:

  1. Tiền xử lý và phân cụm dữ liệu: Chuẩn hóa dữ liệu về không gian thống nhất; áp dụng thuật toán Ward để phân rã lớp $A$ thành $k$ cụm $(A_1, A_2, \dots, A_k)$ và lớp $B$ thành $l$ cụm $(B_1, B_2, \dots, B_l)$.
  2. Thiết lập và phân tích toán học:
    • Với WS-SVM: Thiết lập bài toán đối ngẫu quy hoạch toàn phương, chứng minh hệ điều kiện KKT và tìm nghiệm giải tích cho véc-tơ pháp tuyến $w$ và hệ số dịch chuyển $b$.
    • Với ILS-SVM & WLS-SVM: Đưa vào các biến phụ bình phương tối thiểu $\frac{1}{2}c \xi^T \xi$, chuyển đổi bài toán ràng buộc bất đẳng thức thành các hệ phương trình tuyến tính (SLEs).
  3. Mở rộng phi tuyến tính: Thiết lập không gian Hilbert vô hạn chiều thông qua ánh xạ $\Phi(x)$, xây dựng ma trận Kernel $K(A, C^T)$ và $K(B, C^T)$, chứng minh công thức rút gọn ma trận trung bình cụm $M_{Ai}, M_{Bj}$ phục vụ tính toán ma trận $F_+$ và $F_-$.
  4. Kiểm chuẩn và thẩm định độ tin cậy: Sử dụng kỹ thuật $k$-fold cross-validation để tinh chỉnh siêu tham số $(c, \mu, \lambda, \sigma)$ nhằm loại bỏ hoàn toàn hiện tượng quá khớp (overfitting).

Data và phân tích

Phần thực nghiệm của công trình sử dụng các hệ thống dữ liệu đa dạng:

  • Dữ liệu nhân tạo 2 chiều (Synthetic 2D datasets): Được thiết kế đặc thù với các kịch bản phân phối phức tạp (dữ liệu hình chữ thập, cụm lồng ghép phi tuyến, cụm elip có mật độ lệch nhau) nhằm trực quan hóa mặt quyết định của các siêu phẳng.
  • Dữ liệu chuẩn quốc tế UCI Machine Learning Repository: Bao gồm cả các bộ dữ liệu quy mô nhỏ và quy mô lớn với số chiều đặc trưng dao động từ vài thuộc tính đến hàng trăm thuộc tính, đại diện cho các miền bài toán y sinh, nhận dạng tín hiệu, tài chính và phân loại văn bản.
  • Công cụ thực thi: Toàn bộ thuật toán được lập trình nguyên bản bằng ngôn ngữ Python, ứng dụng các thư viện tính toán ma trận hiệu năng cao (NumPy, SciPy, Scikit-learn), công bố mã nguồn mở minh bạch trên GitHub.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Hiệu năng vượt trội của chiến lược Lớp-đối-cụm (WS-SVM và ILS-SVM): Như luận án đã khẳng định trong trích dẫn gốc: "Đối với nhiều ứng dụng, phương pháp SVM, độc lập hoặc kết hợp với những phương pháp khác, mang lại hiệu suất vượt trội so với các lựa chọn học máy khác." Thực nghiệm trên các tập dữ liệu UCI chỉ ra rằng việc tìm $(l+k)$ siêu phẳng trong WS-SVM và ILS-SVM giúp nâng cao độ chính xác phân loại từ 3% đến 8% so với SVM truyền thống và TSVM trên các tập dữ liệu có cấu trúc phân tán đa cực.
  2. Khắc phục triệt để điểm nghẽn của dữ liệu đa cụm phức tạp: Luận án chỉ rõ căn nguyên hạn chế của các phương pháp cũ: "Trong trường hợp dữ liệu có cấu trúc phức tạp, nơi mà mỗi lớp chứa nhiều cụm, mỗi cụm có xu hướng phân phối riêng biệt thì SVM và các biến thể chưa khai thác đầy đủ thông tin về cấu trúc của từng cụm, thông tin về số lượng điểm dữ liệu trong mỗi cụm." Bằng cách áp dụng ma trận hiệp phương sai cục bộ $\Sigma_{Ai}$, các siêu phẳng trong WS-SVM và WLS-SVM tự động điều chỉnh độ nghiêng chạy dọc theo hướng phân tán chính của từng cụm, loại bỏ hiện tượng cắt ngang cụm gây sai số.
  3. Đột phá về tốc độ huấn luyện của thuật toán bình phương tối thiểu (ILS-SVM & WLS-SVM): Việc thay thế các bài toán QP đối ngẫu bằng việc giải hệ phương trình tuyến tính (SLEs) kết hợp công thức nghịch đảo ma trận Sherman-Morrison-Woodbury giúp ILS-SVM và WLS-SVM đạt tốc độ huấn luyện nhanh hơn TSVM từ 5 đến 15 lần và nhanh hơn SVM tiêu chuẩn hàng chục lần trên các tập dữ liệu lớn của UCI.
  4. Khả năng thích ứng xuất sắc với dữ liệu mất cân bằng nghiêm trọng: Bằng chứng thực nghiệm xác thực nhận định then chốt của tác giả: mô hình mới hoàn toàn "giải quyết được các bài toán phân lớp với dữ liệu có cấu trúc phức tạp, hay dữ liệu không cân bằng (một lớp chiếm đa số dữ liệu khoảng 90%, một lớp chiếm thiểu số dữ liệu khoảng 10%)." Trọng số phạt tỷ lệ nghịch với quy mô cụm đã giúp bảo toàn độ nhạy (sensitivity/recall) cho lớp thiểu số mà không làm tổn hại đến độ đặc hiệu (specificity) toàn cục.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp cơ sở toán học vững chắc cho trường phái phân lớp đa siêu phẳng có cấu trúc, chứng minh rằng việc kết hợp thông tin hiệp phương sai nội cụm vào hàm mục tiêu QP/SLEs là một phương thức chính quy hóa hình học tự nhiên đầy hiệu quả.
  • Về mặt phương pháp luận: Mở ra quy trình 2 giai đoạn chuẩn mực (Two-stage hybrid framework): Phân cụm cấu trúc phân cấp (Hierarchical Structural Clustering) $\rightarrow$ Tối ưu hóa phân loại có trọng số (Weighted Classification Optimization).
  • Về mặt ứng dụng thực tiễn: Tạo ra giải pháp trực tiếp cho bài toán phân loại bệnh lý trong y tế (như ví dụ phân loại bệnh nhân sốt xuất huyết dựa trên véc-tơ triệu chứng $x \in \mathbb{R}^9$ nêu trong luận án), nhận dạng giọng nói, sắc thái biểu cảm và phân tích hình ảnh độ phân giải cao trên các thiết bị nhúng và hệ thống thông minh.
  • Về mặt chính sách và triển khai: Cung cấp thuật toán học máy có khả năng giải thích hình học cao (geometric interpretability), đáp ứng các yêu cầu khắt khe về độ minh bạch thuật toán trong các hệ thống hỗ trợ ra quyết định lâm sàng và tài chính công.

Limitations và Future Research

Mặc dù đạt được những đột phá vượt bậc, công trình nghiên cứu thẳng thắn thừa nhận các giới hạn nội tại:

  1. Phụ thuộc vào thuật toán phân cụm giai đoạn đầu: Hiệu năng của toàn bộ hệ thống chịu ảnh hưởng trực tiếp từ kết quả phân cụm của thuật toán Ward. Nếu dữ liệu có độ nhiễu cực cao hoặc số cụm $k, l$ được thiết lập chưa tối ưu, ma trận hiệp phương sai ước lượng có thể bị lệch.
  2. Chi phí tính toán khi số lượng cụm tăng cao: Trong chiến lược Lớp-đối-cụm và Cụm-đối-lớp, việc phải huấn luyện $(l+k)$ hoặc $(k+l)$ siêu phẳng sẽ làm gia tăng tổng thời gian tính toán tuyến tính theo số cụm khi $k$ và $l$ rất lớn.
  3. Giới hạn không gian bộ nhớ khi tính ma trận Kernel quy mô siêu lớn: Mặc dù đã áp dụng công thức SMW, việc tính toán ma trận Kernel $K(C, C^T)$ trên các tập dữ liệu hàng triệu mẫu vẫn đòi hỏi tài nguyên tính toán đáng kể.

Chương trình nghiên cứu tiếp nối trong tương lai tập trung vào 4 định hướng:

  • Nghiên cứu cơ chế tự động xác định số lượng cụm tối ưu $k$ và $l$ tích hợp trực tiếp bên trong quá trình tối ưu hóa biên thay vì tách rời thành 2 pha độc lập.
  • Mở rộng các thuật toán WS-SVM, ILS-SVM và WLS-SVM từ bài toán phân loại nhị phân sang bài toán phân loại đa lớp (multi-class classification) trực tiếp mà không cần phân rã One-vs-All hay One-vs-One.
  • Tích hợp kỹ thuật biểu diễn học sâu (Deep Representation Learning) để tự động trích chọn không gian đặc trưng phi tuyến trước khi đưa vào mô hình tối ưu hóa biên có cấu trúc.
  • Phát triển phiên bản tính toán song song phân tán (Distributed Parallel Computing) trên nền tảng GPU/TPU cho thuật toán WLS-SVM nhằm xử lý dữ liệu lớn theo thời gian thực.

Tác động và ảnh hưởng

  • Tác động học thuật sâu rộng: Kết quả luận án đã được công bố trong 05 công trình khoa học uy tín, bao gồm kỷ yếu hội thảo quốc tế, chuyên san hội thảo quốc gia và các tạp chí chuyên ngành như Tạp chí Khoa học và Công nghệ (ĐH Huế), Tạp chí Kỹ thuật và Công nghệ (ĐH Huế), và Tạp chí Tin học và Điều khiển. Luận án tạo tiền đề cho hàng loạt trích dẫn và hướng nghiên cứu mở rộng trong cộng đồng tối ưu hóa và học máy tại Việt Nam cũng như quốc tế.
  • Chuyển đổi công nghệ và công nghiệp: Cung cấp lõi thuật toán phân loại hiệu năng cao cho các doanh nghiệp công nghệ phát triển giải pháp thị giác máy tính, nhận diện sinh trắc học và xử lý ngôn ngữ/âm thanh trên thiết bị IoT với tài nguyên tính toán giới hạn.
  • Ý nghĩa đào tạo và xã hội: Đóng vai trò là tài liệu tham khảo học thuật chuẩn mực, có chiều sâu toán học cho các nghiên cứu sinh tiến sĩ, học viên cao học và sinh viên ngành Khoa học máy tính, Công nghệ thông tin và Toán ứng dụng.

Đối tượng hưởng lợi

  • Nghiên cứu sinh & Nhà nghiên cứu sau tiến sĩ: Tiếp cận một khung lý thuyết hoàn chỉnh kết hợp giữa tối ưu hóa lồi, giải tích ma trận và học máy cấu trúc; khai thác các hướng nghiên cứu mở về tối ưu hóa biên đa cụm.
  • Giảng viên và chuyên gia học thuật: Sử dụng làm giáo trình chuyên đề nâng cao về Machine Learning Foundations, Support Vector Machines và Numerical Optimization.
  • Kỹ sư R&D và Khoa học dữ liệu: Ứng dụng trực tiếp mã nguồn mở các thuật toán WS-SVM, ILS-SVM, WLS-SVM để xử lý các tập dữ liệu công nghiệp phức tạp, phân tán đa cụm và mất cân bằng mẫu nghiêm trọng.
  • Chuyên gia phân tích y sinh và hệ thống thông minh: Khai thác năng lực chẩn đoán chính xác cao của mô hình trên các dữ liệu bệnh án lâm sàng phức tạp.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập nguyên lý kết hợp đồng thời ma trận hiệp phương sai nội cụm $\Sigma_{Ai}, \Sigma_{Bj}$ và trọng số tỷ lệ kích thước mẫu vào hàm mục tiêu tối ưu hóa của SVM. Công trình đã mở rộng trực tiếp Lý thuyết Học máy Thống kê của Vapnik và lý thuyết SVM song sinh (TSVM/S-TSVM) của Jayadeva và Qi, khắc phục triệt để nhược điểm triệt tiêu thông tin phân tán cục bộ khi gộp chung ma trận hiệp phương sai ở các mô hình trước.

2. Sự đổi mới về mặt phương pháp luận so với các nghiên cứu quốc tế tiền nhiệm?

So với TSVM (Jayadeva, 2007) giải hai bài toán QP đơn thuần và S-TSVM (Qi, 2013) dùng chung một siêu phẳng tổng hợp cho cả lớp, luận án đổi mới toàn diện bằng cách đề xuất chiến lược phân rã bài toán:

  • Chiến lược Lớp-đối-cụm thiết lập $(l+k)$ bài toán tối ưu con, mỗi bài toán gắn chặt một lớp với một cụm đối nghịch.
  • Chiến lược Cụm-đối-lớp đưa vào mô hình bình phương tối thiểu (WLS-SVM), biến đổi toàn bộ bài toán tối ưu lồi thành việc giải hệ phương trình tuyến tính (SLEs) qua công thức SMW, giúp giảm độ phức tạp tính toán vượt bậc mà vẫn duy trì tính chất bám sát phân phối cụm.

3. Phát hiện thực nghiệm nào gây bất ngờ và có ý nghĩa lớn nhất?

Phát hiện ấn tượng nhất là khả năng duy trì độ chính xác vượt trội của WLS-SVM và ILS-SVM ngay cả khi độ mất cân bằng giữa hai lớp lên tới 90% - 10%. Trong khi các thuật toán SVM truyền thống bị "kéo lệch" biên phân loại hoàn toàn về phía lớp chiếm 90% dữ liệu, các siêu phẳng của WLS-SVM vẫn duy trì khoảng cách tối ưu và bao bọc chính xác cụm thiểu số 10% nhờ số hạng điều chỉnh trọng số kích thước cụm $m_{Ai}$.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) minh bạch không?

Hoàn toàn minh bạch và chi tiết. Tác giả cung cấp toàn bộ công thức toán học tường minh từ bài toán gốc, hàm Lagrange, điều kiện KKT đến nghiệm giải tích $z_+ = [w_+^T, b_+]^T$ và $z_- = [w_-^T, b_-]^T$. Hơn thế nữa, mã nguồn Python được đóng gói và lưu trữ công khai trên kho GitHub kèm theo các tập dữ liệu thực nghiệm giả lập và dữ liệu mở UCI, cho phép cộng đồng khoa học tái lập và kiểm chứng độc lập 100% kết quả.

5. Chương trình nghị sự nghiên cứu 10 năm tới được phác thảo ra sao?

Luận án định hình lộ trình nghiên cứu dài hạn bao gồm: (1) Tự động hóa hoàn toàn pha trích xuất cụm vi mô thông qua lý thuyết tập mờ và tập thô (Fuzzy & Rough Sets); (2) Tích hợp cấu trúc đa siêu phẳng vào các mạng nơ-ron sâu (Deep SVM Layers); (3) Mở rộng lý thuyết sang học tăng cường (Reinforcement Learning) và phân loại dữ liệu chuỗi thời gian phân tán lớn.

Kết luận

  1. Luận án đã giải quyết căn bản và toàn diện bài toán phân loại nhị phân trên các tập dữ liệu có cấu trúc đa cụm phức tạp, phân phối dị biến và mất cân bằng số lượng mẫu nghiêm trọng.
  2. Đề xuất thành công 03 thuật toán mới mang tính đột phá về toán học và thuật toán: WS-SVM (SVM có cấu trúc có trọng số), ILS-SVM (Cải tiến SVM dùng bình phương tối thiểu) và WLS-SVM (SVM dùng bình phương tối thiểu có trọng số).
  3. Tiên phong thiết lập hai chiến lược phân tách không gian: Lớp-đối-cụm (Class-vs-Cluster) tìm $(l+k)$ siêu phẳng và Cụm-đối-lớp (Cluster-vs-Class) tìm $(k+l)$ siêu phẳng, mở rộng biên giới lý thuyết của dòng thuật toán SVM.
  4. Đột phá về mặt kỹ thuật tính toán khi chuyển đổi bài toán quy hoạch toàn phương phức tạp thành các hệ phương trình tuyến tính (SLEs) giải bằng công thức Sherman-Morrison-Woodbury, tối ưu hóa triệt để thời gian huấn luyện trên dữ liệu lớn.
  5. Kiểm chứng thực nghiệm toàn diện trên các tập dữ liệu 2D giả lập và tập dữ liệu chuẩn UCI, công bố 05 công trình khoa học trên các tạp chí và kỷ yếu hội thảo uy tín, minh chứng cho giá trị khoa học và thực tiễn lâu dài của công trình.