มีคลาสกราฟที่น่าสนใจที่ treididth นั้นยาก (ง่าย) ในการคำนวณหรือไม่?


13

Treewith เป็นพารามิเตอร์กราฟที่สำคัญที่บ่งบอกว่ากราฟมาจากต้นไม้เพียงใด

เป็นที่ทราบกันดีว่าการคำนวณความน่ากลัวคือ NP-hard

มีกราฟตามธรรมชาติของกราฟที่ความยากลำบากในการคำนวณหรือไม่

ในทำนองเดียวกัน:

มีคลาสกราฟที่น่าสนใจที่การคำนวณของ treewidth นั้นง่ายหรือไม่? ถ้าใช่จะมีคุณสมบัติเชิงโครงสร้าง / การทดสอบที่สามารถใช้ประโยชน์ได้หรือไม่? เช่นกราฟมีคุณสมบัติX คอมพิวเตอร์ treewidth ของG PGX GP


สำหรับคลาสกราฟที่ treewidth ถูก จำกัด หรือไม่ จำกัด คุณสามารถดู graphclasses.org ค้นหาพารามิเตอร์ treewidth และคุณจะได้รับรายการของกราฟกราฟที่ treewidth ถูก จำกัด ขอบเขต (หรือไม่ จำกัด ): graphclasses.org/classes/par_10.html
Cyriac Antony

คุณสามารถใช้แอปพลิเคชัน java ของพวกเขาเพื่อดูคลาสที่การแยกย่อยของ treewidth นั้นยาก (หรือง่าย)
Cyriac Antony

คำตอบ:


16

922

Π(G)GGO(|Π(G)|2nO(1))Gk2O(k3)nO((logn)1/3)

มันเป็นปัญหาเปิดที่โดดเด่นไม่ว่าจะคำนวณความน่าเชื่อถือของกราฟระนาบเป็นเวลาพหุนามแก้ได้หรือ NP สมบูรณ์ เป็นที่น่าสังเกตว่าพารามิเตอร์กราฟของแบรนช์แบนด์วิธที่เกี่ยวข้อง (ซึ่งอยู่ในช่วง 1.5 ห่างจาก treewidth เสมอ) คือเวลาพหุนามคำนวณบนกราฟระนาบ


ขอขอบคุณ. ดังนั้นคลาสเดียวที่ทราบกันดีว่ายากคือ co-bipartite graphs? ทรัพย์สินของคนโบราณที่มีศักยภาพสูงสุดดูเหมือนจะไม่น่าแปลกใจสำหรับฉัน คุณสมบัตินี้เป็นเวลา P-test หรือไม่?
PsySp

1
3n/3

8
Bodlaender and Thilikos [DAM 79 (1997) 45-61] แสดงให้เห็นว่าการคำนวณแบบ treididth นั้นยากสำหรับกราฟที่มีระดับสูงสุด 9
Yota Otachi

2
นอกจากความแข็งสำหรับกราฟร่วมสองฝ่ายมันควรจะกล่าวว่าการคำนวณความยากยังเป็นเรื่องยากสำหรับกราฟสองฝ่ายที่สังเกตเห็นเป็นครั้งแรกโดย Ton Kloks ในวิทยานิพนธ์ปริญญาเอกของเขา
vb le

2
คุณอาจพูดถึงว่า (เกือบ) ไม่มีอะไรรู้เกี่ยวกับความซับซ้อนโดยประมาณและขอบเขตที่ลดลงของพารามิเตอร์ ตามหลักการแล้วอาจมี PTAS หรืออัลกอริธึมเวลาเอ็กซ์โปแนนเชียลแม้ว่าทั้งสองจะไม่น่าเป็นไปได้มากนัก ค่าความแข็งโดยประมาณเพียงค่าเดียวนั้นขึ้นอยู่กับการขยายตัวของชุดย่อย (SSE) ดอย: 10.1613 / jair.4030
Yixin Cao
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.