คำแถลงของคุณค่อนข้างคลุมเครือ: ก่อนอื่นให้คุณเขียนว่า "... จนไม่มีขอบเกิดขึ้นระหว่างโหนด R"แต่ย่อหน้าถัดไปแสดงว่าไม่มีขอบระหว่างจุดยอดใน A. ฉันจะสมมติว่าดวงดาวนั้นแยกจากกันและคุณนับขอบทั้งหมด (รวมถึงดวงดาวในดวงดาว) สมมติว่ามีดาวอย่างน้อยสองดวงและอย่างน้อยหนึ่งดาวก็มีระดับ≥2.
ในกรณีนี้คุณไม่สามารถเอาชนะ 2N−4 ผูกพัน (N= จำนวนจุดยอดทั้งหมด) พิจารณาสถานการณ์ที่แตกต่างเล็กน้อย: เริ่มต้นด้วยชุดใด ๆยังไม่มีข้อความจุดยอดสีแดงบางสีดำอย่างน้อยสองชนิด ในแต่ละขั้นตอนเพิ่มขอบระหว่างสีแดงและจุดสุดยอดโดยพลการตราบเท่าที่มันไม่ได้สร้างจุดตัดหรือขอบที่ซ้ำกัน ฉันอ้างว่าเมื่อคุณติดอยู่ทุกรอบมีความยาว4.
สถานการณ์ของคุณเป็นกรณีพิเศษของกระบวนการนี้ที่คุณเริ่มต้นด้วยการสร้างดาวก่อนแล้วจึงเพิ่มขอบที่เหลือ หากทุกรอบมีความยาว4, 2N−4ผูกพันดังนี้ โดยทั่วไปแล้วมันแสดงให้เห็นว่าไม่ว่าคุณจะเริ่มจากกราฟแบบสองฝ่ายใดคุณสามารถทำให้เสร็จสมบูรณ์เป็นกราฟสี่เหลี่ยมจัตุรัส (คำที่ฉันสร้างขึ้น) กราฟ
ตอนนี้ขอแสดงการเรียกร้อง ในกระบวนการนี้เส้นทางทั้งหมดจะมีจุดยอดดำและแดงสลับกันและแต่ละรอบจะมีความยาวอย่างน้อย4. หากไม่ได้เชื่อมต่อกราฟคุณสามารถเชื่อมต่อจุดสุดยอดสีแดงใด ๆ บนใบหน้าด้านนอกขององค์ประกอบหนึ่งด้วยจุดยอดสีดำที่อีกด้านหนึ่งขององค์ประกอบอื่น ดังนั้นเราสามารถสรุปได้ว่ากราฟเชื่อมต่อแล้ว
สมมติว่าคุณมีใบหน้า F ความยาว 6 หรือมากกว่า. Fต้องมีจุดยอดดำอย่างน้อยสามจุด (บางอันอาจเท่ากัน) ถ้าจุดสุดยอดบางx ซ้ำแล้วซ้ำอีกใน Fใช้เวลาสองครั้งที่ปรากฏตามลำดับตามเข็มนาฬิกาของ x, พูด x−a−...−x−b.... F ต้องมีจุดสุดยอดสีดำ z≠xดังนั้นขึ้นอยู่กับตำแหน่งของ zเราสามารถเชื่อมต่อได้ a หรือ b ถึง z ภายใน Fโดยไม่ต้องทำซ้ำขอบ ถ้าไม่มีจุดสุดยอดซ้ำให้เลือกส่วนตามเข็มนาฬิกาx−a−y−b−z ของ Fที่ไหน x,y,z ดำและ a,bเป็นสีแดง ถ้าx เชื่อมต่อกับ ข แล้วก็ a ไม่สามารถเชื่อมต่อกับ Z (ตามภาพถ่าย) เพื่อให้เราสามารถเพิ่มหนึ่งในขอบ (x,b), (a,z) ภายใน F.