มีอัลกอริทึมบางอย่าง เช่น Edmond's Algorithm หรือ Boruvka's Algorithm ซึ่งต้องการให้โปรแกรมเมอร์สร้างกราฟซึ่งได้มาจากการหดตัวของบางโหนดให้เป็นโหนดเดียว และ ต่อมาก็ขยายกลับ
คำอธิบายอย่างเป็นทางการของการหดตัวมีดังนี้:
ให้ G
เป็นกราฟที่มีจุดยอด V
และขอบ E
ให้ C
เป็นส่วนประกอบที่เชื่อมต่อกันของ G
การย่อของ G
เทียบกับ C
ถูกกำหนดให้เป็นกราฟบน V - nodes(C) + C*
โดยที่ C*
คือ "supernode" ที่แสดงถึงองค์ประกอบที่ทำสัญญา ขอบที่ไม่เกี่ยวข้องกับจุดยอดใน C
เป็นไปตามที่เป็นอยู่ ขอบที่มีจุดสิ้นสุดใน C
เชื่อมต่อกับ C*
แล้ว
ฉันไม่ชัดเจนสำหรับฉันว่าจะใช้อัลกอริทึมดั้งเดิมดังกล่าวได้อย่างไรโดยใช้การเป็นตัวแทนเช่นรายการคำคุณศัพท์
อะไรจะเป็นวิธีที่สวยงามและมีประสิทธิภาพในการแสดงกราฟเพื่อให้สามารถย่อขนาดในขณะที่จดจำข้อมูลที่เกี่ยวข้องเพื่อขยายกราฟได้