Faktor (Graphentheorie)

Ein Faktor ist in der Graphentheorie ein Teilgraph eines Graphen, bei dem gewisse Anforderungen an den Grad der Knoten sowie an den Zusammenhang des Graphen gestellt werden. Faktoren spielen eine wichtige Rolle in der Theorie des Matching-Problems und des Hamiltonkreisproblems.

Sei ${\displaystyle G=(V,E)}$ ein einfacher Graph und ${\displaystyle g\colon V\rightarrow \mathbb {N} _{0}}$ eine Abbildung, die jedem Knoten des Graphen eine natürliche Zahl zuordnet. Ein g-Faktor ${\displaystyle F}$ ist dann ein Teilgraph von ${\displaystyle G}$ mit derselben Knotenmenge ${\displaystyle V}$ wie ${\displaystyle G}$, in dem jeder Knoten ${\displaystyle v_{i}}$ von ${\displaystyle F}$ den Grad ${\displaystyle g(v_{i})}$ besitzt, also genau ${\displaystyle g(v_{i})}$ Nachbarn hat.

Gilt für alle Knoten ${\displaystyle v_{i}}$ mit ${\displaystyle i=1,\ldots ,|V|}$ die Bedingung ${\displaystyle g(v_{i})=a}$, besitzen also alle Knoten des Teilgraphen genau ${\displaystyle a}$ Nachbarn, spricht man dementsprechend auch von einem a-Faktor. Gilt dagegen für alle Knoten ${\displaystyle v_{i}}$ die Bedingung ${\displaystyle a\leq g(v_{i})\leq b}$, besitzen also alle Knoten des Teilgraphen mindestens ${\displaystyle a}$ und höchstens ${\displaystyle b}$ Nachbarn, spricht man entsprechend von einem [a,b]-Faktor.

Äquivalent zur obigen Definition ist die folgende: Einen a-regulären Teilgraph, der den Graph ${\displaystyle G}$ aufspannt, nennt man a-Faktor.

Eine Zerlegung eines Graphen in a-Faktoren wird a-Faktorisierung genannt. Ein nichtleerer Graph heißt faktor-kritisch, wenn durch Wegnahme eines beliebigen Knotens eine 1-Faktorisierung möglich wird.

Eine Paarung ist ein ${\displaystyle [0,1]}$-Faktor, also ein Teilgraph von ${\displaystyle G}$, in dem jeder Knoten ${\displaystyle x}$ höchstens einen Nachbarn hat. Eine perfekte Paarung ist dagegen ein 1-Faktor, also ein Teilgraph von ${\displaystyle G}$, in dem jeder Knoten ${\displaystyle x}$ genau einen Nachbarn besitzt. Hamiltonsche Graphen schließlich besitzen 2-Faktoren, in denen jeder Knoten ${\displaystyle x}$ genau zwei Nachbarn hat.

Der 1-Faktor-Satz von Tutte besagt, dass man aus ${\displaystyle G}$ und ${\displaystyle g}$ einen Graphen ${\displaystyle G^{*}}$ konstruieren kann, welcher genau dann einen 1-Faktor besitzt, wenn ${\displaystyle G}$ einen ${\displaystyle g}$-Faktor besitzt. Dies ist die Definition einer Reduktion im Sinne der theoretischen Informatik. Da umgekehrt 1-Faktoren Spezialfälle von ${\displaystyle g}$-Faktoren sind, ist das ${\displaystyle g}$-Faktorproblem äquivalent zum 1-Faktorproblem.

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