Blockgraph

Ein Blockgraph ist in der Graphentheorie ein von einem gegebenen Graphen G {\displaystyle G} abgeleiteter Graph G B {\displaystyle G_{B}} , der veranschaulicht, wie sich die 2-zusammenhängenden Komponenten von G {\displaystyle G} zueinander verhalten.

Definition

Sei G = ( V , E ) {\displaystyle G=(V,E)} ein einfacher Graph sowie A {\displaystyle A} die Menge seiner Artikulationen und B {\displaystyle B} die Menge seiner Blöcke. Man bezeichnet den Graphen, der als Knotenmenge V B = A B {\displaystyle V_{B}=A\cup B} hat und der eine Kante ( a , b ) {\displaystyle (a,b)} genau dann besitzt, wenn für a A {\displaystyle a\in A} und b B {\displaystyle b\in B} gilt, dass a b {\displaystyle a\in b} (also wenn die Artikulation Teil des Blockes ist) als Blockgraph G B {\displaystyle G_{B}} von G {\displaystyle G} .

Eigenschaften

  • Ein Blockgraph ist immer ein bipartiter Graph und die Mengen A , B {\displaystyle A,B} sind die Partitionsklassen des Graphen.
  • Der Blockgraph G B {\displaystyle G_{B}} eines Graphen G {\displaystyle G} ist ein Wald.
  • G B {\displaystyle G_{B}} ist genau dann Baum (also azyklisch und zusammenhängend), wenn G {\displaystyle G} zusammenhängend ist.

Literatur

  • Reinhard Diestel: Graphentheorie. Springer, Berlin 2010, ISBN 978-3-642-14911-5 (354 S.).