ההגדרה של איזומורפיזם בין גרפים/עצים

roger9

New member
ההגדרה של איזומורפיזם בין גרפים/עצים

למעשה מה שאני רוצה להבין זה את ההגדרה הבאה:
שניי עצים יקראו "מתאימים" אם לוקחים את התמונה ההומיאומורפית של כל אחד מהם, וקיים איזומורפיזם בין שני העצים שמשמר את הלייבלים.
כאשר לשניי העצים אותו מספר עלים ולכל עלה יש לייבל ייחודי.

מה הכוונה "איזומורפיזם שמשמר לייבלים"?

אשמח לדוגמה של איזומורפיזם כזה על גרפים כלשהם..עם הסבר קצר של העניין הזה..
 
איזומורפיזם שמשמר תוויות

אם G,H הם גרפים פשוטים, לכל קודקוד v (ב-G או ב-H) יש תווית (l(v, אז איזומורפיזם משמר תוויות הוא העתקה f מהקודקודים של G לקודקודים של H, שמקיימת:
א) לכל זוג קודקודים v,w ב- G, יש צלע (v,w) ב-G אם"ם יש צלע ((f(v),f(w) ב-H
ב) לכל קודקוד v ב-G מתקיים (l(f(v))=l(v
ג) f חח"ע ועל
 
למעלה