Náhodný graf

V matematice rozumíme pojmem náhodný graf specifickou distribuci na konečných grafech. Tato distribuce je typicky zadána na grafech na pevné množině vrcholů. Proto si náhodný graf lze představit jako danou množinu vrcholů do níž jsou „náhodně přidány hrany". Studium náhodných grafů iniciovali v roce 1959 nezávisle Edgar Gilbert[1] a Paul Erdős a Alfréd Rényi[2]. Původní článek Erdőse a Rényiho byl výrazně obsažnější než Gilbertův a proto se modelu, který zavedli (a jim příbuznému), říká Erdős-Rényi model náhodných grafů. Tento model je v současnosti jednou z nejstudovanějších náhodných diskrétních struktur v matematice (spolu s modely statistické fyziky, jako například Isingův model). Náhodné grafy se používají v informatice, fyzice, biologii a dalších oborech k modelování náhodně vznikajících interakcí. V těchto aplikacích stejně jako v matematické teorii náhodných grafů se zkoumá zejména asymptotické chování grafů na limitně velkém počtu vrcholů.

Erdős-Rényi modely G(n,p) a G(n,m)

Pod pojmem Erdős-Rényi model se rozumí buď model G(n,p) nebo velmi podobný model G(n,m). Zatímco model G(n,p) je z matematického hlediska ve většině případů jednodušeji analyzovatelný, byl to model G(n,m), který byl popsán v původním článku Erdőse a Rényiho z roku 1959. Gilbert ve svém článku popsal model G(n,p).

Pro přirozené číslo n a číslo p, 0≤p≤1, je můžeme definovat náhodný graf G(n,p) jako graf na množině vrcholů {1,…,n} do kterého je každý možný pár vrcholů vložen jako hrana s pravděpodobností p (a tyto hrany jsou vloženy nezávisle). Náhodný graf G(n,0.5) odpovídá uniformní distribuci na množině všech grafů s množinou vrcholů {1,…,n}.

Pro přirozené číslo n a m, , definujeme náhodný graf G(n,m) jako graf na množině vrcholů {1,…,n} do kterého je vložena náhodná množina m hran. Modely G(n,p) a G(n,m) pro se chovají přibližně pomalu, neboť realizace náhodného grafu G(n,p) bude mít podle zákona velkých čísel s velkou pravděpodobností přibližně

hran.

Mezi nejdůležitější oblasti v teorii náhodných grafů patří studium prahových funkcí monotónních grafových vlastností. Místo formální definice uveďme příklad. Pro libovolné platí, že pro , náhodný graf asymptoticky skoro jistě není hamiltonovský, zatímco pro , náhodný graf asymptoticky skoro jistě hamiltonovský je.[3] Jinak řečeno, pro n jdoucí do nekonečna je limita pravděpodobnosti, že je hamiltonovský 0, zatímco ta stejná limita je 1 pro . Podobná prudká změna chování se projevuje vzhledem k mnoha přirozeným grafovým vlastnostem a je popsána Friedgutovou větou.[4]

Podobně jako v uvedeném příkladu hamiltonovskosti se ve většině praktických modelů stejně jako ve většině matematické teorie uvažuje režim kdy p jde k nule podle zvolené funkce v n.

Vlastnosti Erdős-Rényi náhodných grafů inspirovaly koncept kvazináhodných grafů.[5]

K rozvoji teorie náhodných grafů přispěli zejména Paul Erdős, Béla Bollobás a Alan Frieze.

Dolní odhad Ramseyova čísla

Nejdůležitější kvantitativní otázkou v Ramseyově teorii je zkoumání čísla R(k,k). To je definováno jako minimální číslo r takové, že každý graf na r vrcholech obsahuje kliku nebo nezávislou množinu velikosti alespoň r. Erdős[6] implicitním použitím technik tehdy ještě neexistující teorie grafů ukázal v roce 1947, že . (Nepatrně přesnější odhad stejnou metodou je možný. Za sedm dekád od Erdősova důkazu byl před obrovské úsilí tento dolní odhad na R(k,k) vylepšen pouze málo.[7]) Přesněji, Erdősův důkaz může být chápán jako důkaz tvrzení, že pro platí, že G(n,0.5) s kladnou pravděpodobností neobsahuje ani kliku ani nezávislou množinu velikosti k. Tato interpretace důkazu je jedním z nejzákladnějších aplikací pravděpodobnostní metody. Díky podobným aplikacím jsou náhodné grafy nejužitečnější třídou objektů pro aplikace pravděpodobnostní metody.

Jiné modely

Jiné modely náhodných grafů zahrnují model náhodných stromů, model náhodných regulárních grafů a Barabási–Albertův model náhodných bezškálových sítí. Barabási–Albertův model v mnoha případech může lépe vystihovat reálný model (sociální sítě, epidemiologie, ...). Náhodné grafy je možno vnímat jako speciální třídu perkolačních modelů.

Podobným způsobem jako náhodné grafy lze zavést náhodné k hypergrafy a další náhodné struktury.

Reference

  1. GILBERT, E. N. Random graphs. Annals of Mathematical Statistics. 1959, s. 1141–1144. DOI 10.1214/aoms/1177706098. .
  2. Erdős, P. Rényi, A (1959) "On Random Graphs I" in Publ. Math. Debrecen 6, p. 290–297 [1]
  3. Pósa, L. (1976): Hamiltonian circuits in random graphs, Discrete Mathematics 4 (14), p. 359-364
  4. Friedgut, E. (1999), Sharp thresholds of graph properties and the k-SAT problem, Journal of the American Mathematical Society 12 (4), p. 1017-1054
  5. Chung, F. R. K., Graham, R. L., Wilson, R. M. (1989): Quasi-random graphs, Combinatorica 9, p. 345-362
  6. Erdős, P. (1947) "Some remarks on the theory of graphs", Bull. Amer. Math. Soc. 53, 292-294.[odkaz]
  7. Spencer, J.H. (1975): Ramsey's theorem - a new lower bound, Journal of Combinatorial Theory A, 18, p. 108-115