Tổng quan nghiên cứu

Khai phá dữ liệu đồ thị và nhận dạng mẫu là trụ cột then chốt trong việc tự động hóa xử lý tài liệu kỹ thuật, đặc biệt khi số lượng bản vẽ kiến trúc và đồ họa kỹ thuật số hóa gia tăng với quy mô hàng triệu bản ghi mỗi năm. Nghiên cứu của học viên Nguyễn Quốc Toàn thực hiện tại Phòng thí nghiệm Tin học, Hình ảnh và Tương tác (L3i) thuộc Đại học La Rochelle (Pháp), trong khuôn khổ dự án ALPAGE, tập trung giải quyết bài toán định vị ký hiệu đồ họa (Symbol Spotting) trên các tài liệu địa chính và kiến trúc phức tạp từ thế kỷ 14 đến thế kỷ 19. Khác với nhận dạng ký hiệu truyền thống vốn đòi hỏi phân đoạn đối tượng trước, bài toán Symbol Spotting hướng tới việc khoanh vùng chính xác các khu vực quan tâm (Region of Interest - ROI) chứa ký hiệu mục tiêu mà không cần nhận dạng tường minh từng thành phần riêng lẻ.

Mục tiêu trọng tâm của luận văn là giải quyết rào cản thuật toán NP-đầy đủ (NP-complete) trong bài toán so khớp đồ thị (Graph Matching) và đẳng cấu đồ thị con (Subgraph Isomorphism). Tác giả đã đề xuất một quy trình toàn diện từ trích xuất cấu trúc hình ảnh, biểu diễn không gian dưới dạng đồ thị lân cận gán nhãn, đến việc phát triển phương pháp so khớp đồ thị dựa trên phân bổ đồ thị con độ dài l thông qua ma trận chi phí tối ưu. Nghiên cứu được thử nghiệm thực nghiệm trên 100 bản vẽ kiến trúc kỹ thuật số độ phân giải cao 6775 x 2858 pixels và bộ dữ liệu chuẩn 4337 cấu trúc phân tử sinh hóa. Kết quả ghi nhận bước đột phá với tỷ lệ nhận dạng phân lớp đạt 82,70% trên tập ký tự đồ họa và 73,34% trên cấu trúc phân tử, mở ra giải pháp tối ưu hóa thời gian tính toán từ hàm số mũ xuống bậc đa thức và tuyến tính trong xử lý tài liệu đồ họa quy mô lớn.

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

Khung lý thuyết áp dụng

Luận văn xây dựng trên nền tảng lý thuyết biểu diễn dữ liệu có cấu trúc bằng đồ thị gán nhãn (Attributed Relational Graphs - ARG). Về mặt toán học, một đồ thị gán nhãn được định nghĩa như một bộ 4 thành phần G = (V, E, µ, ξ), trong đó V là tập các đỉnh đại diện cho các thực thể hình học, E là tập các cung biểu diễn quan hệ không gian, µ là hàm gán nhãn cho đỉnh và ξ là hàm gán nhãn cho cung. Để đánh giá sự tương đồng giữa các cấu trúc, nghiên cứu kết hợp hai mô hình khoảng cách cốt lõi: Khoảng cách hiệu chỉnh đồ thị (Graph Edit Distance - GED) – đại diện cho chuỗi thao tác chèn, xóa, thay thế có chi phí cực tiểu để biến đổi đồ thị này thành đồ thị khác; và Khoảng cách dấu vết đồ thị (Graph Probing - GP) – một giả metric (pseudo-metric) khai thác vector đặc trưng cấu trúc cung bậc nhằm hạ thấp độ phức tạp thuật toán.

Mô hình lý thuyết không gian được củng cố bằng Đại số khoảng thời gian hai chiều của Allen (Bi-dimensional Allen Algebra). Tác giả đã thu hẹp không gian trạng thái xuống 5 quan hệ không gian cơ bản: rời nhau (disjoint), chồng lấp (overlaps), nằm trong (during), chứa (during inverse), và bằng nhau (equals). Các khái niệm then chốt khác bao gồm: Thành phần liên thông (Connected Components) trích xuất từ ảnh nhị phân; Hệ bất biến mô-men Hu (Hu Invariant Moments) từ bậc 2 đến bậc 3; và Bộ 4 chỉ số thống kê hình thái học (Shape Statistics) gồm độ nén (compactness), độ lồi (convexity), độ tròn (roundness) và độ thuôn dài (elongation).

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

Nghiên cứu sử dụng 3 nguồn dữ liệu thực nghiệm chuẩn hóa quốc tế với phương pháp chọn mẫu đa dạng:

  • Bộ dữ liệu ký tự đồ họa (Letter Database): Gồm 6750 đồ thị đại diện cho 15 ký tự La Mã cấu thành từ các đoạn thẳng, được chia thành 2250 mẫu học, 2250 mẫu kiểm định và 2250 mẫu kiểm tra với 3 cấp độ biến dạng cấu trúc (thấp, trung bình, cao).
  • Bộ dữ liệu đột biến phân tử (Mutagenicity Database): Gồm 4337 cấu trúc hóa học phân tử (2401 mẫu đột biến và 1936 mẫu không đột biến), chọn mẫu phân tầng với 1500 mẫu học, 500 mẫu kiểm định và 2337 mẫu kiểm tra độc lập.
  • Bộ dữ liệu mặt bằng kiến trúc (Floor Plan Database): Gồm 100 bản vẽ xây dựng nhị phân kích thước 6775 x 2858 pixels chứa 2761 thể hiện ký hiệu thuộc 16 lớp biểu tượng kiến trúc khác nhau (như ghế bành, giường, cửa sổ, bồn rửa).

Quy trình phân tích được thiết kế theo cấu trúc module hóa chặt chẽ. Đầu tiên, ảnh tài liệu được phân tích thành phần liên thông để tạo tập đỉnh. Tiếp theo, các đỉnh được gán nhãn phi giám sát bằng thuật toán K-means (với các giá trị K = 4, 8, 16) dựa trên vector đặc trưng hình thái học hoặc mô-men Hu bất biến quay. Tập cung được thiết lập theo mô hình k láng giềng gần nhất (k-NN với k=1, 2) và gán nhãn bằng Đại số Allen 2 chiều hoặc khoảng cách phân đoạn (Dist). Để so khớp đồ thị, tác giả phát triển thuật toán phân rã đồ thị thành các đồ thị con độ dài l = 1, thiết lập ma trận chi phí kích thước m x n và áp dụng thuật toán Hungary (Hungarian Algorithm) giải bài toán phân bổ tối ưu với độ phức tạp O(n^3) đối với phép đo PMDED, hoặc chuẩn L1 đối với phép đo PMDGP. Phương pháp phân tích này được lựa chọn vì tính khả thi tính toán, khả năng loại bỏ bùng nổ tổ hợp nhưng vẫn bảo toàn thông tin cấu trúc cục bộ quanh từng đỉnh.

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

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

Quá trình thực nghiệm đã mang lại 4 phát hiện khoa học quan trọng:

Thứ nhất, phương pháp so khớp dựa trên phân bổ đồ thị con (Pattern Matching Distance - PMD) chứng minh độ chính xác vượt trội. Trên tập dữ liệu phân tử Mutagenicity với số nút trung bình 30,3 và số cung trung bình 30,8, mô hình PMDGP đạt tỷ lệ phân loại chính xác 73,34%, vượt qua mức chuẩn 71,5% từng được công bố tại hội thảo quốc tế SSPR/SPR. Trên tập dữ liệu Letter, tỷ lệ nhận dạng phân loại đạt mức 82,70% trên tổng thể toàn bộ các cấp độ biến dạng.

Thứ hai, tối ưu hóa triệt để thời gian tính toán. Việc chuyển đổi từ khoảng cách hiệu chỉnh đồ thị truyền thống (PMDED) sang khoảng cách dấu vết đồ thị (PMDGP) giúp thời gian xử lý dữ liệu giảm đáng kể. Với đồ thị con độ dài l = 1, thuật toán GP xử lý 4337 cấu trúc phân tử phức tạp trong 64 giờ 32 phút, trong khi thuật toán GED kinh điển không thể hoàn thành trong giới hạn thời gian cho phép do độ phức tạp hàm mũ.

Thứ ba, sự vượt trội của tổ hợp đặc trưng mô-men Hu và Đại số Allen (Hu_Allen). Khi kiểm thử 1200 truy vấn trên mỗi bản vẽ trong số 100 bản vẽ kiến trúc (tương đương 120.000 lượt truy vấn thực nghiệm), phương pháp Hu_Allen đạt chỉ số hiệu năng tổng hợp cao nhất (giá trị Max đạt trên 1,32) so với các tổ hợp Hu_Dist, Shape_Allen và Shape_Dist.

Thứ tư, xác lập ngưỡng vùng bao phủ thực dụng. Nghiên cứu chỉ ra rằng đối với bài toán định vị ký hiệu trong không gian thực, việc duy trì ngưỡng tỷ lệ bao phủ diện tích ở mức 30% giúp hệ thống khoanh vùng chính xác 100% vùng quan tâm (ROI) mà không làm suy giảm độ nhạy phát hiện của hệ thống.

Thảo luận kết quả

Hiệu năng vượt trội của tổ hợp Hu_Allen xuất phát từ nguyên lý hình học bất biến. Các ký hiệu trong bản vẽ kiến trúc thực tế thường xuyên chịu tác động của phép quay, phép tịnh tiến và thay đổi tỷ lệ co giãn. Mô-men Hu đảm bảo tính bất biến nội tại của từng thành phần liên thông, trong khi hệ tọa độ cục bộ gắn với 2 trục quán tính chính của đối tượng giúp Đại số Allen 2 chiều duy trì tính bất biến hướng tuyệt đối. Ngược lại, phương pháp gán nhãn cung dựa trên khoảng cách phân đoạn (Dist) dễ bị nhiễu khi tỷ lệ bản vẽ hoặc mật độ chi tiết thay đổi.

Về mặt trình bày dữ liệu, các phát hiện này được trực quan hóa thông qua hệ thống đường cong độ chính xác - độ bao phủ (Precision - Recall Curves) trên 25 ngưỡng khoảng cách từ 0% đến 48%. Dữ liệu biểu đồ cho thấy đường cong của Hu_Allen luôn duy trì diện tích dưới đường cong (AUC) lớn nhất ở mọi cấu hình cụm K = 4, 8, 16. Đồng thời, biểu đồ thời gian tính toán theo chiều dài đồ thị con l (từ l=1 đến l=5) phản ánh mối quan hệ tỷ lệ thuận giữa độ dài l và thời gian khớp nối, khẳng định độ dài l = 1 là điểm cân bằng tối ưu giữa độ chính xác và chi phí tài nguyên. Khi đối chiếu với các mô hình của Bunke, Liadós hay Ramel, giải pháp của tác giả không bị phụ thuộc vào tri thức chuyên gia tiền định về góc hay chiều dài đoạn thẳng, từ đó mang lại tính khái quát hóa cao hơn trên nhiều thể loại tài liệu.

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

Dựa trên các kết luận thực nghiệm, luận văn đưa ra 4 khuyến nghị giải pháp cụ thể:

Thứ nhất, chuẩn hóa quy trình biểu diễn đồ thị không gian ARG trong các phần mềm nhận dạng tài liệu đồ họa kỹ thuật số. Các nhóm kỹ sư thị giác máy tính và phân tích dữ liệu cần tích hợp bộ trích xuất mô-men Hu kết hợp Đại số Allen 2 chiều vào module tiền xử lý của các hệ thống CAD/GIS trong giai đoạn 6 tháng đầu triển khai, nhằm tăng độ ổn định nhận dạng lên tối thiểu 15% đối với các bản vẽ bị biến dạng hình học.

Thứ hai, ứng dụng phép đo khoảng cách giả metric Graph Probing (PMDGP) vào các hệ cơ sở dữ liệu đồ thị lớn. Các đơn vị nghiên cứu và doanh nghiệp công nghệ thông tin nên thay thế thuật toán so khớp toàn cục bằng cơ chế phân rã đồ thị con độ dài l = 1 kết hợp GP trong vòng 12 tháng tới, nhằm mục tiêu giảm 60% đến 80% thời gian xử lý truy vấn trên tập dữ liệu hàng trăm nghìn nút.

Thứ ba, nâng cấp thuật toán phân bổ ma trận chi phí lên đồ thị con đa tỷ lệ (Multi-scale Subgraphs với l >= 2) có gắn trọng số cấu trúc. Các nhà khoa học máy tính tại các viện nghiên cứu cần phát triển các hàm tối ưu hóa ràng buộc topo trong giai đoạn 2 năm tiếp theo, hướng tới mục tiêu nâng chỉ số F-score tổng thể thêm 8% đến 12% trên các tài liệu có độ nhiễu cao.

Thứ tư, tự động hóa việc xác định tham số phân cụm K trong giai đoạn gán nhãn đỉnh. Doanh nghiệp phát triển phần mềm cần áp dụng các chỉ số tối ưu hóa cụm như Silhouette Coefficient hoặc Davies-Bouldin Index trong quý tiếp theo để loại bỏ việc cấu hình thủ công K = 4, 8, 16, giúp hệ thống thích ứng tự động với mọi độ phức tạp của ảnh đầu vào.

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

Nội dung và phương pháp trong luận văn mang lại giá trị học thuật và ứng dụng thực tiễn sâu sắc cho 4 nhóm đối tượng:

  • Nghiên cứu sinh và Giảng viên ngành Khoa học Máy tính, Trí tuệ Nhân tạo: Tiếp cận phương pháp luận chặt chẽ về lý thuyết đồ thị, xấp xỉ khoảng cách hiệu chỉnh đồ thị và mô hình hóa quan hệ không gian phục vụ công tác giảng dạy, nghiên cứu chuyên sâu.
  • Kỹ sư Nghiên cứu và Phát triển (R&D) Thị giác Máy tính: Khai thác quy trình trích xuất đặc trưng bất biến, phân rã đồ thị con và thuật toán phân bổ ma trận chi phí để xây dựng các giải pháp nhận dạng ký hiệu tự động trong công nghiệp.
  • Doanh nghiệp phần mềm kiến trúc, xây dựng và hệ thống thông tin địa lý (CAD/BIM/GIS): Ứng dụng mô hình Symbol Spotting để số hóa hàng triệu bản vẽ kỹ thuật lịch sử, tự động lập chỉ mục và tìm kiếm chi tiết cấu kiện với độ chính xác cao.
  • Chuyên gia Hóa tin học và Tin sinh học: Vận dụng mô hình phân lớp đồ thị dựa trên PMDGP để phân tích cấu trúc hóa học phân tử, dự đoán hoạt tính sinh học và sàng lọc hợp chất đột biến trên tập dữ liệu hàng nghìn phân tử.

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

Bài toán Symbol Spotting khác biệt như thế nào so với Nhận dạng Ký hiệu truyền thống? Nhận dạng ký hiệu truyền thống yêu cầu tài liệu phải được tiền phân đoạn hoàn hảo để cô lập từng đối tượng trước khi phân loại. Ngược lại, Symbol Spotting tìm kiếm trực tiếp vị trí các vùng quan tâm chứa ký hiệu mục tiêu ngay trong ngữ cảnh phức tạp của bản vẽ mà không cần phân đoạn trước.

Tại sao tác giả lựa chọn phân rã đồ thị con độ dài l = 1 thay vì so khớp toàn bộ đồ thị? So khớp toàn bộ đồ thị là bài toán NP-đầy đủ với độ phức tạp hàm mũ, không thể chạy trên các bản vẽ thực tế. Phân rã thành đồ thị con hình sao độ dài l = 1 đưa bài toán về thời gian đa thức O(n^3) hoặc tuyến tính, vừa bảo toàn thông tin lân cận vừa đảm bảo tính khả thi tính toán.

Sự khác biệt cốt lõi giữa hai phép đo khoảng cách PMDED và PMDGP là gì? PMDED sử dụng khoảng cách hiệu chỉnh đồ thị (GED) giải bằng thuật toán Hungary với độ phức tạp O(n^3) cho độ chính xác cao nhưng tốn thời gian. PMDGP trích xuất vector dấu vết cấu trúc cung để tính khoảng cách theo chuẩn L1 trong thời gian tuyến tính, tối ưu cho tập dữ liệu lớn.

Làm thế nào hệ thống đảm bảo tính bất biến khi ký hiệu bị xoay hoặc thay đổi kích thước? Tính bất biến được thiết lập đa tầng: mô-men Hu chuẩn hóa bậc 2 và bậc 3 khử tác động của phép co giãn và quay ở cấp độ đỉnh; trong khi hệ tọa độ cục bộ gắn với 2 trục quán tính chính giúp Đại số Allen 2 chiều bất biến hoàn toàn ở cấp độ cung.

Ngưỡng diện tích bao phủ 30% được xác định dựa trên cơ sở khoa học nào? Trong bài toán định vị thực tế, mục tiêu cốt lõi là hỗ trợ người dùng khoanh vùng nhanh khu vực chứa ký hiệu (bounding box). Thực nghiệm chỉ ra ngưỡng 30% đạt điểm cân bằng hoàn hảo, vừa tối ưu hóa công thái học thị giác vừa đảm bảo độ tin cậy phát hiện ký hiệu đạt 100%.

Kết luận

  • Luận văn giải quyết thành công bài toán Symbol Spotting bằng cách mô hình hóa hình ảnh tài liệu thành đồ thị lân cận gán nhãn, vượt qua rào cản thuật toán NP-đầy đủ.
  • Đề xuất phương pháp so khớp đồ thị dựa trên phân bổ đồ thị con độ dài l kết hợp ma trận chi phí tối ưu, thiết lập hai độ đo khoảng cách PMDED và PMDGP.
  • Chứng minh tính ưu việt của tổ hợp mô-men Hu và Đại số khoảng Allen 2 chiều, đạt độ chính xác 82,70% trên tập Letter và 73,34% trên tập Mutagenicity.
  • Thực nghiệm quy mô lớn trên 100 bản vẽ kiến trúc 6775 x 2858 px với 120.000 lượt truy vấn, chứng minh tính khả thi ứng dụng trong dự án số hóa di sản ALPAGE.
  • Định hình lộ trình nghiên cứu tương lai với cấu trúc đồ thị con đa tỷ lệ l >= 2 và tích hợp cơ chế phân cụm tự động thích ứng.

Quý độc giả, nhà nghiên cứu và kỹ sư công nghệ quan tâm đến việc ứng dụng lý thuyết đồ thị và xử lý tài liệu kỹ thuật số có thể tham khảo toàn văn luận văn thạc sĩ của tác giả Nguyễn Quốc Toàn để tiếp cận các thuật toán và mô hình thực nghiệm chi tiết.