การสร้างกราฟของเส้นรอบวง


10

Let 3 ฉันต้องการสร้างกราฟอย่างง่ายGของ girth gเช่นว่าชุดของg-ุทุกๆรูปแบบเป็นขอบสองชั้นของG (นั่นคือทุก ๆ ขอบจะถูกแบ่งปันโดยสองg -erc) และเพื่อให้จุดตัดของสองg -107 เป็นจุดยอดขอบหรือว่างเปล่า กราฟที่สร้างขึ้นควรมีขนาดใหญ่โดยพลการg3GggGgg

วิธีการของรุ่นควรมีแบบแผนบางอย่าง แต่ไม่ในความหมายเล็กน้อย ฉันต้องการได้กราฟที่ซับซ้อนพอสมควร ตัวอย่างเช่นลองนึกภาพกริดสี่เหลี่ยมในระนาบ ถ้าเราระบุด้านตรงข้ามของสี่เหลี่ยม bounding เราได้กราฟที่ตอบสนองทุกความต้องการดังกล่าวข้างต้นสำหรับกรัม= 4 ฉันจะทำให้กราฟนี้เป็นเรื่องง่ายn×mg=4

มีวิธีการดังกล่าวหรือไม่?

การอ้างอิงถึงปัญหาที่คล้ายคลึงกันใด ๆ ก็ชื่นชมเช่นกัน


3
คุณอยากให้ -quotages เป็นใบหน้าของรูปหลายเหลี่ยมที่ฝังกราฟลงบนพื้นผิวบ้างไหม? (A ฝังกราฟคือ "หน้าหลายหน้า" ถ้าหน้าของการฝังทุกดิสก์และสองใบหน้าแบ่งปันยอดร่วมกันแบ่งปันขอบทั่วไปหรือไม่ตัด at all.)g
Jeffε

@ Jɛ ff E ใช่ หากทุก -cycles มีการรับประกันว่าใบหน้าและใบหน้าทั้งหมดที่มีการรับประกันว่าจะกรัม -cycles แล้วว่าเป็นคำอธิบายที่เทียบเท่า gg
becko

@ Jɛ ff E คุณรู้หรือไม่ว่าฉันสามารถหากราฟ 4 ตัวที่แตกต่างกันและงานแต่งงานแบบโพลิฮีด พวกเขาไม่จำเป็นต้องเป็นกราฟขนาดใหญ่ แต่ฉันต้องการเห็นกราฟอื่นที่ตรงกับคุณสมบัติที่ฉันร้องขอนอกเหนือจากที่ฉันกล่าวถึง ผมยังไม่ทราบว่าการตัดสินใจ embeddability polyhedral ขอบคุณ NP-สมบูรณ์เพื่อคำตอบนี้ ทั้งๆที่ฉันต้องการทราบอัลกอริทึมที่พบการฝังหลาย polyhedral ถ้ามี คุณรู้จักทรัพยากร / กระดาษ / ... ที่อธิบายขั้นตอนวิธีดังกล่าวหรือไม่?
becko

มีการเชื่อมโยงระหว่างกราฟปกติ 4 อันกับการแต่งงานหลายรูปแบบ? บางคนมีคำอธิบายว่า ปีที่ผ่านมาค้นหาเอกสารเกี่ยวกับการสร้างกราฟปกติมีค่อนข้างน้อยดังนั้นถ้าคุณสามารถใช้ถ้อยคำใหม่คำถามนี้ในแง่ของกราฟปกติมันอาจนำไปสู่ความเป็นไปได้มากขึ้น
vzn

@ vzn สมมติว่าฉันมีรูปหลายเหลี่ยมฝังเหมือนที่เจฟฟ์แนะนำ ใบหน้าทั้งหมดเป็น -Mp3 กราฟคู่ที่ได้จากการฝังนี้คือg -regular บางทีนี่อาจเป็นฤ:ษี: เริ่มต้นด้วยกราฟg- ผิดปกติและหาคู่ของมันอย่างใด นั่นคือสิ่งที่ฉันมีอยู่ในใจ ggg
becko

คำตอบ:


4

ความคิดที่ผ่านการอบครึ่งของฉันนั้นค่อนข้างทะเยอทะยานเกินไป ฉันรวมมันไว้ด้านล่างเพื่ออ้างอิง แต่สภาพระยะทางที่ฉันระบุนั้นไม่เพียงพอที่จะรับประกันว่าจะมีเส้นรอบวงขนาดใหญ่

มีแผนที่พื้นผิวที่มีความสมมาตรสูงขนาดใหญ่ที่มีเส้นรอบวงขนาดใหญ่โดยพลการ แต่การพิสูจน์การมีอยู่ที่ตีพิมพ์นั้นส่วนใหญ่อาศัยทฤษฎีกลุ่มมากกว่าโครงสร้างทอพอโลยีหรือเรขาคณิตต่อ

โดยเฉพาะสำหรับการใด ๆ จำนวนเต็ม , dและrดังกล่าวที่1 /กรัม+ 1 / d < 1 / 2มีแผนที่พื้นผิวปกติที่ใบหน้าของทุกคนมีกรัมขอบทุกจุดสุดยอดมีปริญญาdและทุกที่ไม่หดตัว วงจรบนพื้นผิวข้ามอย่างน้อยrขอบ ที่นี่ "ปกติ" หมายถึงทั้งที่จุดสุดยอดทุกคนมีระดับเดียวกันและสำหรับขอบชี้นำคู่ใด ๆ จะมีออโตมอร์ฟิซึมของการฝังที่ส่งขอบชี้นำไปที่อื่น การตั้งค่าrgdr1/g+1/d<1/2gdrrมากพอในการค้ำประกันการก่อสร้างนี้ว่าเส้นรอบวงของกราฟเป็นกรัมดูตัวอย่าง:g

เมื่อคุณมีแผนที่พื้นผิวหนึ่งแผนที่จะสามารถสร้างแผนที่ขนาดใหญ่ที่มีเส้นรอบวงและองศาเดียวกันได้โดยการสร้างพื้นที่ครอบคลุม


นี่เป็นวิธีหนึ่ง (ครึ่งอบ) ในการสร้างกราฟดังกล่าว ให้เป็นกราฟระนาบที่มีคุณสมบัติดังต่อไปนี้:G

  • ใบหน้าทุกคนกระโดดมีตรงกรัมขอบGg

  • ใบหน้าด้านนอกของมีจำนวนคู่เท่ากัน เรียกเหล่านี้ขอบขอบเขตของG (เงื่อนไขนี้จะถือโดยอัตโนมัติเมื่อgเป็นเลขคู่หากgเป็นเลขคี่Gต้องมีจำนวนใบหน้าที่มีขอบเขตเท่ากัน)GGggG

  • มันเป็นไปได้ที่จะจับคู่ขอบขอบเขตของ , เพื่อให้ระยะทางในGจากขอบเขตแดนใด ๆ ที่จะเป็นพันธมิตรของมันคืออย่างน้อยกรัม เงื่อนไขนี้ไม่เพียงพอจริง ๆ ; เงื่อนไขที่แน่นอนที่จำเป็นที่นี่ไม่มีความชัดเจนGGg

พลกราฟเครื่องบินขนาดใหญ่ที่มีคุณสมบัติเหล่านี้สามารถถูกสร้างขึ้นโดยการใช้ส่วน จำกัด ขนาดใหญ่พอของการปูกระเบื้องปกติของเครื่องบินโดยการผ่อนชำระg -gons

ในที่สุดเพื่อให้ได้กราฟพื้นผิวที่ทุกใบหน้ามีความยาวgให้ระบุคู่ของขอบของขอบเขตในGตามการจับคู่ที่อธิบายข้างต้น ใบหน้าที่ล้อมรอบของGกลายเป็นใบหน้าของการฝังเซลล์ของG บนพื้นผิวปิดบางโดยไม่มีขอบเขต เงื่อนไขระยะทางบนค้ำประกันการจับคู่ที่เส้นรอบวงของG 'เป็น  กรัมGgGGGGg

Gddg1/d+1/g<1/2


นอกจากนี้กราฟที่คุณได้รับจากโครงสร้างนี้คือตัวขยาย
Jeffε

g

คืออะไรแผ่กราฟ?
becko

1
@ Becko คุณควร Google ก่อนถาม :) en.wikipedia.org/wiki/Expander_graph
Kaveh

@Kaveh ตกลง ขออภัยฉันพลาด :)
becko
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.