การนับจำนวนโบราณในกราฟที่ไม่มีที่เปรียบได้ # P-complete หรือไม่


13

คำถามนี้เป็นแรงบันดาลใจโดยคำถาม MathOverflow โดยเป็งเหวย Valiant แสดงให้เห็นว่าการนับของโบราณสูงสุดในกราฟทั่วไปคือ # P-complete แต่จะเกิดอะไรขึ้นถ้าเรา จำกัด กราฟที่ไม่มีใครเทียบได้ (เช่นเราต้องการนับ antichains สูงสุดในตำแหน่ง จำกัด )? คำถามนี้ดูเหมือนเป็นธรรมชาติมากพอที่ฉันสงสัยว่าเคยมีการพิจารณามาก่อน แต่ฉันไม่สามารถค้นหาได้ในวรรณคดี

คำตอบ:


11

ตามนี้นามธรรมสำหรับ "ความซับซ้อนของการตัดการนับและการคำนวณความน่าจะเป็นที่กราฟเป็น Connected" (สยามเจคอมพิว. 12 (1983), PP. 777-788) นับต่อต้านโซ่ในส่วนคำสั่งคือ # P-สมบูรณ์ ฉันไม่สามารถเข้าถึงเอกสารนี้ดังนั้นฉันไม่สามารถบอกได้ว่าผลลัพธ์นี้ครอบคลุมถึงการต่อต้านโซ่สูงสุดหรือไม่


@ András: ฉันคิดว่าผลลัพธ์ของพวกเขาเกี่ยวกับการนับ antichains (ซึ่งไม่จำเป็นต้องสูงสุด) อาจเป็นเรื่องง่ายที่จะเห็นว่าการนับ antichains สูงสุดก็เป็น # P-complete แต่ฉันมองไม่เห็น
Tsuyoshi Ito

@ András: คำถามเกี่ยวกับ antichains สูงสุดไม่ใช่ antichains สูงสุด - cardinality ฉันไม่ได้ศึกษาการลดลงของกระดาษดังนั้นการลดลงของพวกเขาอาจพิสูจน์ # P-ครบถ้วนของการนับ antichains สูงสุดในเวลาเดียวกัน แต่อย่างน้อยพวกเขามีปัญหาที่แตกต่างกัน
Tsuyoshi Ito

@Tsuyoshi: ถูกต้อง Provan / Ball paper แสดงให้เห็นว่าการนับ antichains สูงสุดที่สำคัญคือ # P-hard กลับไปที่กระดานวาดภาพ ...
András Salamon

8
G=(V,E)nG2nn{v:vV}n{(v,v):vV}V1V2GV1V2x<yxV1yV2xyG
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.