Bài báo này nghiên cứu mạng nơ-ron đồ thị (GNN), một mô hình học máy xử lý dữ liệu có cấu trúc đồ thị. Cụ thể, chúng tôi đề xuất một cơ chế kết thúc mới để giải quyết vấn đề kết thúc được đảm bảo của GNN hồi quy. Các GNN hồi quy hiện tại gặp phải vấn đề cung cấp kích thước đồ thị cho mô hình hoặc thiếu đảm bảo kết thúc. Trong bài báo này, chúng tôi đề xuất và chứng minh một mô hình kết thúc có thể biểu diễn tất cả các bộ phân loại nút được xác định bởi phép tính mu modal phân cấp, ngay cả trong một biến thể GNN tiêu chuẩn bỏ qua kích thước đồ thị. Để đạt được điều này, chúng tôi phát triển một ngữ nghĩa xấp xỉ mới cho phép tính mu phân cấp và dựa trên đó, đề xuất một thuật toán xác minh mô hình mới (thuật toán đếm) không xem xét kích thước đồ thị. Cuối cùng, chúng tôi chứng minh rằng thuật toán đếm có thể được triển khai trong một GNN hồi quy kết thúc.
