กราฟเชิงระนาบ
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
![]() | ลิงก์ข้ามภาษาในบทความนี้ มีไว้ให้ผู้อ่านและผู้ร่วมแก้ไขบทความศึกษาเพิ่มเติมโดยสะดวก เนื่องจากวิกิพีเดียภาษาไทยยังไม่มีบทความดังกล่าว กระนั้น ควรรีบสร้างเป็นบทความโดยเร็วที่สุด |
กราฟเชิงระนาบ (อังกฤษ: planar graph) ในทฤษฎีกราฟ คือกราฟที่สามารถวาดบนระนาบได้โดยไม่มีเส้นเชื่อมใดๆ ตัดกัน เช่น กราฟต่อไปนี้เป็นกราฟเชิงระนาบ
(รูปที่สอง สามารถวาดให้ไม่มีเส้นเชื่อมตัดกันได้ โดยย้ายเส้นทแยงมุมเส้นหนึ่งออกไปข้างนอก)
แต่กราฟสองรูปข้างล่างนี้ ไม่เป็นกราฟเชิงระนาบ
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Complete_graph_K5.svg/250px-Complete_graph_K5.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Complete_bipartite_graph_K3%2C3.svg/250px-Complete_bipartite_graph_K3%2C3.svg.png)
เนื่องจากเป็นไปไม่ได้ที่จะวาดกราฟสองรูปนี้โดยไม่มีเส้นเชื่อมตัดกัน กราฟสองรูปนี้เป็นกราฟที่ไม่เป็นกราฟเชิงระนาบที่เล็กที่สุดด้วย
ลักษณะเฉพาะ
[แก้]กาซีมีแยช กูราตอฟสกี (Kazimierz Kuratowski) นักคณิตศาสตร์ชาวโปแลนด์ ได้ศึกษากราฟเชิงระนาบและสามารถระบุลักษณะเฉพาะของกราฟเชิงระนาบ ในทฤษฎีที่รู้จักกันในชื่อ ทฤษฎีบทของกูราตอฟสกี ซึ่งกล่าวว่า "กราฟจะเป็นกราฟเชิงระนาบ ก็ต่อเมื่อ กราฟนั้นไม่ประกอบด้วยกราฟย่อยซึ่งเป็น การกระจาย ของ K5 (กราฟแบบบริบูรณ์ที่มี 5 จุดยอด) หรือ K3,3 (กราฟแบบสองเชิงแบบบริบูรณ์ ที่มีจุดยอด 6 จุดโดย จุดยอด 3 จุดจะเชื่อมโยงกับจุดยอดอีก 3 จุด)"
การกระจายของกราฟ เป็นผลลัพธ์มาจากการแทรกจุดยอดลงไปในเส้นเชื่อม นั่นคือ เปลี่ยนจากเส้นเชื่อม •——• ไปเป็น •—•—• และอาจทำซ้ำอย่างนี้อีกหลายครั้ง ลักษณะเฉพาะดังกล่าวสามารถเขียนได้อีกรูปแบบหนึ่ง ซึ่งเป็นที่รู้จักกันว่า "ทฤษฎีบท P" ได้ดังนี้
- กราฟจะเป็นกราฟเชิงระนาบ ก็ต่อเมื่อ กราฟนั้นไม่มีกราฟย่อยซึ่งสมสัณฐานกับ K5 หรือ K3,3
- กราฟจะเป็นกราฟเชิงระนาบ ก็ต่อเมื่อ กราฟนั้นไม่มี K5 หรือ K3,3 เป็นไมเนอร์
รูปทั่วไปของทฤษฎีของกูราตอฟสกีที่มีขอบเขตการใช้งานที่กว้างขวางมากถูกพิสูจน์โดยนีล โรเบิร์ตสันและพอล ซีมัวร์ในทฤษฎีบทโรเบิร์ตสัน-ซีมัวร์ที่เป็นเหมือนหลักไมล์อีกอันหนึ่งของทฤษฎีกราฟ ในภาษาของทฤษฎีนี้ K5 และ K3,3 คือ "ไมเนอร์ต้องห้าม" ของเซตของกราฟเชิงระนาบที่มีขนาดจำกัด
ในทางปฏิบัติ วิธีของกูราตอฟสกีนั้นใช้ตรวจสอบกราฟว่าเป็นกราฟเชิงระนาบหรือไม่ได้ค่อนข้างช้า อย่างไรก็ตาม ยังมีขั้นตอนวิธีที่มีประสิทธิภาพมากกว่าในการแก้ปัญหานี้ สำหรับกราฟที่มี n จุดยอด เรามีขั้นตอนวิธีที่ใช้เวลา O(n) ในการตรวจสอบว่ากราฟเป็นกราฟเชิงระนาบหรือไม่
ในบางกรณี ทฤษฎีบทด้านล่างที่ได้มาจากสูตรของออยเลอร์นี้ก็ยังอาจใช้ได้ด้วย สำหรับกราฟเชิงระนาบเชื่อมโยงเชิงเดียว ที่มี n จุดยอด และ e เส้นเชื่อม
- ทฤษฎีบทที่ 1. ถ้า n ≥ 3 แล้ว e ≤ 3n - 6
- ทฤษฎีบทที่ 2. ถ้า n > 3 และไม่มีวัฏจักรที่มีความยาว 3, แล้ว e ≤ 2n - 4
สังเกตว่าทฤษฎีบทนี้ใช้คำว่า ถ้า, ไม่ได้ใช้คำว่า "ก็ต่อเมื่อ" ดังนั้นจึงยังไม่ใช้การระบุลักษณะเฉพาะที่ครบถ้วน นั่นคือผลจากทฤษฎีบทนี้จึงแสดงได้แค่ว่ากราฟที่ไม่ตรงตามเงื่อนไขเหล่านี้ไม่เป็นกราฟเชิงระนาบ แต่ไม่สามารถพิสูจน์ได้ว่ากราฟนี้เป็นกราฟเชิงระนาบ ดังนั้นถ้าทั้งสองทฤษฎีบทนี้ไม่สามารถระบุอะไรได้แล้ว เราจึงต้องใช้ทฤษฎี P ในการตรวจสอบ
ยกตัวอย่างเช่น กราฟ K3,3 มีจุดยอด 6 จุด มี 9 เส้นเชื่อม และไม่มีวัฎจักรที่มีความยาว 3. ดังนั้น ด้วยทฤษฎีบทที่สอง กราฟนี้จึงไม่เป็นกราฟเชิงระนาบ
สูตรของออยเลอร์
[แก้]สูตรของออยเลอร์ (Euler's formula) กล่าวว่า ถ้ากราฟเชิงระนาบเชื่อมโยงจำกัด (finite connected planar graph) ถูกวาดในระนาบโดยไม่มีเส้นเชื่อมตัดกัน และ v คือ จำนวนของจุดยอด, e คือจำนวนของเส้นเชื่อม และ f คือจำนวนของหน้า (face) (บริเวณที่ถูกล้อมด้วยเส้นเชื่อม ซึ่งรวมถึงบริเวณด้านนอกซึ่งมีขนาดไม่จำกัดด้วย) แล้ว
- v − e + f = 2
นั่นคือ ลักษณะเฉพาะของออยเลอร์เท่ากับ 2 ตัวอย่างเช่น จากกราฟเชิงระนาบรูปแรกในหน้านี้ เราจะได้ v=6, e=7 และ f=3 จากกราฟรูปที่สอง ถ้าวาดโดยไม่มีเส้นเชื่อมตัดกัน เราจะได้ v=4, e=6 และ f=4 สูตรของออยเลอร์สามารถพิสูจน์ได้ดังนี้: ถ้ากราฟไม่เป็นต้นไม้แล้ว เราจะลบเส้นเชื่อมที่อยู่บนวัฏจักรออกไป ซึ่งจะเป็นการลด e และ f ลงอย่างละ 1 ดังนั้น v − e + f จึงเป็นค่าคงที่ ให้ทำซ้ำจนกว่าจะได้ต้นไม้ เราจะได้ v = e + 1 และ f = 1 ดังนั้น v - e + f = 2
ในกราฟเชิงระนาบเชิงเดียวเชื่อมโยงจำกัด หน้าใดๆจะถูกล้อมด้วยเส้นเชื่อมอย่างน้อย 3 เส้น และเส้นเชื่อมทุกๆเส้นจะสัมผัสกับหน้าอย่างมาก 2 หน้า; โดยการใช้สูตรของออยเลอร์ เราสามารถแสดงให้เห็นได้ว่า กราฟเหล่านี้เป็นกราฟที่เบาบาง นั่นคือ e ≤ 3v - 6 ถ้า v ≥ 3
คุณสมบัติพิเศษอื่น ๆ
[แก้]ความสัมพันธ์ระหว่างจำนวนจุดยอดและเส้นเชื่อม
[แก้]![]() | ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
การทดสอบความสมสัณฐาน
[แก้]![]() | ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
การระบายสี
[แก้]![]() | ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
กราฟคู่กัน
[แก้]![]() | ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |