อ่าน 2 นาที
กราฟเกณฑ์
ใน ทฤษฎีกราฟ กราฟ เกณฑ์ (threshold graph) คือกราฟที่สามารถสร้างขึ้นจากกราฟที่มีจุดยอดเดียวได้โดยการประยุกต์ใช้การดำเนินการสองอย่างต่อไปนี้ซ้ำๆ:
กราฟเกณฑ์

ในทฤษฎีกราฟ กราฟเกณฑ์(threshold graph)คือกราฟที่สามารถสร้างขึ้นจากกราฟที่มีจุดยอดเดียวได้โดยการประยุกต์ใช้การดำเนินการสองอย่างต่อไปนี้ซ้ำๆ:
- การเพิ่มจุดยอดเดี่ยวที่แยกออกมาลงในกราฟ
- การเพิ่มจุดยอดเด่น เพียงจุดเดียวลง ในกราฟ กล่าวคือ จุดยอดเดียวที่เชื่อมต่อกับจุดยอดอื่นๆ ทั้งหมด
ตัวอย่างเช่น กราฟในรูปเป็นกราฟเกณฑ์ สามารถสร้างได้โดยเริ่มจากกราฟที่มีจุดยอดเดียว (จุดยอดที่ 1) แล้วเพิ่มจุดยอดสีดำเป็นจุดยอดโดดเดี่ยว และจุดยอดสีแดงเป็นจุดยอดเด่น ตามลำดับหมายเลขที่กำหนด
กราฟเกณฑ์ (Threshold graphs) ถูกนำเสนอครั้งแรกโดยChvátal & Hammer (1977)บทหนึ่งเกี่ยวกับกราฟเกณฑ์ปรากฏอยู่ในGolumbic (1980)และหนังสือของMahadev & Peled (1995)ก็เป็นหนังสือที่กล่าวถึงกราฟ เกณฑ์โดยเฉพาะ
คำจำกัดความทางเลือก
นิยามที่เทียบเท่ากันคือดังต่อไปนี้: กราฟเป็นกราฟเกณฑ์ (threshold graph) ถ้ามีจำนวนจริงและสำหรับแต่ละจุดยอดมีน้ำหนักจุดยอดที่เป็นจำนวนจริงโดยที่สำหรับจุดยอดสองจุดใดๆจะเป็นขอบก็ต่อเมื่อ
นิยามที่เทียบเท่ากันอีกอย่างหนึ่งคือ: กราฟเป็นกราฟเกณฑ์ ถ้ามีจำนวนจริงและสำหรับแต่ละจุดยอดมีน้ำหนักจุดยอดที่เป็นจำนวนจริงโดยที่สำหรับเซตจุดยอดใดๆจะเป็นอิสระก็ต่อเมื่อ
ชื่อ "กราฟเกณฑ์" มาจากคำจำกัดความเหล่านี้: Sคือ "เกณฑ์" สำหรับคุณสมบัติของการเป็นขอบ หรือในทำนองเดียวกันTคือเกณฑ์สำหรับการเป็นอิสระต่อกัน
กราฟเกณฑ์ยังมีลักษณะเฉพาะของกราฟต้องห้าม อีกด้วย กล่าวคือ กราฟจะเป็นกราฟเกณฑ์ก็ต่อเมื่อไม่มีจุดยอดสี่จุดใดของกราฟนั้นที่ก่อให้เกิดกราฟย่อยเหนี่ยวนำ ซึ่งเป็น กราฟเส้นทางสามขอบกราฟวงจรสี่ขอบ หรือ การจับคู่ สองขอบ
การสลายตัว
จากนิยามที่ใช้การบวกจุดยอดซ้ำๆ เราสามารถอนุมานวิธีการอื่นในการอธิบายกราฟเกณฑ์ได้อย่างเฉพาะเจาะจง โดยใช้สตริงของสัญลักษณ์จะเป็นอักขระตัวแรกของสตริงเสมอ และแทนจุดยอดแรกของกราฟ อักขระถัดไปแต่ละตัวจะเป็นซึ่งหมายถึงการบวกจุดยอดเดี่ยว (หรือ จุดยอด รวม ) หรือซึ่งหมายถึงการบวกจุดยอดเด่น (หรือ จุดยอด เชื่อม ) ตัวอย่างเช่น สตริงแทนกราฟรูปดาวที่มีใบสามใบ ในขณะที่แทนเส้นทางบนจุดยอดสามจุด กราฟในรูปสามารถแสดงได้ดังนี้
คลาสที่เกี่ยวข้องของกราฟและการจดจำ
กราฟเกณฑ์ (Threshold graph) เป็นกรณีพิเศษของโคกราฟ (Cograph)สปลิตกราฟ (Split graph)และกราฟสมบูรณ์แบบโดยปริยาย (Trivially perfect graph) กราฟจะเป็นกราฟเกณฑ์ก็ต่อเมื่อเป็นทั้งโคกราฟและสปลิตกราฟ ทุกกราฟที่เป็นทั้งกราฟสมบูรณ์แบบโดยปริยายและกราฟส่วนเติมเต็มของกราฟสมบูรณ์แบบโดยปริยายจะเป็นกราฟเกณฑ์ กราฟเกณฑ์ยังเป็นกรณีพิเศษของกราฟช่วง (Interval graph ) ความสัมพันธ์ทั้งหมดเหล่านี้สามารถอธิบายได้ในแง่ของลักษณะเฉพาะโดยกราฟย่อยเหนี่ยวนำที่ต้องห้าม โคกราฟคือกราฟที่ไม่มีเส้นทางเหนี่ยวนำบนจุดยอดสี่จุด P₄ และกราฟเกณฑ์คือกราฟที่ไม่มี P₄, C₄ หรือ 2K₂ เหนี่ยวนำC₄คือวัฏจักรของจุดยอดสี่จุดและ 2K₂ คือ ส่วนเติมเต็มของมัน นั่นคือขอบสอง ขอบที่ไม่ทับซ้อนกัน นี่จึงอธิบายได้ว่าทำไมกราฟเกณฑ์จึงปิดภายใต้การรับส่วนเติมเต็ม กราฟ P 4นั้นเป็นกราฟที่เติมเต็มตัวเองได้ ดังนั้นหากกราฟใดปราศจาก P 4 , C 4และ 2K 2กราฟส่วนเติมเต็มของมันก็ปราศจาก P 4 เช่นกัน
Heggernes & Kratsch (2007)แสดงให้เห็นว่ากราฟเกณฑ์สามารถรับรู้ได้ในเวลาเชิงเส้น หากกราฟไม่ใช่กราฟเกณฑ์จะมีการส่งออก สิ่งกีดขวาง (หนึ่งใน P 4 , C 4หรือ 2K 2 )
ดูเพิ่มเติม
- กราฟความไม่แตกต่าง
- กราฟอนุกรม-ขนาน
- ไฮเปอร์กราฟเกณฑ์[ 1 ]
ลิงก์ภายนอก
- กราฟเกณฑ์ , ระบบสารสนเทศเกี่ยวกับคลาสกราฟและส่วนประกอบต่างๆ
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ กราฟเกณฑ์
ใน ทฤษฎีกราฟ กราฟ เกณฑ์ (threshold graph) คือกราฟที่สามารถสร้างขึ้นจากกราฟที่มีจุดยอดเดียวได้โดยการประยุกต์ใช้การดำเนินการสองอย่างต่อไปนี้ซ้ำๆ:
คำจำกัดความทางเลือก
นิยามที่เทียบเท่ากันคือดังต่อไปนี้: กราฟเป็นกราฟเกณฑ์ (threshold graph) ถ้ามีจำนวนจริงและสำหรับแต่ละ จุดยอด มีน้ำหนักจุดยอดที่เป็นจำนวนจริงโดยที่สำหรับจุดยอดสองจุดใดๆจะเป็น ขอบ ก็ต่อเมื่อ เอส {\displaystyle S} วี {\displaystyle v} ว ( วี ) {\displaystyle...
การสลายตัว
จากนิยามที่ใช้การบวกจุดยอดซ้ำๆ เราสามารถอนุมานวิธีการอื่นในการอธิบายกราฟเกณฑ์ได้อย่างเฉพาะเจาะจง โดยใช้สตริงของสัญลักษณ์จะเป็นอักขระตัวแรกของสตริงเสมอ และแทนจุดยอดแรกของกราฟ อักขระถัดไปแต่ละตัวจะเป็นซึ่งหมายถึงการบวกจุดยอดเดี่ยว (หรือ จุดยอด รวม )...
คลาสที่เกี่ยวข้องของกราฟและการจดจำ
กราฟเกณฑ์ (Threshold graph) เป็นกรณีพิเศษของ โคกราฟ (Cograph) ส ปลิตกราฟ (Split graph) และ กราฟสมบูรณ์แบบโดยปริยาย (Trivially perfect graph) กราฟจะเป็นกราฟเกณฑ์ก็ต่อเมื่อเป็นทั้งโคกราฟและสปลิตกราฟ ทุกกราฟที่เป็นทั้งกราฟสมบูรณ์แบบโดยปริยายและ กราฟส่วนเติมเต็ม...