Magischer Graph

Magische Graphen sind in der Graphentheorie eine Graphenklasse mit speziellen Bewertungen von Ecken und Kanten. Das Gewicht einer Kante ist dabei gleich der Summe der Bewertungen der Anfangs-, Endecke und der Kante selbst. Sind alle Kantengewichte gleich, redet man von einem kantenmagischen Graphen. Das Gewicht einer Ecke ergibt sich als Summe der Eckenbewertung und der Bewertung jeder dort beginnenden Kante. Sind alle Eckengewichte gleich, so redet man von eckenmagischen Graphen. Graphen, die sowohl ecken- als auch kantenmagisch sind, werden total magische Graphen genannt.

Eckenmagische Graphen

Sei $G=(E,K)$ ein endlicher einfacher ungerichteter Graph mit einer totalen Bewertung $\lambda :E\cup K\to \{1,2,...,|E|+|K|\}$. $G$ bzw. $\lambda$ sind ecken-magisch, wenn eine Eckenkonstante $h\in \mathbb {N}$ existiert, so dass für jede Ecke $e\in E$ gilt:

$wt(e):=\lambda (e)+\sum _{eb\in K}\lambda (eb)=h$ (Eckengewicht)

Gewicht einer Ecke ergibt sich als Summe der Eckenbewertung und der Bewertung jeder dort beginnenden Kante.

Kantenmagische Graphen

Sei $G=(E,K)$ ein endlicher einfacher ungerichteter Graph mit einer totalen Bewertung $\lambda :E\cup K\to \{1,2,...,|E|+|K|\}$. $G$ bzw. $\lambda$ sind kanten-magisch, wenn eine Kantenkonstante $k\in \mathbb {N}$ existiert, so dass für jede Kante $ab\in K$ gilt:

$wt(ab):=\lambda (a)+\lambda (ab)+\lambda (b)=k$ (Kantengewicht)

Man gewichtet eine Kante mit der Summe der Bewertungen der Anfangs- und Endecke und der Kante selbst.

Total magische Graphen

Sei $G=(E,K)$ ein endlicher einfacher ungerichteter Graph mit einer totalen Bewertung $\lambda :E\cup K\to \{1,2,...,|E|+|K|\}$. $G$ bzw. $\lambda$ sind total magisch, wenn eine Eckenkonstante $h\in \mathbb {N}$ und eine Kantenkonstante $k\in \mathbb {N}$ existiert, so dass $G$ bzw. $\lambda$ sowohl ecken- als auch kantenmagisch ist.

Beispiele

• Der triviale Graph $K_{1}$ (Graph mit einer Ecke und keiner Kante) ist total magisch mit der Eckenkonstante $1$. Die Kantenkonstante ist diskutabel.
• Der Kreisgraph $C_{3}$ (Dreieck) ist total magisch.
• Der lineare Graph $P_{3}$ ist total magisch.
• $P_{3}$ und $K_{1}$ sind die einzigen total magischen Sterne.
• Der Graph $K_{1}\cup P_{3}$ ist total magisch.

Literatur

• Alison M. Marr, W. D. Wallis: Magic Graphs. 2. Auflage. Springer, 2012, ISBN 978-0-8176-8391-7. 
• A. Kotzig, A. Rosa: Magic valuations of finite graphs. In: Canad. Math. Bull., 13, 1970, S. 451–461

Weblinks

• Eric W. Weisstein: Magic graph. In: MathWorld (englisch).
• Totally magic graphs