กลับไปหน้าบทความ

อ่าน 2 นาที

กราฟระนาบนอกk

ในทฤษฎีกราฟกราฟk -outerplanarคือกราฟระนาบที่มีการฝังตัวในระนาบซึ่งจุดยอดเป็นสมาชิกของไม่เกิน k จุดเค{\displaystyle...

กราฟระนาบนอกk

กราฟระนาบนอก 3 ชั้น คือกราฟของทรงสิบ สองเหลี่ยมด้าน เท่า มีจุดยอดสี่จุดบนหน้าด้านนอก จุดยอดแปดจุดบนชั้นที่สอง (สีเหลืองอ่อน) และจุดยอดสองจุดบนชั้นที่สาม (สีเหลืองเข้ม) เนื่องจากความสมมาตรของกราฟ จึงไม่มีการฝังตัวแบบอื่นใดที่มีจำนวนชั้นน้อยกว่านี้

ในทฤษฎีกราฟกราฟk -outerplanarคือกราฟระนาบที่มีการฝังตัวในระนาบซึ่งจุดยอดเป็นสมาชิกของไม่เกิน k จุดเค{\displaystyle k}ชั้นวงกลมซ้อนกันดัชนีระนาบภายนอกของกราฟระนาบคือค่าต่ำสุดของเค{\displaystyle k}ซึ่งก็คือเค{\displaystyle k}-ระนาบนอก.

คำนิยาม

กราฟนอกระนาบ (หรือกราฟนอกระนาบ 1) คือกราฟที่มีจุดยอดทั้งหมดอยู่บนระนาบด้านนอกที่ไม่จำกัดของกราฟ กราฟนอกระนาบ 2 คือกราฟระนาบที่มีคุณสมบัติว่า เมื่อลบจุดยอดบนระนาบด้านนอกที่ไม่จำกัดออกไป จุดยอดที่เหลือทั้งหมดจะอยู่บนระนาบด้านนอกที่ไม่จำกัดที่เกิดขึ้นใหม่ และเป็นเช่นนี้เรื่อยไป

กล่าวอย่างเป็นทางการแล้ว กราฟคือเค{\displaystyle k}-ระนาบนอก หากมีการฝังตัวในระนาบ โดยที่สำหรับทุกจุดยอด จะมีลำดับสลับกันไม่เกินเค{\displaystyle k}ใบหน้าและเค{\displaystyle k}จุดยอดของการฝังตัว เริ่มต้นจากหน้าไร้ขอบเขตและสิ้นสุดที่จุดยอด ซึ่งแต่ละหน้าและจุดยอดที่อยู่ติดกันจะสัมผัสกัน

คุณสมบัติและการใช้งาน

เดอะเค{\displaystyle k}กราฟระนาบนอกจะมีtreewidthไม่เกิน3เค1{\displaystyle 3k-1}[ 1 ]อย่างไรก็ตามกราฟระนาบที่มีความกว้างของต้นไม้จำกัดบางประเภท เช่นกราฟสามเหลี่ยมซ้อนกันอาจเป็นเค{\displaystyle k}-เฉพาะระนาบนอกสำหรับขนาดใหญ่มากเท่านั้นเค{\displaystyle k}เป็นแบบเชิงเส้นตามจำนวนจุดยอด

เทคนิคของเบเกอร์ครอบคลุมกราฟระนาบที่มีจำนวนคงที่เค{\displaystyle k}-กราฟระนาบนอกและใช้ความกว้างของต้นไม้ที่ต่ำเพื่อประมาณปัญหาการเพิ่มประสิทธิภาพกราฟที่ยากหลายประการอย่างรวดเร็ว[ 2 ]

ในส่วนที่เกี่ยวข้องกับสมมติฐาน GNRSเกี่ยวกับการฝังเมตริกของตระกูลกราฟปิดไมเนอร์เค{\displaystyle k}กราฟระนาบนอกเป็นหนึ่งในกลุ่มกราฟทั่วไปที่สุดที่สมมติฐานได้รับการพิสูจน์แล้ว[ 3 ]

บทกลับที่คาดการณ์ไว้ของทฤษฎีบทของ Courcelleซึ่งกล่าวว่าคุณสมบัติของกราฟทุกประการที่สามารถรับรู้ได้บนกราฟที่มี treewidth จำกัดโดย tree automata สถานะจำกัดนั้น สามารถนิยามได้ในตรรกะลำดับที่สองแบบเอกภาคของกราฟได้รับการพิสูจน์แล้วสำหรับเค{\displaystyle k}-กราฟนอกระนาบ[ 4 ]

การยอมรับ

ค่าที่น้อยที่สุดของเค{\displaystyle k}ซึ่งกราฟที่กำหนดคือเค{\displaystyle k}-ระนาบด้านนอก (ดัชนีระนาบด้านนอก) สามารถคำนวณได้ในเวลาแบบกำลังสอง[ 5 ]

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ กราฟระนาบนอกk

ในทฤษฎีกราฟกราฟk -outerplanarคือกราฟระนาบที่มีการฝังตัวในระนาบซึ่งจุดยอดเป็นสมาชิกของไม่เกิน k จุดเค{\displaystyle...

คำนิยาม

กราฟ นอกระนาบ (หรือกราฟนอกระนาบ 1) คือกราฟที่มีจุดยอดทั้งหมดอยู่บนระนาบด้านนอกที่ไม่จำกัดของกราฟ กราฟนอกระนาบ 2 คือกราฟระนาบที่มีคุณสมบัติว่า เมื่อลบจุดยอดบนระนาบด้านนอกที่ไม่จำกัดออกไป จุดยอดที่เหลือทั้งหมดจะอยู่บนระนาบด้านนอกที่ไม่จำกัดที่เกิดขึ้นใหม่...

คุณสมบัติและการใช้งาน

เดอะ เค {\displaystyle k} กราฟระนาบนอกจะมี treewidth ไม่เกิน 3 เค − 1 {\displaystyle 3k-1} [ 1 ] อย่างไรก็ตามกราฟระนาบที่มีความกว้างของต้นไม้จำกัดบางประเภท เช่น กราฟสามเหลี่ยมซ้อนกัน อาจเป็น เค {\displaystyle k} -เฉพาะระนาบนอกสำหรับขนาดใหญ่มากเท่านั้น เค...

การยอมรับ

ค่าที่น้อยที่สุดของ เค {\displaystyle k} ซึ่งกราฟที่กำหนดคือ เค {\displaystyle k} -ระนาบด้านนอก (ดัชนีระนาบด้านนอก) สามารถคำนวณได้ในเวลาแบบกำลังสอง [ 5 ]