ความคิดที่ผ่านการอบครึ่งของฉันนั้นค่อนข้างทะเยอทะยานเกินไป ฉันรวมมันไว้ด้านล่างเพื่ออ้างอิง แต่สภาพระยะทางที่ฉันระบุนั้นไม่เพียงพอที่จะรับประกันว่าจะมีเส้นรอบวงขนาดใหญ่
มีแผนที่พื้นผิวที่มีความสมมาตรสูงขนาดใหญ่ที่มีเส้นรอบวงขนาดใหญ่โดยพลการ แต่การพิสูจน์การมีอยู่ที่ตีพิมพ์นั้นส่วนใหญ่อาศัยทฤษฎีกลุ่มมากกว่าโครงสร้างทอพอโลยีหรือเรขาคณิตต่อ
โดยเฉพาะสำหรับการใด ๆ จำนวนเต็ม , 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 'เป็น กรัมG′gGGG′G′g
Gddg1/d+1/g<1/2