OBER EIN EXTREMALPROBLEM

DER GRAPHENTHEORIE
Von
B. ANDR/~SFAI (Budapest)
Professor TmOR GALLAIzum 50. Geburtstag hochaehtungsvoll gewidmet yon seinem Schiller.
(Vorgelegt yon P. ERD6S)

In dieser Arbeit werden nur endliche ungerichtete Graphen ohne Schlingerr

behandelt; zwei Knotenpunkte (im Weiteren einfache Punkte) k/Snnen h/Schstens mit
einer Kante Verbunde~ sein. ! p. TUR&q ([7], [8]) hat die foigende Frage aufgeworfen
und geRist: Welche ist die maximale Anzahl der Kanten eines Graphen mit n Punkten,
der keinen vollst~indigen l-Graphen enthiilt? In dieser Arbeit wird die maximale
Anzahl der Kanten der Graphen G ohne Dreiecke untersucht, wenn auger der AnzahI
der Punkte yon G auch die maximale Anzahl ,,der unabh/ingigen Punkte" von G
festgelegt ist. Wir nennen die Punkte einer Punktmenge A unabhiingige Punkte yon
G, wenn keine zwei Punkte von A durch Kanten von G verbunden sind; in diesem
Fall sagen wir auch, dal3 A eine unabhdngige Punktmenge von Gist.
Es bezeichne z~(G) bzw. ~(G) die Anzahl der Punkte bzw. die maximale Anzahl
der unabhiingigen Punkte des Graphen G. Enth/ilt G keine Dreiecke und ist ~ (G) 1
~(G) - 2 '
so l~il3t sich fiir die Kantenanzahl yon G die nur yon n(G) und ~(G) abh~ingige
genaue obere Schranke ziemlich einfach angeben (vgl. (3.4)). Das Hauptziel dieser
Arbeit ist die Untersuchung des Falles -• ~ < ~ 1. ~(G) ~ 52- ist es
Im Falle n(G)
gelungen die eben erw~ihnte genaue obere Schranke anzugeben und auch s~imtliche
extreme Graphen, d.h. diejenigen Graphen zu bestimmen, ffir die die maximale
Anzahl der Kanten erreicht wird. Fiir ~ ( G ) < 2_ habe ich nur Teilergebnisse.
~(c) 5
Die vollst~indige L/Ssung des Problems ist im Augenblick nicht zu erwarten. Dies
kann folgendermaBen begri~ndet werden: Nach einem Satz ([5], S. 466) von G.
SZEKERES ist fiir einen Graphen ohne Dreiecke ~(G)>V'2rc(G); P. ERD6S ([1], S.
346) hat gezeigt, dab die untere Schranke 1/~-n(G) vom Minimum ,,nicht weit" liegt;
mit wahrscheinlichkeitstheoretischen Methoden hat er n/imlich gezeigt, dab es eine
positive Konstante c gibt derart, dab fiJr jedes n =~no ein Graph G ohne Dreiecke
mit re(G) = n, ~(G) <- cl/nlog n existiert. Der Beweis yon ERD6S ist ein Existenz-
beweis; die Struktur der Graphen mit dieser Eigenschaft ist unbekannt. Im allgemei-

1 In dieser Arbeit treten auch Graphen ohne Kante und auch leere Graphen auf. Fi.ir die Defi-
nition des Teilgraphen, des Kreises und des n-Ecks vgl. [6]. Unter einem vollstiindigen l-Graphen
wird ein Graph mit l Punkten verstanden, dessen beliebige zwei Punkte verbunden sind. Der Graph
G wird ein paarer Graph genannt, wenn sich seine Punkte in zwei fremde Klassen A und B einteilen
lassen derart, dab der eine Endpunkt einer beliebigen Kante der Klasse A, der andere der Klasse
B angeh/Srt.
444 B. ANDR~SFAI

nen wissen wir wenig fiber die Struktur der dreiecklosen Graphen, ftir die •(G)
,,klein;' ist. (ERD6S ([3]. S. 22) hat zwar Graphen ohne Dreiecke mit beliebig klei-
hem konstruiert, abet auch die Struktur dieser Graphen ist unfibersichtlich.)
*~k,a)
Fiir die Kantenanzahl der dreiecklosen Graphen G 1N3t sich eine von ~ (G) und
e(G) abh~ingige triviale obere Schranke angeben. Es bezeichne v(G) die Kantenan-
zahl von G, und die Anzahl der zum Punkt a inzidenten Kanten q~6(a). Ist G dreieck-
los, so gilt fiir jeden Punkt a ~G(a) <-- ~(G); die yon a verschiedenen Endpunkte
der zu a inzidenten Kanten sind nfimlich unabh~tngige Punkte yon G. Daher gilt
die folgende Behauptung:
(1.1) Ist der Graph G dreiecklos, so ist
x(G).~(G)
v(G)N 2

Durch die L6sung des Problems ftir ~2-<- z (zG( G

) <y = l wird ersichtlich, dab

diese triviale Schranke fiir ~(G)

z(G) _ 21 und ~(G) = 52- genau ist. ERD6S hal die
n(G)
Frage aufgeworfen, ob dies auch in anderen F~illen m6glich ist. I m w 4 zeige ich,
~(G) m
dab die Schranke ~(G).~(G) im Falle - genau ist, wobei m eine
2 g (G) 3m - 1
beliebige natfirliche Zahl bedeutet.
(1.2) Zun~chst seien einige Bezeichungen und Definitionen eingeffihrt.
Die Menge der Punkte des Graphen G sei mit MG bezeichnet, die die Punkte
a und b verbindende Kante mit (a, b). Die Behauptung ,,a ist mit b in G verbunden"
bedeutet, dab G die Kante (a, b) enth~lt. Es werden diejenigen Kanten yon G unab-
hdngig genannt, die keine gemeinsamen Endpunkte haben. Es seien A und B Punkt-
mengen. Eine Kante, die einen Punkt a CA mit einem Punkt b CB verbindet, nennen
wir eine AB-Kante. Der Ausdruck ,,s~mtliche AB-Kanten" soil alle jene Kanten
bezeichnen, die einen beliebigen Punkt yon A mit einem beliebigen Punkt von B
verbinden. (Kein Punkt wird mit sich selbst verbunden.)
Falls A c M~, B =c- MG besteht, bezeichnet [A, B]a denjenigen Graphen, der aus
s~imtlichen ~ m k t e n von A U B und aus s~imtlichen AB-Kanten des Graphen G
besteht. Statt [.4, A]G schreibe ich einfach [A]G; dieser Graph wird der dutch die
Punktmenge A in G gespannte Graph genannt.
Die Punktmenge A wird eine repriisentierende Punktmenge des Graphen G
genannt, wenn A c_ Ma gilt, und mindestens ein Endpunkt einer beliebigen Kante
yon G der Punktm~nge A angeh6rt. In diesem Fall sagen wir auch, dab die Elemente
yon A repriisentierende Punkte yon G sind. Die minimale Anzahl der repr/isentierenden
Punkte von G sei mit #(G) bezeichnet. Eine reprfisentierende Punktmenge yon G
mit minimaler Anzahl yon Punkten sei eine I~-Menge von G genannt, eine unab-
h/ingige Punktmenge yon G mit maximaler Anzahl von Punkten eine e-Menge von
G. Ist A eine repr/isentierende Punktmenge yon G, so ist MG--A offenbar eine
t|nabh/ingige Punktmenge yon G, und umgekehrt. Hieraus folgt, dab falls R eine
 UBER EIN EXTREMALPROBLEM DER GRAPHENTHEORIE 445

v-Menge yon Gist, so M s - R eine z-Menge ist, und umgekehrt. Daher gilt #(G)+
+ ~(G) = ~(G).
Die Anzahl der Elemente von A sei mit e(A) bezeichnet. Im weiteren lassen
wir in den Bezeichnungen M s, ~G(a), [A, B]G, [A]G den Buchstaben G meistens weg.
M, ~(a), [A, B] und [A] beziehen sich also stets auf den mit G bezeichneten Graphen.
Zwei Graphen werden isomorph genannt, wenn es zwischen ihren Punkten eine
ein-eindeutige Zuordnung gibt derart, dab zwei Punkte eines der beiden Graphen
dann und nur dann durch eine Kante verbunden sind, wenn dies fiir die entsprechen-
den Punkte des anderen stattfindet.

w
In diesem w werden einige S~itze bewiesen, die im folgenden gen6tigt werden.
Manche yon diesen dfirften auch an sich yon Interesse sein.
(2. 1) Es sei Teine e-Menge des Graphen G. Dann ist R = M " Teine p-Menge
von G. Es 1/il3t sich leicht zeigen, dab falls R'c= R, so T eine x-Menge des Graphen
G" = [TUR'] ist. Hieraus folgt, dab R" eine /~-Menge yon G' ist.
Im folgenden wird 6fter der folgende Satz yon D. K6NIG ([6], S. 232 Satz 13)
gebraucht:
(2.2) (K6NIG) 1st G ein paarer Graph, so ist die maximale Anzahl der unab-
hiingigen Kanten yon G gleich #(G).
Die folgende Behauptung ergibt sich aus (2. 2):
(2. 3) Es sei T eine ~-Menge des Graphen G; ferner sei R'c= M - T eine unab-
hiingige Punktmenge yon G. Dann gibt es im Graphen G ' = [ T U R'] ~(R') unabhiin-
gige Kanten.
BEw~Is. G' ist ein paarer Graph. Wegen (2.1) ist R' eine p-Menge von G', also
gibt es wegen (2.2) in G' c~(R') unabh~ngige Kanten.
Die Behauptung (2. 3) gibt zur folgenden Begriffsbildung Anlag:
(2.4) Es sei A eine Punktmenge des Graphen G. Die Punktmenge A* ~ M - A
wird eine Bildmenge yon A in G genannt, wenn sie folgende Eigenschaft besitzt: Ist
A' eine beliebige in G unabh~ingige Teilmenge yon A, so existieren in G c~(A') unabh~in-
gige A'A*-Kanten.
Ist R eine beliebige #-Menge des Graphen G, dann ist wegen (2.3) T = M - R
die Bildmenge von R in G. In gewissem Sinne ist auch die Umkehrung dieser Be-
h a u p t u n g wahr:
(2. 5) Eine repriisentierende Punktmenge R" des Graphen G besitzt nur dann eine
Bildmenge in G, wenn sie eine p-Menge yon G ist.

BEWEIS. Es sei n(G)=z, ferner sei R' eine repr~isentierende Punktmenge von
G, ftir die ct(R')>It(G) ist. Dann ist T ' = M - R " eine unabh/ingige Punktmenge
yon G, ferner gilt c~(T')=z'<z. Es bezeichne T eine ~-Menge yon G. Ftir diese
gilt c~(T)--z. Man setze c t ( T n T ' ) = o - (0No-<z). Diejenigen z--o- Punkte yon T,
die R' angeh6ren (diese sind unabh/ingige Punkte yon G), k6n.,,.en nut n-it den z" -
446 B. ANDRASFAI

Punkten von T ' verbunden sein, die nicht T angeh6ren: dadurch wird wegen
z'-a<z-a die Existenz einer Bildmenge von R' in G ausgeschloBen.
Zusammenfassend sprechen wir den folgenden Satz aus:

SATZ (2.6) Eine repriisentierende Punktmenge R des Graphen G i s t dann und nur
dann eine #-Menge yon G, wenn sie eine Bildmenge in G besitzt.
I m w 3 spielt der folgende Satz eine wichtige Rolle:
SATZ (2. 7) 2 Jede it-Menge R des Graphen G besitzt eine solche Bildmenge T ~
in G, fiir die c~(T*)<=~(R) gilt.

BEWEIS.3 FS sei p(G)----~, ferner sei R eine #-Menge von G. Dann ist ~ ( R ) - - e ,
ferner ist T - = - M - - R eine z-Menge von G. M a n setze G ' = [ T , R] und /~(G')=~o'.
Offenbar gilt 0 "-<- ~. Ist Q ' - ~ , so existieren wegen Satz (2.2) im paaren Graphen
G" Q unabh/ingige Kanten. Da diese alle TR-Kanten sind, bilden diejenige Endpunkte
yon ihnen, die zu T geh6ren, eine gewiinschte Bildmenge yon R.
Nun sei ~ ' < ~, ferner sei R' eine #-Menge yon G" (~ ( R ' ) = ~'). Es seien die fol-
genden Bezeichnungen eingefiihrt: T 1 = R ' A T , T2 = T - - T 1 , R~ = R ' N R ,
Rz = R - R ~ , Ga = [T2, R1]. D a mindestens ein Endpunkt jeder TR-Kante von G
R" angeh/Srt, enth/ilt G keine T2R2-Kante. Daher ist jede nicht G1 angehOrige Kante
yon G' zu einem T1 angehiSrigen Punkt inzident. Daher repr/isentieren die Punkte
yon T 1 zusammen mit den Punkten einer #-Menge von G~ die Kanten yon G'.
Hieraus folgt, dab G~ keine repr~isentierende Punktmenge besitzen kann, die aus
weniger als ~(R1) Punkten besteht; im entgegengesetzten Falle wtirden wir n/imlich
durch die Hinzunahme von T~ zu dieser Menge eine repr/isentierende Punktmenge
yon G' erhalten, die aus weniger als Q' Punkten besteht. Wegen Satz (2.2) enth/ilt
also G f eine Kantenmenge K, die aus e(R~) unabhgngige Kanten besteht. Es sei
T'2 die Menge de.j~m~, ~;,~ ~,,,~,,
. . . . .~,,,~p,,,,t~,,
......... der Kanten yon K, die zu T2 ~,,,~
h .a~,,,
..... Dann
ist ~ ( R 1 ) = e ( K ) - e ( T ~ ) . Aus (2. 1) folgt, dab R, eine u-Menge yon G 2 = [ T U R z ]
ist. Daraus folgt nach (2.6) (G2 enth/ilt keine T2R2-Kante), dab in G2 eine Bild-
menge T~ ~ T~ yon RE existiert.
Nun behaupten wir, dab T* = T[ U T; eine Bildmenge yon R in G i s t . Es sei
n/imlich S ~ R eine beliebige unabh/ingige Punktmenge von G, S ~ = S A R ~ ,
S 2 = S C q R 2 . In der Kantenmenge K gibt es ~($1) unabhgngige S1T~-Kanten;
ferner gibt es, da T~ eine Bildmenge von R2 in G2 ist, in G2 e(S2) unabh/ingige
S2T~-Kanten. BeriJcksichtigt man noch, dab S~, $2, 7-i, ir~ paarweise fremd sind,
so erh/ilt man, dab es in G e(Sx)-r-e(S2) = e ( S ) unabh/ingige S T * - K a n t e n gibt,
also T* eine Bildmenge von R in G i s t . Schliel31ich ist e ( T * ) -- e ( T [ ) + e ( T i ) <=
<- c~(T~)+~(R~) = c~(R') = ~ ' < o = ~(R). Damit ist der Satz (2. 7) bewiesen.

2 T. GALLAIhat bemerkt, dag auch die folgende Verallgemeinerung des Satzes (2.7) besteht:
Es sei G ein paarer Graph und A und B zwei solche J~emde Punktmengen yon G, dab A U B -~ M gilt,
und jede Kante yon G eine ,4B-Kante ist. Ferner seien A1, . . . ,A,~ (m ~ 1) beliebige nicht leere Teil-
mengen yon ,4. Existieren dann fiir jedes i (1 ~ i <=m) a(A~) unabhiingige A~B-Kanten yon G, so exis-
tiert eine Mettge B * C B derart, daft a(B*)-~a(A) ist, und fiir ]edes i (1 <=i<=m) a(A~) unabhiin-
gige A~B*-Kanten yon G existieren.
Der Beweis kann analog zum Beweis von (2.7) gef'tihrt werden.
3 Der bier mitgeteilte Beweis beruht auf dem Grundgedanken des Beweises yon Satz (4.7)
der Arbeit [4].
 UBER EIN EXTREMALPROBLEM DER GRAPHENTHEORIE 447

Wir zeigen, daB aus dem Satz (2. 7) der folgende, bereits erw/ihnte Satz von
P. ERD6S und T. GALLM ([4],' 4. 7) folgt:
(2. 8) (ERD6S--GALbA0 BeSitzt ein Graph G die Eigenschaft, daft fiir jeden
Graphen G', der aus G durch Weglassung yon Punkten yon G entsteht, die Ungleichung
/t(G') < # ( G ) gilt, so ist 7z(G)~2#(G).
BEWEIS. ES sei R eine /t-Menge von G. Wegen (2. 7) existiert eine Bildmenge
T* von R i n G , ftir die e(T*) <= e(R) = /t(G) gilt. Wegen (2. 6) ist R eine #-Menge
des Graphen G' = [T* U R], woraus mit Riicksicht auf die erwahnte Eigenschaft
von G die Relation M - - R = T* folgt. Daher gilt ~(G) = c t ( R ) + ~ ( M - - R ) , =
= kt(G)+~(T*) <= 2/z(G).
Es sei bemerkt, dab sich auch der Satz (2. 7) aus (2. 8) leicht herleiten 1/il3t.,

w
Es seien n und v natiirliche Zahlen. Nun behandeln wir die Frage, hOchstens
wie viele Kanten ein dreieckloser Graph G mit n (G) = n und • (G) = T besitzen kann.
In diesem w wird diese Frage ftir z > 2 voUstgndig gel6st; es werden auch sgmt -~
n ~ 5
liehe extreme Graphen angegeben.
(3.1) Es seien die Definitionen der folgenden speziellen Graphen vorausgeschickt:
G~ (~ ~ 1, 0 -< n - v -<_v) bezeichnet s~imtliche, miteinander isomorphe Graphen,
die n Punkte besitzen, und deren Punkte man so in zwei disjunkte Mengen A und
B zerteilen kann, dab ~ ( A ) = r , a ( B ) = n - v gilt und die Kantenmenge von G.~ aus
s~tmtlichen AB-Kanten besteht. (Die Graphen G~. sind paare Graphen).
G~,~. I<-_6<= , 6 <=6" <=-~ bezeichnet s~tmtliche, miteinander isomorphe
Graphen, die 2z + 6 Punkte besitzen und deren Punkte man so in ffinf paarweise-
disjunkte Mengen A, B, C, D, E ~ zer-
teilen kann, dab ~(A)=6, ~(B)=&,
~(C)=6", a(D)=v-6, c~(E)=r-6* // \

gilt, und die Kantenmenge von G~,6~

aus sgmtlichen AB-, BC-, CD-, DE-
und EA-Kanten besteht. Fig. 1 stellt
G~, z dar.
(3.2) Die folgenden Eigenschaften i.A " c ),
dieser speziellen Graphen lassen sich
leicht zeigen: G,~ und G~,n. sind drei-
ecklos, ~(G~)=n(G~,a.)=r, v(G.')=
= ~ ( n - ~ ) , v(G~,~.)=z2 +52. Ferner
gilt ct(C)<=2 , ~ ( E ) ~ ~-.
z Die Anzahl
[ , ,
der verschiedenen G~.a.-Graphen bei ,E / ,, D ~
festgelegten z und 6 ist gleich [ 2 1 -
Fig. 1
448 a. ANDRASI~AI

-6+1. Die ,~-Mengen yon G],n. sind A U D , B U D , C U E und ausser diesen

noch B U E falls 6* = 6 bzw. B U E und A U C falls 2 6 = z gilt. (Aus 2 6 = z folgt
6* = 6 ! ) Jeder Teilgraph G' von G],~.; der yon einer #-Menge von G~,6. gespannt
wird, enth~ilt ~ unabh~ingige Kanten, ferner gilt # ( G ' ) = 6 .
Die folgende, im w 1 bewiesene Bemerkung wird 6fter benutzt:
(3.3) Ist der Graph G dreicklos, und z ( G ) = ' c , so gilt fi~r jeden Punkt a yon G
(a) <=~.
Aus (3.3) folgt einfache der folgende
SATZ (3. 4) Ist der Graph G dreiecklos, n ( G ) = n und ~ ( G ) = z, so ist
~(63<=~(n-~);
n
Gleichheit gilt dann und nur dann, wenn z ~=~ und G - G n .

BEW~S. Es sei R eine/~-Menge yon G. Dann ist T = M - - R eine ~-Menge yon

G, ferner gilt ~ (T) = z, ~ (R) = n - z. Mindestens ein Endpunkt einer beliebigen Kante
von G geh6rt R an, also ist v ( G ) ~ ~ q~(r). Wegen (3.3) ist fi~r jedes r E R q~(r)<=z,
r~R
woraus ~ ~ (r) <=z (n - z) folgt. Daher gilt v (G) <=-c(n - ~). Gleichheit findet dann
rGR
und nur dann start, wenn erstens: genau ein Endpunkt einer beliebigen Kante yon
G R angeh6rt, also R eine unabh~ngige Punktmenge yon G i s t , woraus n - z ~
folgt; und aul3erdem ftir jedes r E R die Relation q~(r)=x stattfindet, also G jede
TR-Kante enth~ilt.
Der Ausdruck z ( n - z ) nimmt sein Maximum bei festgesetztem n im Falle
n n
9 _->~- fiir ~ = , im Falle z < ~- fiir z an. Hieraus ergibt sich
der folgende Spezialfall eines bereits im w 1 erw~ihnten Satzes yon TURIN ([7], S.
448; [8], S. 26):
(3.5) (TURIN) Ist der Graph G dreiecklos und ~ ( G ) = n, so ist

v(c,)<= - ~ ;

l-,+lq
Gleichheit gilt dann und nur dann, wenn G-= GL, 2 ,.
Das Hauptresultat vorliegender Arbeit ist der folgende
2 z 1
SATZ (3. 6) Es seien z und n natiirliche Zahlen mit ~ "< n < ~,
= -- ferner sei G
ein dreieckloser Graph mit 7r(G) = n, ~ (G) = z. Dann gilt
v (G) <=z 2 + (~2,
/ N

wobei 6 = 2 ( 2 , z ) gesetzt wurde. Gleichheit f i n d e t d a n n u n d n u r d a n n s t a t t , wenn

\ - - /
 UBER EIN EXTREMALPROBLEM DER GRAPHENTHEORIE 449

BEWEIS. D e r Beweis wird in mehreren Schritten durchgefiihrt. Wegen (3.2)

geniigen die Graphen G*0,o, den Voraussetzungen und es gilt v(G~,0, ) = z 2 +62.
Im Weiteren bezeichnet G stets einen den Voraussetzungen des Satzes geniigen-
den Graphen. Ist R eine beliebige #-Menge von G, so ist c~(R)=~+6, /~([R])->6
([R] kann niimlich nicht mehr als ~ unabhfingige Punkte von G enthalten). Hieraus
folgt, dab es zum Beweis des Satzes geniJgt, die folgenden drei Behauptungen zu
beweisen:
I. Existiert eine #-Menge R yon G, fiir die die maxirnale Anzahl der unabhiin-
gigen Kanten yon [R] nicht kleiner als 6 ist, so ist v(G)<- C -r-6 2, und Gleichheit findet

dann und nur dann statt, wenn G = G'~,~. [, <- .

\

II. Existiert eine II-Menge R yon G, fiir die die maxirnale Anzahl der unabhiingi-
gen Kanten yon [R] kleiner als 6 ist, und #([R])=6 gilt, so ist v ( G ) < z 2 + 6 z.
III. Existiert eine I~-Menge R yon G, fiir die die maximale Anzahl der unabhdn-
gigen Kanten yon [R] kleiner als 6 ist, und /~([R])>6 gilt, so ist v ( G ) < z 2 + 6 2 .
BEwr~s yon I. Man wghle eine p-Menge R von G derart, dab die maximale
Anzahl der unabh~ingigen Kanten yon [R] nicht kleiner sei als 6 und dab V([R, M - - R])
maximal sei. Es bezeichne P die Menge der Endpunkte von beliebig gew~ihlten 6
unabh/ingigen Kanten von [R]; man setze ferner T = M - R , S - - R P. Dann ist
a ( P ) - 23, a ( S ) = v - 6. Da kein Teilgraph yon G Dreiecke enthfilt, gilt wegen (3. 5)
v([P])~-3 z. Da G dreiecklos ist, k6nnen zu jedem Punkt yon T h6chstens 6 TP-
Kanten inzident sein, also gilt v([P, T])<-z6. Wegen (3.3) gilt fiir jedes s~ S die
Ungleichung q~(s)<-z, woraus ~ q:(s)<=(~--6)r folgt. So erhNt man v(G) <-
sCS
<- Z + rl) + (, 6), + + = + 62; und Gleichheit findet
s~S
nur dann statt, wenn die folgenden Bedingungen erfiillt sind:
(1 ~ S ist eine unabh/ingige Punktmenge von G, und es gilt fiir jedes s E S
(s) =
(2 ~ Zu jedem Punkt yon T sind 6 TP-Kanten inzident.
(3 ~ Es ist [ P ] - G ~ .
Im folgenden zeigen wir, dab falls Gleichheit stattfindet, so G - G~, ~. besteht. Es sei
also v ( G ) - z 2 + 62, ferner seien P1 und P2 zwei disjunkte und unabh~ingige Punkt-
mengen yon [P] mit e ( P 1 ) - ~ ( P 2 ) - ~ . Kein Punkt von T kann in G zugleich mit
je einem Punkt von P1 und P2 verbunden sein, weil wegen (3 ~ in G alle PaPz-
Kanten existieren und G dreiecklos ist. Daher k6nnen wegen (2 ~ die Punkte yon
T in zwei disjunkte Mengen T 1 und Tz mit der Elementenanzahl rl bzw. z2
(vx + zz = z) eingeteilt werden derart, dal3 die Menge s~imtlicher PT-Kanten von G
aus s/imtlichen P11"1-Kanten und aus s~imtlichen P2 Tz-Kanten bestehen soll. Tx U Pz
und T z U P ~ sind also unabh~ingige Punktmengen von G, woraus 6+z~<-~,
~5+ ~2 ~ z, zx ->-~, va =>6 folgt. Ohne Beschfiinkung der Allgemeinheit darf angenommen
werden, dab zt ~=zz gilt. Sind alle zu den Punkten yon S inzidenten Kanten (s. (1 ~
ST-Kanten, so sieht man durch die Identifizierungen Pz = A , P~ = B, 7"1 = C, S = D,
T2 = E, daB G = G~, ~, gilt.
Nun zeigen wir, daB kein anderer Fall m6glich ist. Existiert nfimlich in G eine
SP-Kante, so werden wir beweisen, daB eine /vMenge R" ( R ' # R) von G existiert
450 B. ANDRs

derart, daB die maximale Anzahl der unabh/ingigen Kanten von [R'] nicht kleiner
als 6 ist, und v([R', M--R'])>v([R, M--R]) gilt, was aber unseren Voraussetzun-
gen widerspricht. Um die Existenz einer solchen Menge R" zu beweisen, betrachte
man eine SP-Kante (s, p) yon G (s ~ S, p CP). Wegen der Dreiecklosigkeit yon G
kSnnen die zu s inzidenten Kanten nur SP,- und S T f K a n t e n sein ( i = 1, oder 2
und i~j). Wegen (1 ~ ist z = ~ ( s ) _ - < f + z j ; wegen (3, 3) ist v_->q~(p)>6+~. Aus
diesen Ungleichungen und aus zl <=Zz folgt i = 1. Daher k6nnen mit Riicksicht a u f
(1 ~ die Punkte von S in zwei disjunkte Mengen $1 bzw, Sz mit der Elementenan-
zahl al bzw. aa (a~-->l, al+az='r-fi) eingeteilt werden derart, dab die Menge
der zu den Punkten von S inzidenten Kanten von G aus s~imtlichen S~PI-, S~T2-
und S2T-Kanten besteht. Es gilt z2 = z - - 6 , zl =ft. Nun 1/iBt sich zeigen, dab die
Menge R ' = P1 U T die erw/ihnten Eigenschaften besitzt, Offenbar ist R' ~ R. Da
c~(R') = z + 6 ist u n d M - - R ' eine unabhgngige Punktmenge von Gist, ist R" tat-
s/ichlich eine p-Menge yon G. [R'] enth/ilt die samtlichen P~ T~-Kanten, also enthalt
es 8 unabh/ingige Kanten. Schlieglich ist v([R',M--R'])=v([P1,PzUSI])+
-q-v ([T1, $21) -[- v ([T2, P2 U S]) = 8 (8 -]- if1) q- 80"2-t-('c -- 8) "c> 8 (8 -q-a2) -q-(z -- 8) z :
= v([Tz, PI U S2])+v([Tz, P2 U S]) = v([R, M-R]). Damit ist die I. Behauptung
bewiesen.
BEWEIS yon II. Es sei R eine derartige #-Menge von G, dab die maximale
Anzahl der unabh/ingigen Kanten yon [R] kleiner als 6 ist, ferner #([R])=6 gilt.
Es bezeichne Q eine #-Menge yon [R]. Dann ist a ( Q ) = 8 . Setzt man T-=M-R,
so ist wegen (2. 1) Q eine p-Menge auch yon [TU Q]. Es sei T* eine (wegen (2. 7)
T
exiStierende) Bildmenge Von Q in IT U Q], fiir die ~ (T*) = 8" ~ 6 gilt (wegen I ~ 6 ~
ist T* r T). Mindestens ein Endpunkt einer beliebigen Kante yon [R] geh6rt Q an.
Der Punkt r (r ~ R) sei in G mit den Punkten ql, ..., qk yon Q verbunden. Wegen
der Dreiecklosigkeit yon G sind ql ..... qk unabh/ingige Punkte yon G, also auch
yon [TU Q], Da T* eine Bildmenge yon Q ist, gibt e s i n T* k verschiedene Punkte
tl . . . . , tk derart, dab die Kanten ( q , q0 . . . . , (t,, qk) in G existieren. Dann existieren
aber wegen der Dreiecklosigkeit yon G die Kanten (r, tj) ..... (r, t,) im Graphen
G, deren Punkte die Punkte yon T * U R, und deren Kanten s/imtliche in G nicht
existierende T*R-Kanten sind. Daher ist die Anzahl der zu einem beliebigen Punkt
r (rER) inzidenten T*R-Kanten yon G nicht kleiner, als die Anzahl der Punkte
yon Q, mit welchen r in G verbunden ist. Bezeichnet also 2, die Anzahl der Kanten
yon G, die den Punkt riER mit den Punkten von Q verbinden, so ist ~ 2i<_-v(G).
ri~R
Da offenbar v([R]) + v([Q]) = .~ )~ gilt, folgt hieraus v([R]) + v([Q]) <_-v(-G). Es gilt
ri~R
femer v([Q])>0. Im entgegengesetzten Falle w~ire n~mlich Q eine unabh~ingige
Punktmenge yon [R]; [R] w~re also ein paarer Graph, und, da Q eine #-Menge yon
[R] ist, existierten nach (2.2) in [R] ~ ( Q ) = 8 unabh~ingige Kanten, entgegen unserer
Voraussetzung. Wegen (3.3) ist ffir jeden Punkt t yon T - T * ~ ( t ) ~ z. Es bezeichne
G* den vollst~ndigen Graphen mit Me, = M . Dann gilt v(G)=v([T-T*, R])+
+ v !iT*, - + ([R]) - 8) + § - ([RI). ([O]) + ([RI) < +
+ 8 8 ~ z 2 + 8 e. . . . . .
BEWEIS vorl III. Es sei R eine solche/~-Menge von G, dab die maximale Anzahl
der unabh~ingigen Kanten von [R] kleiner als 8 ist, ferner p([R])>8 gilt. Man
setze T = M - - R.
 UBER EIN EXTREMALPROBLEM DER GRAPHENTHEORIE 451

(1) Zunfichst untersuehen wir den Fall n = F : l ,

z z--1 L ~ d
~'~" deo
dann gilt entweder f i = ~ oder fi= ~ . U m die Behauptung III zu
5 ::wCe:
- .

gentigt es zu zeigen, dab falls z = 26, so v(G)< 56 2, und falls 27= 26 + 1, so v(G)<
< 56 2 +46 + 1 gilt.
Da p([R])>6 ist, gilt z([R])<~. Hieraus folgt ftir jeden Punkt t yon T r <
=<z--1, da die yon t verschiedenen Endpunkte der zu t inzidenten Kanten wegen
der Dreieklosigkeit yon G eine unabh/ingige Punktmenge von [R] bilden.
Ist also v([R])<62+27, so ist v(G)= ~q~(t)+v([R])<z(z-1)+62+z =
-'~ Z 2 "Jr-6 2. rifT
Ist v([R])_->62+27, so ist v(G)= Z ~ (r) -- v ([R]) ~ (z + 3) 27' 62 -- 27= r 6).
rff R
Nun gilt aber r 6) < 56 2, r + 1, 6) < 56 2 +46 + 1.
(2) Nun sei n < [ ~ [ , x([R])=r ( ~ 1 ) . Dann ist # ( [ R ] ) = 6 + e .

Ist6"=6+e<=[2 ] , d .h. ~:z 5 ] , sobezeichne Gz denjenigen Graphen,

n+e=[-2-27
tier dadurch entsteht, dab man zu G eine aus e Punkten bestehende Punktmenge
P und s~imtliche PT-Kanten hinzunimmt. Es ist leicht ersichtlich, dal3 G' dreiecklos
ist, dab 7r(G')= 227+ 6", ~(G')=27 ist, und die maximale Anzahl der unabhgngigen
Kanten von [R U P]G' gleich ~ ist (~ < 6 < 6'). Ferner ist R U P eine #-Menge von
G', fiir die #([RUP]G.)=6' gilt. Daher gilt wegen II v(G')<272+6 '2, also v(G)=
v(G')-~e<~z+6"2-~e=zE+(6+~)2-ze=z2+62+2~ 6+-2--5 <272 +62.

Ist 6 " = 6 + e > [ 2 ] , d.h. n-Fa>I5271,sosei~'=-[5z l-n, und G" der-

jenige Graph, der so entsteht, dab man zu G eine aus e' Punkten bestehende Punktmenge
P' und s~imtliche P'T-kantenhinzunimmt. Esgiltdann lr(G")=227+6+e'=[5271 ,
l_<-e'<~ und 6 + e ' = [ 2 1 . NunlfiBtsichleichtzeigen, daBG"dreiecklos, ~(G")=z
und R U P" eine solche p-Menge yon G" ist, ftir die die maximale AnzahI der unab-
hfingigen Kanten von [R U P'lw, gleich ~ ist. Es ist ~ < 6 < 6 + e' und #([R U P']~,,) =
= 6' > 6 + e'. Daher gilt wegen (1) v (G') < 272 ~- (6 -~ 8:)2, es ist also v (G) = v (G')

(
- -

--Z/?f<'~2 ~-(6-}-te,')2--~8' = "['2 -t- 62 -~- 28' 6 + 2 2j<zZ+

Damit ist der Satz (3.6) beweisen.
Ein Satz von ERD6S und GALLAI([2], Lemma 1) gibt ffir die Anzahl der Kanten
der dreiecklosen, nicht paaren Graphen eine obere Schranke an. ERD6S hat durch
ein Beispiel gezeigt, dab diese obere Schranke erreichbar ist. Mittels des Satzes
(3.6) zeigen wir die folgende Versch~irfung des ERD6S--GALLAXschen Satzes:
SATZ (3. 7) Ist ein nicht paarer Graph G dreiecklos und gilt ~(G)= n, so ist
< (n -- 1)2
v(O)=- 4 +1;
452 B. ANDR/~SFAI

n-I
Gleichheit findet dann und nut dann statt, wenn z(G) n 1 und G=G1, 2.
2
n -- 114
1<- 6 * < = T ] ist.
n
BEWEIS. Zun/ichst sei G dreiecklos, 7~(G)=n, ~ ( G ) - z , z < - 2- (in diesem Falle
"on
kann G kein paarer Graph sein) und n = 2z + 6 (6-> 1). Wegen (1. 1) ist v(G)<- ~ .

Wegen (3.6) gilt far 6 - 1 v(G) -<

=~:In - 1~
9--T-}2" + 1 ' und Gleichheit findet dann un6

TH (n 6)n
nur dann statt, wenn G--G~,o.'[1 6~<n-1}. Da fiir 6 > 1
4 2 4
+ 1 ist, gilt die Behauptung des Satzes ftir z < n~ ' und die extremen
Graphen des Problems sind die Graphen G],a. und nur diese.
n
Nun sei G dreiecklos und kein paarer Graph; 7z(G)=n, x ( G ) - ~ und "c->
2"
Es sei R eine #-Menge von G, ferner bezeichne r die maximale Anzahl der unab-
hangigen Kanten des Graphen [R] [ ~ 2 )" Da G kein paarer Graph ist, gilt
\ - -

v([R]) >0, also r Es sei P die Menge der Endpunkte yon beliebig gewahlten
Unabhangigen Kanten, des Graphen [R]. Man setze ferner Q - R P, T = M R
(T ist eine x-Menge von G). Da G dreiecklos ist, k6nnen zu jedem Punkt von T
h6chstens ~ TP-Kanten inzident sein. Wegen (3.3) gilt far jeden Punkt q E Q ~o(q) -< r.
Wegen (3.5) gilt v([P])<=~ 2. Daher ist v(G)<-v([T,P])+ ~ 9~(q)+v([P])~T~+
qeQ
+(n--z--2~)z+~Z=(n z)'c--~(z ~)<--(n-z)z "c-t-1. Nun ist es leicht ersicht-
n (n-l] 2
lich, dab fiir z - > ~ die Ungleichung ( n - T ) z z 1<~. 2 ] +1 gilt. Damit ist
der Satz (3.7) bewiesen.

In diesem w werden einige Resultate und Vermutungen bezt~glich des FalIes

1 < ~ (G) 2
~- rc(G)<~ ausgesprochen.
Nach den Resultaten des vorigen w gilt Folgendes: Ist G dreiecklos, re(G)=n,
,~(G) =v, so ist die ftir die Anzahl der Kanten angegebene triviale Schranke n•
2'
z 1 z 2
die in (1.1) hergeleitet wurde, ftir n = 2 und fiir n . 5 - genau. In beiden Fallen

n-1
4 p. ERD6S h a t u n t e r diesen extremen G r a p h e n den G r a p h e n G 1,t
2 angegeben.
 I)BER EIN EXTREMALPROBLEM DER GRAPI-IENTHEORIE 453

gibt es nur einen extremen Graphen. Nun zeigen wir, dab die Schranke ~ immer

genau ist, wenn die Relation nZ _ 3turn- 1 mit natiirlichem m gilt. (Es gilt f/Jr natiir-
m
liches m ~ - < 3 m - ~ N 2 ; und ffir m = 1 bzw. 2 ist 3 m - ( gleich ~ bzw. .
Zu jedem m werden n~imlich dreiecklose Graphen G angegeben, fiir die die Relatio-

hen n (G) = n, .~(G) ='r, nz = 3 mm" 1- und v ( G ) = 2 gelten. Auch ERD6S hat diesen
Bedingungen geniigende Graphen angegeben 5
(vgl. (4. 1)); diese sind in der yon mir an- 17
gegebenen Klasse enthalten. Dutch den
ERD6sschen Gedanken lassen sich jedoch oe 02
auch s~imtliche von mir angegebene Graphen
konstruieren. Da sein Verfahren fibersichtli-
chef ist, sei hier diese dargestellt. Zuerst
geben wir eine Klasse dieser Graphen an,
dann mit Hilfe dieser Klasse s~imtliche sol-
che Graphen.
(4. 1) Es bezeichne Gm (m nattirlich) den
Graphen, deren Punkte die Ecken eines in
den Einheitskreis eingeschriebenen regelm~i-
Bigen ( 3 m - 1 ) - E c k s sind. Die Kanten sind
s~imtliche Punktpaare, deren Abstand griSl3er
ist, als die Seite des in den Einheitskreis Fi2. 2
eingeschriebenen regelm~iBigen Dreiecks. (Auf
Fig. 2. ist G3 dargestellt.)
Aus der Definition folgt, dab G,, dreiecklos ist und dab zu jedem Punkt m'
Kanten inzident sind. Es gilt v (G,,) = (3m - 1)m Wir zeigen n (Gin) = m. Es bezeich-
2
nen al, ...,aam-1 die Punkte yon Gm in zyklischer Reihenfolge. Offenbar is~
• Andererseits besitzt Gm keine unabh~ingige Punktmenge, die mehr als.
m Punkte enth~ilt. Es sei n~imlich A eine unabhangige Punktmenge yon G,,. Man
kann ohne Beschr~inkung der Allgemeinheit al 6A setzen. Die weiteren Elemente
yon A k~Snnen nur mit a1 nicht verbundene Punkte, d . h . Punkte der Menge H-=
={a2 ..... a,,, az,,+a, ..., a3m-1} sein. ai ist aber in Gm mit a i + 2 m _ 1 ( i = 2 . . . . , m)
verbunden. Daher kann A hOchstens m - 1 Punkte yon H enthalten. Daher ist
o~(A)<=m, also ~(G,,)=m.
(4. 2) Nun ordnen wir zu jedem Gmund natiirlich, q einen Graphen G(m, q).
zu. Es bezeichne A~, ..., A3,,-~ paarweise fremde, aus q 1-~akten bestehende P u n k t -
3m-1
mengen. Die Punkte von G(m, q) seien die Punkte der Menge [.J At; die Kanten
i=1
yon G(m, q) seien folgendermagen definiert: ist i,j ein Zahlenpaar, fiir welches G,~

5 Briefliche Mitteilung. P. ERD6S benutzt den Gedanken der Graphenkonstruktion yon [3],
(s. S. 22).
454 B. ANDR2~SFAI

die Kante (ai, a j) enthiilt, so s011 G(m, q)s~imtliche AiAj.-Kanten enthalten; enth/ilt
Gm die Kante (a i, aj) nicht, so soll G(m, q) keine A~Aj.-Kante enthalten. (Offenbar
ist G(m, 1) = G , , , G(1, q)=G~q, G(2, q)=~2q,,~,~.)
Von den Eigenschaften von Gm folgt, dab G(m, q) dreiecklos isL dab zu jedem
P u n k t v o n G(m, q) qm Kanten inzident sind, ferner dab die Relationen ~:(G(m, q)) =
=qm, rc(G(m, q ) ) = q ( 3 m - 1 ) gelten. G(m, q) besitzt also die gewtinschten Eigen-
schaften.
m
Ist n(G)=n, ~ ( G ) = ~ und - ( m - 3 , 4 , ...), so vermute ich, dab die
n 3m - 1

extremen Graphen des Problems nur die zu G m, -3 m

- -)1 ( " isomorphen Graphen
sein k/Snnen.
m z m--1
(4.3) Ist 7r(G)=n, ~(G)=z, 3m-----~_~-~n--~3(m_l)_l ( m = 3 , 4 ..... ) und
n-- 2z
ganz, so vermute ich, dab die extremen Graphen zu einem der folgender-
,m-1
weise definierten Graphen G(m, q, ~) isomorph sind:
Es sei m _->2 ganz, q eine beliebige nattirliche Zahl, z eine ganze Zahl mit qm <-z <
- m -<
~q(m 1)2 ( E s i s t f i ~ r m = 2 2q~=z.) M a n s e t z e 6 = q ( m - 1 ) . D a n n i s t 3m 1 =
m-2
z m-1
2z+3 3(m-1)-l" ES seien q* ( i = l .... , m - l ) natfirliche Zahlen mit
J
qj<= ~ q * ~ z - q ( m - j ) (j= 1, ..., m - 1). Ferner seien A1 .... , A3m-1 paarweise
i=1
fremde Punktmengen mit ~ (Ai) = q~ ftir i = 1..... m - 1 ; ~ (A 3 = q ftir i = m + 1, ...
m--1
..., 2 m - l , 2 m + l .... , 3 m - l ; c~(Am)= z - ~ q*; o~(A2m)=Z-q(m-1 ). Die Punkte
i=l
3m-1
yon G(m, q, z) seien die Punkte tier Punktmenge [_J Ai, die Kanten von G(m, q, z)
/=1
seien genau so definiert, wie die yon G(m, q). (Offenbar ist G(m, q, mq) = G(m, q),
G(2, q,
Es ergibt sich wie im Falle von G(m, q), dal3 die Graphen G(m, q, z) dreiecklos
sind, und dab die Relationen 7~(G(m, q, z ) ) = 2 z + 6 , ~(G(m, q, z)) = z und
W/ 2
q, = 2(m_0-6 gelten.
Zum Schlul3 spreche ich meinen Dank den Herren P. ERD6S, T. GALLAI und
G . HAJdS aus, fiJr ihre niRzlichen Ratschl~ige und ffir die Vereinfachungen der
Beweise.

MATHEMATISCHES FORSCHUNGSINSTITUT
DER UNGARISCHEN AKADEMIE DER WISSENSCHAFTEN,
,~UDAPEST

(Eingegangen am 9. April 1962.)

 OBER EIN EXTREMALPROBLEM DER GRAPHENTHEORIE 455

Literaturverzeichnis

[1] P. ERD6S, Graph theory and probability. II, Canadian Journal of Math., 13 (1961), S. 346-352.
[2] P. ERD6s, On a theorem of Rademacher--Tur~n, Illinois Journal of Math., 6 (1962), S. 122--127.
[3] P. ERD6S, Remarks on a theorem of Ramsay, Bull. Research Council of Israel, Sectiou F, 7 (1957),
S. 21--24.
[4] P. ERD6S--T. GALLAI, On the minimal number of vertices representing the edges of a graph,
PubL lnst. Hung. Acad. ScL, 6 (1961), S. 181--203.
[5] P. ERD6S--G. SZEKERES,A combinatorial problem in geometry, Compositio Math., 2 (1935),
S. 463--470.
[6] D. KONIG, Theorie der endlichen und unendlichen Graphen (Leipzig, 1936).
[7] P. TURAN, Egy grfifelm61eti sz61s66rt6kfeladatr61, Mat. ds Fiz. Lapok, 48 (1941), S. 436--452.
[8] P. TURAN, On the theory of graphs, Colloquium Math., 3 (1954), S. 19--30.

15 Acta Mathematica XIII/3-4