Đếm các mạch Hamilton trong đồ thị Hamilton 3 thông thường là # P-đầy đủ, như sau.
Bằng chứng phác thảo . Tư cách thành viên trong #P là tầm thường, vì vậy chúng tôi sẽ chỉ hiển thị độ cứng # P.
Phần 3 của Liśkiewicz, Ogihara và Toda [LOT03] cho thấy việc đếm các mạch Hamilton trong đồ thị 3 mặt phẳng (và trên thực tế cùng một lúc) là # P-hoàn chỉnh. Hơn nữa, việc giảm từ # 3SAT ánh xạ công thức 3CNF thỏa đáng sang đồ thị Hamilton. Do đó, bạn có thể giảm # 3SAT để đếm các mạch Hamilton trong đồ thị Hamilton 3 thông thường bằng cách trước tiên thêm một giải pháp tầm thường vào công thức 3CNF đã cho và sau đó giảm nó thành đếm các mạch Hamilton bằng cách sử dụng giảm trong [LOT03]. QED .
[LÔ03] Maciej Liśkiewicz, Mitsunori Ogihara và Seinosuke Toda. Sự phức tạp của việc đếm các bước đi tự tránh trong các sơ đồ con của lưới hai chiều và hypercubes. Khoa học máy tính lý thuyết , 304 (1 Từ3): 129 Từ156, tháng 7 năm 2003. http://dx.doi.org/10.1016/S0304-3975(03)00080-X