การอ้างอิงแสดงผู้เยาว์เป็นผู้เยาว์ทอพอโลยีสำหรับกราฟ subcubic


12

หากเป็นกราฟที่มีระดับสูงสุด 3 และเป็นผู้เยาว์ของHแล้วGเป็นผู้เยาว์ทอพอโลยีของHGHGH

Wikipedia อ้างถึงผลลัพธ์นี้จาก "Graph Theory" ของ Diestel มันอยู่ในรายการ Prop 1.7.4 ในหนังสือเวอร์ชั่นล่าสุด หนังสือเล่มนี้ไม่มีหลักฐานหรือการอ้างอิง

สถานที่นั้นเป็นที่รู้จักสำหรับหลักฐาน (ต้นฉบับ) ของเรื่องนี้หรือไม่?

นอกจากนี้ยังมีการอ้างอิงที่พิสูจน์ว่าถ้าเป็นเส้นทางหรือส่วนย่อยของก้ามปูและเป็นส่วนย่อยของHแล้วGเป็นกราฟย่อยของHหรือไม่? มันพูดถึงที่นี่สั้น ๆ แต่ขาดการอ้างอิงGHGH


หนังสือมีวางจำหน่ายแล้วที่diestel-graph-theory.com
Alexander Langer

ขอบคุณอเล็กซานเดอร์ หนังสือเล่มนั้นไม่มีการอ้างอิงหรือพิสูจน์ข้อเสนอคุณทราบหรือไม่ว่าฉบับเต็มมีหรือเป็นแหล่งข้อมูลอื่นหรือไม่
อีไล

2
ฉันจำได้ว่ามีการค้นหาการอ้างอิงสำหรับข้อเท็จจริงที่สองที่คุณระบุ แต่ฉันไม่พบอะไร การอ้างอิงที่ดีที่สุดที่ฉันรู้สำหรับข้อความแรกคือหนังสือของ Diestel ซึ่งไม่ได้พิสูจน์ข้อความนั้น ฉันจะรอเพื่อดูว่ามีคนพบการอ้างอิง ถ้าไม่ใช่ฉันจะโพสต์หลักฐานเพื่อเป็นคำตอบ
Robin Kothari

1
@ Robin ณ จุดนี้ถ้าคุณโพสต์หลักฐานมันก็ดีพอสำหรับฉัน มีวิธีที่เหมาะสมในการระบุว่าคุณควรใช้ผลลัพธ์นี้ที่ใดที่หนึ่งหรือไม่? ฉันไม่คุ้นเคยกับนโยบายการแลกเปลี่ยนสแต็กหรือการปฏิบัติมาตรฐาน
Eli

1
จริงๆแล้วการอ้างอิงได้ถูกพูดคุยและแก้ไขที่นี่แล้ว: meta.cstheory.stackexchange.com/questions/352/…
Aaron Sterling

คำตอบ:


13

หากGเป็นกราฟที่มีระดับสูงสุด 3 และเป็นผู้เยาว์ของHแล้วGเป็นผู้เยาว์ทอพอโลยีของHGHGH

GHGH

HHHGHG

GHH

HG

H1H2H2H1HGGHH

GHGH

GHHHG

เราจำเป็นต้องใช้ผลลัพธ์นี้สำหรับกระดาษหนึ่งครั้งดังนั้นเราจึงรวมการพิสูจน์สั้น ๆ ไว้ในกระดาษของเรา คุณสามารถค้นหาผลในความซับซ้อนแบบสอบถามควอนตัมของคุณสมบัติกราฟเล็กน้อยปิด มันถูกกล่าวถึงในหน้า 13 อย่างไรก็ตามข้อเท็จจริงนี้ถูกซ่อนอยู่ในการพิสูจน์สิ่งอื่นและไม่ได้ระบุไว้อย่างชัดเจนว่าเป็นทฤษฎีบท

สิ่งที่น่าสนใจก็คือมีการพูดถึงทฤษฎีบทนี้:

GGG


1
ขอบคุณ หากคุณบังเอิญสะดุดกับการอ้างอิงที่เผยแพร่สำหรับผลลัพธ์เหล่านี้ฉันยังคงชอบ แต่นี่เป็นตัวเอก
Eli

คำตอบนี้ให้ความสำคัญกับบล็อกของชุมชน
Aaron Sterling

คำตอบที่ดี แต่ฉันคิดว่าเทคนิคของคุณในการไม่อนุญาตการหดตัวระดับ 1 มีข้อบกพร่อง ตัวอย่างเช่นพิจารณา G = K_4 ลบขอบใด ๆ การหดตัวตามจุดยอดสองจุดของระดับ 3 ใน G จะสร้างกราฟเส้นทาง P_3 ด้วยระดับสูงสุด 2 แต่ถ้าคุณไม่อนุญาตการหดตัวใด ๆ บนขอบซึ่งจะเทียบเท่ากับการลบบางส่วนการพิสูจน์ควรผ่านไป อย่างเป็นทางการคุณห้ามการหดตัวระหว่างจุดยอด x และ y หาก gamma (x) \ {y} = gamma (y) \ x จะแสดงได้อย่างง่ายดายว่าการหดตัวใด ๆ ที่ไม่ละเมิดข้อ จำกัด นี้จะส่งผลให้เกิดจุดยอดใหม่ของระดับที่ไม่ลดลง
RussellStewart

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