Bài báo này phân tích nguyên nhân gây suy giảm hiệu suất trong các bài toán thỏa mãn Boolean (SAT) sử dụng mạng nơ-ron đồ thị (GNN) từ góc độ hình học. Cụ thể, chúng tôi định lượng các nút thắt kết nối cục bộ trong đồ thị bằng cách sử dụng độ cong giàu đồ thị (RC). Chúng tôi chứng minh rằng đồ thị hai phần được rút ra từ các bài toán k-SAT khó biểu hiện độ cong âm, và độ cong giảm dần theo độ khó của bài toán. Điều này chứng minh rằng các bộ giải SAT dựa trên GNN gặp khó khăn trong việc nén các phụ thuộc tầm xa thành các biểu diễn có độ dài cố định, dẫn đến hiện tượng "quá tải". Kết quả thực nghiệm chứng minh rằng độ cong có thể được sử dụng như một chỉ báo về độ phức tạp của bài toán và để dự đoán hiệu suất. Chúng tôi cũng trình bày các hàm ý cho các nguyên tắc thiết kế bộ giải hiện có và đề xuất các hướng nghiên cứu trong tương lai.
