Menghitung sirkuit Hamiltonian dalam grafik Hamiltonian 3-reguler adalah # P-complete, sebagai berikut.
Sketsa bukti . Keanggotaan dalam #P adalah sepele, jadi kami hanya akan menunjukkan # P-hardness.
Bagian 3 dari Liśkiewicz, Ogihara dan Toda [LOT03] menunjukkan bahwa penghitungan sirkuit Hamilton dalam grafik 3-reguler (dan pada kenyataannya planar pada saat yang sama) adalah # P-complete. Selain itu, pengurangan mereka dari # 3SAT memetakan formula 3CNF yang memuaskan ke grafik Hamiltonian. Oleh karena itu, Anda dapat mengurangi # 3SAT untuk menghitung sirkuit Hamiltonian dalam grafik Hamiltonian 3-reguler dengan terlebih dahulu menambahkan satu solusi sepele ke formula 3CNF yang diberikan dan kemudian menguranginya untuk menghitung sirkuit Hamiltonian dengan menggunakan pengurangan pada [LOT03]. QED .
[LOT03] Maciej Liśkiewicz, Mitsunori Ogihara dan Seinosuke Toda. Kompleksitas penghitungan jalan yang menghindar diri dalam subgraph dari grid dua dimensi dan hypercubes. Theoretical Computer Science , 304 (1-3): 129–156, Juli 2003. http://dx.doi.org/10.1016/S0304-3975(03)00080-X