ทุกคนสามารถแนะนำการสำรวจที่ดีและล่าสุดเกี่ยวกับการนับปัญหาและ / หรือปัญหาที่เป็น #P
คำตอบ:
L. Fortnow ความซับซ้อนของการนับ ใน L. Hemaspaandra และ A. Selman บรรณาธิการ, ทฤษฎีความซับซ้อนย้อนหลัง II, หน้า 81-107 Springer, 1997
สิ่งนี้ให้มุมมองเชิงโครงสร้างที่ซับซ้อนมากขึ้น (คลาสความซับซ้อน oracles ฯลฯ ) และอภิปรายคลาสอื่น ๆ ที่เกี่ยวข้องกับ #P แม้ว่ามันจะเป็นจากเกือบ 15 ปีที่ผ่านมามันไม่จริงที่มาจากวันที่ในแง่ของผลการค้นหา
Pinyan Lu เผยแพร่การสำรวจผ่าน ECCC ในกลางปี 2554 โดยเปรียบเทียบกรอบการนับที่เป็นที่นิยมสามประการ:
เขายังกล่าวถึงทฤษฏีขั้วสองขั้วในปัจจุบันและเทคนิคการพิสูจน์ที่ใช้เพื่อให้ได้มา
จินเฉินตีพิมพ์ผลสำรวจในคอลัมน์แขกของ SIGACT News ในช่วงปลายปี 2554 โดยจะกล่าวถึงผลการทดลองและเทคนิคที่นำไปสู่และรวมถึงเอกสารของเขากับ Jin-Yi Cai และ Pinyan Lu บน dichotomies สำหรับการนับ homomorphisms กราฟที่กำหนดโดย น้ำหนักที่ซับซ้อน ( arXiv ) และ #CSPs ที่ไม่แบ่งเบาน้ำหนัก ( arXiv )
ในเวลาเดียวกัน Cai และเฉินตีพิมพ์ขั้วสำหรับ #CSPs ซับซ้อนถ่วงน้ำหนัก ( arXiv ) ซึ่ง Cai กล่าวถึงในโพสต์ของผู้เข้าพักในเกอเดลแพ้ Letter และ P = NPบล็อก
อีกกรอบของการนับปัญหามาจากการคำนวณTutte พหุนามของกราฟ ในเฟรมเวิร์กนี้จำนวนเชิงซ้อนสองจำนวนใด ๆ จะกำหนดปัญหาการนับ
หนังสือโปรแกรม matroidคลับคล้ายคลับคลาบทที่ 6 การTutte พหุนามและการประยุกต์ใช้ ลิงค์ก่อนหน้าคือการสแกนบทนั้นจากเว็บไซต์ของ James Oxleyซึ่งเป็นหนึ่งในผู้เขียนบทความ ภาคเรียนสุดท้ายเขาสอนหลักสูตรตามบทนั้น
การอ้างอิงที่ดีอื่นเกี่ยวกับหัวข้อนี้คือรายงานฉบับสำรวจโดย Welsh