Graph Structures from Combinatorial Optimization and Rigidity Theory

Hasonló dokumentumok
Kombinatorikus módszerek gráfok és rúdszerkezetek merevségének vizsgálatában OTKA Témavezető: Jordán Tibor (ELTE)

Gáspár Merse El d. Egy kis rugalmasság a merevségelméletben. Jubileumi Fazekas nap március 12.

Deníciók és tételek a beugró vizsgára

TDK dolgozat. Korlátosság vizsgálata irány-hossz vegyes gráfok esetén

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2.

Diszkrét matematika 2.C szakirány

1. tétel - Gráfok alapfogalmai

DiMat II Végtelen halmazok

Többszörösen redundánsan merev és globálisan merev gráfok a síkban

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2. estis képzés

Diszkrét matematika 2.C szakirány

Új típusú min-max tételek a kombinatorikus optimalizálásban

Diszkrét matematika 1. estis képzés

Diszkrét matematika 2.C szakirány

Mátrix kiegészítési problémák kombinatorikus vizsgálata. BSc Szakdolgozat. Csikós Mónika Matematika BSc, Alkalmazott matematikus szakirány

Diszkrét matematika 2.

Diszkrét matematika 2. estis képzés

Ritka hipergráfok: algoritmusok és alkalmazások

Diszkrét matematika 1. estis képzés

Gráfok színezése Diszkrét matematika 2009/10 sz, 9. el adás

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

Gráfelméleti alapfogalmak

Néhány Ramsey-és anti-ramsey-típusú eredmény a kombinatorikus számelméletben és geometriában

definiálunk. Legyen egy konfiguráció, ahol és. A következő három esetet különböztetjük meg. 1. Ha, akkor 2. Ha, akkor, ahol, ha, és egyébként.

A BSc-képzés szakdolgozati témái

Matroidok alkalmazása rúdszerkezetek merevségével kapcsolatos kérdésekben. Kézér Tamás Gábor

Diszkrét matematika 2 (C) vizsgaanyag, 2012 tavasz

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.

Algoritmuselmélet. Bonyolultságelmélet. Katona Gyula Y.

Gráfelméleti feladatok programozóknak

Online migrációs ütemezési modellek

Diszkrét matematika II. gyakorlat

HAMILTON KÖR: minden csúcson PONTOSAN egyszer áthaladó kör. Forrás: (

Az optimális megoldást adó algoritmusok

Matematika alapjai; Feladatok

Eötvös Loránd Tudományegyetem. Természettudományi Kar. Gráfok barátságos partíciói. Paulovics Zoltán. Témavezet :

Alapfogalmak a Diszkrét matematika II. tárgyból

Doktori Tézisek Készítette: Kertész Gábor

A matematika nyelvér l bevezetés

1: Bevezetés: Internet, rétegmodell Alapok: aszimptótika, gráfok. HálózatokII, 2007

HAMILTON ÚT: minden csúcson PONTOSAN egyszer áthaladó út

Bonyolultságelmélet gyakorlat 06 Gráfos visszavezetések II.

1. Generátorrendszer. Házi feladat (fizikából tudjuk) Ha v és w nem párhuzamos síkvektorok, akkor generátorrendszert alkotnak a sík vektorainak

Diszkrét démonok A Borsuk-probléma

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Algoritmuselmélet 11. előadás

Gráfelméleti alapfogalmak-1

Vektorok. Wettl Ferenc október 20. Wettl Ferenc Vektorok október / 36

Számítógép hálózatok, osztott rendszerek 2009

Lineáris leképezések. Wettl Ferenc március 9. Wettl Ferenc Lineáris leképezések március 9. 1 / 31

HALMAZELMÉLET feladatsor 1.

1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!

17. előadás: Vektorok a térben

Algoritmusok bonyolultsága

Matroid metszetek pakolása

Nagy Gábor compalg.inf.elte.hu/ nagy

Szemidenit optimalizálás és az S-lemma

Ellátási lánc optimalizálás P-gráf módszertan alkalmazásával mennyiségi és min ségi paraméterek gyelembevételével

Diszkrét matematika 2. estis képzés

SzA II. gyakorlat, szeptember 18.

Diszkrét matematika 2.C szakirány

Relációk. 1. Descartes-szorzat. 2. Relációk

Formális nyelvek - 9.

FRAKTÁLGEOMETRIA. Metrikus terek, szeparábilitás, kompaktság. Czirbusz Sándor Komputeralgebra Tanszék ELTE Informatika Kar

ELTE IK Esti képzés tavaszi félév. Tartalom

A különböz lerajzolásokhoz különböz metszési szám tartozik: x(k 5, λ) = 5,

Diszkrét matematika 2.

Felügyelt önálló tanulás - Analízis III.

DISZKRÉT MATEMATIKA 2 KIDOLGOZOTT TÉTELSOR 1. RÉSZ

Ybl Építőmérnöki Tudományos Tanácskozás Kacsalábon forgó szerkezetek,

1. A k-szerver probléma

Diszkrét matematika II., 8. előadás. Vektorterek

SZAKMAI BESZÁMOLÓ (ZÁRÓJELENTÉS)

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 12.

1. feladatsor: Vektorterek, lineáris kombináció, mátrixok, determináns (megoldás)

Halmazelmélet. 1. előadás. Farkas István. DE ATC Gazdaságelemzési és Statisztikai Tanszék. Halmazelmélet p. 1/1

Modern irányzatok a bonyolultságelméletben: éles korlátok és dichotómia tételek

GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN

Páros összehasonlítás mátrixokból számolt súlyvektorok Pareto-optimalitása

E-unitér inverz monoidok F -inverz fed i

Diszkrét matematika 2.C szakirány

VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok

Matematika (mesterképzés)

Diszkrét matematika 1. középszint

Analízis előadás és gyakorlat vázlat

Diszkrét matematika 2.

és annak H részcsoportja úgy, hogy a [H, G] intervallum (azaz a G-beli, H-t tartalmazó részcsoportok hálója) L-lel izomorf legyen?

Diszkrét matematika I.

GRÁFELMÉLET. 7. előadás. Javító utak, javító utak keresése, Edmonds-algoritmus

Diszkrét Matematika MSc hallgatók számára 7. Előadás Párosítási tételek Előadó: Hajnal Péter Jegyzetelő: Kovácsházi Anna

Diszkrét matematika 2. estis képzés

PÁROS HOSSZÚ KÖRÖK GRÁFOKBAN

Diszkrét matematika 2.

Gráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma

MM CSOPORTELMÉLET GYAKORLAT ( )

Gráfok 2. Legrövidebb utak, feszítőfák. Szoftvertervezés és -fejlesztés II. előadás. Szénási Sándor

Átírás:

Király Csaba Graph Structures from Combinatorial Optimization and Rigidity Theory (Gráf struktúrák kombinatorikus optimalizálásból és merevségelméletb l) cím doktori értekezésének tézisei Eötvös Loránd Tudományegyetem Matematikai Intézet Operációkutatási Tanszék Matematika Doktori Iskola Iskolavezet : Laczkovich Miklós, az MTA tagja Alkalmazott Matematika Doktori Program Programvezet : Michaletzky György, az MTA doktora Témavezet : Frank András, az MTA doktora Budapest, 015

1 Bevezetés A dolgozat több, a kombinatorikus optimalizálás és a kombinatorikus merevségelmélet területér l érkez témával foglalkozik. Ezek az alábbiak: Egy fa-kompozíció egy fa-szer halmazcsalád, mely segítségével leírható például a vegyes gráfok k-élösszefügg vé irányíthatóságára vonatkozó bizonyíték. Fa-kompozíciók struktúrájáról bizonyítunk egy tétel, mely segítségével egyszer algoritmus adható annak a bizonyítékának megtalálására, hogy nem létezik ilyen irányítás. Az eredmény egyéb különböz összefügg ségi feltételeket teljesít gráf irányítási problémákra történ alkalmazhatóságát is vizsgáljuk. Egy másik módszerrel egy egyszer bb algoritmust adunk gráfok gyökeres (k, 1)-élösszefügg irányításának megtalálására. Általánosítjuk Kamiyama, Katoh és Takizawa [1] feny pakolási tételét arra az esetre, amikor egy matroid adott a feny k gyökerein, mint Durand de Gevigney, Nguyen és Szigeti [5] cikkében. Belátjuk, hogy a kétdimenziós merevségi matroidban vannak olyan körök, melyekben a maximális fokszám 4, de nincs benne Hamilton-út, s t V λ -nál hosszabb út sem λ > log 8 log 9 0, 9464-re. Hasonló állítást bizonyítunk minden (k, k + 1)-ritkasági matroidra. Kiterjesztjük García és Tejel [9] merevség növel algoritmusát minden olyan (k, l)- ritkasági matroidra, ahol l 3 k. Azaz polinomiális algoritmust adunk a következ növelési problémára l k esetén: Adott (k, l)-kritikus G = (V, E) gráfhoz keressünk minimális élszámú H = (V, F ) gráfot, hogy tetsz leges e E-re G + H e tartalmazzon (k, l)-kritikus feszít részgráfot. Arra a bonyolultabb problémára is polinomiális algoritmust adunk l k-ra, amikor G nem (k, l)-kritikus, de tartalmaz ilyen feszít részgráfot; valamint megmutatjuk, hogy ez a probléma l = 3 k esetén már NP-nehéz. Minimális többszörösen csúcs-redundánsan merev és globálisan merev gráfok élszámát vizsgáljuk. Több alsó és fels korlátot adunk, néhány éles példával. Karakterizáljuk a generikus test-zsanér és test-rúd-és-zsanér szerkezetek globális merevségét. Az eredmény meglep mellékterméke, hogy több korábbi jól-ismert globális merevségre vonatkozó sejtést is megcáfol azzal, hogy végtelen sok ellenpéldát szolgáltat a Hendrickson-sejtésre minden d 3 dimenzióban. A rúd-csukló szerkezeteknél általánosabb tensegrity szerkezetekben a csuklók közt kötelek és dúcok is lehetnek, melyek csak fels illetve alsó korlátot adnak végpontjaik távolságára. Belátjuk, hogy NP-nehéz eldönteni, hogy egy tensegrity szerkezethez tartozó (él-címkézett) gráf minden generikus realizációja merev-e az egyenesen.

Fa kompozíciók és gráfok összefügg irányításokkal Egy V halmaz A és B részhalmazait keresztez nek mondjuk, ha A B, B A, A B és A B V. Egy F halmazcsalád a V alaphalmazon egy keresztez halmazcsalád, ha A B F és A B F tetsz leges A, B F keresztez párra. Egy F halmazcsaládot keresztezés-mentesnek mondunk, ha nincsenek keresztez tagjai. Edmonds és Giles keresztezés-mentes halmazcsaládokra a következ reprezentációs tételt bizonyította: 1. Lemma (Edmonds és Giles [7]). A V alaphalmazon adott tetsz leges keresztezés-mentes F halmazcsaládhoz létezik egy T = (U, A) irányított fa és egy ϕ : V U függvény, melyekre F tagjai és T élei az alábbi módon feleltethet ek meg egymásnak. Minden e A élre a hozzá tartozó halmaz F-ben a ϕ 1 (U e ) halmaz, ahol U e jelöli T e azon összefügg ségi komponensét, ahova e belép. Egy keresztezés-mentes halmazcsaládot Z fa-kompozíciójának hívjuk, ha a T = (U, A) fának csak két X, Y U szintje van (azaz X Y = U, X Y = és T minden éle egy X-beli csúcsból egy Y -belibe mutat), ϕ(z) = Y és ϕ 1 (u) minden u U-ra. Egy z s-halmaz alatt egy z-t tartalmazó, de s-et nem tartalmazó halmazt értünk. Legyen Z egy nem-üres valódi részhalmaza V -nek. Egy Z halmazcsalád a V alaphalmazon Z-szeparáló ha minden z Z és s V Z párra tartalmaz egy z s-halmazt. Belátjuk, hogy Z fa-kompozíció és a tartalmazásra minimális keresztezés-mentes Z-szeparáló halmazcsaládok megegyeznek. Ezen struktúratétel segítségével a következ tételre adunk algoritmikus bizonyítást:. Tétel (Frank, K.). Legyen Z nemüres valódi részhalmaza V -nek és legyen Z keresztez Z-szeparáló halmazcsalád a V alaphalmazon. Ekkor Z elemeib l kiválasztható Z egy fakompozíciója. A fa-kompozíciók hasznos eszközt jelentenek gráfok különböz összefügg ségi feltételek melletti irányíthatóságának vizsgálatakor. A. Tétel algoritmikus bizonyítása egy egyszer algoritmust szolgáltat arra, hogy bizonyítékot találjunk amennyiben a kívánt irányítás nem létezik. Ezt itt egy példán szemléltetjük. Egy D = (V, A) digráfot r 0 -gyökeresen (k, l)- élösszefügg nek hívjuk, ha r 0 V, k és l nemnegatív egészek és D tetsz leges csúcsára megy r 0 -ból k éldiszjunkt egyirányú út, valamint D tetsz leges csúcsából megy r 0 -ba l éldiszjunkt egyirányú út. Egy gyökeresen (k, 0)-élösszefügg gráfot gyökeresen k-élösszefügg nek hívunk. A. Tételre adott algoritmus felhasználható arra, hogy algoritmikusan bizonyítsuk, amennyiben egy vegyes gráf nem irányítható gyökeresen (k, l)-élösszefügg vé. Azokat az egyszer bb esetet külön vizsgáljuk, amikor a bemenet egy irányítatlan gráf és l értéke 0 vagy 1. Ezen esetekben sokkal egyszer bb algoritmusok adhatóak.

3 Feny -pakolások Egy feny egy olyan gyökeres irányított fa, melyben minden csúcs elérhet a gyökérb l egyirányú úton. Egy nemüres R V -re a B = (V, A ) digráf egy R-fenyves, ha R olyan csúcsdiszjunkt feny diszjunkt uniója, melyek gyökerei az R-beli csúcsok. Legyen D = (V, A) egy digráf. Egy R-fenyvest D-ben feszít nek mondunk, ha feszíti V -t, és maximálisnak, ha feszíti az összes olyan csúcsot, mely elérhet R-b l D-ben. Nemüres X, Z V -re jelölje Z X azt, hogy X és Z diszjunkt és X elérhet Z-b l, azaz van egyirányú út Z-b l X-be. Edmonds a következ híres tételt bizonyította feny pakolásokról. 3. Tétel (Edmonds [6]). Egy D = (V, A) digráfban, legyen R := {R 1,..., R k } V nemüres részhalmazainak egy családja. Pontosan akkor léteznek él-diszjunkt feszít R i -fenyvesek D- ben i = 1,...k-ra, ha ϱ(x) p R (X) (1) teljesül minden X V, ahol ϱ(x) jelöli az X befokát D-ben és p R (X) jelöli R X-t l diszjunkt tagjainak a számát. Kamiyama, Katoh és Takizawa kiterjesztették Edmonds tételét arra az esetre, amikor nem minden csúcsa érhet el a gráfnak az R i halmazokból. 4. Tétel (Kamiyama, Katoh és Takizawa [1]). Egy D = (V, A) digráfban, legyen R := {R 1,..., R k } V nemüres részhalmazainak egy családja. Pontosan akkor léteznek él-diszjunkt maximális R i -fenyvesek D-ben i = 1,...k-ra, ha ϱ(x) p R(X) () teljesül minden X V, ahol p R (X) jelöli R azon R i tagjainak a számát, melyekre R i X. Durand de Gevigney, Nguyen és Szigeti [5] friss eredménye egy más irányba általánosítja Edmonds tételét. Azt mondjuk, hogy a (D, M, S, π) négyes egy matroid-alapú gyökeresdigráf ha D = (V, A) egy digráf, M egy matroid az S alaphalmazon r M rangfüggvénnyel és π : S V egy (nem feltétlenül injektív) függvény. A π függvényt M-függetlennek mondjuk, ha π 1 (v) minden v V -re független M-ben. (D, M, S, π)-ben feny k egy M- bázis pakolása alatt olyan {T 1,..., T S } páronként éldiszjunkt feny ket értünk, melyekre T i gyökere π(s i ) (i = 1,..., S -re) és minden v V -re az {s j S : v V (T j )} egy bázisát adja M-nek. Az általánosítás a következ : 5. Tétel (Durand de Gevigney, Nguyen és Szigeti [5]). Legyen (D, M, S, π) egy matroidalapú gyökeres-digráf. (D, M, S, π)-ben pontosan akkor létezik feny k egy M-bázis pakolása, ha π M-független és ϱ(x) r M (S) r M (π 1 (X)) (3) teljesül minden X V -re.

4 A 4. és az 5. Tételek egy közös általánosítását adjuk. Legyen P (X) := X {v V X : v X}. Feny k egy maximális M-független pakolása alatt olyan {T 1,..., T S } páronként éldiszjunkt feny ket értünk, melyekre T i gyökere π(s i ) (i = 1,..., S -re), minden v V -re az {s j S : v V (T j )} független M-ben és {s j S : v V (T j )} = r M (π 1 (P (v))). 6. Tétel. Legyen (D, M, S, π) egy matroid-alapú gyökeres-digráf. (D, M, S, π)-ben pontosan akkor létezik feny k egy maximális M-független pakolása, ha π M-független és ϱ(x) r M (π 1 (P (X))) r M (π 1 (X)) (4) teljesül minden X V -re. Eredmények ritka gráfokról Egy G = (V, E) gráf (k, l)-ritka ha i G (X) k X l minden X V -re, melyre X, ahol k és l olyan egészek, hogy k > 0 és l < k, és i G (X) jelöli az X által feszített élek számát. Egy (k, l)-ritka gráfot (k, l)-kritikusnak hívunk, ha E = k V l. A ritka gráfok fontosak merevségelméletben, mert sok merevségi osztály karakterizálható a ritka gráfok segítségével (lásd Laman tételét [13], mely a síkbeli minimálisan merev gráfokat írja le a (, 3)-kritikus gráfok segítségével és Tay eredményét [16, 18] test-rúd szerkezetek merevségér l R d -ben). A merevségelmélet elnevezéseit követve G-t (k, l)-merevnek hívjuk, ha G-nek van (k, l)- kritikus feszít részgráfja. G egy e élét (k, l)-redundáns élnek nevezünk, ha G e (k, l)- merev. G-t (k, l)-redundáns gráfnak hívjuk, ha minden éle (k, l)-redundáns. Ismert, hogy egy gráf (k, l)-ritka részgráfjai matroidot alkotnak, melyet (k, l)-ritkasági matroidnak nevezünk. Ennek a matroidnak a köreit (k, l)-köröknek hívjuk. Egy (, 3)- kört generikus körnek is nevezünk. Kiegyensúlyozott generikus körök hosszú utak nélkül Graver, B. Servatius és H. Servatius [10] a következ kérdést tették fel: Igaz-e, hogy minden olyan generikus kör, melyben minden csúcs foka 3 vagy 4 felbontható két Hamiltonútra? A kérdés kiterjeszthet olyan (k, k + 1)-körökre, melyekben minden fokszám k 1 vagy k. Egy ilyen gráfot, melyben a maximális és minimális fokszám közti eltérés legfeljebb 1 kiegyensúlyozottnak hívunk. Vegyük észre, hogy a legkisebb egyszer (k, k + 1)-kör a K k. Jól ismert, hogy minden (k, k + 1)-kör felbomlik k éldiszjunkt feszít fa uniójára, és egy kiegyensúlyozott (k, k+1)-körnek minden csúcsa k 1 vagy k fokú, és a k 1-fokú csúcsok száma pontosan k. Így felmerül a kérdés, hogy egy ilyen gráf felbomlik egy k Hamilton-út éldiszjunkt uniójára. A kérdésre negatív választ adunk. S t, a következ er sebb tételt bizonyítjuk kiegyensúlyozott (k, k + 1)-körök leghosszabb útjairól. 7. Tétel (K., Péterfalvi). Minden λ > log 8 log 9 -ra és minden k -re létezik (végtelen sok) olyan kiegyensúlyozott (k, k + 1)-kör, melyben nincs V λ hosszú út.

5 A merevség növelése A következ növelési problémát vizsgáljuk, amit általános (növelési) problémának nevezünk. Probléma. Legyen k és l egészek, melyekre k > 0, és legyen G = (V, E) egy hurokmentes (k, l)-merev gráf. Keressünk egy minimális élszámú H = (V, F ) gráfot ugyanazon a csúcshalmazon, melyre G + H = (V, E F ) (k, l)-redundáns. Azt a speciális esetet, amikor G (k, l)-kritikus, redukált (növelési) problémának hívjuk. Merevségelméleti alkalmazások miatt a fenti kérdés elég természetes a következ kérdés kapcsán: ha adott egy merev szerkezetünk hány élre van szükségünk ahhoz hogy biztonságosabbá, azaz redundánsan merevvé tegyük. Ez azt jelenti, hogy olyan szerkezetet szeretnénk kapni, melynek egy tetsz leges élét kitörölve a merevség még megmarad. García és Tejel [9] megmutatták, hogy a probléma (, 3)-merev gráfokra NP-nehéz, de minimálisan merev, azaz (, 3)-kritikus gráfokra polinomiális id ben megoldható. García és Tejel [9] ötletét kiterjesztve egy viszonylag egyszer, két fázisú mohó algoritmussal megoldjuk a redukált növelési problémát l 3 k esetén tetsz leges k-ra. Azt is megmutatjuk, hogy hogyan alkalmazható ez az algoritmus az általános probléma megoldására abban az esetben, amikor l k. Másrészt kiterjesztjük [9] NP-nehézségi eredményét az összes olyan esetre, ahol k páros, és l = 3 k. Eredmények merev és globálisan merev gráfokról Egy d-dimenziós szerkezet alatt egy olyan (G, p) párt értünk, ahol G = (V, E) egy gráf és p egy leképezés V -b l R d -be. (G, p)-t G realizációjának is nevezzük. (G, p) generikus realizáció, ha a {p(v i ) j : i = 1,..., V, j = 1,..., d} halmaz elemei algebrailag függetlenek Q felett. A (G, p) és (G, q) szerkezetek ekvivalensek, ha p(u) p(v) = q(u) q(v) minden olyan u, v V párra, melyre uv E. A (G, p) és (G, q) realizációk kongruensek, ha p(u) p(v) = q(u) q(v) minden u, v V -re. Azt mondjuk, hogy (G, p) globálisan merev, ha minden vele ekvivalens (G, q) szerkezet kongruens is (G, p)-vel. A (G, p) szerkezet merev, ha van olyan ε > 0, hogy minden olyan vele ekvivalens (G, q) szerkezet, melyre p(v) q(v) ε minden v V -re, kongruens is (G, p)-vel. Egy G gráfot merevnek hívunk R d -ben, ha minden (vagy ekvivalensen egyik) generikus realizációja merev. Egy G gráfot globálisan merevnek nevezünk R d -ben, ha minden (vagy ekvivalensen egyik) generikus realizációja globálisan merev.

6 Csúcs-redundánsan merev gráfok Egy G = (V, E) gráfot d-dimenzióban k-merevnek vagy rövidebben [k, d]-merevnek hívunk, ha V k + 1, és minden U V -re, melyre U k 1, a G U gráf merev R d -ben. Hasonlóan deniálhatók a globálisan [k, d]-merev gráfok, a denícióba globális merevséget illesztve a merevség helyett. Nyilvánvalóan minden [k, d]-merev gráf [l, d]-merev is minden 1 l k. G-t minimálisan [k, d]-merevnek hívjuk, ha [k, d]-merev de tetsz leges élét kitörölve már nem [k, d]-merev. Egy minimálisan [k, d]-merev gráfot er sen minimálisan [k, d]- merevnek nevezünk, ha nincs kisebb élszámú [k, d]-merev gráf ugyanazon a csúcshalmazon. Egy minimálisan [k, d]-merev gráfot gyengén minimálisan [k, d]-merevnek mondunk, ha nem er sen minimálisan [k, d]-merev. Hasonlóan deniálhatóak a gyengén/er sen minimálisan globálisan [k, d]-merev gráfok. Minimálisan [k, d]-merev és globálisan [k, d]-merev gráfok élszámát vizsgáljuk. Példák konstruálásával belátjuk, hogy minden k esetén léteznek gyengén minimálisan [k, d]- merev gráfok illetve globálisan [k, d]-merev gráfok, valamint több alsó és fels korlátot adunk minimálisan [k, d]-merev illetve globálisan [k, d]-merev gráfok élszámára, melyek a következ ek. 8. Tétel (Kaszanitzky, K.). Legyen G = (V, E) minimálisan [k, d]-merev gráf, melyre V d + d + k. Ekkor { ( ) d + 1 max d V ( d + k E (d + k 1) V { + (k 1)d + max 0, k 1 d + 1 ). } } d + k 1, V Ráadásul a fenti alsó korlát éles k = esetén minden d-re, illetve k = d = 3-ra, és a fels korlát éles d esetén minden k-ra. 9. Tétel. Legyen G = (V, E) minimálisan globálisan [k, d]-merev gráf, melyre V d + d + k + 1. Ekkor { ( ) d + 1 max d V { + (k 1)d + 1 + max 0, k 1 d + 1 + 1 } } d + k, V E. d Ez a korlát éles d = esetén amennyiben k = vagy 3, (mint azt [14] megmutatta). Továbbá kimondunk egy sejtést, amib l (d+k) V ( ) d+k+1 érték fels korlá következne minimálisan globálisan [k, d]-merev gráfok élszámára. Globálisan merev test-zsanér gráfok Egy fontos lépés lenne a magasabb dimenzióban globális merev gráfok karakterizációja felé vezet úton, ha sikerülne új szükséges vagy elégséges feltételt találni a globális merevségre, vagy sikerülne leírni valamilyen speciális gráf osztály globális merevségét. Mi a

7 test-zsanér szerkezetek globális merevségére adunk szükséges és elégséges feltételt, és megmutatjuk, hogy minden d 3 esetén végtelen sok olyan gráf van, melyre teljesülnek az alábbi tétel szerint a globális merevséghez szükséges feltételek (melyekr l Hendrickson azt sejtette, hogy elégségesek is), de mégsem globálisan merevek R d -ben. 10. Tétel (Hendrickson [11]). Legyen G = (V, E) globálisan merev R d -ben. Ekkor vagy G egy maximum d + 1 csúcsú teljes gráf, vagy (i) G (d + 1)-összefügg, és (ii) G e merev R d -ben minden e E-re. Egy d-dimenziós test-zsanér szerkezet merev testekb l áll, melyeket zsanérok kötnek össze. Minden zsanér egy (d )-dimenziós an altér, ami összekapcsol két testet. A testek egymáshoz képest csak e körül a zsanér körül fordulhatnak el. A szerkezethez tartozó gráfban a csúcsok a testekhez, az élek pedig a zsanérokhoz tartoznak. A szerkezettel ekvivalens rúd-csukló szerkezetet kapunk, ha minden testet egy elég nagy teljes gráf rúd-csukló realizációjával helyettesítünk úgy, hogy a zsanérral összekötött testeknek d 1 csúcsa közös. Az így deniált rúd-csukló szerkezet gráfját nevezzük test-zsanér gráfnak. A test-zsanér szerkezetek (és a test-zsanér gráfok) számos alkalmazással rendelkeznek, így elég alaposan vizsgált objektumok a merevségelmélet területén. Többek mellett segítségükkel vizsgálható molekulák merevsége, mivel egy molekula lehetséges alakváltozásai modellezhet ek test-zsanér szerkezetekkel néhány plusz geometriai feltétel mellett. Tay és Whiteley a következ képp karakterizálták a test-zsanér gráfok merevségét. 11. Tétel (Tay [17, 19] és Whiteley [0]). Legyen H = (V, E) egy gráf. Ekkor a H által reprezentált test-zsanér szerkezethez tartozó test zsanér gráf pontosan akkor merev R d -ben, ha (( ) ) ( d+1 1 H-ban van d+1 ) él-diszjunkt feszít feny. Connelly, Jordán, és Whiteley [3] egy sejtést fogalmaztak meg test-zsanér gráfok globális merevségéhez elégséges feltételekr l. Erre a sejtésre adunk bizonyítást, továbbá belátjuk, hogy a sejtett elégséges feltételek szükségesek is. 1. Tétel (Jordán, K., Tanigawa). Legyen H = (V, E) egy gráf és d 3. Ekkor a H által reprezentált test-zsanér szerkezethez tartozó test zsanér gráf pontosan akkor globálisan merev R d -ben, ha minden e E-re (( ) ) ( d+1 1 H e-ben van d+1 ) él-diszjunkt feszít feny. Hasonló karakterizációt adunk test-rúd-és-zsanér gráfok globális merevségére. Azt mondjuk, hogy a G gráf egy H-gráf, ha teljesülnek rá a 10. Tétel feltételei, de nem globálisan merev R d -ben. Connelly [1] megmutatta, hogy a K 5,5 teljes páros gráf H-gráf 3 dimenzióban, továbbá minden d 3 esetén konstruált H-gráfokat. Ezek a H-gráfok mind teljes páros gráfok ( ) d+ csúcson. Frank és Jiang [8] két további páros H-gráfot találtak R 4 -ben és végtelen sok H-gráfot R d -ben minden d 5 esetén. Ezen R d -beli H-gráfok közül néhánynak részgráfja K d+1 d 5 esetén.

8 Connelly azt sejtette, hogy a K 5,5 az egyetlen H-gráf R 3 -ben [, 4]. Connelly és Whiteley [4] pedig azt sejtették, hogy nincs olyan H-gráf R d -ben amelynek részgráfja K d+1. Azt is sejtették, hogy a H-gráfok száma véges R d -ben minden d 3 esetén. Habár [8] fenti példái megcáfolták az utóbbi sejtéseket d 5 esetén, de továbbra is nyitottak maradtak a háromés négy-dimenziós esetekre. A 1. Tétel meglep alkalmazása, hogy végtelen sok H-gráfot ad minden d 3 dimenzióban és ezen a gráfoknak részgráfja K d+1. Er sen merev tensegrity gráfok R 1 -ben Egy T = (V ; C, S) tensegrity gráf egy -él-címkézett gráf a V = {v 1, v..., v n } csúcshalmazon, melynek élhalmazát C és S halmazokra particionáltuk, melyeket sorban kábeleknek és dúcoknak nevezünk. Egy d-dimenziós tensegrity szerkezet egy (T, p) pár, ahol T egy tensegrity gráf és p egy leképezése V -nek R d -be. Egy innitezimális mozgása egy (T, p) tensegrity szerkezetnek egy olyan q : V R d hozzárendelése innitezimális elmozdulásvektoroknak a csúcsokhoz, melyre (p i p j )(q i q j ) 0 minden v i v j C-re, (p i p j )(q i q j ) 0 minden v i v j S-re, ahol p(v i ) = p i és q(v i ) = q i minden 1 i n-re. Egy innitezimális mozgás triviális, ha R d valamely egybevágósági mozgásának deriváltja által kapható (T, p) minden csúcsában. A (T, p) tensegrity szerkezet innitezimálisan merev R d -ben, ha minden innitezimális mozgása triviális. Jól ismert, hogy tensegrity szerkezetek innitezimális merevsége nem generikus tulajdonság: ugyanannak a tensegrity gráfnak lehetnek innitezimálisan merev és innitezimálisan nem-merev generikus realizációi is tetsz leges d 1 dimenzióban. Ezért a tensegrity gráfoknak két különböz családját deniáljuk d dimenzióban: Azt mondjuk, hogy a T tensegrity gráf merev R d -ben, ha van innitezimálisan merev generikus realizációja R d -ben, és azt mondjuk, hogy T er sen merev R d -ben, ha minden generikus realizációja innitezimálisan merev. Tensegrity gráfok merevsége polinomid ben tesztelhet a síkon (lásd [15]), de nem ismert, hogy polinomid ben tesztelhet -e R d -ben d esetén. Megmutatjuk, hogy az er s merevség tesztelése még bonyolultabb, akár már egy dimenzióban is. 13. Tétel (Jackson, Jordán, K.). co-np-teljes annak eldöntése, hogy egy tensegrity gráf er sen merev-e R 1 -ben. A dolgozat a következ cikkeken alapul [1] A. Frank and C. Király. Tree-compositions and orientations. Oper. Res. Lett., 41(4):336 4, 013.

9 [] B. Jackson, T. Jordán, and C. Király. Strongly rigid tensegrity graphs on the line. Discrete Applied Mathematics, 161(7-8):11479, 013. [3] T. Jordán, C. Király, and S. Tanigawa. Generic global rigidity of body-hinge frameworks. Technical Report TR-014-06, Egerváry Research Group, Budapest, 014. www.cs.elte.hu/egres. Submitted to J. Comb. Theory, Ser. B. [4] V.E. Kaszanitzky and C. Király. On minimally highly vertex-redundantly rigid graphs. Graphs and Combinatorics, March 015. In Press, doi:10.1007/s00373-015-1560-3. [5] C. Király. On maximal independent arborescence-packing. Technical Report TR-013-03, Egerváry Research Group, Budapest, 013. www.cs.elte.hu/egres. Submitted to SIAM J. Discrete Math. [6] C. Király. Algorithms for nding a rooted (k, 1)-edge-connected orientation. Discrete Appl. Math., 166:638, March 014. [7] C. Király. Rigid graphs and an augmentation problem. Technical Report TR-015-03, Egerváry Research Group, Budapest, 015. www.cs.elte.hu/egres. [8] C. Király and F. Péterfalvi. Balanced generic circuits without long paths. Discrete Mathematics, 31(15):671, 01. Irodalomjegyzék [1] R. Connelly. On generic global rigidity. In P. Gritzmann and B. Sturmfels, editors, Applied geometry and discrete mathematics, volume 4 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci, pages 14755. AMS, 1991. [] R. Connelly. Questions, conjectures and remarks on globally rigid tensegrities. Manuscript, November 009. [3] R. Connelly, T. Jordán, and W. Whiteley. Generic global rigidity of body-bar frameworks. J. Comb. Theory, Ser. B, 103(6):689705, 013. [4] R. Connelly and W. Whiteley. Global rigidity: The eect of coning. Discrete & Computational Geometry, 43(4):71735, 010. [5] O. Durand de Gevigney, V.H. Nguyen, and Z. Szigeti. Matroid-based packing of arborescences. SIAM J. Discrete Math., 7(1):56774, 013. [6] J. Edmonds. Edge-disjoint branchings. In B. Rustin, editor, Combinatorial Algorihms, pages 9196. Acad. Press, New York, 1973.

10 [7] J. Edmonds and R. Giles. A min-max relation for submodular functions on graphs. Annals of Discrete Mathematics, 1:18504, 1977. [8] S. Frank and J. Jiang. New classes of counterexamples to Hendrickson's global rigidity conjecture. Discrete & Computational Geometry, 45(3):574591, 011. [9] A. García and J. Tejel. Augmenting the rigidity of a graph in R. Algorithmica, 59():145168, 011. [10] J.E. Graver, B. Servatius, and H. Servatius. Combinatorial Rigidity. AMS Graduate studies in mathematics Vol.. American Mathematical Soc., 1993. [11] B. Hendrickson. Conditions for unique graph realizations. SIAM J. Comput., 1(1):65 84, 199. [1] N. Kamiyama, N. Katoh, and A. Takizawa. Arc-disjoint in-trees in directed graphs. Combinatorica, 9():19714, 009. Also in: Proc. of the 19th Annual ACM-SIAM Symp. on Disc. Math., 18-56, SODA 008. [13] G. Laman. On graphs and rigidity of plane skeletal structures. J. Engineering Mathematics, 4:331340, 1970. [14] S.A. Motevallian, C. Yu, and B.D.O. Anderson. Robustness to the loss of multiple nodes in the localizability of sensor networks. In Proc. of the 18th IFAC World Congress, 011. [15] A. Recski and O. Shai. Tensegrity frameworks in one-dimensional space. Eur. J. Comb., 31(4):1079, 010. [16] T.-S. Tay. Rigidity of multi-graphs I, Linking rigid bodies in n-space. J. Comb. Theory, Ser. B, 36(1):9511, 1984. [17] T.-S. Tay. Linking (n )-dimensional panels in n-space II: (n, )-frameworks and body and hinge structures. Graphs and Combinatorics, 5(1):4573, 1989. [18] T.-S. Tay. Henneberg's method for bar and body frameworks. Structural Topology, 17:538, 1991. [19] T.-S. Tay. Linking (n )-dimensional panels in n-space I: (k 1, k)-graphs and (k 1, k)- frames. Graphs and Combinatorics, 7(3):89304, 1991. [0] W. Whiteley. The union of matroids and the rigidity of frameworks. SIAM J. Discrete Math., 1():3755, 1988.