Professional Documents
Culture Documents
Abkn 2011aprilis24
Abkn 2011aprilis24
(a, b, k, n)-VERSENYEK
Iványi Antal
(2011. április 24.)
Bevezetés
Legyenek a ≥ 0, b ≥ a, n ≥ 1 és k ≥ 2 nemnegatív egész számok. A
H(a, b, k, n) hiperverseny olyan hipergráf, amelynek n csúcsa van, és bár-
mely k különböz® csúcsa között összesen legalább a és legfeljebb b hiperél
van.¡Ez¢ a verseny megadható olyan M = [mij ]c×(n+1) mátrixszal, amelynek
c = nk sora és n oszlopa van, sorai a csúcsokból képezett k -asokhoz tartoz-
nak (lexikograkus sorrendben) és minden sor elemei azt mutatják, hogy a
k -asban szerepl® csúcsokból hány hiperél meg az oszlopnak megfelel® csúcs-
hoz.
A k = 2 esetben a Tn (a, b) jelölést használjuk. A Tn (a, b) verseny olyan
irányított gráf, amelynek n csúcsa van, és bármely két különböz® csúcsa között
összesen legalább a és legfeljebb b él van. Ez a verseny megadható olyan
M = [mij ]n×n mátrixszal, amelyben mii = 0 (1 ≤ i ≤ n) és a ≤ mij + mji ≤
b (1 ≤ i < j ≤ n).
A Hn (a, b, k) hiperverseny olyan hipergráf, amelynek n csúcsa van, és
bármely k különböz® csúcsa között összesen legalább a és legfeljebb b hiperél
van.¡Ez¢ a verseny megadható olyan M = [mij ]c×(n+1) mátrixszal, amelynek
c = nk sora és n oszlopa van, sorai a csúcsokból képezett k -asokhoz tartoznak
(lexikograkus sorrendben) és minden sor elemei azt mutatják, hogy a k -asban
szerepl® csúcsokból hány hiperél meg az oszlopnak megfelel® csúcshoz.
Egy Tn (a, b) verseny kifokainak nemcsökken®en rendezett s = hs1 , s2 , . . . ,
sn i sorozatát pontsorozatnak, befokainak nemcsökken®en rendezett t =
ht1 , t2 , . . . , tn i sorozatát veszt®sorozatnak, az (s, t) sorozatpárt kett®s so-
rozatnak, a különböz® kifokainak h = {h1 , h2 , . . . , hm } halmazát pedig pont-
halmaznak nevezzük.
A sport azon szabályok összessége, amelyek rögzítik a lehetséges eredmé-
nyeket. Például a tenisz egyetlen lehetséges eredménye Stenisz = {1 : 0}, a
sakk eredményei Ssakk = {2 : 0, 1 : 1}, a focié Sf oci = {3 : 0, 1 : 1}. A tenisz
és a sakk teljes sportok, míg a foci hiányos sport.
2
k
X ³m´
si ≥ (k = 1, 2, . . . n − 1) (1)
2
i=1
és
n
X ³n´
si ≥ . (2)
2
i=1
k
X
aBk ≤ di ≤ bBn − Lk − (n − k)dk (1 ≤ k ≤ n), (3)
i=1
ahol
à k
!
X
L0 = 0, és Lk = max Lk−1 , bBk − di (1 ≤ k ≤ n). (4)
i=1
1.4. tétel. (Yao, 1988) Ha 0 ≤ h1 < h2 < · · · < hm , akkor léteznek olyan
x1 , x2 , . . . , xm pozitív egészek, amelyekre
j
X P P
( ji=1 xi )( ji=1 xi − 1)
xi hi ≥ , j ∈ [1 : m − 1]
2
i=1
és m P Pm
X ( m
i=1 xi )( i=1 xi − 1)
xi hi = .
2
i=1
n = 2h1 + 1 (5)
5
és az m ≥ 2 esetben
2h1 2hm
+1<n< +1 (6)
k k
és
n ≥ hm + 1 . (7)
Ezt a tételt felhasználva lineáris id® alatt eldönthet®, hogy adott (D, L)
vektorpár kett®s vektora-e egy (0, ∞) versenynek. Célunk:
a) ha L és D kielégítik az 1.7 tétel feltételeit, hogyan konstruálhatunk a
6
8. Hiperversenyek
[15, 19, 16, 46, 52, 53, 61, 62, 65, 63, 64]
Korábban a tanszéken rendszeresen rendeztünk ultibajnokságot. Hármas cso-
porokban játszottunk. Mi id®re játszottunk, de lehetne úgy, hogy például 1000
pontot teszünk az asztal közepére, és azon osztozunk.
Szoktunk hárman úgy teniszezni, hogy felváltva vagyunk egyedül, és 5
gémet játszunk. Így mindig van gy®ztes. A gy®zelem két pontot ér (ha ket-
ten gy®znek, feleznek). Így egy körben hat pont osztódik ki, és a lehetséges
kiosztások halmaze S = (4, 1, 1), (3, 3, 0), (2, 2, 2). Ez így egy hiányos (6,6,3)
hipersport. Ha valahogy deniálunk egy gy®ztest, aki egy pontot kap, ak-
kor egy teljes (1,1,3) hipersportot kapunk. Utóbbira átvihet® a Landau-tétel
lényege, el®bbi nehéz.
Négyen szoktunk úgy játszani, hogy minden párosításban játszunk egy
szettet. Ha egy szet két pontot ér, amelyet a gy®ztesek osztanak el egymás
között, akkor S = (3, 1, 1, 1), (2, 2, 2, 0) és egy hiányos (6, 6, 4) hipersportot
kapunk. Ha csak egy gy®ztest deniálunk, akkor egy teljes S = (1, 1, 4) hi-
persportot kapunk.
Nem nehéz megmutatni, hogy például az (1, 1, 3) hiperversenyekkel csak
bizonyos egyelem¶ halmazok állíthatók el®.
Csirik János kérdezte az el®adáson, mire képesek a hipersportolók, ha
megengedjük, hogy csak a meccsek egy részét játsszák le. Vagy milyen pont-
7
3m(3m − 1) = 6p
adódik. A bal oldalon páros m m-re a zárójel el®tti, páratlan m-re pedig a
zárójelben lév® tényz® páros, tehát a bal oldal osztható 3-mal, így p-re a
3m(3m − 1)
p=
6
kifejezést kapjuk.
d eset) Legyen n > 3 és n = 3m + 2. Ekkor az (10) egyenl®ségb®l
feltétel adódik. A bal oldal most is mindig osztható hattal, és így p-re a
(3m + 1)3m
p=
6
kifejezést kapjuk, ahonnan
(3m + 1)3m
p= .
6
A Hiper-szeletelés algoritmussal helyreállíthatjuk a megfelel® pontso-
rozatot.
Ezzel a módszerrel tetsz®leges k ≥ 3 eset kezelhet®.
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Irodalomjegyzék
[1] P. Avery, Score sequences of oriented graphs. J. Graph Theory 15 3
(1991) 251257. SZTAKI Könyvtár 3
[2] L. B. Beasley, D. E. Brown, K. B. Reid, Extending partial tourna-
ments. Math. Comput. Modelling 50 1 (2009) 287291. letölthet®
3
[3] T. Bernholt, A. Gülich, T. Hofmeister, N. Schmitt, I. Wegener,
Komplexitätstheorie, eziente Algorithmen und die Bundesliga,
Informatik-Spektrum 25 (2002) 488502. letölthet® 2
[4] A. R. Brualdi, J. Shen, Landau's inequalities for tournament scores
and a short proof of a theorem on transitive sub-tournaments, J.
Graph Theory 38 4 (2001) 244254. 3
Irodalomjegyzék 9