Deutlich Endliche Graphen

• Graph G=(V, E) heißt deutlich endlich groß, wenn gilt:

  • |E|  |V|  1
  • G ist stark zusammenhängend. [Formal: ∀v1 ,v2∈V : ∃ Pfad v1  v2]
  • „R-Bedingung“: ∃ Pfad (v1,v2,  ,vr) ∧ ∃ Pfad (vr,vr+1,  ,vi ,v1) ⇒ (v1=vr)

Notizen: