ฉันพยายามที่จะเข้าใจแนวคิดบางอย่างเกี่ยวกับการแยกส่วนแบบแยกส่วนและกราฟความกว้างกลุ่ม
ในบทความนี้ ("ในกราฟ P4-ระเบียบ") มีหลักฐานของวิธีการแก้ปัญหาการเพิ่มประสิทธิภาพเช่นจำนวน clique หรือหมายเลขรงค์โดยใช้การสลายตัว Modular การแก้ปัญหาเหล่านี้โดยการเขียน (โดยใช้ผลรวมไม่รวมหรือแยกอิสระ) กราฟสองกราฟ G1, G2 นั้นง่ายเมื่อคุณรู้คำตอบสำหรับ G1 และ G2 เนื่องจากกราฟเฉพาะบนการสลายตัวของกราฟ P4-ระเบียบเป็นกราฟที่ถูกล้อมรอบ (เช่น C5, P5, ฯลฯ ) มันง่ายที่จะแก้มันสำหรับ "เคสฐาน" เหล่านี้จากนั้นจึงแก้ปัญหาสำหรับการจัดองค์ประกอบ ดังนั้นด้วยการใช้ทรีย่อยสลายมันเป็นไปได้ที่จะแก้ปัญหาเหล่านี้ในเวลาเชิงเส้น
แต่ดูเหมือนว่าเทคนิคนี้จะใช้ได้กับคลาสกราฟใด ๆ ที่กำหนดขอบเขตกราฟไว้ จากนั้นฉันก็พบบทความนี้ "ปัญหาการเพิ่มประสิทธิภาพเชิงเส้นเวลาที่แก้ไขได้เชิงเส้นบนกราฟของความกว้างของกลุ่มความกว้างของขอบเขต" ซึ่งดูเหมือนจะทำให้เป็นเรื่องทั่วไปที่ฉันกำลังมองหา แต่ฉันไม่เข้าใจมันเป็นอย่างดี
คำถามของฉันคือ:
1-จะเทียบเท่ากับการบอกว่ากราฟไพรม์ของแผนภูมิการสลายตัวถูกล้อมรอบ (เช่นในกรณีกราฟ P4-ระเบียบเรียบร้อย) และบอกว่ากราฟมีคุณสมบัติ "Clique-Width"
2-ในกรณีที่คำตอบสำหรับ1คือไม่ใช่ดังนั้น: มีผลใด ๆ เกี่ยวกับคลาสของกราฟที่มีขอบเขตกราฟกำหนดช่วงเวลา (เช่นในกราฟ P4 เรียบร้อย) และทำให้เกิดปัญหาการหาค่าเหมาะที่สุดเช่นหมายเลข clique-solvable ?