< Ungerichteter Graph < Kantengraph < Kantenanzahl < Fakt
Beweis
- Dies folgt unmittelbar aus der Definition des Kantengraphen.
- Sei eine Kante von , aufgefasst als Punkt im Kantengraph . Dieser Punkt ist mit einem anderen Punkt des Kantengraphen, also einer Kante des Ausgangsgraphen, genau dann verbunden, wenn diese Kante an oder an anliegt, wobei nur eines der Fall sein kann. Die Anzahl der an anliegenden Kanten ist , allerdings dürfen wir die Kante nicht mitzählen.
- Nach
Fakt
ist die gesuchte Anzahl der Kanten in unter Verwendung von Teil (2) gleich
da in der mittleren Summe der Term so oft vorkommt, wie es angibt.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.