คำจำกัดความ ฯลฯ
สำหรับการสำรวจที่ยอดเยี่ยมเกี่ยวกับการสลายตัวของต้นไม้มาตรฐานและความกังวลดูที่นี่ (ขอบคุณล่วงหน้า JeffE!)
ให้เป็นไฮเปอร์กราฟ
จากนั้นสำหรับกราฟไฮเปอร์และการแมป ,γ : E ( H ) → [ 0 , ∞ )
{ }
นอกจากนี้ให้น้ำหนัก ( ) =(จ)∑ e ∈ E γ ( e )
จากนั้นการสลายตัวของ ความแบบเศษส่วนของคือสามโดยที่:( T , ( B t ) t ∈ V ( T ) , ( γ t ) t ∈ V ( T ) )
- เป็นการย่อยสลายต้นไม้ของและ
- เป็นตระกูลการแมปจากถึงเซนต์สำหรับทุก . [ 0 , ∞ ) t ∈ V ( T ) , B t ⊆ B ( γ t )
จากนั้นเราพูดความกว้างของคือ {น้ำหนัก }สูงสุด( γ t ) , t ∈ V ( T )
ในที่สุดความกว้าง hypertree เศษส่วนของ , fhw ( ) เป็นขั้นต่ำที่มีความกว้างมากกว่าเป็นไปได้ทั้งหมด decompositions hypertree เศษส่วนของH
คำถาม
ตามที่ระบุไว้ข้างต้นหากความกว้างของกราฟไฮเพอร์เชียลของเศษส่วนของ CSP ถูกล้อมรอบด้วยค่าคงที่จะมีอัลกอริธึมเวลาพหุนามเพื่อแก้ CSP อย่างไรก็ตามมันถูกทิ้งไว้เป็นปัญหาเปิดในตอนท้ายของบทความที่เชื่อมโยงว่ามีครอบครัวแบบพหุนามเวลาใด ๆ ที่แก้ไขได้ของอินสแตนซ์ CSP ที่มีความกว้างของความดันโลหิตสูงไม่ จำกัด (ฉันควรจะชี้ให้เห็นคำถามนี้ได้รับการแก้ไขอย่างสมบูรณ์ในกรณีที่มีขอบเขตการแข่งขันและ treewidth ที่ไม่ จำกัด ( การอ้างอิง ACM ) ภายใต้สมมติฐานที่ว่า ) เนื่องจากมีเวลาพอสมควรตั้งแต่กระดาษที่เชื่อมโยงครั้งแรก รวมทั้งฉันค่อนข้างไม่ทราบสถานะทั่วไปของสาขาย่อยนี้คำถามของฉันคือ:
มีอะไรเป็นที่รู้กันบ้างเกี่ยวกับความสามารถในการรองรับของ CSP บนกราฟที่มีความกว้างของไฮเพอร์เซทที่มีเศษส่วนไม่ จำกัด หรือไม่