Está en la página 1de 42

Acta Mathematica Academiae Scientiarum Hungaricae Tomus 18 ( 1 - - 2 ) , 1967, pp. 25--66.

TRANSITIV ORIENTIERBARE GRAPHEN


Von T. G A L L A I (Budapest)
(Vorgelegt yon G. HAJ6S)

1. Einleitung und Resultate


(1.1) In der vorliegenden Arbeit kommen nur solche endliche Graphen vor, die weder Schlingen, noch mehrfache Kanten enthalten. Wenn man die Kanten eines Graphen G so orientieren kann, dab G mit den Kanten a-b und be stets auch die Kante ~ enth/ilt 1 so sagen wir: G 1/il3t sich transitiv richten, oder Gist transitiv orientierbar (kurz t-orientierbar). Kfirzlich haben A. GNOUILA-HOURI [2], [3] sowie P. C. GILMOREund A. J. HOFFMAN [5] ffir die t-Orientierbarkeit notwendige und hinreichende Bedingungen angegeben. In unserer Arbeit wollen wit diese Untersuchungen in mehrere Richtungen weiterffihren. Den Ausgangspunkt yon [2], [3] und [5] bildet die folgende Bemerkung: Ist G t-orientierbar, so folgt aus ab, ac E G und bc C G, 2 dal3 bei einer jeden t-Orientierung yon G entweder ab und ~ , oder aber ba und ~ vorkommen, d.h. die Kanten ab und ac werden bezi~glich des Punktes a in gleicher tVeise orientiert. Wir werden das Bestehen der Behauptungen ab, ac E G und bc~ G - - auch ffir beliebige, nicht unbedingt t-orientierbare Graphen G - mit
ab A ac

bezeichnen. (Das Zeichen A bezieht s i c h - wenn anders nicht gesagt w i r d immer auf den mit G bezeichneten Graphen, und in die Feststellung abAcd soll die Behauptung, dab ab und cd verschiedene benachbarte Kanten yon G sind, miteinverstanden sein.) Die Relation A gibt Anlal3 zur folgenden Klasseneinteilung der Kanten yon G: Zwei verschiedene Kanten ab und cd sollen dann und nur dann zur selben Klasse geh6ren, wenn es eine Folge yon Kanten xly ~ ( i = 1, ..., n; n =>2) mit x l Y l =ab, X,yn ~cd, xiYi/~x~+lY~+l ( i = 1..... n-- 1) gibt. Die so definierten Klassen wollen wir als die Kantenklassen yon G bezeichnen. Fiir einen t-orientierbaren Graphen G hat diese Klasseneinteilung die folgende Bedeutung: Die Richtung einer Kante bestimmt - - ftir jede t-Orientierung yon G - - die Richtungen s~imtlicher zur selben Kantenklasse geh6rigen Kanten. Die erste Gruppe unserer Ergebnisse - - die S/itze (1.2), (1.5) und (1.6) - - geben die m6glichen Strukturen und ,,Verkniipfungsarten" der Kantenklassen an. Dies mag auch abgesehen yon der Frage der t-Orientierbarkeit yon gewissem Interesse sein.
1 Die Knotenpunkte (im folgenden kurz Punkte) werden im allgemeinen mit kleinen lateinischen Buchstaben (a, b,..., x , y , . . . ) , die Kanten mit Buchstabenpaaren ( x y = y x ) , die gerichteten (orientierten) Kanten mit Pfeilen fiber den Buchstabenpaaren (s =fly ) bezeichnet. 2 x c G bzw. xy ~ G bedeutet: x ist ein Punkt von G, bzw. x und y sind verschiedene Punkte yon G und die Kante x y geh6rt zu G. (~ bezeichnet den komplement/iren Graphen von G, d. h. : (~ besitz dieselben Punkte wie G, und zwei Punkte sind in t~ dann und nur dann verbunden, wenn sie in G nicht verbunden sin&
Acta Mathematica Academiae Scientiarum Hungaricae 18, I967

26

T, GALLAI

Eine triviale Eigenschaft der K a n t e n k l a s s e n ist die folgende: Die K a n t e n einer Klasse, z u s a m m e n mit den E n d p u n k t e n dieser K a n t e n , b i l d e n stets einen z u s a m m e n h~ingenden G r a p h e n . I m folgenden Satz sind einige grundlegende Eigenschaften der K a n t e n k l a s s e n zusammengefal3t: ( 1 . 2 ) SATZ. 1) Ist der Graph G nicht zusammenhiingend, und sind G1, ..., G o (q =>2) die Komponenten yon G, so geben die Kantenklassen yon G1 ..... G o siimtliche

Kantenklassen yon G an. 2) Ist G nicht zusammenhiingend (dann ist G zusammenhiingend), und sind G1 . . . . . Gq (q-->2) die Komponenten yon G, ist ferner A i - ~ ( G i ) die Menge der Punkte yon G~ ( i = 1 . . . . . q),3 so gilt fftr ein jedes Indexpaar i , j (1 <~i<j<~q), daft A~ und A j in G vollstdndig verbunden 3 sind und siimtliche AiAj-Kanten 3 eine Kantenklasse Eis yon G bilden. Die yon den Eij versehiedenen Kantenklassen yon G fallen mit den Kantenklassen der Graphen [Ai]~=Gi ( i = 1. . . . . q)3 zusammen. 3) Sind G und G beide zusammenhdngend und mehrpunktig, so existiert eine eindeutig bestimmte eehte Zerlegung P - {A1, ..., Aq} yon ~ ( G ) , 4 mit den folgenden Eigenschqften: a) Gibt es f # r ein Indexpaar i , j (1 <=i<j<-q) eine zu G geh6rige AiAj-Kante, so sind A i und A j in G vollstiindig verbunden. b) Siimtliehe Kanten yon G, die verschiedene A i Mengen verbinden, bilden eine einzige Kantenklasse E yon G. Jeder Punkt yon G i s t zu wenigstens einer Kante yon E inzident. c) Die yon E versehiedenen Kantenklassen yon G .fallen mit den Kantenklassen der Graphen [ A i ] G = G ~ ( i = 1 . . . . . q) zusammen. d) Die Zerlegung P ist keine Verfeinerung 4 einer anderen, die Eigensehaften a), b), c) besitzenden echten Zerlegung yon ~ ( G ) .
Erg~inzend b e m e r k e n wir, d a b i m F a l l e 3) stets q =>4 ist (s. (2. 3)). (1.3) Betrachtet m a n n u n auch i m Falle 1 ) y o n (1.2) die Zerlegung P = = {Aa, ..., Aq} mit A~ = N ( G ~ ) ( i = 1. . . . . q) v o n N ( G ) , so gibt ( 1 . 2 ) f/Jr j e d e n m e h r p u n k t i g e n G r a p h e n G die eindeutig b e s t i m m t e echte Zerlegung P = {A,, ..., A~} v o n ~ ( G ) an, die w i t die kanonisehe Zerlegung von 3~(G), o d e r die zu G geh6rige k a n o n i s c h e Z e r l e g u n g nennen. Die M e n g e n A~ . . . . . Aq heil3en die Punktklassen der k a n o n i s c h e n Zerlegung. Bei einem e i n p u n k t i g e n G r a p h e n G soll P = {A} mit A = 3~(G) als die k a n o n i s c h e Zerlegung y o n ~ ( G ) b e t r a c h t e t werden (mit der einzigen P u n k t k l a s s e A). a ~ ( 6 3 bezeichnet stets die Menge der Punkte des Graphen G. Sind X und Y fremde Punktmengen, und ist x~X, y~ Y, so heil3t xy eine XY-Kante (ira Falle X={x} auch eine xY-Kante). Ist ferner X, Y c ~(63 und enth~ilt G eine XY-Kante, so sagen wir, dab X und Y (in 63 verbunden sind. Enth~ilt G s/imtliche XY-Kanten, so sind X und Y (in 63 vollstiindig verbunden. Ist Xc-~(63, so bezeichnet G - X jenen Graphen, der aus G durch Weglassen der Punkte von X ensteht. Im Falle X= {x} setzen wir G - {x}= G - x. Ist xy ~ G, so bezeichnet G - xy jenen Graphen, der aus G durch Weglassen der Kante xy entsteht. Ist Xc-9~(G), so bezeichnet [X]~ denjenigen Teilgraphen von G, der durch die Punkte von X gespannt wird, d. h. [XJa = G - ( ~ ( 6 3 - X ) . 4{X1,...,X,} ist dann eine echte Zerlegung der Menge Y, wenn n_~2, X~nXs=O(i~j; i, j = 1.... , n) und [~ X~= Y bestehen. Die echte Zerlegung {/(1..... Xn} von Y ist eine Verfeinerung der echten Zerlegung {X;..... X,~} von Y, werm X, c=Xj, mit 1 <--j,~-m (i= 1.... , n) gilt, und jl ..... ], nicht alle verschieden sind.
Acta Mathematlca Academiae Scientiarum Hungaricae 18, I967

i=1

TRANSITIV ORIENTIERBARE G RA PH E N

27

Diejenigen Kantenklassen von G, deren Kanten verschiedene A~ Mengen verbinden, sollen iiuflere, die fibrigen innere Kantenklassen yon G heiBen. Nach (1.2) ist jede innere Klasse yon G entweder ~iul3ereoder innere Klasse eines [A~]a (1 <=i ~ q). Die Untersuchung der inneren Klassen yon G ffihrt so zu den kanonischen Zerlegungen der Graphen [A~] a (i= 1..... q). Wir werden die zu diesen Zerlegungen geh6rigen Punktklassen die zu G geh6rige Punktklassen zweiter Ordnung nennen. Und allgemein, bezeichnet A" eine zu G geh6rige Punktklasse r-terOrdnung, so sollen die Punktklassen der zu [A% geh6ringen kanonischen Zerlegung die Punktklassen (r + 1)-ter Ordnung yon G heigen (r =0, 1, 2 .... ). Hier bedeutet A ~ die Menge ~(G) (die Punktklassen erster Ordnung sind mit den Punktklassen der kanonischen Zerlegung yon' N(G) identisch). Offensichtlich gibt es zu jedem nichtleeren (endlichen) Graphen G eine natfirliche Zahl k so, dab s/imtliche Punktklassen k-ter Ordnung von G einpunktige Mengen sind. Durch einen einfachen Induktionsschlug folgt aus (1.2), dab eine jede Kantenklasse von G ~tul3ere Klasse eines Graphen [A']a (r=>0) ist. Daraus sieht man, dab zwei verschiedene Arten yon Kantenklassen existieren: die eine entspricht den /iul3eren Klassen des Falles 2), die andere der /iul3eren Klasse des Falles 3) von Satz (1.2). Es sei noch eine nennenswerte Folge yon (1.2) erw/ihnt: Bezeichnet man mit ~(E) die Menge der Punkte, die zu den Kanten einer Kantenklasse E geh6ren, so besteht ffir verschiedene Kantenklassen E1 und E 2 v o n G stets ~ ( E 1 ) ~ ( E 2 ) . (1.4) Man kann ffir die Punktklassen verschiedener Ordnung auch eine andere, und zwar eine rekursionsfreie Charakterisierung geben. Aus (1.2) folgt leicht, dab eine jede Punktklasse X = A" (r =>0) die folgenden Eigenschaften besitzt: 1 ) X r Q, 2) ffir jedes x CG - X geh6rt entweder keine xX-Kante zu G, oder geh6ren alle xX-Kanten zu G. Wir wollen nun eine beliebige Menge Xc=N(G) mit den Eigenschaften 1) und 2) (in G) gesehlossen nennen. Ferner soll die in G geschlossene Menge X (in G) stark gesehlossen heil3en, wenn ffir jede andere in G geschlossene Menge Y die eine der folgenden Behauptungen besteht: X N Y = Q, X c Y, Y c X . Es sei bemerkt, dab jede einpunktige Menge, sowie N(G) in G stark geschlossen ist. Eine in G geschlossene (bzw. stark geschlossene) Menge X soll (in G) quasimaximal heil3en, wenn X ~ N(G) besteht, und kein in G geschlossenes (bzw. stark geschl0ssenes) Y mit X c Y c N ( G ) existiert. Der folgende Satz gibt den Grund der Benennung ,,geschlossen" an" (1.5) SATZ. Ist X eine geschlossene Punktmenge des Graphen G, und geh6rt eine Kante der Kantenklasse E yon G zu [X]c, so geh6ren alle Kanten yon E zu IX]a, ferner ist E auch eine Kantenklasse yon [X]a. Umgekehrt, for jede beliebige Kantenklasse E yon G ist N(E) in G geschlossen. Der folgende Satz enth/ilt die erw~ihnte Charakterisierung der Punktklassen A': (1.6) SATZ. Ist der Graph G mehrpunktig, so fallen die quasimaximalen stark gesehlossenen Punktmengen yon G mit den Punktklassen der kanonisehen Zerlegung yon ~(G) zusammen. Ist G nieht leer, so ist die Gesamtheit der stark gesehlossenen Punktmengen yon G mit der Gesamtheit der Punktklassen aller Ordnung yon G identiseh. (1.7) Um die Bedingungen der t-Orientierbarkeit herzuleiten, sowie eine Obersicht fiber die verschiedenen t-Orientierungen eines Graphen zu erhalten, benbtigen wir den Begriff des Zerlegungsgraphen Gv eines nichtleeren Graphen G.
Acta Mathematica Academiae Scientiarum Hungaricae I8, I967

28

T. G A L L A I

Die Definition yon G p lautet: Es ist ~ ( G p) = {Ai, ..:, A a} (q --> i), wobei {A x . . . . . Aa} die kanonische Zerlegung yon ~(G) bezeichnet. Die verschiedenen Punkte A s und Aj yon G p sind in G p dann und nut dann durch eine Kante verbunden, wenn G eine A~Aj-Kante enth~ilt. Bezfiglich G v gilt der folgende Satz: (1.8) SATZ. 1) Die Punktklassen der kanonischen Zerlegung yon N(G p) sind alle einpunktig. 2) 1st G einpunktig, so gilt das gleiche auch fiir Gp. 3) 1st G nicht zusammenhiingend, so besteht G p aus lauter isolierten Punkten. 4) 1st G nicht zusammenhiingend, und besitzt er k Komponenten, go ist Gp ein vollstiindiger k-Graph. 5 Es bildet dann .jede Kante yon Gp in sich selbst eine Kantenklasse yon GV: 5) Sind G und G beide zusammenhiingend und mehrpunktig, dann ist auch Gp und sein komplementiirer Graph zusammenhiingend. Gv enthiilt mindestens 4 Punkte, und siimtliche Kanten yon G p geh6ren derselben Kantenklasse zu. In unseren Untersuchungen spielen auch die ,,Zerlegungsgraphen h6herer Ordnung", d.h. jene Zerlegungsgraphen Gfr) eine Rolle, die zu den Graphen G(~) = [A']o geh6ren, wobei A r eine Punktklasse r-ter Ordnung (r => 1) yon G bezeichnet. Wir wollen kurz den Graphen G~) als den zur Punktklasse A ~ geh6rigen Zerlegungsgraphen bezeichnen. Der Einheitlichkeit halber soll GP=G~o)gesetzt werden. Beztiglich der t-Orientierbarkeit yon Graphen soll zuerst die folgende triviale Behauptung erw/ihnt werden: Ist G t-orientierbar, so ist ffir jedes X~=~(G) auch [X]o t-orientierbar. Der folgende Satz erm6glicht eine Lrbersicht zu geben fiber die verschiedenen t-Orientierungen eines Graphen (s. (1.10)). (1.9) SATZ. Es sei G ein nichtleerer Graph, und betrachte man eine beliebige Punktklasse ( r - 1 ) - t e r Ordnung ( r ~ l ) A "-x yon G, die kanonische Zerlegung P ~ = { A ] , ..., Af,} yon A "-~, den Zerlegungsgraphen G~_I) yon [Ar-1]a, sowie zwei solche Mengen A~ und A s yon pr, die in G vollstiindig verbunden sind. 1) Ist G t-orientierbar, so erhalten bei einer jeden t-Orientierung yon G siimtlithe A~A~-Kanten yon G bezi~glich der Mengen A[ und A s die gleiehe Richtung. 6 Orientiert man dieser Richtung entsprechend die Kante A~A~ yon GP(r,a), und fiihrt man diese Orientierung fftr jede Kante yon GP(r_I) durch, so erhiilt GP(,_I) eine t, Orientierung. 7 2) Umgekehrt, nehmen wir jetzt an, daft siimtliche Zerlegungsgraphen Gf~_~) (r = 1, 2 . . . . ) yon G t-orientierbar sind. Wiihlt man dann zu jedem Gf~-l) beliebig eine t-Orientierung, 7 und erteilt man siimtlichen ATA~-Kanten yon G (bezi~glich A~ und As) die Richtung der Kante ATA~ yon Gf,_ ~), fi~hrt man dies fftr jede Kante yon G~_ 1) und fi~r jeden Zerlegungsgraph Gf~_ ~) yon G durch, so erhiilt man eine t-Orientierung yon G. 5 Ein vollst/indJger k-Graph enth/ilt genau k Punkte, und je zwei yon diesen sind mit einer Kante verbunden. 6 d. h. entweder sind alle yon A'~ nach A;: gedchtet, oder sind sie alle umgekehrt gerichtet. 7 Wit wollen auch bei einem Graphen, der aus lauter isolierten Punkten besteht, von einer ,,t-Orientierung" des Graphen sprechen.
Acta Mathematica Academiae Scientiarum Hungarlcae 18, ;,967

TRANSITIV ORIENTIERBARE GRAPHEN

29

(1.10) D a jeder vollst~indige G r a p h t-orientierbar ist, h~ingt nach (1.8) und (1.9) die t-Orientierbarkeit eines Graphen G nur yon der t-Orientierbarkeit jener Zerlegungsgraphen G~,_l) (r = 1, 2 . . . . ) yon G a b , die zu dem Absatz 5) yon (1.8) geh6ren. Diese Graphen besitzen - - falls sie t-orientierbar sind - - genau zwei t-Orientierungen (bei diesen Graphen geh6ren alle Kanten zur selben Kantenklasse). Diejenigen Zerlegungsgraphen, die vollstandige k-Graphen (k=>2) sind, besitzen genau k! verschiedene t-Orientierungen. M a n sieht so, wie die Gesamtheit und Zahl der verschiedenen t-Orientierungen eines Graphen von der Zahl und Art seiner Zerlegungsgraphen abh/ingt. (1.11) Zur Erreichung der obigen Resultate, sowie zur Herleitung yon gewissen versch/irften Bedingungen der t-Orientierbarkeit ben6tigen wir neben der Relation A noch eine andere, ebenfalls f/Jr benachbarte Kanten eines Graphen erkl/irte Relation. Sind ab, ac E G, so bestehe die Relation
ab ~ ac

(in G) dann und nur dann, wenn entweder b = c ist, ~oder ein Weg 8 W = (Xo ... Xk) yon G mit k=>l, x o = b , Xk=C a x i E G ( i = 1 . . . . . k - l ) existiert. Besteht a b ~ a c OnG), so sagen wir, dab ab und ac On G) verkni~pft sind, sowie dag sle (in G) bei a verkni~pft sind. (Wenn anders nicht gesagt wird, bezieht sich die Relation immer auf den mit G bezeichneten Graphen. Ferner soil in der Feststellung ab ~ ac die Behauptung ab, ac C G miteinverstanden sein.) Man sieht leicht, dal3 die angegebene Definition mit der folgenden/iquivalent ist: a b ~ a c besteht dann und nut dann, wenn b und c zur selben K o m p o n e n t e des Graphen [N(a)]a geh6ren, wobei N(a) die Menge der Nachbarpunkte von a in G bezeichnet. 9 Diese zweite Erkl/irung zeigt unmittelbar, dab die R e l a t i o n ~ ffir die mit demselben Punkt a inzidenten Kanten von G eine )kquivalenzrelation ist. Dementsprechend soil ay l ~ ay2 . . . . . ay, bedeuten, dab die Kanten ay i (i = 1 . . . . . n) paarweise verkntipft sind. Bei der ersten Definition yon a b ~ a c gilt im Falle b ~ c ax~/~axi+~ (i = 0 . . . . . k - 1). Daraus folgt, dab zwei verkntipfte Kanten stets zur selben Kantenklasse yon G geh6ren. Es besteht offensichtlich abAac=~,ab~ac. Die Bedeutung der Relation ~ bezfiglich der t-Orientierbarkeit besteht darin, dab s/imtliche bei einem Punkt a verknfipfte Kanten bei jeder t-Orientierung des G r a p h e n bez/iglich a die gleiche Richtung erhalten. (Die Umkehrung dieser Behauptung ist im allgemeinen nicht richtig.) Wir wollen noch eine einfache, jedoch wichtige Eigenschaft der Relation erw~ihnen. Gilt a, b, c C A = ~ ( G ) , so folgt aus dem Bestehen von a b ~ a c in [A]a die Richtigkeit von ab ~ ac in G (die Umkehrung ist nicht allgemein richtig). (1.12) U m die VerkniJpfungen der Kanten von G zum Vorschein k o m m e n zu lassen, f/ihren wir den Verkn#pfungsgraphen G von G ein. Dazu sollen die 8 Die Punkte xo..... xk eines Weges (xo... xu) sind stets verschieden. Es werden auch entartete, einpunktige Wege (x) betrachtet. Der Weg (xo... Xk) wird nach seinen Endpunkten ein Xoxk-Weg genannt. Es sei noch bemerkt, dab die Wege als spezielle Graphen aufgefaBt werden (es wird also mit ihnen keine Durchlaufsrichtung verbunden). 9 Ffir x~ G soll N~ (x) die Menge der Nachbarpunkte yon x in G bezeichnen. Der Index G wird meistens weggelassen. Das Zeichen N(x) bezieht sich - - wenn anders nicbt gesagt wird - immer auf den mit G bezeichneten Graphen.
Acta Matbematlca Academiae Scietztiarzczlz Hu~zgaricae 18, z967

30

T. GALLAI

Kanten der Graphen nicht als Punktpaare, sondern als selbstst~indige Elemente betrachtet werden, deren Inzidenzen zu den Punkten durch die Punk tpaarbezeichnungen angegeben sind. Wir erkl/iren nun: Die Kanten yon G sind identisch mit den Kanten von G. Die P u n k t e , sowie die Inzidenzen der Punkte und Kanten yon G b e k o m m t man folgendermagen: Ffir einen jeden nicht isolierten Punkt x yon G betrachte man den Graphen [N(x)]~. ZerfNlt dieser in die K o m p o nenten [Xi]a ( i = 1. . . . . k; k = > l ; X 1 ..... X k sind die Mengen der Punkte der einzelnen Komponenten), so ,,zerspalte" man den Punkt x in die ,,Teilpunkte" x ~. . . . . x k - - diese sollen die Punkte yon G sein - - und ffige in G s/imtliche xX~Kanten von G zu dem Punkt x ~ (i = 1. . . . . k) hinzu. (In der Zeichnung - - s. Fig. 1 und Fig. 2 - - werden die Teilpunkte nahe zueinander aufgenommen. Die Kanten y o n G sind voll ausgezogen, diejenigen von G punktiert, oder gar nicht eingezeichnet.)

"~ \

a
Fig. 1

f'-~i!

Fig. 2

Aus der Definition folgt unmittelbar: Die Kantenktassen von G fallen mit den Kantenmengen der einzelnen Komponenten von G zusammen. (1.13) U m die Bedeutung yon (~ bezfiglJch der t-Orientierbarkeit yon G zu zeigen, sei jetzt angenommen, dab G t-orientierbar ist, und betrachte man eine beliebige t-Orientierung yon G: Die Orientierung der Kanten von G macht dabei auch aus G einen gerichteten Graphen. Und zwar erhNt G eine besondere Orientierung: Bei jedem beliebigen Punkt x i yon G sind sfimtliche zu x i inzidenten Kanten bezfiglich x i in gleicher Weise gerichtet, x i ist also entweder eine ,,Quelle", oder eine ,,Senke". N(G) zerffillt daher in zwei Gruppen, deren eine die Quellen, die andere die Senken enthfilt; jede Kante yon G verbindet eine Quelle mit eine Senke, und ist yon einer Quelle nach einer Senke gerichtet. Der Graph G m u g also ein
Acta Mathematica Academlae Scientiarum Hungaricae I8, z967

TRANSITIV ORIENTIERBARE G RA PH E N

31

paarer ao G r a p h sein. N u n werden wir auch die U m k e h r u n g dieser Behauptung. beweisen (s. (4. 6)). Es gilt n~imlieh der folgende Satz: (1.14) SATZ. D e r Graph G i s t dann und nur dann t-orientierbar, wenn der Verkniipfungsgraph G yon G ein paarer Graph ist. (I. 15) M a n k a n n auch eine andere Formulierung des Satzes (1.14) angeben. Die Behauptung, dab ein G r a p h ein paarer G r a p h ist, und die Aussage, daf3 j e d e r Kreis (oder jeder geschlossene Z u g ) a l des G r a p h e n gerade ist, d . h . eine g e r a d e Anzahl y o n K a n t e n enthNt, sind gleichwertig. Ist ~ -~ - - ~~s~J'~t o -.. xJs ein Zug v o n G , und ist x[ ~bei der Zerspaltung des Punktes x i v o n G z u s t a n d e g e k o m m e n (i = 0 . . . . . n), so ist Z = ~XoX ~ ... x , i ein Zug y o n G. Ist Z geschlossen, so gilt das gleiche auch ffir Z. Diese offenen und geschlossenen Zfige y o n G haben (ira F a l l e n =>2) die nennenswerte Eigenschaft, dab je zwei ihrer (in Z) benachbart liegenden K a n t e n in G ~,erknfipft sind. G e n a u e r gesagt, es besteht x i _ a x i ~ x z x i + ~ ( i = 1. . . . . n - 1 ) und wenn geschlossen ist, so auch x,,_~x, ~ X o X ~ . Wir wollen diese speziellen Zfige von G als die Ketten bzw. geschlossenen Ketten (yon G) bezeichnen. Ist ~ mit einem W e g bzw. Kreis identifizierbar, so mul3 das gleiche ffir das entsprechende Z nicht gelten: Z k a n n n o c h ,,mehrfache" Punkte enthalten (s. den Zug ~ a t b t c l d t e l f X c 2 a l ~ d e r Fig. 2). FSllt jedoch auch Z mit einem Weg bzw. Kreis y o n G zusammen, so wollen wir dieses Z eine W e g k e t t e bzw. Kreiskette ( n - E c k k e t t e ) nennen. Die Liinge einer Kette (geschlossener Kette) ist gleich der Anzahl ihrer Kanten. Die geschlossene Kette heil3t gerade oder ungerade, je nach dem, ob ihre L~inge gerade oder ungerade ist. In Betracht der erw~ihnten Eigenschaft der paaren G r a p h e n k a n n m a n nun mit den so eingeffihrten Begriffen den Satz (1.14) folgendermaBen formulieren. (1.16) SATZ. Ein Graph ist dann und nur dann t-orientierbar, wenn er keine ungerade geschlossene Kette enthiilt.~ z Die Bedingungen yon (1.14) und (1.16) sind dem Wesen nach mit denjenigen~ 5.quivalent, die von GHOUILA-HOURI und GILMORE und HOFFMAN ffir die t - O n e n t i e r barkeit angegeben wurden: m a n k a n n mit nicht viel Mfihe y o n (1.14) bzw. (1.16) zu den in [3] und [5] formulierten Siitzen gelangen, und umgekehrt. Wir leiten den Satz (I. 16) - - unabh/ingig y o n den Ergebnissen y o n [3] und [5] - - mit Hilfe von unserem Satz (1.9) ab. Unser Beweis ist wohl nicht k/Jrzer als diejenigen v o n [3] und [5], er scheint jedoch einen tieferen Ein.)lick in die Verh~iltnisse zu bieten. Die im Satz (1. 16) v o r k o m m e n d e n geschlossenen Ketten sind im allgemeinen noch ziemlich komplizierte Gebilde. Es ist wfinschenswert, diese durch einfachere lo Ein Graph heigt ein paarer Graph, wenn seine Punkte so in zwei Klassen ei,, .ctcilt werden k6nnen, dab die Kanten des Graphen stets zu verschiedenen Klassen geh6rige Pu,,,te verbinden. 11 Die Folge yon Punkten Z--~xo... x,~ ist ein Zug des Graphen G, falls xlxi +1c G (i - 0 ..... n - 1) und xi x~ +1.~ xsxs +~ftir i r besteht. Mit Z ist auch ~xn...xo~ ein Zug yon G. Wir wollen diese Zfige als identisch betrachten. 1st xo--x,, (n_~3), so heigt Z geschlossen. Sind die Punkte xo,..., x~ bzw. im Fall xo x,, die Punkte x l , . . . , x , verschieden, so kann man Zmit dem Weg bzw. mit dem Kreis (n-Eck) (Xo ... x,d identifizieren. Die Kreise (Videcke) werden fihnlich den Wegen als spezielle Graphen betrachtet. Die L~nge eines Zuges ist gleich der Anzahl seiner Kanten. Der Zug heil3t gerade oder ungerade, je nachdem seine L/inge gerade oder ungerade ist. 12 Den Teil ,,nur dann" von (1.16) kann man auch ohne Bentitzung des Verkntipfungsgraphen leicht erhalten. Durchl~uft man nfimlich in einem t-orientierten Graphen G ein Kette, so findet man, dab die Kanten abwechselncl fibereinstimmend und entgegengesetzt zur Durchlaufsrichtung gerichtet sind. Demzufolge kann G keine geschlossene ungerade Kette enthalten.
Acta Mathen:atlca AcaJe:nJae Scientiarl~:n H.ngaricae 18, 196T

32

T. GALLAI

zu ersetzen. Der erste Schritt in dieser Richtung ist der Beweis des folgenden Satzes (s. Abschnitt 5). (1.17) SATZ. Ein Graph ist dann und nur dann t-orientierbar, wenn er keine ungerade Kreiskette enthdlt. (1.18) Den AbschluB der Vereinfachungen der ,,auszuschlieBenden Gebilde." bedeutet die Bestimmung s/imtlicher irreduziblen nicht t-orientierbaren Graphen. Diese Graphen G sind durch die folgenden Eigenschaften charakterisiert: G ist nicht t-orientierbar und f/Jr jedes Ac_N(G) ist [A]a t-orientierbar. Oder was nach (I. 17) das gleiche bedeutet: G enth~ilt eine ungerade Kreiskette, und ftir jedes A c ~ ( G ) enthNt [A]G keine solche Kette. Wir bestimmen alle diese Graphen (s. die Abschnitte 6 und 7). Sie sind auch zeichnerisch in den Tafeln I u n d II (S. 64 und 65) dargestellt. Man findet unter ihnen 4 solche Typen, die keine Dreieckskette enthalten, und 15 solche, die Dreiecksketten besitzen. Ffir die ersteren sind gleich die Verknfipfungsgraphen gezeichnet. Die letzterw~hnten sind dutch ihre komplement/iren Graphen (diese sind einfacher als die urspr/inglichen) angegeben. (1.19) Wir geben noch eine andere Formulierung des Satzes (1.17), die bei der Bestimmung der irreduziblen Graphen und bei der Untersuchung der Zusammenh~inge mit den Intervallgraphen (s. unten) eine Rolle spielt. Bilden die Kanten des ungeraden Kreises (a t ... az,,+lal) von G eine Kreiskette in G, d . h , genfigen sie den Bedingungen a~_~a~a~a~+l ( i = 1 ..... 2 n ao azn+ 1, a2n+2 al), SO existiert zujedem i = 1..... 2n + 1 ein Weg Wi = (Xlo ... xi~) von G mit X i o = a i _ t , xi,,=ai+l und a~xisCG ( j = 0 ..... cq). Wir wollen nun die Eigenschaften des Gebildes, welches durch die Punkte al ..... az,+l und die Wege Wt ..... W2,+ t i m Graphen G gebildet wird in bezug auf G formulieren. Deswegen sagen wir folgende Definition aus: Die Folge a = {ylW*y2W*2Y3...y2,+lW*z,+lyl} (n >= 1)
= =

soll eine Astroide, genauer eine (2n+ 1)-Astroide des Graphen G heigen, t3 wenn Yl ..... Y2n+I verschiedene Punkte yon G sind, W}~ einen Y~Yi+t-Weg yon G bezeichnet und y, mit kelnem Punkt yon W~+n in G verbunden ist ( i = 1..... 2n + 1 ; das Zeichen W* ist ffir j < l und j > 2 n + l durch die A n n a h m e : 141'= W~ falls e ~ f l (rood 2 n + l ) A~ erkl~rt). Die Punkte Yi sollen die Ecken, die Wege W* die Bogen von a heiBen. (Der Bogen W*+, liegt ,,gegentiber" der Ecke yl. Es gilt offensichtlich y~ ~ W*+,, i = 1. . . . . 2n + 1.) Die Summe der Lgngen der Bogen gibt die Liinge yon a an. Nun ist es leicht ersichtlich, dab die Punkte ai und Wege W~ der vorher erw~ihnten Kreiskette im Graphen ~ eine (2n + 1)-Astroide bilden, und zwar Fig. 3 die Astroide a" = {ai W; a'2W; a3...a2,~+ l W;,+ la~}, 1~ )~hnliche Benennung wird fiir die 3-Astroiden in [7] beniitzt.
Acla Mathematica Academia~ Sclentiarum Hungaricae 18, x967

TRANSITIV ORIENTIERBARE GRAPHEN

33

wobei a' =a2~_ 1 und W ; = Wzi ( i = 1 . . . . . 2 n + l ) gesetzt wurde (a, und aa bzw. W~ und Wa bedeuten, falls a - / 3 (rnod 2n + 1) besteht, denselben Punkt bzw. Weg). 14 Umgekehrt sieht man auch, dab einer jeden Astroide yon G eine ungerade Kreiskette in G entspricht. N u n kann m a n mit Hilfe des Begriffes der Astroide den Satz (1.17) folgendermaBen formulieren: (1.20) Der Graph G ist dann und nur dann t-orientierbar, wenn G heine Astroide enthdlt. (1.21) Wit wollen bemerken, dab die Bogen W* der Astroide yon Fig. 3 besondere Eigenschaften haben: Nur die ,,benachbarten" von ihnen, W* und W*+I ( i = 1. . . . . 2n + 1) besitzen gemeinsame Punkte, und zwar ist jeder Durchschnitt W* fq lJ~*1 ein Weg (dabei soll auch ein Punkt in sich selbst als ein Weg betrachtet werden). Dies ist natfirlich nicht bei jeder Astroide der Fall. Doch kann m a n sich in (1.20) auf solche einfache Astroiden beschr/inken. Es gilt n~imlich, dab gewisse extreme Astroiden eines Graphen stets die erw/ihnten Eigenschaften besitzten. Dabei wird die Astroide a v o n G dann als extrem bezeiehnet, falls die Zahl der Ecken yon ~ minimal ist, und a unter den Astroiden mit minimaler Eckenzahl eine minimale L/inge besitzt. Eben die Untersuchung dieser extremen Astroiden ist eines der wichtigsten Hilfsmittel der Bestimmung yon irreduziblen, nicht t-orientierbaren Graphen. Die Formulierung (1.20) fiihrt zu einer zweiten Art yon irreduziblen Graphen. Diese Graphen enthalten Astroiden, und jeder Teilgraph yon ihnen, der durch Weglassen von Punkten entsteht, besitzt heine Astroide. Offensichtlich sind diese Graphen genau die komplement/iren Graphen der irreduziblen nicht t-orientierbaren Graphen. Diejenigen von diesen, die heine 3-Astroiden enthalten, sind die komplement/iren Graphen yon F 1(2n + 1), F2(2n + 1), Fa(2n + 1), F~(2n + 1) (s. S. 64). Jene, die 3-Astroiden besitzen, sind in Tafel I I in ihrer ursprfinglichen F o r m dargestellt (S. 65). Die 3-Astroiden spielen bei der Charakterisierung der Intervallgraphen ~5 eine wichtige Rolle. Diesbez/iglich enth/ilt [7] den folgenden Satz: (1.22) (LEKKERKERKER--BOLAND) Ein Graph G i s t dann und nur dann ein Intervallgrapk, wenn 1) G mit jedem k-Eek ( k = 4 , 5 . . . . ) aueh eine Diagonale des k-Ecks enthiilt, und 2) in G heine 3-Astroide vorkommt. In [7] sind auch alle solche Graphen bestimmt, die heine Intervallgraphen sind, aus denen jedoch durch Weglassen je eines beliebigen Punktes schon Intervallgraphen entstehen (irreduzible Nicht-Intervallgraphen). Die ffinf angegebenen Typen k o m m e n alle - - mit Ausnahme des Ffinfecks - - unter den Graphen unserer Tafel II (S. 65) vor. Das Ffinfeck f/illt mit dem komplement~ren Graphen von F~(5) (s. Tafel I) zusammen. Umgekehrt, mit Ausnahme des Typs F 9 [9] sind 14 Die Endpunkte von W~= W2i sind die Punkte a21-1=a[ und az~+1=a~ +~. S/imtliche Punkte des a~= a2~- ~gegent~berliegenden Bogens W~'+,,= W2(~+,)= W2~-1 sind in G mit a2~-1 verbunden, sie sind also in G mit a~ nicht verbunden. 15 Ein Graph G heil3t ein Intervallgraph, wenn zu jedem Knotenpunkt von G je ein Intervall der Zahlengeraden so zugeordnet werden kann, dab je zwei dieser Intervalle dann und nur dann einen gemeinsamen Punkt besitzen, falls die entsprechenden Knotenpunkte in G durch eine Kante verbunden sind.
3 Acta Mathematica Academiae Scientlarum H~tngaricae I8, I967

34

T. GALLAI

die Typen der Tafel II entweder identisch mit den in [7] angegebenen Typen, oder kann man Sie aus diesen durch Weglassen yon Kanten erhalten. Der Zusammenhang zwischen t-Orientierbarkeit und Intervallgraphen wurde zuerst durch Gm~ORE und HOFFMAN entdeckt. Sie bewiesen folgenden Satz [5]: (1.23) (GILMORE--HOFFMAN). Ein Graph G i s t dann und nur dann ein lntervallgraph, wenn 1) G mit j e d e m Viereck auch eine Diagonale des Vierecks enthiilt, und 2) G t-orientierbar ist. Nun l~il3t sich aus (1.22) der Satz (1.23) sehr einfach herleiten. Gentigt ngmlich der Graph G der Forderung 2) yon (1.23), so k a n n e r keine Astroiden enthalten (s. (1.20)). Da ein Ffinfeck eine 5-Astroide und jedes k-Eck (k_->6) eine 3-Astroide enth/ilt, kann G kein solches k-Eck (k ~ 5) enthalten, dessen s/~mtliche Diagonalen zu G geh6ren. Genfigt also G auch noch der Forderung 1) yon (1.23), so ist er nach (1.22) ein lntervallgraph. (Die Notwendigkeit der in (1.23) gegebenen Bedingungen ist trivial.) Es scheint jedoch, dab man (1.22) aus (1.23) nicht so eintach bekommen kann. Dazu mug ~:an nfimlich folgendes beweisen: Ein Graph G, in dem nut ( 2 k + l ) Astroiden mit k ~ 2 vorkommen, enth/ilt ein Viereck, dessen beide Diagonalen zu geh6ren. Wir kennen keinen unrnittelbaren Beweis dieser Behauptung. Ihre Richtigkeit kann eingesehen werden, indem man sie an den angegebenen irreduziblen Graphen, namentlich an den Komplementfiren Graphen yon F~(2n + 1), F2(2n + 1), F~(2n + 1) und F4(2n + 1) bestfitigt. Am einfachsten geschieht dies derart, dab man in jedem Fi(2n + 1) (i = 1, 2, 3, 4) zwei solche nicht benachbarte Kanten ab und cd sucbt, f/ir welche c:c, ad, bc, bd alle zum komplementfiren Graphen geh6ren. 2. Die Beweise der S~itze (1.2), (1.5) und (1.6) Um die angedeuteten S~tze zu beweisen, ben6tigen wir zahIreiche Hilfssfitze. (2. 1) Es sei a, b ~ G, a ~ b und W = (xo ... xn), xo = a, x,, = b ein ki:trzester ab- Weg yon G. Dann geh6ren s~;mtliche Kanten yon W zur selben Kantenklasse yon G. BEWEIS. Es genfigt, den Fall n~2 zu betrachten. Dann ist xi-lxi+lCG
(i-- 1. . . . . n - 1), denn sonst wfirde in G ein kfirzerer Weg als W existieren. Daher gilt x~_lxiAxlx~+ 1 ( i = 1..... t7- 1) woraus unsere Behauptung folgt.

(2.2) Es seien X und Y solche nichtleere f r e m d e Teilmengen yon ~(G), die in G vollstiindig verbunden sind, und es sollen die Grap.~en [X]c und [Y]~ beide zusammenhiingend sein. Dann gilt fYtr ein jedes x r X und yC Y, daft alle xY-Kanten bei x, alle yX-Kanten bei y paarweise verknOpft sind. Ferner gehSren alle XY-Kanten zur selben Kantenklasse yon G. BEWEIS. Alle Y-Punkte geh6ren derselben Komponente des Graphen [N(x)] a an. Dies gibt die Richtigkeit der ersten Behauptung. Das Bestehen der Zweiten folgt ~ihnlich. Ist x r x' E X und y ~ y' E Y, so gelten nach den vorangehenden xy ~ x ' y und x ' y ~ x ' y ' . Dies bestfitigt die dritte Behauptung. Die folgende Behauptung ist einer der wichtigsten Punkte unserer Beweisffihrung.
~cta Mathenratica Academiae Sclentiarum Hungaricae I8, 1967

TRANSITIV ORIENTIERBARE G RA PH E N

35

(2. 3) HIL~SSAXZ. Es seien G und G beide zusammenhiingend und mehrpunktig. Dann enthiilt G mindestens 4 Punkte, und besitzt genau eine solche Kantenklasse E, for die ~(E)=.~(G) gilt. (~(E) bezeichnet die Menge jener Punkte, die mit Kanten yon E inzident sind.) BEWE~S. Die Richtigkeit der ersten Behauptung folgt durch eine triviale Diskussion. Zum Beweis des zweiten beachte man, dab G kein vollstS.ndiger G r a p h ist, und daher gibt es ein X c ~ ( G ) ftir das G - X nicht zusammenhS.ngend ist. Es soll L eine minimale unter diesen trennenden Punktmengen X yon G bezeichnen, und G~, ..., Gq ( q ~ 2 ) sollen die Komponenten yon G - - L sein. Wir setzen K i = ~ ( G ~ ) ( i = 1..... q). Aus tier Minimalit~t von L folgt (s. [1] Hilfssatz 2), dal3 ein jedes x E L in G mit allen Ks ( l ~ i ~ q ) verbunden ist. Ferner ist ffir jedes Indexpaar i , j (1 ~i<=j~q) Ki und K s in G vollst~indig verbunden. Nach (2. 2) geh6ren ffir ein solches festes i,j Paar, sfimtliche K~Ki-Kanten zur selben Kantenklasse. Da G zusammenh/~ngend ist, gibt es ein Ks, z. B. K~, das in G mit L verbunden ist. Es sei a l x ~ G mit a l E K l , x ~ L , und XlbiEG mit biEK i ( i = 2 ..... q). Aus a~biEG folgt dann albi/~,aLxl ( i = 2 ..... q). Es geh6ren daher alle KlKi-Kanten ( i = 2 ..... q) zur selben Kanteriklasse E, die auch a~x~ enth~lt. D a a ~ x l eine beliebige K~L-Kante yon G war, geh6ren sSmtliche K~L-Kanten yon G zu E. Wir zeigen, dab ~(E)~-~(G) gilt. Dazu braucht man nur noch L ~ ( E ) zu beweisen. Es sei x ein beliebiger Punkt yon L, und W ein kfirzester a~x-Weg in G. W mul3 eine K~L-, oder eine KiKi-Kante ( 2 ~ i ~ q ) enthalten. Nach (2. 1) geh6ren alle Kanten yon W zur selben Kantenklasse. Es geh6rt daher die mit x inzidente Kante von W zu E, also gilt x E ~ ( E ) . Es sei K~ = ~ ( G ) - K ~ . S~imtliche K~K~-Kanten yon G geh6ren zu E. Gibt es daher eine von E verschiedene Kantenklasse E" von G mit ~ ( E ' ) = ~(G) = K~ L)K'~, so muB E" eine Kante yon [K~]a, t, nd auch eine von [K'~]a enthalten. Dies kann jedoch nicht bestehen, da die Kanten yon E ' einen zusammenh/~ngenden Graphen bilden. (2.4) Man findet die Definitionen der geschlossenen, starkgeschlossenen und der quasimaximalen Mengen in (1.4). Es ist ersichtlich, dal3 alle diese Eigenschaften bezfiglich der Graphen G und C, gleichzeitig bestehen. Im Abschnitt 2 werden - - wenn anders nicht gesagt wird - - aUe diese Begriffe, und auch der Begriff der Kantenklasse bezfiglich des mit G bezeichneten Graphen verstanden. Der Beweis daffir, da[3 ein X c ~ ( G ) geschlossen ist, wird meist in jener Form durchgeffihrt, dab wir aus den Annahmen xEX, y(~X, xyEG folgern, dab alle yX-Ka,~ten zu G geh6ren. (2. 5) BEWE1S DES SATZES (1. 5). 1) Es sei X geschlossen, xyE[X]~, uv~[X]~ und im Gegensatz zur ersten Behauptung von (1.5) E eine Kantenklasse mit xy, uv EE. Dann gibt es eine Folge xlyl ( i = 1, ..., n) yon Kanten (aus G) mit xlyl =xy, x , y , = u v und xiy~/~x~+lys+l ( i = 1 ..... n - l ) . Es sei k ( 2 = < k ~ n ) der kleinste Index mit XkYk~ [A']G. Dann ist Xk- ~Yk- 1 E [X]G, und man darf Yk- 1 = Xk annehmen. Daraus folgt Yk:~X und Xk-~Yk E G, und dies bedeutet einen Widerspruch. Die Richtigkeit der zweiten Behauptung yon (1.5) folgt einfach daraus, dab die Relation /~ - - auf die Kanten yon [X]~ angewendet - - in [X]G und G gleichzeitig besteht.
3*

Acta Mathematica Academiae Scientiarum Hungaricae 18, 1967

36

T. GALLAI

II) U m die dritte Behauptung von (1.5) zu beweisen, sei E eine beliebige Kantenklasse. M a n darf sich auf N(E) ~ ~ ( G ) beschriinken. Es sei dann z E ~(G) - ~ ( E ) , X die Menge jener Punkte von ~ ( E ) , die in G mit z verbunden sind, und Y = . ~ ( E ) - - X . Nehmen wir an, dab X r O, Y r O ist. D a die Kanten von E einen zusammenh/ingenden Graphen bilden, gibt es ein x y E E mit x EX, y E Y. Es gilt daher x y A xz, woraus xz E E folgt. Dies widerspricht der Definition yon ~ ( E ) . Damit ist (1.5) vollst/indig bewiesen. (2. 6) Es seien X und Y fremde geschlossene Mengen. Dann sind X und Y entweder in G oder in G vollstiindig verbunden. BEWEIS. Nehmen wir an, dab G eine X Y - K a n t e enth/ilt: Es sei xy E G, x E X, y E Y. Ferner sei x ' E X , y ' E Y . Dann ist x y ' E G , voraus x ' y ' E G folgt. (2.7) Sind X 1 und X2 geschlossen und X 1 A X2 ~ 0 , so sind auch XI (q X 2 und X 1 U X 2 geschlossen. Gilt ferner noch X [ = X I - ( X 1 N X 2 ) r ( i = 1 , 2 ) , so sind sogar X~ und X'2 geschlossen. BEWHS. Die erste Behauptung ist trivial. U m die zweite zu beweisen sei x (~X~ ; x~, x~ EX~ und x x lEG. Wir zeigen, dab dann xx~ EG besteht. I m Falle x ~ X ~ folgt dies unmittelbar aus der Geschlossenheit von X 1 . Es sei nun x E X 1 A X 2 und x 2 E X'2. Dann folgen aus xxl E G und aus der Geschlossenheit yon X1 und X2 nacheinander die Feststellungen: x l x2 E G, x2x'l E G, x'l x E G. (2. 8) Es seien G und G beide zusammenhiingend, X1 und X2 ge~chlossen und X t , X 2 c ~(G). Dann gilt X 1 U )(2 c ~(G)~ BEWEIS. Nehmen wir X~ U X2 = ~ ( G ) an. Es kann dann weder X 1 c=Xz ' noch Xz ~ X1 gelten, woraus X; = X i - X 1 N X 2 ~ O (i-- 1, 2) folgt. Nach (2. 7) und (2. 6) sind dann X~ und X2 entweder in G, oder in G vollst/indig verbunden. Im ersten Falle ware G, im zweiten G nicht zusammenh/ingend. (2.9) Es seien G und G zusammenhiingend und mehrpzmktig. Dann fallen die quasimaximalen stark gesehlossenen Mengen (kurz: qm. st. g. Mengen) mit den quasimaximalen geschlossenen Mengen (kurz: qm. g. Mengen) zusammen. BEWEIS. Wir zeigen, dab eine jede qm. g. Menge X auch stark geschlossen ist. G/ibe es n/imlich ein geschlossenes Y mit Z = X f ~ Y ~ 0 , X - Z ~ 0, Y-Z~ 0, so w/ire nach (2.7) und (2. 8) X U Y geschlossen, und X U Y c ~ ( G ) , was mit der Quasimaximalit/it yon x in Widerspruch steht. (2. 10) Ist G (bzw. G) nicht zusammenhiingend und sind G, (bzw. Gi) ( i - 1 ..... q, q ~ 2 ) die Komponenten yon G (bzw. G), ~o fallen die Mengen A i = ~ ( G i ) (bzw. A~ = ~(Gi)) (i = 1. . . . . q) mit den qm. st. g. Mengen yon G zusammen. BEWE~S. Nach der ersten Behauptung von (2.4) genfigt es, jenen Fall zu betrachten, wo G nicht zusammenh/ingend ist. A 1. . . . . Aq sind offensichtlich geschlossen. Wir beweisen, dab sie auch stark geschlossen sind. Ist A~ einpunktig, so gilt dies trivial. Es sei A~ mehrpunktig, und nehmen wir an, dal3 es ein geschlossenes X gibt, ffir welches keine der Mengen Y - A ~(-/X, A~ - Yund X - Yleer ist. Da G~ zusamnaenh/ingend ist, gibt es ein y E Y und ein a E A ~-- Y mit ay E G. Ferner sei x E X Y.
A t a Matbematica A c a d e m i a e ScienNarum Hungaricae r8, r967

TRANSITIV ORIENTIERBARE GRAPHEN

3~

Es ist dann x E As. (j r i). X ist geschlossen, und daher ist wegen ay E G auch ax E G. Dies widersprieht abet der Definition von Ai. A i i s t eine qm. st. g. Menge. Nehmen wit das Gegenteil an: Es sei X stark geschlossen und A i c X c ~ ( G ) . Dann muB ein A s c = ~ ( G ) - X existieren. Es ist jedoch Y = A i U A j geschlossen, und es besteht keiner der F/ille XA Y = Q, X c Y und Y c X . Dies ist ein Widerspruch. (2. 11) Es sei G mehrpunktig. Dann bilden die qm. st. g. Mengen yon G eine solche echte Zerlegung yon ~(G), die sdmtliche im Satze (1.2) angefi~hrten Eigenschaften der kanonischen Zerlegung yon ~(G) besitzt. Keine andere Zerlegung besitzt alle diese Eigenschaften. BEWEIS. F/Jr jedes xEG ist {x} stark geschlossen und {x}c3~(G). Es geh6rt daher jedes x einer qm. st. g. Menge an. Laut der Definition dieser Mengen sind je zwei von ihnen stets fremd, und daher bilden diese tats~ichlich eine echte Zerlegung yon ~(G). 1) Ist G nicht zusammenhfingend, und sind Gi=[Ai]o ( i = 1 . . . . ,q; q ~ 2 ) die Komponenten yon G, so sind nach (2. 10) A 1 ..... Aq mit den qm. st. g. Mengen identisch. Die KantenKlassen y o n G 1 . . . . . Gq geben offensichtlich s/imtliche Kantenklassen von G an. 2) Ist G nicht zusammenhfingend, und sind Gi=[Ai]~ (i--1 ..... q ; q ~ 2 ) die Komponenten yon G, so sind nach (2. 10) die A1 ..... Aq ebenfalls mit den qm. st. g. Mengen identisch. Ffir ein jedes Indexpaar i, j (1 ~ i < j ~ q) sind A iund Aj in G vollst/indig verbunden, und nach (2.2) geh6ren s/imtliche AiAs-Kanten zur selben Kantenklasse E~s. Wegen der Geschlossenheit yon A~, As und A~UA s enthfilt laut (1.5) Eis keine andere Kante. Aus denselben Grfinden fallen die yon den E~i verschiedenen Kantenklassen yon G mit derjenigen der Graphen [Ai]a (i-- 1..... q) zusammen. 3) Es seien nun G und G beide zusammenh/ingend und A 1 . . . . . Aq (q=>2) die qm. st. g. Mengen von G. Wie schon erw/~hnt wurde, ist P = {A, ..... Aq} eine echte Zerlegung yon ~(G). Nach (2. 6) besitzt P die Eigenschaft a) von (1.2) 3) Laut (2. 3) gibt es eine Kantenklasse E m i t ~ ( E ) = ~(G), und ffir jede andere Klasse E' gilt ~ ( E ' ) c 3~(G). Da nach (1.5) ~ ( E ' ) geschlossen ist, und nach (2. 9) A1 ..... Aq mit den qm. g. Mengen zusammenfallen, gibt es ein j (1 ~=j~=q) mit ~(E')C=A;. Daraus und aus (1.5) folgt, dab P auch die Eigenschaften b) und c) von (1.2) 3) besitzt. Nehmen wir jetzt an, dab P die Verfeinerung der echten Zerlegung P ' = = {A~ ..... A'} von 3~(G) ist, wobei P ' die Eigenschaften a), b) und c) von (1.2) 3) besitzt. Wegen a) sind dann die Mengen A; geschlossen. Es gilt ferner A; C ~(G) ( i = l .... ,m), und es gibt ein h und e i n j mit l~=h<=m, l~j<=q, AjcA'h. Dies widerspricht aber der Behauptung, dab Aseine qm. g. Menge ist. P besitzt daher auch die Eigenschaft d) von (1.2) 3). Um die Eindeutigkeit der Zerlegung P zu beweisen, nehmen wir an, dab es eine solche von P verschiedene echte Zerlegung P ' = {A~ ..... Am} von ~(G) gibt, die alle Eigenschaften a), b), c), d) von (1.2) 3) besitzt. Die Mengen A; sind dann geschlossen, und es gilt A; c ~ ( G ) ( i = 1..... m). Es gibt dann zu jedem A; ein Aj mit A~ C A s. Daher ist P ' - - im Gegensatz zu d) - - eine Verfeinerung yon P. Damit ist der Beweis yon (2. 11) beendet.
Acta Mathematica Academiae Scientiarum Hungaricae ~8, ~967

38

T. G A L L A I

(2. 12) Es sei A eine geschlossene Menge yon G und G ' = [A]G. Dann ist jedes X ~ A in G und in G' gleichzeitig geschlossen. Ist A in G sogar stark gescklossen, so ist X in G und in G" gleichzeitig stark geschlossen. BEWEIS. I) Ist XC=A in G geschlossen, dann ist es trivialerweise auch in G' geschlossen, unabh~ingig davon, ob A geschlossen ist oder nicht. Es sei jetzt X in G' geschlossen, y C N ( G ) - X , x E X und xyEG. Ist y E A , so sind y und X in G' - - und so auch in G - - vollstiindig verbunden. Ist y C~ ( G ) - A, so ist wegen der Geschlossenheit yon A y mit A - - und demnach auch mit X m vollst/indig verbunden. II) Es sei jetzt A und XC= A in G stark geschlossen und X' r X eine in G' geschlossene Menge. Nach I) ist X' auch in G geschlossen, und daher gilt eine der Relationen X N X ' = ~J, X c X ' , X ' c X . Das bedeutet, dab X auch in G' stark geschlossen ist. Es seien jetzt A in G und X in G' stark geschlossen und X <r X eine beliebige in G geschlossene Menge. Wir zeigen, dab eine der Relationen X'(~ X = Q, X c X', X ' c X besteht. Ist X ' N X r Q, so mug entweder A c X " oder X'C=A gelten. Im ersten Falle ist X c X', im zweiten X' auch in G" geschlossen. Es gilt daher tats~ichlich der eine der angedeuteten Relationen. Durch (2. 11) ist die Richtigkeit von (1.2) und der ersten Behauptung v o n (1.6) vollst[indig bestiitigt. Die zweite Behauptung yon (1.6) folgt mit Hilfe von (2. 11) und (2. 12) durch einen einfachen Induktionsschlul3 beziiglich der Anzahl der Punkte yon G.
3. Die Beweise der S~itze (1.8) und (1.9)

Wir besch~ftigen uns erst mit dem Satz (1.8). Die Behauptungen 2), 3) und 4) von (1.8) sind trivial. Zum Beweis der Behauptung 1) braucht man dann nach (1.6) und (2.9)nur die folgende Aussage zu best~itigen: (3.1) Es seien G und G zusammenhiingend und mehrpunktig. Dann sind die qm. g. Mengen yon Gp einpunktig. BEWEIS. Es sei P = { A 1, ., Aq} die kanonische Zerlegung von ~(G), und nehmen wir an, dab es in G p eine mehrpunktige geschlossene Menge X p mit X p c ~ ( G p) J gibt. Man daft XP = {A 1. . . . . A j} (2 ~ j < q) setzen. Wit beweisen, dal3 A = [_J A i c
i=1

c N ( G ) in G geschlossen ist. Es sei x C N ( G ) - A , und es existiere in G eine xAKante xy. Dann gilt x E A k (j<k<=q), y C A h (l<_h<_j), und AhA k ist eine Kante von GP: Daraus folgt, dab die Kanten AkA~ ( i = 1..... j) alle zu G p geh6ren, und dies ergibt, d a B in G x und A vollstiindig verbunden sind. Die Geschlossenheit yon A steht jedoch zur Quasimaximalit/it yon A1 in Widerspruch. Damit ist (3.1) bewiesen. (3.2) Endlich beweisen wir die Behauptung 5) v o n (1.8). Der Zerlegungsgraph yon G ist nach (2.4) und (1.6) der komplement~ire Graph yon Gp. Es besteht also Up = G p, G und Gp, und ebenso G und C,P sind offensichtlich gleichzeitig zusammenh~ingend. Sind also G und C, beide zusammenh~ingend und mehrpunktig, so gilt das gleiche auch von Gp und G p. In diesem Falle enth~ilt somit laut (2. 3)
Acta Mathematica Academiae Scientiarum Hungaricae ~8, 1967

TRANSITIV ORIENTIEI~BARE GRAPHEN

39

G p mindestens 4 Punkte. Die letzte Behauptung von 5) ergibt sich aus (3.1) und (1.2). Damit ist (1.8) vollst/indig bewiesen. (3. 3) U m unsere weiteren Beweise z u verkfirzen, ffihren wir ffir die Ketten ein besonderes Zeichen ein: Das Bestehen von ix0 ... x , I c G soll bedeuten, daB ]Xo... x,] eine Kette yon a ist (s. (1. 15)). Die Kanten einer Kette geh6ren selbstverst/indlich zur selben Kantenklasse. Es gilt aber auch das Umgekehrte: Zwei Kanten ab und cd, die zur selben Kantenklasse von G geh6ren, lassen sich stets durch eine Kette yon G verbinden, d . h . es gibt eine Kette ]Xo ... x,I c G mit XoXl = a b und x , _ l x , =cd. Die in G mit ab und cd bezeichneten Kanten geh6ren n/imlich derselben Komponente des Verknfipfungsgraphen G an (s. (1.12)). Es gibt daher in G einen Zug (Weg) Z, der diese Kanten verbindet, und die zu Z geh6rige Kette in G verbindet dann ab und cd. Es sei noch bemerkt, dab im Falle Xo . . . . . x , E A c ~ ( G ) , a u s l x o ... x , ] c [ A ] ~ das Bestehen von Ixo ... x,[ c G folgt. (Das Umgekehrte ist allgemein nicht richtig. S. die letzte Behauptung yon (1.11)) (3.4) Z u m Beweis yon (1.9) bezeichne P = {A1 . . . . . Aq} wieder die zu G geh6rige kanonische Zerlegung. Es werden jedoch die Punkte von G v, neben A1 . . . . , Aq, auch mit anderen, jedenfalls aber mit groBen Buchstaben bezeichnet. Ferner wird die Relation ~ auch auf die Kanten yon G v angewendet. Die Relation XY~XZ soll sich immer auf den Graphen G v beziehen, und es soll in X Y ~ X Z das Gelten von X Y , X Z E G p miteinverstanden sein. (3.5) E~ seien X, Y, Z verschiedene P u n k t e yon G p und x E X , y E Y, z E Z. Dann f o l g t aus X Y ~ X Z die Behauptung x y ~ x z . BEWEIS. Gilt X Y ~ X Z , so gibt es in G p einen Weg (Xo ... X,,) mit Xo .--Y, X, = Z und X X i E G p (i = 1. . . . . n - 1). Es sei Xo = y , x, = z und xl E Xi (i = 1. . . . . n - 1). Dann ist (Xo ... x,) ein Weg yon G, und es gelten xx~ E G ( i = 0, ..., n). Also besteht
xy ~xz.

(3.6) Es seien G und G zusammenhiingend und rnehrpunktig, X Y E G p, x EX, y, y" E Y und x y ~ x y ' ( ~c bezeichnet die Negation yon ~ ). Dann gibt es ein solches voi~ 32 und Y verschiedenes Z E G p, dab f ~ r j e d e s z E Z Ixyzy'xl c G besteht. BEW~IS. Es ist y r Da G p und GP beide zusammenhfingend sind, gibt es ein X ' Y ' E G p, das mit Y nicht inzidiert. Nach (1.8) geh6ren alle Kanten von G ~ zur selben Kantenklasse, und daher gibt es nach (3.3) eine Kette IXo ... X,I c G p mit
XoXI=XY und X , _ I X , = X ' Y ' . Gelten X o - - Y , X I = X , so folgt nach (3.5) aus XoX~ ~ X 1 X 2 ffir ein x2 EX2 die Relation x y ~ x x 2 ~ x y ' , und dies steht zu x y % xy" in Widerspruch. Daher gelten X o = X und X ~ = Y . Daraus folgt X ' Y ' # X ~ X 2, und dies ergibt n > 2 . Man kann demnach X 1 X 2 ~ J ( 2 X a feststellen. Laut (3. 5) gilt dann ffir z E X2, x3 E X3 die Relation z y ~ ZXa ~ zy'. Aus X o X l ~ X~ X 2 folgen y x ~ y z u n d y" x ~ y" z, und so gilt Ixyzy" xl <_G. Z = X z genfigt also unseren Forderungen.

(3. 7) BEWEIS DES TEILES 1) VON (1. 9). Man nehme an, dab G t-orientierbar ist und betrachte eine beliebige t-Orientierung von diesem. Dabei wird jeder TeilActa Mathematlca Academlae Scientiarum Hungaricae 18, J967

40

T. GALLAI

graph [Ar-1]G ein t-orientierter Graph. Daher gen/jgt es nur den Fall r = 1 zu behandeln. Es ist p1 = p = {A1, ..., Aq}. Ist G einpunktig oder nicht zusammenh~ingend, so ist nichts zu beweisen. Sei also G mehrpunktig und zusammenh~ingend. a) Um die erste Behauptung yon 1) zu beweisen, sei ein Indexpaar i,j mit A i A j E G p fest ausgewghlt, und man setze x i E A i , xj, x~ EAj. Es gen/igt folgendes zu zeigen: (1) xlxj und x,x} besitzenbezfiglich xl die gleicheRichtung.

Ist G nicht zusammenh~ingend, so folgt (1) einfach aus ( 1 . 2 ) 2 ) und (2.2) (s. den vierten Absatz yon (1.11)). Es sei nun auch G zusammenh~ingend. Ist xix j ~xix}, so ist das Gelten von (1) offensichtlich. Nehmen wir an, dab xlxj ~c xlx~ besteht. Nach (3.6) gibt es dann ein A k (k ~ i,j) derart, dab ffir x k E A e x = Ix~x~xexjxil ~ G besteht. Bel emem Durchlauf der Kette ~ finden wir jedoch die Richtungen der Kanten abwechselnd /jbereinstimmend und entgegengesetzt zur Durchlaufsrichtung. Daraus folgt (1). b) Um die zweite Behauptung von I) zu beweisen, nehmen wir an, dal3 durch unsere Orientierungsvorschrift aus den Kanten A ~Aj und AjA k von Gp die gerichteten Kanten AiA~. und AjA k entstehen. Es sei xiCA~, x j E A j , Xk~Ak. In Gfindet man dann die gerichteten Kanten x~xj und xjxk . E s existiert daher in G auch X~Xk, und daraus folgt nach a), dag Gp die Kante A~A k enthNt. G p wurde also tats~ichlich transitiv orientiert. Zum Beweis des Teiles 2) von (1.9) m/jssen wit noch die folgende einfache Behauptung best~itigen. (3.8) Es sei G mehrpunktig. Ferner seien siimtliche Graphen Gp, [Ai]a (i = 1..... q) t-orientierbar, und man wiihle fftr jeden dieser Graphen eine t-Orientierung. Ist dann A i A j E G p, und erteilt man siimtlicken AiAfKanten yon G, bez@lich Ai und Ai, die Richtung yon AiAj, und fiihrt man dies fi~r jede Kante yon Gp durch, so erhiilt man. zusammen mit den Orientierungen der Graphen [Ai]G, eine t-Orientierung yon G. BEWEIS. Nehmen wir an, dab durch die angegebene Orientierungsvorschrift aus den Kanten xy und yz von G die gerichteten Kanten Uy und ~ entstehen. Wir beweisen, dal3 dann auch ,~ in G vorkommt. Wir unterscheiden drei Ffille : 1) Es gilt x , y , zCAi (l<=i~q). Dann folgt die Behauptung aus der Transitivit~it der Orientierung yon [A~]G. 2) Zwei von den x, y, z geh6ren zu einem A~, das dritte zu Aj (i r Da siimtliche A~Aj-Kanten yon G bez/jglich A~ und Aj dieselbe Richtung haben, kann x, z E A l , y EAj nicht bestehen. Bei den anderen zwei M6glichkeiten folgt unsere Behauptung aus den Tatsachen, dab A~ und Aj in G vollst~indig verbunden sind, und alle A~Aj-Kanten bez/iglich A~ und Ai dieselbe Richtung haben. 3) Es ist x6A~, Y 6 A i , z~Ak, wobei i,j, k verschieden sind. Dann folgt die Behauptung aus der Transitivitgt der Orientierung von G". (3.9) Man erh~ilt jetzt den Beweis des Teiles 2) von (1.9) durch Induktion bez/jglich der Anzahl der Punkte yon G. Besitzt der Graph nur einen Punkt, so ist die Behauptung trivial. Wir nehmen an. dab die Behauptung f/Jr Graphen mit weniger als n (n > 1) Punkten richtig ist, und beweisen sie f/Jr ein G mit n Punkten. Es
Acta Mathematica Academiae Sc}entlarurn Hungar~car 18, .196. 7

TRANSITIV ORIENTIERBARE GRAPHEN

41

sei P = {At ..... A~} die kanonische Zerlegung von #(G). Es ist q =>2, also hat jeder Graph [Ai] a ( i = 1.... , q) weniger als n Punkte. Diese Graphen geniigen samtlichen Voraussetzungen des Satzes. Infolge der Induktionsannahme erh~ilt durch unsere Orientierungsvorschrift jedes [A~]~ eine t-Orientierung. Dann ist jedoch nach (3.8) auch die Orientierung yon G transitiv. 4. Beweis des Satzes (1.16)

(4. 1) ERKL.~RUNGEN, Wir wollen ftir die geschlossenen Ketten ein besonderes Zeichen einftihren:
( x , ... x . ) a 6

soll bedeuten, dab (xl i.. x,) eine geschlossene Kette des Graphen G ist, d . h .
xixi+ 1 (i = 1, ..., n; x,+ 1 = x l ) verschiedene Kanten von G sind, und x i - l xi ~ xixi + t

( i = 1. . . . , n; x0 = x , , x,+t = x l ) bestehen. Aus ( x l ... x , ) ~ G folgt ( x , ... x a ) ~ G und (xl ... XnXl ... X i - t ) c G (2<=i<=n). Wir wollen alle diese Ketten als identisch betrachten. Ist ~ eine geschlossene Kette von G, so soll x C~ bzw. x y E ~ bedeuten, dab x ein Punkt bzw. x y ein Kante yon ~ ist. Ahnliche Bezeichnungen werden auch ffir offene Ketten angewendet. Die Teilketten einer Kette (bzw. geschlossenen Kette) werden ihrer anschaulichen Deutung entsprechend definiert. Eine Teilkette, die nicht alle Kanten der ursprfinglichen Kette (bzw. geschlossenen Kette) enthiilt, heiBt echt. DaB die Kette eine Teilkette der Kette x (bzw. der geschlossenen Kette ~) ist, wird mit ~ (bzw. x I c2,~) bezeichnet. Ist ~ = ]Xo ... x,] c G und gelten Xo = x,, und x , _ ix, ~ x , x t , so gilt (xl... x,,) c G, und wir sagen, dab ~ (in G) sich schlieflen 16flt. Enth~ilt eine Kette (geschlossene Kette) eine echte Teilkette, die sich schliegen l~igt, so sagen wir, dab sie sich schneidet. Eine sich schneidende Kette (geschlossene Kette) besitzt einen solchen Punkt, bei dem mehr als zwei Kanten der Kette (geschlossene Kette) paarweise verkntipft sind, und umgekehrt. Ist eine Kante xx" mit einer Kante der Kette z (bei dem Punkt x) verknfipft, so sagen wir, dab xx" (bei dem Punkt x) mit ~ verkniipft ist. Dies bezeichnen wir mit x x ' ~ x. Die gleichen Benennungen und die gleiche Bezeichnung werden auch beziiglich geschlossener Ketten angewendet. Wir werden statt ,,xy # x z und x y ~ x z " 6fters kurz [yxz[ c G schreiben. Ist !xyz] eine Kette yon G, und ist y ' y E G , so soll y ' y + lxyzl bedeuten, daB. y ' y + x y gilt (dann gilt auch y ' y . ~ y z , und die Punkte x , y , z , y ' sind verschieden). Sind lxyz! und ]x'yz'] Ketten yon G, so soll lxyzl4. [x'yz' I ausdrficken, dab x y - ~ x ' y besteht (dann bestehen auch x y .~yz', y z + x'y, yz + y z " und die Punkte x, x', y, z, z' sind verschieden). Aus der Tatsache, dab den ,,kfirzesten" Ketten yon G in G Wege entsprechen, folgt unmittelbar die Behauptung: (4.2) Es sollen die verschiedenen Kanten ab und cd zur selben Kantenklasse yon G geh6ren, und es sei ,x eine ki~rzeste Kette (yon G), die ab mit cd verbindet. Dann liiflt sich ,x nicht schlieflen und es schneidet sich auch nicht.
Acta Mathematica Academlae Scientiarum Hungaricae IS, i967"

42
yt

T. GALLAI

Die folgenden einfachen Lemmata sind die wichtigsten Hilfsmittel der nachfolgenden Beweise. (4. 3) LEMMA. Es sei ]xyz I c G , y ' y ~ G und es bestehe

y'y + Ixyzl.
Dann besteht

Ixy'z I c G. (S. Fig. 4.) 16 BEWEIS. x, y, z und y' sind verschieden. Wegen x y ~ y z gibt es einen Weg W = (Yo ... Y,) von G mit Yo = x, y, = z, y.v~ E G (i = 1. . . . . n - I). Alle YYi (0 .<_= i <=n) sind bei y paarweise verkn/.ipft, daher folgt aus y ' y ~ x y die Behauptung y'y~cyy~ ( i = 1, ..., n). Demzufolge mug Y'Yi~ G (i=01 .... n) bestehen, woraus in Betracht auf W xy" ~ y' z folgt.
Fig. 4

~,,x.

/,~

(4. 4) LEMMA.Es
Dann besteht (S. Fig. 5.) t6

sei ]xazx2[cG, l y ~ z y 2 [ ~ G und

lx~x2 I~ ly~zy2 I.
(x~ylx2y2)cG. xt Fig. 5
xa

BEWEIS. Xa, Yl, X2, Y2 und z sind verschiedene Punkte und es gelten xiz%lyazy2[ und ylz~c[xxzx2[ (i=1,2).

Nach (4. 3) sind dann ]ylxiy2 [ und [xlyix2[ Ketten yon G ( i = 1, 2). Daraus folgt - ( x l y l x z y 2 ) c G. w i r beweisen folgenden Hilfssatz:

(4. 5) HILFSSATZ. Es sollen mindestens zwei der Kanten ata2, a2a 3, a3a t yon G zur selben Kantenklasse yon G geh6ren, und
(1)
a ~ a 2 % a 2 a 3 , aza3%a3a~, a3a1%a~az

gelten. Dann gibt es einen Index i (1 <=i-<_3) und einen yon al, a2, a 3 verschiedenen Punkt b derart, daft laiai+lbai-la~lcG (a4 = a l , a0 =a3) besteht.

BEWEIS: Betrachte man die M e n g e M siimtlicher solchen Ketten von G, die zwei Kanten von a~a2, a2a3 und aaa~ verbinden. M i s t nicht leer. Es sei
x = Ix~x2 ... x~[

eine kfirzeste Kette yon M. Man daft annehmen, dab x~ =a~ und x2 = a2 gelten. Wegen (1) ist dann x 3 # a 3 , also ist x 3 yon a j , a 2 , a 3 verschieden und deshalb k>=5. Es gilt aaa2~lXlXzX31, und so folgt nach (4.3) [ x l a 3 x 3 [ c G . Es besteht daher xaa3 ~a~a3. J6 Die nahe zueinander liegenden Punkte bedeuten denselben Punkt. Die Inzidenzen zeigen die festgestellten Verkniipfungen.
A,:~c; Marhematica Academlae Scientlarftm Hungaricae 18, 2967

TRANS1TIV ORIENTIERBARE GRAPHEN

43

Ist x 3 a 3 "~ X3X2, SO ist [a~a2x3a3a~ [ c G , man kann also i = 1, b = x 3 setzen. Wir ffihren nun unseren Beweis dadurch zu Ende, dab wir aus der Annahme x3a 3 ",# .;*x3x2 einen Widerspruch herleiten. Es sei also x 3 a 3 " - / . X3X 2. Dann bestehen x4 # a 3 und a3x3"/. Ix2x~x41. Nach (4. 3) ist daher I x 2 a 3 x , f c G, woraus wegen (1) x , # a a folgt, x4 ist also von den Punkten al, a2, a3, x 3 a~ verschieden. Wegen (1) gilt ferner !Xl a3 x3 [4- [x~ a3 x , t, und dies ergibt nach (4. 4) (2) ,q = (xl xz xa x4) ~ G.

Laut (4. 2) kann sich z nicht schneiden, und daher kann


x , x ~ keine Kante von x sein. Wgre niimlich dies der Fall, so wiiren bei xl ~ da x4x~ keine Endkante von x sein

kann - - mindestens drei Kanten von z paarweise verknfipft. Ferner ist in Betracht von (2) x4x~ ~ x , x3 ~ x 4 x s . Ersetzt man daher in x die Teilkette [x~ x z x3 Xgl durch die Teilkette l x z x l x 4 1 yon ~, so bekommt man wieder eine Kette x ' = I x z x a x 4 x 5 ...Xkl yon G. z' hat dieselben Endkanten wie ~, sie ist jedoch kfirzer als e. Dies ist ein Widerspruch.

xa-

/x,
Fig. 6

BEMERKUNG. ES soll erwiihnt sein, dab man im Beweis (3.7) statt (3.6) auch (4. 5) anwenden k6nnte. (4. 6) Enthdlt G keine ungerade geschlossene Kette, und geh6ren siimtliehe Kanten yon G zur selben Kantenklasse, so ist G t-orientierbar. BEWEIS. Es soll G den erwiihnten Forderungen gentigen. Man darf annehmen, dab G Kanten enthiilL Dann ist der Verkniipfungsgraph (7 yon G ein zusammenh~ingender paarer Graph (s. (I. 15)). Demnach zerf/illt ~'(G) in eindeutiger Weise in die Punktklassen A und B derart, dab G nur AB-Kanten enthiilt. Man orientiere nun s~imtliche Kanten yon G yon A nach B laufend. Es wird dabei aus jedem A-Punkt eine Quelle, aus jedem B-Punkt eine Senke. Fiir jeden Punkt x i von G gilt daher, dab alle mit x ~ inzidenten Kanten yon G bezfiglich x i die gleiche Richtung haben. Dutch die durchgeffihrte Orientierung der Kanten wurde auch aus G ein orientierter Graph, der die folgende Eigenschaft besitzt: (1) Gilt fiir die Kanten x y und x z von G x y ~ x z , so haben x y und x z bezfiglich x die gleiche Richtung.

Wir beweisen, dab G transitiv orientiert ist. Es sollen in G die gerichteten Kanten al-a'~ und a2h-~ vorkommen. Dann muB alaa E G gelten. Ist n~imlich aia3 E G, so gilt ala2 ~ a3az, und dies steht mit (1) in Widerspruch. ala3 kann nicht yon a3 nach al gerichtet sein. Ist n~imlich dies der Fall, so mtissen naeh (1) a~a2~c aza3, aza3 4. a3a ~ und a3al ~c ala2 gelten, und so existiert nach (4. 5) ein al, sagen wir al, und dazu ein b E G mit ~ = ] a l a z b a 3 a l l ~ G . Nach (1) miissen dann die bei a2, b bzw. a3 verkntipften Kanten yon beziiglich a2, b bzw. a 3 die gleichen Richtungen haben. Dies kann jedoch bei den angegebenen Richtungen yon alaz und a l a 3 nieht der Fall sein. G enth~ilt also mit ~-~a~ und ~ 2 ~ auch a~h~. Damit ist der Beweis beendet.
Acta Afatbematica Academiae Scientiarum Hungaricae z$, i967

44

T. GALLAI

(4, 7) Enthiilt G keine ungerade geschlossene Kette, so enthMt aueh der Zerlegungsgraph Gp yon G keine solche. BEWEIS. Es sei (X 1 ... X 2 n + I ) C G P . Ffir jedes i ( 1 N i N 2 n + I ) sind X i _ l , Xi, Xi+l verschiedene Punkte von Gv (Xo = X 2 , + l , )(2,+2 = X 0 . Es sei x i E X i ( i = 1 . . . . . 2n + 1). Dann gilt nach (3.5) (x, ... x2,+ ~ ) c G. Dies beweist die Behauptung. (4. 8) Der Beweis des Teiles ,,dann" yon (1.16) ergibt sich jetzt folgendermagen: Enth/ilt G keine ungerade geschlossene Kette, so gilt das gleiche auch ffir jeden [A]G mit beliebigem A c N(G) (s. (3.3)), also ffir j eden Graphen [Ar- 1]G = G(r- 1) (r = 2, 3 .... ), wobei A '-~ eine Punktklasse ( r - 1 ) - t e r Ordnung von G bezeichnet. Nach (4. 7) enthNt dann keiner der Zerlegungsgraphen Gfr_ 1) (r = 1, 2, :..) ungerade gesehlossene Ketten. Nach (1.8) und (4. 6) sind somit alle diese Graphen t-orientierbar, und so folgt aus (1.9), dab auch G t-orientierbar ist. 5. Beweis des Satzes (1.17) (5. 1) ERKLARUNGEN. Bezeichnet R einen Weg, Kreis (Vieleck), eine Kette oder eine geschlossene Kette, so verstehen wir unter einer Diagonale yon R eine solche Kante, die nicht in R vorkommt, deren Endpunkte jedoeh zu R geh6ren. Ist ~ eine geschlossene Kette und ist die Kante xx" bei ihren beiden Endpunkten mit ,~ verknfipfl, so setzen wir (1) x x" ,~ f~. ( x x ' ~ ;r soll die Negation yon (1) bedeuten.) In diesem Abschnitt wollen wir unter einer Schlinge (von G) eine Kette XoXa...x, I c G mit X o - X , verstehen. Ist keine echte Teilkette der geschlossenen Kette ~ = ( x l ... x,) eine Schlinge, so sind die Punkte x l , ..., x, verschieden, und umgekehrt. Die schlingenlosen geschlossenen Ketten fallen also mit den Kreisketten zusammen. In Betracht von (1.16) genfigt es zum Beweis yon (I. 17), die Richtigkeit der folgenden Behauptung einzusehen: (5.2) SATZ. Enthiilt der Graph G eine ungerade geschlossene Kette, so enthiilt er auch eine ungerade Kreiskette. BEWEIS. I) Wir nehmen an, dab G ungerade geschlossene Ketten enth/ilt und bezeichnen mit n (n =>3 und ungerade) den kleinsten Wert der L/ingen dieser Ketten. Es sei M die Menge jener geschlossenen Ketten yon G, die die L~inge n haben. Wir schicken zwea triviale Behauptungen bezfiglich der Ketten ,~ yon M voraus. a) ~ kann sich nicht schneiden. b) Ist xx" eine Diagonale von ~, so gilt x x ' ~ ;~. Die Eigenschaft a) werden wir m jener Form ausnfitzen, dab in keinen Punkt von :k mehr als zwei Kanten von ;r paarweise verknfipft sein k6nnen. II) Entgegegen der Behauptung unseres Satzes sei angenommen, dal3 kein Element yon M eine Kreiskette ist, also dal3 jedes yon diesen eme Schlinge enthNt. Es bezeichne s (s =~3) den kleinsten Wert der L/ingen dieser Schlingen und = ( x ~ ... xo)
Acta Mathematica Academiae Scientiarum Hungaricae rS, ~967

TRANSITIV ORIENTIERBAREGRAPHEN

45

ein solches Element von M, das eine Schlinge u der L~inge s besitzt. Man daft
= Ix.x, ... x~l (x~

=x.)

setzen. Aus s =>3 folgt n _->7. Wegen der Minimalit/it yon s sind die Punkte x,_ ~, x l , ..., x~, x~+ 1 verschieden. Nach Ia) gilt ffir die Teilketten Ix,_lx, xal und IX~-lX~X~+ll yon ~ [x,-lx,xl[r ]x~_lx~x~+l[, und so folgt laut (4. 4)

;q =(x._ ~x~_ lxlx~+ 1) c

G.

x ~ _ ~ /

xl

xl

z~.~Xn =X~
x~+f Xn-t

X~'~ Xn'f
X~

Fig. 7
III) Es sei zuerst s = 3 . Dann ist

Fig. 8

;~1 = (x._ l x 2 x i x , ) ,
und so gelten x4xl~xzxl,-~x, xl und x,_lx2~x, x2~x3x 2. Wegen Ia) sind dann x4xl, x,-lx2~;~, und nach Ib) besteht ffir [xlx4x._l[ c;q

(1)
und (2)

x3x4 ~ I x l x 4 x . - i ]
x . _ ix2,96 Xn _ l X n .

Daraus folgt xs # x l und xs # x , _ ~ . Es besteht jedoch auch x5 #xz. Ist n/imlich x5 = xz, dann ist nach Ia) x4xs = x4x2 ~c Ix1 x2 x3 [, woraus laut (4. 3) [xi xgx3[ c G folgt. Dies steht abet mit (1) in Widerspruch. Da auch xs ~ x3 gilt, ist Xs yon den Punkten x,_ 1, xl , xz, x3 verschieden. Nun gilt jetzt nach (1) [xixgx._ll~[x3x4xs], und daraus folgt nach (4.4)
~2 = ( x , x3 x . _ , x s ) = ( x , x . x . _ , xs) ~ c .

Wegen (2) besteht ffir woraus nach (4. 4) folgt. Es besteht also Widerspruch.

lXzX,_lX4[C Xl

und

[x.x,_ 1xs ]c ~2

Ix~x._,x,l~

Ix.x.-,xsI,

x2x5~,

und dies steht entweder zu Ia); oder zu Ib) in

Acta Mathematica Academlae Scientiarum Hungaricae I8, ~967

46

T, GALLAI

IV) I m folgenden s e i s_->4. D a n n ist nach I) x 1 x~_ t ~ . M a n d a f t X1Xs_ 1 .-z.x~x~ annehmen. Ffir ]x,,-iXs-lXl[ c g l gilt dann Ix~_~x~_~x~!~ IXn-~Xs-~X~I, woraus nach (4. 4)
(3) ~3 = (Xs- 2Xn - 1XsX1) -~- ( X s - 2Xn - 1XnX1 ) C a

folgt.

Xz

?
\ x~

x~
2\

/
gdce~
Fig. 9

v
x,,-i
Fig. 10

~-- go-f

~r

Ist nun s = 4 , so ist X,_z=X2 und ~3=(x2x,,_~x,,x~). Also ist x 2 x , , _ i ~ , und das bedeutet wegen I) einen Widerspruch. SchlieBlich sei s ~ 5 angenommen. D a n n ist x~_2~x2, und daher bestehen nach I) und (3) (4) xlx~-2r und X n _ ! X s _ 2 r Ersetzt m a n daher in
~=(X 2 ,,. X s - 2 ,.. X n _ 2 X n _ l X n X l )

die Teilkette ]x,_lx, x~] durch die Teilkette Ix,_ eine geschlossene K e t t e
f~4:(X2

1Xs_2Xl[von '~3,

SO b e k o m m t m a n

... X s - 2 .., N n - 2 X n - l X s - Z X l )

yon G. Es ist ~4~ M, und ~ entMlt die Schlinge z ' : Ix~_2xlx2 ... Xs_2]. Die L~inge von :~' ist jedoch u m 2 kleiner als diejenige v0n :~. Wit haben so im jeden Falle einen Widerspruch hergeleitet, und dies zeigt die Richtigkeit unseres Satzes.

6. Bestimmung jener irreduziblen Graphen, die keine Dreieckskette enthalten


(6. 1) ERKL~RUNG. Ist X = [Xl ... Xm[ (m=>3) eine Wegkette bzw. u = @ l ... Y,) (n _->3) eine Kreiskette des G r a p h e n G (s. (1.15)), so sollen die Diagonalen x~_ lx~+l (i = 2 . . . . . n - 1) bzw. y~_ ~Yi + 1 (i = 1. . . . . n; Yo = Y., Y, + 1 = Y l) die kurzen Diagonalen v o n bzw. ~ heigen.
Acta Mathematica Academiae Scientiarum Hungaricae t,8~ 1967

TRANSITIV ORIENTIERBARE GRAPHEN

47

Wir schicken drei einfache Lemmata voraus. (6. 2) LEMMA. Es sei I x ' x x " l c G , und W = ( y o ... y~) (~=~2, y o = x ', y = = x " ) sei ein ki~rzester x ' x " - W e g des Graphen [N(x)]a (s. Fuflnote 9). Dann geh6rt jede Diagonale yon W zu G, und im Falle ~ >- 3 bestehen die Relationen
YlYo ~YlYa ~ ... YlYi+2 ~YiYi+3 ~ ~YiYi-2 ~YiY~

( i = 3 .... , cr ( i = 0 ..... ~ - 3 ) .

BEWEIS. Die erste Behauptung folgt aus der Minimaleigenschaft von W, die zweite aus der ersten und aus den Tatsachen (Y0-.. y~_u)CCT, ( y ~ + 2 . . . y = ) c G . (6.3) LEMMA. ES sei ~r Ixl... Xk[ ( k ~ 3 ) eine W e g k e t t e v o n G, und m6ge keine zu G gehgrige Diagonale yon ~ bei ihren beiden Endpunkten mit ~ verkni~pft sein. Ferner mggen siimtliche kurzen Diagonalen yon ~ zu G gehgren. Dann geh6ren alle Diagonalen yon ~ zu G. BEWHS. Ffir k = 3 ist die Behauptung trivial. Nehmen wit an, dab sie ffir ( n ~ 4 ) richtig ist, und es sei jetzt k = n . Die Teilketten Ixj... x,_~l und ]x2... x,] von z genfigen s/imtlichen Bedingungen des Lemmas, und so geh6ren nach der Induktionsanname auBer x~x,, alle Diagonalen yon ~ zu G. W~ire x , x , ~ G, so wfirden xvu X z X , ~ G den Widerspruch x ~ x , , ~ r ergeben. Es ist also auch
k=n-1
X1Xn~G.

(6.4) LEMMA. e s sei z = [ x l . . . Xk[ ( k ~ 3 ) e h w Wegkette von G, x r :e, XXz~G und fi~r kein xxi ~ G soll xx~ ~ ~ gelten (i = 2 . . . . . k - i). Dann ist xx~ ~ G (i = 1. . . . . k),
XX2t- i ~ XXI

und falls k ~ 4 ist, so auch

BEWEIS. Fiir ] x , x 2 x 3 i c z gilt xx2~; ]x,x2x3], woraus nach (4. 3) lx,xx3] c G folgt. Damit ist der Fall k = 3 erledigt. Nehmen wit an, dab die Behauptung ffir k ~ n - 1 (n ~>4) richtig ist, und sei k = n. Die Teilkette Ix1... x,_ 1 ] geniigt s~imtlichen Voraussetzungen des Lemmas, woraus nach der Induktionsannahme x x , _ x ~G folgt. Es gilt ferner ffir [ X n _ 2 X n _ l . X n [ Q _ g die Behauptung x x , , _ ~ % ] x , _ z x , , _ t x , I. Nach (4. 3) ist dann I x , _ z x x , I c G . Dies ergibt, zusammen mit der Induktionsannahme, die Richtigkeit s/imtlicher Behauptungen des L. areas. (6. 5) VORAUSSETZUNGES. Im nachstehenden Teil dieses Abschnittes soll G einen solchen Graphen bezeichnen, der eine ungerade Kreiskette enth/ilt, jedoch keine Dreieckskette besitzt. M bezeichne die Menge der ungeraden Kreisketten minimaler Lfinge yon G, und es sei
~ = ( a o a l ... az,,)

(n~2)

ein Element yon M. Wir wollen ~ im folgenden festhalten. Erst untersuchen wir die Diagonalen yon ;c. Da bis (6. 14)nur Diagonalen yon ~ vorkommen, soll bis dahin der Hinweis auf ~ unterdrfickt werden.
Acta Mathematica Academiae Scientiarum Hungaricae ~8, i967~

48

T. GALLAI

(6. 6) 1) Keine Diagonale ist bei ihren beiden Endpunkten mit ~ verkni~pft. 2) Geh6rt eine kurze Diagonale zu G, so ist sie bei einer ihrer Endpunkte a i (0<=j~2n) mit ~ verkni~pft. Ferner geh6ren siimtliche Diagonalen, die mit ai inzidieren, zu G und diese sind alle bei aj mit ~ verkni~pft.

BEWr~IS. Die Behauptung 1) ist trivial. Um 2) zu beweisen, nehmen wir an, dab aoa 2 EG ist, und dab aoa 2 % ala 2 besteht. Wir beweisen, dab dann aoa 2 ~ aoa 1 gilt. Es sei k der kleinste Index mit 3<=k<=2n, aoak~ak_~a k. (Wegen aoa2,,,~ ~a2,_~a2, existiert ein solches k.) Man kann dann (6.4) auf die Teilkette x = = lal.., ak[ von ~ und auf den Punkt x =ao anwenden, Demzufolge gilt aoaiE G (i=3, ..., k) und

(1)
und ffir k > 3 auch

Es kann k nicht ungerade sein. W~ire n~imlich k = 2 j - 1 , so w~ire nach (1) aoa2i-1 ~ a o a l , also entgegen 1) a o a k ~ . Daher besteht k=>4. Nach (1) und (2) sind lak-aaoak-ll und [a~-2aoa~l Ketten von G. Ist [ak_3aoak_~[%tak_zaoa d, so besteht nach (4.4) (ak_aak_zak_~ak)CG , woraus entgegen 1) a k _ 3 a k . ~ folgt, Somit ist aoak~aoak_ 1, und demzufolge nach (1) und (2) aoai~aoal ( i = 2 ..... k). AuBer dem Falle k :-2n steht jedoch aoak ~aoaa zu (1) in Widerspruch. Damit ist (6. 6) vollst~indig bewiesen. (6.7) Die Anzahl m der zu G geh6rigen kurzen Diagonalen kann nur die Werte O, 2 und 4 annehmen. 1) Im Falle m = 0 geh6ren alle Diagonalen zu G. 2) Im Falle m = 2 gibt es einen einzigen Punkt aj (0 <=j~ 2n) derart, daft alle mit aj inzidenten Diagonalen zu G geh6ren, diese alle bei aj mit ~ verknfipft sind, und auJ3er diesen keine Diagonale zu G geh6rt. 3) Im Falle m = 4 existieren zwei (eindeutig bestimmte, benachbarte) Punkte a s und as+l (0<=j<=2n, a2,+a =ao) derart, daft alle yon aj und aj+ 1 auslaufenden Diagonalen zu G geh6ren, diese bei as bzw. as+ ~ mit ~ verkni~pft sind, und aufler diesen keine Diagonale zu G geh6rt. Ferner gilt J~r jedes i (0~i<=2n), das yon j und j + 1 verschieden ist, ajal ~ a s +lai.

ao

a~

aj 2)
Fig. 11

t~

3)

Acta Mathematlca Academiae Scientiarum Hungaricae I8, t967

TRANSITIV ORIENTIERBARE GRAPHEN

49

BEWEIS. I) Ist m = 0, so bekommt man die Richtigkeit yon 1) durch die Anwendung yon (6. 3) auf die Teilketten ]ao... a z , - l l und [al... az, l yon ~. II) Ist m >0, so sei aoa2 E G. Nach (6. 6) kann man a o a ~ a o a 1 ( i = 2 .... , 2 n - 1) annehmen. Daraus folgt m-_>2. a) Ist m = 2, so geh6ren aul3er aoa2 und aoa2,_ ~ samtliche kurze Diagonalen zu G, wonach man durch die Anwendung yon (6. 3) auf die Teilkette la~.., a2,] von ~ bekommt, dab alle nicht mit ao inzidenten Diagonalen zu G geh6ren. b) Es sei nun m >2. Dann gibt es eine nicht mit ao inzidierende kurze Diagonale x y in G. Diese kann nur entweder bei a~ oder bei a2, mit ~ verknfipft sein. Wfire n/imlich x y bei a k (2~k~=2n - 1) mit ,~ verknfipft, so mfisste nach (6. 6) 2 ) a k a o ~ gelten (in Widerspruch zu (6. 6) 1)). Man darf annehmen, dab x y bei a~ mit ,~ verknfipft ist. Laut (6. 6) gilt dann a l a i ~ a ~ a o ( i = 3 ..... 2n). Es besteht ferner a~a,+aoai (i--2 ..... 2n) denn sonst w~ire (aoalai) eine Dreieckskette von G. In gleicher Weise wie vorher bei ao sieht man ein, dab eine mit a, nicht inzidierende kurze Diagonale nur entweder bei ao oder bei a a mit ,~ verknfipft sein kann. Daraus und aus den vorangehenden folgt, dab nur die mit ao oder a~ inzidierenden kurzen Diagonalen zu G geh6ren. Dies ergibt dann dureh die Anwendung von (6. 3) auf die Kette fa2.., azn[, dab alle Diagonalen, die nicht aus ao oder al auslaufen, zu G geh6ren. Damit ist (6. 7) bewiesen. Wir untersuchen jetzt auch solche Kanten, die keine Diagonalen yon ~ sind. Es sollen zwei Hilfss/itze vorausgeschickt werden.
=

(6.8) Es sei a o a ~ a o a l und xa2 ",,aoa2. Dann gelten


und

(i=2,...,2n-1),

x~

1) xa i ~ a o a i ( i = 1..... 2n) 2) :ca i ~ x a l (i = 1, ..., 2n).

BEWEIS. Es bestehen !aoa2Xt c G und aoai ~a,a,+ 1 Go ~ X (i = 2 .... ,2n - 1). Nehmen wir an, dab f~r einen Index Fig. 12 h (2~=h<2n) laoahx] c G gilt. Wegen ahah+t ~ ]aoahxl ergibt (4. 3) laoah+lx]cG. Also besteht I a o a i x l c G ffir jedes i = 2, .:., 2n. Aus alaz ~c ]aoa2x] folgt nach (4. 3) laoalX] c G. Damit ist die Behauptung 1) bewiesen. Nach den vorangehenden kann man auf die Wegkette laa.., a2,] und auf x das Lemma (6.4) anwenden. Demzufolge ist (1) xa2i_ 1 ~ x a l ( i : 2 ..... n) und (2) xa2 i ~ xa2 (i = 2 . . . . . n). Es sind also lalxa3[ und la2xa41 Ketten yon G. Ware lalxa3] ~ [azxa4], so wfirde daraus nach (4.4) ( a l a 2 a 3 a 4 ) c z G , und daraus a l a 4 ~ : folgen (in Widerspruch zu (6. 6) 1)). Daher besteht a~x ~ a2x, was mit (1) und (2) die Relationen von 2) ergibt. (6.9) Es sei a o a i ~ a o a l ( i = 2 .... , 2 n - l ) , und W=(bo... b,) (bo=ao, bk=a2) sei ein ki~rzester aoa2-Weg des Graphen [N(aa)]a (s. Fuflnote 9). Dann gelten 1) k~=2, 2) a l b i ' ~ a l a o ( i = 1. . . . . k - - 1),
4 Acta Mathematica Academiae Scientiarum Hungaricae 18, 1967

50

T. GALLAI

3) 4)

b~:

( i = 1 ..... k - l ) ,

im Falle k > 2 auch bhai ~ aoai und bhai ~ bha~

( h = 1..... k - 2 ;

i = 1..... 2n),

5) bk-~ai6G

( i = 2 ..... 2 n - l ) .

BEWE1S. k->2 folgt aus aoa 2 ~ G, die Behauptung 2) aus W c [N(ai)]~7. b, ~ ergibt sich aus aob~ CC,. Ist k > 2 , und gilt ffir ein h (1 ~ h < = k - 2 ) b h ~ , so ist nach (6.2) bha2 ~aoa2, woraus laut (6. 8)

(1)

bhai"~aoai

und

bhai~bhal

(i= 1..... 2n) Damit ist 3)

folgt. Dies ergibt mit bnbh+iCG und b h + ~ a o zusammen bh+~r und in Betracht von (1) auch 4) bewiesen. Nach den obigen gilt bk_2aiEG ( i = 2 ..... 2 n - l ) und (2)
bk_zai~ai_la i

( i = 2 ..... 2n-- 1).

Wfirde es ein i ( 2 ~ i < 2 n - - 1 ) mit bk_lai~G und bk_lai+ 1CG geben, so w~ire in Betracht yon bk- 2 b k - 1 E a~ai+ 1 ~ bk' ~a~+~ ~ bk_ zai+ ~, was mit (2) in Widerspruch steht. Dies best~itigt zusammen mit bk_la 2 E G die Behauptung 5). (6. 10) VORAUSSETZUNG. Im weiteren Teil dieses Abschnittes soll G einen
irreduziblen Graphen bezeichnen, d.h. neben den Voraussetzungen yon (6. 5) soll

er auch der folgenden Bedingung genfigen: Ffir jedes A c ~ ( G ) enth~ilt [A]~ (oder was dasselbe bedeutet, ffir jedes x enthalt G - x ) keine ungerade Kreiskette. (6. 11) ERKL~RUNGEN. Nach (6. 7) zerfiillt die Menge M der kfirzesten ungeraden Ketten yon G in drei Klassen. Wir wollen diese, entsprechend den F~illen 1), 2) und 3) yon (6. 7) mit M1, M2 und M3 bezeichnen. Bei jedem Element ~ = (ao... azn> V o n M existiert zu einem jeden a i (0 <=i<=2n) ein az_~a~+a-Weg W~=(xw... xi~,), X~o=a~_~, x i ~ = a i + l ; a _ l = a 2 n , azn+ 1 = a o , des Graphen [N(a~)]c (s. die FuBnote 9). Die Punkte a~, zusammen mit den Wegen
2n

Wi bilden in d eine Astroide der L/inge ~ ~i (~ ist die L~inge yon W~, s. (1.19)).
i=0

I,~t ffir jedes i (0_<-i~2n) Wi ein kfirzester ai_lai+l-Weg von [N(ai)]G , so m6ge
2n

diese Astroide eine zu ~ gehgrige minima& Astroide, die Zahl s(,~)=~'~i die zu
i=0

geh&ige minimale Astroidenldnge heiBen.

Wir bemerken: Ist a~_~a~+~G, so ist W~=(a~_~a~+~) tier k~6rzeste a~_~a~+~ Weg von [N(a0]g. Aus (6. 7) felgt dann unmittelbar: (6. 12) Entsprechend den Fdllen f~6 M1, f ~ M z und fc~ M 3 gilt 6~(,~)---2n+l, s(~) ->-_ 2n + 3 bzw. s(~) >_2n + 5.
Actn Ma[hematica Academiae Scientlarum Hungaricae 18, 1967

TRANSITIV ORIENTIERBARE GRAPHEN

51

Nun wollen wit nacheinander die F/ille M1 ~ O ; Ma = O , Mz ~ 0 M1 = f~, Mz = Q untersuchen.

und

(6. 13) I~t MI ~ f~, so ist G mit dem (2n+ l)-Eek V=(ao... az,ao) identisch. BEW~S. Es sei M~ r Q und ~ E Ma. Nach (6, 7) 1) geh6ren alle Diagonalen von ,q zu G. Da offensichtlich ~ ~ V besteht, muB wegen der Irreduzibilit/it von G G = V gelten. Die folgende Behauptung ist trivial: (6. 14) Ein (2n + 1)-Eck (n _->2) enthiilt genau eine ungerade Kreiskette (eine (2n + 1)-Eckkette) und ist irreduzibel. Wir werden den in (6. 14) beschriebenen Typ yon irreduziblen Graphen mit Fl(2n + 1) bezeichnen (s. Tafel I ). (6. 15) VORAUSSETZUNGEN.Von bier an bis (6.27) sollen G und s auBer den in (6. 5) und (6. 10) gestellten Forderungen auch noch den folgenden Bedingungen genfigen: Es sei Ma = | M 2 ~ O und ~ ein Element von ME mit minimalem s(~)-Wert. (6. 16) ERKL~RUNGEN. Wl=(bo...bk); bzw. W2, = (Co... el); Co = ao, ct = a 2 , - 1 bezeichne einen kfirzesten aoa2-Weg yon [N(al)]a bzw. einen k/irzesten aoazn_ l-Weg yon [N(a2,)]a. Nach (6. 7) 2) ist s(~) = 2n - 1 + k + I. (6. 17) Punkte. G enthdlt aufler ao .... , a2,, bl ..... b k - l , el .... , et-i keine we#eren bo=ao, bk=az

BEWEIS. Bezeichnet G' den Teilgraphen yon G, der durch die angef/ihrten Punkte gespannt wird, so sieht man, dab ~ auch in G' eine geschlossene Kette ist. Hieraus folgt wegen der Irreduzibilit/it von G G = G'. Aus (6. 9) ergibt sich unmittelbar (6. 18) Es gilt bi, cjdt~ (i--1 ..... k - 1 ; j - - 1 ..... l - 1 ) . Im Falle k > 2 steht auch boai~aoai und boa~ b o a 1 ( g = 1..... k - 2 ; i = 1, ..., 2n), im Falle 1> 2 auch chai~aoai und chal~Cha2, (h = 1..... l - - 2 ; i = 1..... 2n). be-

Ferner sind bk_lal, c l - l a i E G

( i = 2 ..... 2n-- 1).

Wir beweisen die folgende Erg~inzung zu (6. 18). (6. 19) Es bestehen bk_laz, CG und ct_lalCG.
4* Acta Mathematica Academiae Scientiarum Hungaricae 18, i967

52

T. GALLAI

BEWEIS. Wegen Symmetriegrfinden genfigt es b k _ la2n ~ G z u b e w e i s e n . N e h m e n wir an, dab bk_la2nEG besteht. Da bk_la2n_lEG ist, gilt bk_la2n~a2n_la2n. Nach (6. 7) 2) ist jedoch cllaEnCG, und so gilt auch bk_aa I ~bk_~a2n. S/imtliche Diagonalen des (2n + 1)-Ecks (bk_ l a l . . , a2nbk_l) geh6ren also zu G, woraus ~1 = =(bk_aal... a 2 n ) C G und ~ I E M ~ folgt. Dies widerspricht der Voraussetzung M1 = 0 .

(6. 20) Es gilt W~ A W2n - (ao). ~7 BEWEIS. Entgegen der Behauptung s_ei bo~c h (l<=g<=k !, l<--h-<l--l), und setze man b o = c h = a o. Wegen a l a 2 , C G ist aoal ~a'oa2,. Nach (6. 19) gelten g < k - 1 und h < l - 1, woraus laut (6. 18) aoai ~ aoal ~ aoaz, (i-- 1..... 2n) folgt. Man sieht daraus, dab ~a =(aoal... a 2 , ) ~ G und ; ~ E M 2 bestehen. Ferner sind W~ =(bo... bk)C[N(al)]a und W 2 , = ( c h . . . ct)c[N(a2,)]o.

Dies ergibt s ( ; q ) < 2 n - 1-t-k + 1, was mit der Minimalitat von s(;0 in Widerspruch steht. Wir wissen jetzt, dab ~ ( G ) aus den verschiedenen Punkten ao ..... a2,, bl . . . . . b k_ ~, c, . . . . . c~_ ~ besteht. Bezfiglich der Kanten ergibt (6.2): (6.21) Aufler den Kanten yon Wj und WE, geh6ren alle Kanten bibg und CsCh zu G. Wir untersuchen jetzt die Kanten b~cs. (6.22) 1) Ist k>-3 und l < = g < = k - 2 , so gilt boc ~~boa 1 2) 1st l>=3 und l < - h < = l - 2 , so gilt ( i = 1. . . . . l - - 1).

Chbi ~ Cha2n

(i -- 1. . . . k -- 1).

BEWEIS. Wegen Symmetriegrfinden gentigt es 1) zu beweisen. Nehmen wlr an, dab es ein h mit l < ~ h < = l - 1 und bachCG gibt. N a c h (6. 18) bestehen b u a ~ b o a ~ ( i - - 2 . . . . . 2n) und ~ t = ( b o a l . . . a2n) CG. Es gelten ~ I E M 2 und W'a=(bg... bk)C c [ N ( a l ) ] e sowie W'2,,=(bgch... cl)c[N(a2,)] ~. Demzufolge ist s ( ~ 0 < s ( ~ ), was der Minimaleigenschaft von s(~) widerspricht. Daher gilt bgciE_G ( i = 1. . . . . l - 1 ) . Da auch bgq C G besteht, b e k o m m t man in Betracht yon W2, c G
bgci ~ boCl : boa2n - 1

(i = 1 . . . . . l -- 1),

und dies ergibt zusammen mit boa ~ ~boa2,_ ~ die gewtinschten Relationen. (6.23) Es gilt b k_ 1ct - 1 E G. BEWEIS. I m Gegensatz zur Behauptung sei b k - ~ C t - ~ G .
bk_la2n ~ r ~G, woFaus

Nach (6. 18) sind

bk_lCt_ ~ ~a2~cl_ 1 und

bk_~Ct_ ~ ~ b k _ ~ a ~ Ist n > 2 , so steht das zur De-

folgen. Es besteht also ~ : ( a o a , b k_ , c t - , a 2 n ) c G .

17 (x) bedeutet jenen Graphen, der aus dem einzigen Punkt x besteht.
Acta Mathematica Academiae Sdentlarum Hungaricae ~8, z967

TRANSITIV ORIENTIERBARE GRAPHEN

5~

finition von M in Widerspruch. Es sei n = 2 . Von den Diagonalen yon ~ k6nnen nur aobk_l und aocl_~ zu G geh6ren, und so geh6rt ~'1 wegen M1 = O zu M2. In Betracht yon W[ =(bo... bk_a)c[N(al)]e und W~,=(Co... cl_~)c[N(a2,)]e

ist jedoch s(~0<s(~), und dies bedeutet einen Widerspruch. (6.24) Es ist k+l<=5. BEWEIS. Erstens soll k ~ 3 und l-<=3 gezeigt werden. Es genfigt k ~ 3 zu beweisen. Nehmen wir an, dab k > 3 ist. Nach (6.2) ist aob,-2 ~ a o a z ( ~ a o a i ) . (6.22) ergibt b k _ 2 C ~ b k _ z a ~. Wegen a o e l ~ G besteht dann bk_zCa~bk_zao. Dies ist jedoch unm6glich, da dann (aoalb,_2) eine zu G geh6rige Dreieckskette w~tre. Damit sind k <=3 und l<= 3 bewiesen. Wir zeigen, dab k = 3 und l = 3 nicht gleichzeitig bestehen k6nnen. Nehmen wit k = l = 3 an. Aus (6,2), (6. 18) und (6.22) folgt V = ( b l c z a o b 2 c l b l ) c G . In Betracht von (6.23) geh6ren alle Diagonalen des Ffinfecks V zu G. Es gilt also Ul = ( b l e2ao bz c l ) c G und ~1 E M1. Dies i st ein Widerspruch. (6. 25) Wir haben yon jeder Kante, die zwei Punkte von ~(G) verbindet, entschieden, ob sie zu G oder zu G geh6rt (s. die S/itze (6. 7), (6. 18), (6. 19), (6.21), (6.22) und (6.23)). Nun l~il3t Sich zeigen, dab jene Graphen, die bei den m6glichen Wertpaaren k = 2, l = 2 und k = 3, l = 2 (k = 2, l = 3 ergibt das gleiche wie k -- 3, l = 2) aus den erhaltenen Punkten und Kanten bestehen, tats/ichlich allen gestellten Voraussetzungen (s. (6. 5), (6. 10) und (6. 15)) gentigen. Wir wollen die Bestfitigung dieser Behauptungen, die in den folgenden zwei Sfitzen ohne Hinweise noch einmal formuliert sind, dem Leser tiberlassen. (6.26) Derjenige Graph, der aus den verschiedenen Punkten ao . . . . , a2, (n -_>2), b~, el und aus den Kanten a~a~+1 ( i = 0 ..... 2n; a2,+1 =ao), aoa i ( i = 2 ..... 2 n - l ) , a l b l , az,el besteht, enthiilt die einzige ungerade Kreigkette (ao... a2,) und ist irreduzibel. Die Kette (ao... azn) besitzt die minimale Astroidenliinge 2n + 3. (6. 27) Derjenige Graph, der aus den verschiedenen Punkten ao . . . . . a2, (n _->2), hi, b 2, C1 und aus den Kanten alai + t ( i = 0 ..... 2n; azn+l = a o ) , aoa i ( i = 2 ..... 2n - 1), b~ai ( i = 1, ..., 2n), blcl , bzao, bzal , cla2, besteht, enthiilt insgesamt zwei ungerade Kreisketten (aoa~ ... az,) und (bta~ ... az, ) und ist irreduzibel. Die minimale Astroidenliinge der erwiihnten Ketten betriigt 2n +4. Der in (6. 26) bzw. (6. 27) beschriebene Typ irreduzibler Graphen soll mit F2(2n + 1) bzw. Fa(2n + 1) bezeichnet werden. In der Tafel I findet man die Verkntipfungsgraphen /~2(2n + 1) und /~a(2n + 1) dieser Graphen. (6. 28) VORAUSSETZUNGEN. Bis Ende des Abschnittes sollen G und ~ auBer den in (6. 5) und (6. 10) gestellten Forderungen noch den folgenden Bedingungen gentigen: Es sei M1 = Q, ME ----Q und ~ ein Element von M3 = M mit minimalem s(~)-Wert. (6. 29) ERKL~RUNGEN.Es sollen die Relationen
aoai~aoal

(i=2 .... , 2 n - 1 )

und

alai~ala o

(i--3 ..... 2n)

Acta Matbematlca Academlae Sclentlarum Hungaticae ~8, 19~7

54

T. GALLAI

bestehen, und bezeichne Wi einen kfirzesten ai_~a~+x-Weg des Graphen [N(a,)]a ( i = 0 . . . . ;2n; az,+a = a o , a _ , = a 2 , ) , Ist die Liinge des Weges W~ gleich l~, so ist nach (6. 7) 3) ffir i = 3 ..... 2 n - 1 der Wert I i = 1. Daraus folgt s(~) = 2n - 3 + 12, + l o + l~ + 12. (6. 30) Es gelten (1) Wz=(a~bla3) und Wz,=(a2,_~c~ao), wobei (2) ba,e,r b~ao, c l a , ~ G , b~ai~G ( i - - 4 . . . . . 2n),
C1CIj~G

und (3) bestehen.

( j = 2 , ..:, 2 n - 2 )

b,cl E G

BEWEIS. Wegen Symmetriegrfinden genfigt es, jene Behauptungen zu beweisen, in denen b, vorkommt. Es sei W2=(bo... bk), b o = a , , bk=a3. Nach (6. 9) ist k ~ 2 und b, ..... bk~s162 Da aoa 2 ~ b k_ ~a2 gilt, ist (4) aobk- 1 ~ G. Wir werden aus der Annahme k > 2 den Widerspruch herleiten, dab G ' = G - a 1 die ungerade Kreiskette ~, =(aob, az ... a2,) enth/ilt. Nach (6. 9) ist aob, E G', also liegt das Vieleck V=(aoblaz...a2,ao) in G'. Die Verkntipfungen der Kanten von V in G' sichern bei at ( i = 3 . . . . . 2 n - l ) die Kante a~_,a~+,EG (s. (6. 7) 3) ) und bei a 2 der Weg (ba... bk)CG. Da nach (6.9) a l ~ [ W2n ist, gilt a2nazn_ 1 ~a2nao auch in G'. Laut (6.9) gelten aob~CG ( i = 1. . . . . k - 2 ) und bk_la2nE G. Daraus und :aus (4) folgt Wo=(a2nbk_lbk_2 ... bl)c[N(ao)]c, und dies ergibt wegen a l ~ Wo .die Richtigkeit yon aoa2,~aobl in G'. Wir brauchen noch zu zeigen, dal3 in G' die Relation baao'-~ bla2 besteht. Nach (6. 9) besteht sie in G, d.h. es gibt einen aoa2-Weg W" in [N(b,)]~. Wegen bl a, C G i s t jedoch a, ~ W', und demzufolge sichert W' auch in G" das Bestehen von bta o ~ b l a 2. Damit ist ~ c G ' , und daher auch die Behauptung (1) bewiesen. Die Behauptungen yon (2) folgen unmittelbar aus (1), (4) und (6.9). Aus aob 1CG und aoClEG folgt b 1 # c l . Nehmen wlr an, dab emgegen (3) b~ c 1 E G gilt. Wegen (6. 9) sind b 1a2n , c 1a 2 E G, w o r a u s ca a2n ~ Cab, bzw. b 1a 2 ~ b 1c i folgt. Daher ist ~ 2 = ( c l b l a 2 . . . a 2 , ) c G , und es geh6ren laut (6.9) und wegen den obigen siimtliche kurze Diagonalen yon ~2 zu G. Dies widerspricht der Voraussetzung M x - Q . Damit ist auch (3) bewiesen. (6. 31) G entMilt aufler ao ..... a2,, bl, Cl keine weiteren Punkte. BEWEIS. Bezeichne G" jenen Teilgraphen yon G, den d i e P u n k t e ao, .... a2n, bt, c, ausspannen. Wir zeigen, dab G = G" ist. Zufolge der Irreduzibilit~it von G gentigt es ~ ~ G ' zu beweisen. Wir mtissen zeigen, dab die benachbarten Kanten des Vielecks (ao ... a2,ao) auch in G' verknfipft sind. Bei al ( i = 3 ..... 2n-- 1) folgt dies aus ai_lai+ 1EG, bei a2 bzw. a2, aus der Existenz des Weges W2 bzw. W2,, bei a I aus (aoe,a2)cG und alc, ~G. und schliel31ich bei ao aus (albla2,,)cG und aobj E G.
#.cta Mathematica Academiae Scientiarum Hungaricae 18, 1967

TRANSITIV ORIENTIERBARE GRAPHEN

~5

Wir haben von jeder Kante, die zwei Punkte von ~(G) verbindet, entschieden, ob sie zu G oder zu G geh6rt (s. die S~itze (6. 7), (6. 30)). Man kann nun zeigen, dab jener Graph, der aus den erhaltenen Punkten und Kanten besteht, tats~ichlich unseren Forderungen von (6. 5), (6. 10) und (6. 28) genfigt. Wir wollen die Verifizierung dieser Aussage, die im folgenden Satz noch einmal formuliert wird, unterdrficken. (6. 32) Derjenige Graph, der aus den verschiedenen Punkten ao ..... a2, (n =>2), bl, cl und aus den Kanten alai+l ( i = 0 .... ,2n; az,+t =ao), aoai ( i = 2 ..... 2n--l), axa~ ( j = 3 , ...,2n), blao, bla2 cla2,, clal besteht, enthiilt die einzige ungerade Kreiskette (ao ... a2,) und ist irreduzibel. Die minimale Astroidenldnge yon (ao ... a2,) betriigt 2n + 5. Der in (6. 32) beschriebene Typ irreduzibler Graphen soll mit F4(2n + 1) bezeichnet werden. In der Tafel I findet man den Verknfipfungsgraphen /~4(2n + 1) dieses Graphen. (6. 33) Zusammenfassend, k6nnen wit behaupten, dag insgesamt vier Typen Fi(2n+ 1) (i= I, 2, 3, 4; n _->2) irreduzibler Graphen existieren, die keine Dreieckskette enthalten. Man kann leicht verifizieren, dag jene minimalen Astroiden, die den ungeraden Kreisketten dieser Graphen entsprechen, extreme Astroiden der komplement~iren Graphen sind, und die in (1.21) erw~ihnten Eigenschaften besitzen. 7. Bestimmung jener irreduziblen Graphen, die 3-Astroiden enthalten Bei der Untersuchung derjenigen irreduziblen nicht t-orientierbaren Graphen, die Dreiecksketten enthalten, hat es sich herausgestellt, dab man ihre komplement~iren Graphen einfacher bestimmen und beschreiben kann, als die ursprfinglichen Graphen. Diese komplement~iren Graphen, die wir nun im folgenden aufsuchen wollen, geh6ren zu der in (1.21) definierten zweiten Art yon irreduziblen Graphen, und zwar bilden sie jene Gruppe dieser Graphen, die 3-Astroiden enthalten. (7.1) ERKLJiRUNGEN. Ist Wein Weg und x, yE W, so soll (xWy) jenen Teilweg yon W bezeichnen, dessen Endpunkte x und y sind (dabei wollen wir auch einpunktige Teilwege zulassen). Sind W1 und Wz Wege und x, y E Wj, y, z C W2, haben ferner die Teilwege (XWly) und (yW2z) auger y keinen gemeinsamen Punkt, so soll
(xWly) U (yW2z) = (xWlyW~z)

gesetzt werden. )khnliche Verkiirzungen werden auch bei anderen Vereinigungen yon Wegen bzw. Teilwegen beniitzt. Ist W ein Weg yon G, und geh6rt keine Diagonale yon W zu G, so soll W diagonalfrei in G heigen. Die gleiche Benennung soll auch bez/.iglich Vielecken angewendet werden. Den Tatbestand, dab xEG, W = ( x l ...x,,),n>=2 ein Weg yon G ist, und xxi~ G (i= 1..... n) gilt (dann besteht auch xr W) wollen wir kurz folgendermagen ausdrficken: es gilt (in G) W+ x.
Acta Mathematica Academiae Scientiarum Hungaricae i8, i967

56

T. GALLAI

Das Bestehen von

{x Wy Vz Vx} c a
soll bedeuten, dab {xWy Uz Vx} eine 3-astroide von G i s t (s. (1.19)). (7. 2) VORAUSSETZUNGEN. Unter irreduziblen Graphen werden wir im folgenden immer die in (1.21) erkl~irten irreduziblen Graphen verstehen. Der Graph G soU im ganzen Abschnitt einen irreduziblen Graphen bezeichnen, der eine 3-Astroide enth/ilt, d.h. G enth/ilt eine 3-Astroide und ffir jedes x E G enth~ilt G - x keine Astroide. Es bezeichne a = {aCbAcBa} eine ,,minimale" 3-Astroide von G. Das bedeutet: Es ist a r b r c ~ a, A ist ein kfirzester Weg unter jenen bc-Wegen Wa von G, ffir die W, + a in G gilt, B ist ein kfirzester Weg unter den ac-Wegen Wb mit Wb + b und C ist ein kfirzester Weg unter den ab-Wegen Wc mit Wc + c. Es soll im folgenden o- festgehalten und ffir die Bogen A, B, C von a

A =(aoal ... a,+ O, ao=b, B=(bobl...bp+l),


C:(coc 1 ... c?+l) ,

a,+ l =c, ba+l=a,

bo=c,
Co:a ,

c~+ 1 = b

gesetzt werden. (7, 3) Wir stellen noch einmal lest: Es gelten (1) und demzufolge auch

A
e=>l,

B+b,
fl=>l,

C
7=>1.

Aus der Minimaleigenschaft der Wege A, B und C folgt, dab diese in G diagonalfrei sind. h n folgenden werden wir uns auf diese Eigenschaft der Bogen A, B, C durch das Zeichen (7. 3) DA, DB, Dc berufen. In den folgenden Untersuchungen wird aul3er ( 1 ) n u r diese Eigenschaft der Bogen A, B, C benfitzt.18 Es sei noch bemerkt, dab wir unsere Behauptungen meistens indirekt beweisen werden, derart, dab wir ffir ein geeignetes x C G zeigen, dab G' = G - x eine Astroide enthNt. Dabei wird auch die triviale Tatsache in Betracht gezogen, dab wenn in G W + y gilt und x r x~ W bestehen, dann W auch in G' gilt. (7.4) G enthiilt aufler den Punkten yon A, B, C keinen weiteren Punkt und enthiilt kein n-Eck (n =>5), das in G diagonalfrei ist. BEWEIS. Die erste Behauptung ist eine triviale Folge der Irreduzibilit~it von G. Die zweite ergibt sich aus der Irreduzibilit~it yon G und aus der Tatsache, dab ein Ffinfeck eine 5-Astroide, ein n-Eck (n ~ 6) eine 3-Astroide enthNt. ~s Die gleiche Methode ist auch in [7] benfitzt w0rden.
Acta 2dathematica Academiae Scientiarum Hungaricae 18, 1967

TRANSITIV ORIENTIERBARE GRAPHEN

57

(7. 5) Die Durchschnitte A n B, B n C und C A A sind Wege. BEWEIS. Es geniigt, die Behauptung bezfiglich A N B zu beweisen. Gilt A N B = (e), so ist nichts zu beweisen. Nehmen wir an, dab A N B einen yon e verschiedenen Punkt besitzt. Es sei h der gr613te Index mit bhEA. In Betracht yon A + a gilt 0 < h < f l . Ferner sei g der gr6fSte Index mit O<=g<=h,baEA und (eBbo)=(eAbo). (Wegen (eBbo)=(eAbo) existiert ein solehes g.) Ist g = h , so gilt A n B = (eBbo)= (eAba) , und das best~itigt unsere Behauptung. Wit wollen nun zeigen, dab die Annahme g < h zu e.inem Widerspruch fiihrt. Aus g < h folgt erstens babo+1 ~A. Es besteht daher wegen (7. 3) D~, b0+ 1 CA, also auch l ~ _ g + l < h , woraus nach (7. 3) D B ebhEG folgt. Wit zeigen, daB, im Gegensatz zur Irreduzibilit~it yon G, G'= G - b o+ ~ eine 3-Astroide enth~ilt, es besteht n[imlich (1)

{aC'bAeB'a} c G',

wobei B ' = (eAbhBa) und C ' = (aBbhAb) gesetzt wurde. In der Tat ist B' ein ea-Weg und C a ein ab-Weg. Wegen bo+ ~~ A besteht A, B', C a c G'. Aus B + b folgt bbh C G, und dies ergibt im Betracht yon (7. 3) DA (eAbh) Wegen B + b erhalten wir daraus B'+b. ebh EG und (7. 3) Da, DB ergeben C'+e. In Betracht von A + a ist daher (1) bewiesen. (7. 6) ERKLS, RUNGEN. Nach (7.5) existieren die eindeutig bestimmten Punkte

a'CBN C, b ' s
mit den Eigenschaften

c'EANB

A N B = (cAe') -- (cBe'), B n C = (aBa') = (aCa'),


c N a = (bCb') = (bab').

(7.7) Es gelten a" ~ b, c, b' ~ a, c. Im Falle a' ~ a, b" ~ b, a" ~ b' liegen die Punkte a, a', b', b in dieser Reihenfolge auf dem Wege C. BEWEIS. Die zwei ersten Behauptungen folgen unmittelbar aus (7. 6). Nehmen wir an, dab die verschiedenen Punkte a, a', b', b in der Reihenfolge a, b', a', b auf C liegen. Wegen (aBa')= (aCa') gilt dann b" E B. Es liegen also die verschiedenen Punkte a, b', a', e in dieser Reihenfolge auf B. ~hnlich bekommt man, dab die verschiedenen Punkte b, a', b', e in dieser Reihenfolge auf A liegen. Dies ist jedoch ein Widerspruch, da jetzt a', b', e E A N B = (eAe') ~-(eBc') besteht, und die Punkte a', b', e nur in einer Reihenfolge auf dem Wege A N B liegen k6nnen. (7. 8) Die Punkte a', b', c' sind entweder versehieden, oder sie fallen in einem Punkt d zusammen. Im zweiten Falle ist G = (aead) U (bald) U (ebtd). BEWEIS. Wir dfirfen, falls a', b', c' nicht verschieden sind, a' = b' -~ d annehmen. Nach (7.7) ist dann d yon a, b und e verschieden. Ferner gilt d E A f ' B , und demzufolge auch (cAd)=(eBd). Daraus und aus (aBd)N ( b A d ) - ( d ) folgt d=e'. Aus den obigen und aus (7. 3) DA, DB, Dc folgt, dab G die Vereinigung der Wege (aCd), (bAd) und (eBd) ist. Wegen A + a , B + b und C + c sind die L~ingen dieser Wege =>2. Sie sind sogar genau gleich 2. Besitzt n~imlich einer der
Acta Mathematica Academlae Sclentiarum Hungaricae 18, I967

58

T, GALLAI

erw~thnten Wege, z.B. (aCd), eine L~inge =>3, so gilt, im Gegensatz zur Irreduzibilit~it von G, { c l C ' b A c B ' c l } c G - a , wobei C'=(c~Cb) und B'=(cBcl) gesetzt wurde. Damit sind s~imtliche Behauptungen yen (7. 8) bewiesen. (7. 9) Man kann einfach verifizieren, dab der sich im zweiten Falle yon (7. 8) ergebende Graph eine 3-Astroide der L~inge 12 enth~ilt und irreduzibel ist. Dieser Typ irreduzibler Graphen wird mit/~5 [12] bezeichnet (s. Tafel II). (7.10) Im folgenden wird angenommen, dab a" ~ b ' ~ c ' ~ a" gilt. Nach (7: 6) und (Z 7) zerspalten die Punkte a', b', c' die Wege A, B, C insgesamt in sechs Teilwege (unter denen auch einpunktige vorkommen k6nnen). Die drei Teilwege (a'Cb'), (b'Ac') und (c'Ba') sind mehrpunktig und bilden ein Vieleck. Bezfiglich der fibrigen gilt (7.11) Die Liingen der Wege (aCa'), (bAb') und (eBe') sind h6chstens gleich 1. BEWEIS. Entgegen der Behauptung nehmen wit an, dab z.B. der Weg (cBe')= =(cAt') einen inneren Punkt x besitzt. Wir unterscheiden zwei F~ille. I) Der Weg (a'Cb') enth~ilt einen inneren Punkt y. Dann folgt aus (7. 3) DA, DR (c'Ab) c und (e'Ba) + c, und daher gilt mit C' = (aBe') U (e'Ab)

{aC'bAcBa} c G - y .
II) Es ist (a'Cb')=(a'b'). Dann folgt aus (7. 3) DA, DB C mit A' = (bAx), B' = (xBa) {aCbA" xB" a} c G - c. Wir untersuchen erst den Fall, wo a ' r bis (7. 15)). und so gilt

b'r

c'r

besteht (yon (7. 12)

(7. 12) Es sei a ' r b ' ~ b , e ' r und einer der Punkte a',b',c', z.B. c', sei mit einem inneren Punkt des ,,gegeni~berliegenden" Teilweges (a'Cb') verbunden. Dann erhalten die Wege (e'Ab') und (c'Ba') keinen inneren Punkt, und c" ist mit jedem Punkt yon (a'Cb') verbunden. BEWEIS. Es gelten a ' = c 1, b ' = c ~ = a l , c'=a~, V~3, und es gibt einj (1 < j < v ) mit csc"E G. I) Nehmen wir an, dab entgegen unserer Behauptung einer der Werte von und fl, z.B. ~=>3 ist. Wir zeigen, dab dann G - a 2 eine 3-Astroide enth/ilt. Nach (7. 3 ) D e , DB gelten (bCci)+a und (c'c)+a. Daher besteht mit A'=(bCcjc'c)

{aCbA'cBa} c G - a2.
II) Es ist also ~ = 2 u n d / 3 = 2 . Es sei V_->4, und nehmen wir an, dab entgegen unserer Behauptung ein i (l <i-<~) mit c~c'EG existiert. Man darf i < j setzen. Wir zeigen, dab dann G - a eine 3-Astroide enth~ilt. Es gelten 19 A + c i [(7. 3) Dc, cic" E G, C+ c],

B" = (ciCc,Bc) + b [(7. 3) Dc, B + b].


19 In der eckigen Klammer, die nach einer Relation W-,x steht, sind die Grfinde for das Bestehen der Relation kurz angedeutet.
.Acta Mathe~Hatlca Academiae Seieotiarum Hungaricae z8, I967

TRANSITIV ORIENTIERBARE GRAPHEN

59

Es besteht so mit C" =(ciCb )


{ciC'bAeB'ci} c G - a.

(7. 13) Der Satz (7. 12) bestimmt zusammen mit den vorangehenden Feststellungen ffir jeden Wert 7 =>3 eindeutig einen Graphen, yon dem man leicht best~itigen kann, dab er eine 3-Astroide der Lange 7 + 7 enth~tlt und irreduzibel ist. Dieser Typ irreduzibler Graphen wird mit/~6[), + 7] bezeichnet (s. Tafel II). (7. 14) Es sei a" r b" r c'r und a', b" bzw. e" soll mit keinem inneren Punkt yon (b'Ac'), (c'Ba') bzw. (a'Cb') verbunden sein. Dann besitzen die drei erwiihnten Teilwege insgesamt h6chstens einen inneren Punkt. 9BEwEts. I) Entgegen unserer Behauptung soll angenommen werden, dab -_>3 und fi=>3 bestehen. Nach (7. 3) DA, DB gilt jetzt C + c ' . Daher besteht mit A ' = ( b A c ' ) und B ' = = (c'Ba) {aCbA" c'B"a} c G - c. II) Im Gegensatz zu unserer Behauptung sei ~ =2, fl = 2 und ), =>4, Nach (7. 3) De ist dann das (7 + 1)-Eck ( c ' q ... %c') in G diagonalfrei. Laut (7.4) bedeutet dies einen Widerspruch. (7. 15) Entsprechend den Fallen, in denen die in (7. 14) erwahnten Teilwege insgesamt genau einen bzw. keinen inneren Punkt enthalten, gibt es (isomorphe Graphen als nicht verschieden betrachtend) je einen Graph, der die in (7. 14) und in den vorangehenden festgelegten Eigenschaften besitzt. Man kann leicht best~itigen, dab der erste bzw. zweite dieser Graphen eine 3-Astroide der L~inge 10 bzw. 9 enthalt, und dab beide Graphen irreduzibel sind. Diese Typen irreduzibler Graphen werden mit/~7 [10] und/~8 [9] bezeichnet (s. Tafel II). (7. 16) Es soil jetzt jener Fall untersucht werden, bei dem yon den Ungleichheiten a' r a, b' # b, c' r c nur zwei gelten. (7. 17) Es sei a ' ~ a , b ' ~ b und c'=c. Dann bestehen ~ = f l = ) , = 2 , a"a2, b'bl E G.
a2b I EG,

BEWElS. I) Aus c ' = c und C + c folgt c ~ 2 , fl~2. Wir zeigen, dab von jenen Kanten a,b;, die nicht auf den Wegen A, B, C liegen, nur allein a,b~ zu G geh6ren kann. Wegen (7. 3) (1), (7. 3)DA, DB, Dc und aus Symmetriegrfinden genfigt es,
a~bjEG

(1 <=i<c~, I -<-j< fl)

zu beweisen. Nun sei angenommen, dab ein i und ein j mit 1 ~ i < ct, 1 <=j < fl, a~bj C G existiert. Dann gilt A" = (bAalb;Bc) -,- a [A + a, (7.3) DB], und daher besteht {aCbA'cBa} c G - a = . II) Es gilt ),=2. Ist n/imlich 7 > 2 , so besteht wegen 1) A + c , =bt~, und so gilt mit B'=(CBCl) und C ' = ( q C b )
{ q C ' b A c B ' c l } c G --a.
Acta Mathematica Academiae Scientiarum Hungaricae ~g, 1967

60

T. GALLAI

III) Es ist a~bl EG und ~ = f l = 2 . Ist n/imlich a~b 1EG, so folgt aus I), II) und (7. 3)DA, DB, dab das Vieleck (b o ... bpal .., a,+O, welches mehr als 4 Punkte besitzt, in G diagonalfrei istl Dies ist nach (7.4) ein Widerspruch. Ist a,baEG, und besteht die eine der Ungleichungen ~ > 2 und fl>2, so ist aus den gleichen Grfinden wie vorher das n-Eck (b 1 ... b~al ... a,bl) in G diagonalfrei u n d e s gilt n =>5. Dies ist ein Widerspruch. (7. 18) Man kann einfach verifizieren, dab der durch (7. 17) und dutch die vorangehenden Feststellungen bestimmte Graph eine Astroide der L/inge 9 enth/ilt und irreduzibel ist. Dieser Typ yon irreduziblen Graphen wird mit F 9 [9] bezeichnet (s. Tafel II). Jetzt soll der Fall behandelt werden, wo yon den Ungleichheiten a' ~ a, b' ~ b, c ' ~ c genau eine besteht. (7. 19) Es sei a ' = a , b ' = b und c" ~ c . Dann ge#en o~=fl=2, 7 = I , c ' c t ~ G
alb~EG. und

BEWEJS. I) Aus A bzw. B + b folgt fl_->2 bzw. c~=>2. Es gibt ein ci (1 -<-i-<_:y) mit c'c~ E G. Existiert n/imlich kein solches i, so besteht nach (7; 3) DA, DB C c', und dann gilt mit A" ----(bAc') und B" ----(c'Ba) die Behauptung { a C b A ' c ' B ' a } ~
cG--c.

II) Es gilt ),--1. Nehmen wir an, dab 7 > 1 ist, u n d e s sei c'c~EG (1-<-i<=?). Man daft i > 1 setzen. Dann gilt nach (7.3) D c, DB A" = (bCc~c'c) a, woraus {aCbA" cBa} c G -- a 1 folgt. III) Es besteht a~bjEG ( 0 < i < ~ , l < j ~ f l ) . W/ire n/imlich a~bjEG, so h/itte man nach (7. 3) DB, DA C' = (aBbjaiAb) + c, wonach {aC'bAcBa} c G - c 1 gelten wfirde. IV) Es gilt ~=fl---2. Nehmen wir an, dab z.B. ~ > 2 ist. Wir unterscheiden zwei F/ille: 1) Es ist alc, E GI Dann gelten
C" = ( a c l b a O c B" = ( c c ' c l a ) + al

[C+ c, (7. 3) DA] [(7. 3) DA, ale1E G, A + a ] ,

und daher ist mit A" -- (alAC) {aC'alA'CB'a} c G -- b2. 2) Es gilt ale, E G. Dann gelten
C'=(aclaO+c

[C+c, (7. 3) DA], [(7. 3) DA, III), A + a],

B + a~ and so besteht mit A" = ( a l A c ) bewiesen.

{aC'a~A'cBa} c G - b . Damit ist (7. 19)vollst/indig

(7. 20) Entsprechend den F/illen 1) cla~, clb 2 E G, 2) c~a 1 E G, c~b z E G und 3) c l a ~ , c l b 2 E G gibt es (isomorphe Graphen als nicht verschieden betrachtend) je einen Graph, der den in (7. 19) und in den vorangehenden festgelegten Bedingungen genfigt. Man kann leicht best/itigen, dab diese Graphen je eine 3-Astroide der L~tnge 8 enthalten und irreduzibel sind. Diese Typen von Graphen werden der Reihe nach mit FlO [8], /~H [8] u n d / ~ 2 [8] bezeichnet (s. Tafel II).
Acta Mathematica Academiae Scientiarum Hungaricae i8, x967

I'RANSITIV ORIENTIERBARE GRAPHEN

61

Endlich mfissen wir noch den Fall a ' = a, b ' = b, e ' = c untersuchen. (7.21) ERKLXRUNGEN. Verbindet eine Kante einen inneren Punkt yon A mit einem inneren Punkt yon B, so soll sie eine AB-Transversale heil3en. Wit sagen auch, dab diese Transversale die Bogen A und B verbindet. Nhnliche Bedeutung kommt den Begriffen der BC- und CA-Transversalen zu. Wegen (7. 3) (1) und (7.3)DA, Dn, Dc k6nnen yon d e n Kanten, die zwei Punkte yon ~(G) verbinden und nicht auf den Bogen A, B, C liegen, nur die Transversalen zu G geh6ren. Der einfachste Fall ist der, wo keine Transversale zu G gehOrt. Diesbezfiglich gilt die folgende triviale Behauptung. (7.22) Ein n-Eck (n ~6) enth/ilt 3-Astroiden der L/inge n und ist irreduzibel. Dieser Typ irreduzibler Graphen wird mit/~13 [n] bezeichnet (s. Tafel 21). Im folgenden sei angenommen, dab mindestens eine zu G geh6rige Transversale existiert. (7.23) Die zu G geh6rigen Transversalen k6nnen nicht alle dieselben zwei Bogen
verbinden.

BEWEIS. Nehmen wir das Gegenteil an: Es sollen alle Zu G geh6rigen Transversalen die Form a~b~ haben. Es bezeichne ferner g den kleinsten Index yon den a~ bei diesen Transversalen und h den gr6gten Index yon den bs, den man bei den zu G geh6rigen Transversalen der Form aobj finden kann. Dann ist das Vieleck
V = (ac 1 ... c~ba I ... aob h ... bpa)

in G diagonalfrei, und die Anzahl seiner Punkte ist ~ 5. Nach (7. 4) ist das ein Widerspruch. Wir schicken jetzt zwei Lemmata voraus: (7. 24) LEMMA. Es sei fl ~=2 und aib j E G mR 1 < j <=fl und 1 <=i <=c~. Dann gilt ~=i=1. BEWEIS. Es sei, entgegen unserer Behauptung, e > l angenommen. Ist i<cq so gilt wegen (7.3)DB, DA C ' = t a B b s a ~ A b ) + c , woraus { a C ' b A c B a } ~ G - c 1 folgt. Ist i~-l, so gilt nach (7.3)DA und B + b B ' = ( e A a ~ b s B a ) + b , woraus { a C b A c B ' a } c G - b 1 folgt. (7.25) LEMMA. Es sei fl>=2 und albiEG mit 1 <-j<fl und 1 <=i-<__e. Dann gibt es zu jedem g mit I <=g<fl ein h (1 <=h<=y) derart, daft bgch~G gilt. BEWElS. Entgegen unserer Behauptung sei angenommen, dab ein g mit 1 <=g < fl existiert, f~r welches bgCkE (~ (k = 1..... y) gilt. Dann gelten C + bg, [(7. 3) DB, B + b],
[A + a, (7. 3) Da],

A' = (bAa~biBbo) + a

und so besteht mit B" = (bgBa)

{aCbA'boB'a } c G - c.

(7, 26) Es gibt unter den Bogen A, B, C h6chstens eine, die mehr als einen inneren Punkt enthiilt.
Acta Matbematica Academiae Scientiarum Hungaricae ~8, I967

62

T. GALLAI

BEWEIS. Entgegen der Behauptung soil angenommen werden, dab c~> 1 und / / > 1 gelten. Aus dieser Annahme beweisen wir erst folgende Feststellungen: Von den AB-Transversalen kann nur a,b I zu G geh6ren; es gelten 7 = 1 und cla~, c~bl E G. Es sollen zwei F~ille unterschieden werden: 1) Es gibt ein aibjEG (1~i<=~, l~j<=fl). Nach (7.24) ist dann i = ~ , j = l , Laut (7.25) gibt es e i n h (l<=h<=7) mit b~chEG. Wegen. (7. 24) ist dann 7 = h = l , woraus aus Symmetriegrfinden a,c~ E G folgt. 2) Es gibt kein albjEG (l~i-<-e, l<=j<=fl). Dann gibt es nach (7.23) ein coakEG (1-<_g<=7, I - < _ k ~ ) und ein cub,,EG ( l ~ u ~ 7 , 1-<_v<=fl). Nach (7.25) kann nur k =c~ und v = 1 bestehen und so folgt aus (7.24) 7 = g = u = 1. Jetzt zeigen wir, dab auch ax c~ E G gilt. Besteht nfimlich al cl E G, so exlshert nach (7.25) (sowohl im Fall 1) als auch im Falle 2)) eine Kante albr E G (1 <= r<= 13), was mit den obigen in Widerspruch steht. Nun kznn man folgern:
C" = (aclbal) + c B" = (ebicla) + a 1 [C + c, (7. 3) DA]

[(7. 3) DA, al bl, al el E G, A + a],

und so ist mit A" = (alAe)

{ a C ' a l A ' c B ' a } c G - be.

(7.27) Enthglt jeder Bogen A, B, C genau einen inneren Punkt, so existieren h a t h ( 7 . 2 3 ) entweder drei oder zwei zu G geh6rige Transversalen. Wie man es leicht verifizieren kann, erh~ilt man in beiden F~tllen solche Graphen, die je eine 3-Astroide der L/inge 6 enthalten und irreduzibel sittd. Man kann diese Typen mit jenen yon (7. 33) zusammenziehen. Sie werden deshalb mit /~a5 [6] bzw. /~6 [6] bezeichnet (s. (7. 33) und Tafel II). (7.28) Im folgenden sei angenommen, dab einer der Bogen, z.B. C mehr als einen inneren Punkt enth~ilt. Dann gilt (I) e=/3=l, y=>2.

Nach (7. 23) kann man die Existenz eines i (1 <=i<=7) mit a l c i E G voraussetzen. Es soll dann h den gr613ten dieser Indizes i bezeichnen. Also besteht (2)
a~chEG

und

ajcjEG

(h <j-<_- 7), falls

7>h

ist.

(7.29) Es gilt entweder h = 7 - 1 oder h = 7. BEWEIS. Ist n/imlich h ~ 7 - 2, so ist wegen (7. 3) Dc und (7.28) (2) das Vieleck
(alch ... c~baa) in G diagonalfrei, u n d e s besitzt mehr als 4 Punkte. Nach (7.4) ist

das ein Widerspruch. (7. 30) I s t b i c i E G ( i = l ..... 7 ) , s o g e l t e n a l b i E G , h = l u n d T = 2 .

BzwzIs. a~ ba E G folgt unmittelbar aus (7.23). h > 1 steht nach (7.25) zu chb~ E in Widerspruch. Laut (7.28) (I) und (7.29) besteht also 7 = 2. (7. 3 1 ) M a n kann leicht einsehen, dab der durch (7. 30) uncl durch die vorangehenden Feststellungen bestimmte Graph eine Astroide der L/inge 7 enth/ilt und irreduzibel ist. Dieser Typ irreduzibler Graphen wird mit / ~ [7] bezeichnet (s. Tafel II).
A,.ta Mathematlca Academiae Scienti~rum Hungaricae ~8, 1967

TRANSITIV ORIENTIERBARE GRAPHEN

63

(7.32) existiert.

Im folgenden sei angenommen, dab ein i (1~i<_-7)

mit blciEG

(7.33) Geh6ren s/imtliche a~cz und b~c i (1 <= i<= ~,) zu G, so gibt es den F/illen a~ba E G und alb~ E G entsprechend zu jedem Wert 7 =>-2 je einen Graphen. Man kann best/itigen, dab diese Graphen je eine 3-Astroide der L/inge 7 + 5 enthalten und irreduzibel sind. Diese Typen irreduzibler Graphen werden mit /~5 [~+5] und /~16 [7 "~ 5] bezeichnet. (Dem Wert ~ = 1 entsprechen die in (7.27) erwahnten Typen. Siehe Tafel II). (7. 34) Im folgenden sei angenommen, dab von den AC- und BC-Transversalen mindestens eine zu G geh6rt. Man darf voraussetzen, dab es ein i (1 _-<i -<_~) mit b~c~ E G gibt. Ferner m6ge g den gr613ten dieser Indizes i bezeichnen. Es besteht also (1) b~cgEC, und b~cjEG (g<j<=y), falls y > g ist.

(7. 35) Es gilt rain (g, h) = 1. BzwzIs. Ist n/imlich min ( g , h ) > l , so folgt aus (7.25) blcoEG. Das steht zu (7. 34) (1) in Widerspruch. Wir werden jetzt die F/ille g < h, g = h und g > h einzeln untersuchen. (7. 36) Es sei g<h. Dann gelten g = l , h = 7 : 2 , alcl E G auch albl E G. blc 2, alczEG, und im Falle

BEWEIS. Nach (7. 34) (1) ist b~cr E G, nach (7. 3 5 ) g = 1. Entgegen unserer Behauptung nehmen wir an, dab ~ > 2 ist. Dann gelten A'=(bcrblC)+C 1 B':(cb~acl)+b [(7. 3) Dc, 7 > 2 , blc~ EG, C [B+b, (7. 3) Dc],

worausmit C'=(clCb) { C l C ' b A ' c B ' c l } c G - a l folgt. Es besteht also 7 = 2 , und so mul3 h = 2 sein: Daher gilt a~c2 EG. Ist a~cl E G, so kann a~b~ E G nicht bestehen. Sonst w/ire das Ffinfeck (ac~alcbaa) in G diagonalfrei, und das bedeutet nach (7.4) einen Widerspruch. (7. 37) Der Voraussetzung g < h k6nnen nach (7.36) drei Graphen genfigen. Derjenige unter diesen, bei dem ale j, a~b~ E G besteht, geh6rt zum Typ r~4 [7], und wie man leicht verifizieren kann, enthalten die fibrigen zwei (die den F/illen ale1 E G, albl E G und ale 1 ( 7, alb 1E G entsprechen) je eine 3-Astroide der L/inge 7 und sind irreduzibel. Diese Typen irreduzibler Graphen werden mit /~7 [7] und /~18 [7] bezeichnet (s. Tafel lI). (7.38) aic2 E G. Es sei g=h. Dann gelten h = l , y : 2 , alcl,blcz,albaEG und blc~,

BEWEIS. Nach (7. 35) ist g = h-- 1, und so gilt laut (7.28), (7.29) und (7.34) y = 2 , al cl, blc2EG und alc2, blc 1 EG. Ware a~ b I E G, so w/ire (a~ clabaca~) diagonalfrei in G. Dies bedeutet einen Widerspruch.
Act,: Mathel~latica Academiae Scielltlartciit Hungaricae I8, 1967

64

T. GALLAI

~(2n+l),n~=2
%.
a
az

~(2n+l)~n~2
\ ~ az

/
,r c,
/ (6.26) b~

ao

a~

(6,14)

F3 (2n,t. ~), n ~- 2
A

~(2n~q),n~=2

. . . . .

I
TAFEL I,

. . . . . . . . . .

Die Verknfipfungsgraphen jener irreduziblen nicht t-orientierbaren Graphen, die keine Dreieckskette enthalten. (Die unter den Figuren stehenden Nummern geben die Erklirungsorte der Figuren an.)

Acta Mathematica Academiae Scientiarum Hungaricae I8, z967

TRANSITIV ORIENTIERBARE GRAPHEN

65

.... a ....

(7.9}

b. a

(Z13)

a v

"

(Z20)

Vb

~ - b

rr
a-

( Z 22)

, a "

(7.3r

-b) a
I

(?.271,(Z33)

1227),f733)

vb

TAFEL IL Die irreduziblen Graphen, die 3-Astroiden enthalten. (Die unter den Figuren stehenden Nummera geben die Erkl/irungsorte der Figuren an).

Acta Ivlathematica Acadentiae Scientiaru/lz

Hungaricae ~8, 1967

66

T. GALLAI: TRANSITIV ORIENTIERBARE GRAPHEN

(7. 39) D e r B e d i n g u n g g = h k a n n also n u t ein w o h l b e s t i m m t e r G r a p h genfigen. W i e m a n leicht best~tigen k a n n , enthfilt er eine 3-Astroide der Lfinge 7 u n d ist irreduzibel. Dieser T y p irreduzibler G r a p h e n wird mit F~9 [7] b e z e i c h n e t (s. Tafel II). (7.40)
Es sei g > k . Dann gilt h = l ; g = 7 = 2 ,

alcl,blctEG

,alc2,blc2~G.

BEW~IS. h = 1 folgt aus (7.35). Dies ergibt n a c h (7.29) ~ = g = 2 . L a u t (7. 28) u n d (7.34) ist d a n n a l c a C G, a l ca, b~ c 2 E G, u n d wegen (7. 32) b 1 c 1 E G. D e r Bedingung g > h k 6 n n e n also zwei G r a p h e n genfigen. Bei d e m ersten ist al bt E G. Dieser geh6rt dem T y p / ~ s [7] zu. Bei d e m zweiten ist a l b l E G . Dieser ist v o m Typ/~a4 [7]. (7.41) W i r h a b e n nun s~imtliche M 6 g l i c h k e i t e n untersucht, u n d h a b e n insgesamt 15 T y p e n irreduzibler G r a p h e n m i t 3 - A s t r o i d e n gefunden (s. Tafel II).
(Eingegangen am 16. November 1965.)

Literaturverzeichnis
[1] G. A. DIRAC, Trennende Knotenpunktmengen trod Reduzibilit/it abstrakter Graphen mit Anwendung auf das Vierfarbenproblem, Journal fiir die reine nnd angewandte Mathe. mall!(, 204 (1960), S. 116--131. [2] A. GHOUILA-HouRI, Caract6risation des graphes non orientals dont on peut orienter les ar&es de mani&e /t obtenir le graphe d'une relation d'ordre, C. R. Acad. Sci. Paris, 254 0962), S. 1370--/371. [3] A. GHOUILA-HOuRI,Flots et tensions dans un graphe, Ann. scient. Ee. Norm. Sup., 3e s. 81 (1964), S. 2O7 265. [4] P. C. GILMORE---A. J. }-IOFI:MAN,Characterizations of Comparability and Interval Graphs. Abstract, lnternat. Congress Mathematicians (Stockholm, 1962), S. 29. [5] P. C. GILMORE--A. J. HOFFMAN,A characterization of comparability graphs and of interval graphs, Can. J. Math., 16 (1964), S. 539 548. [6] G. HA:d3, Uber eine Art yon Graphen, lptern. Matk. Nackr., 11 (1957). Sondernummer 65. [7] C. G. LEKKERKERKER---J.CH. BOLr Representation of a finite graph by a set of intervals in the real line. Fund. Math.. 51 (1962), S. 45 64.

? :tJ MaL'Jc'~natlca A c ~ d e m i a e Scientiarum

Hungaricae iS, 1967