Graf Gabriel

Punctele a și b sunt vecini Gabriel, deoarece c este în afara cercului cu diametrul ab

Deoarece punctul c este în cerc, a și b nu sunt vecini Gabriel

În matematică și geometria algoritmică^⁠(d), graful Gabriel al unei mulțimi S de puncte din planul euclidian exprimă o noțiune de apropiere a acelor puncte. Formal, este graful ${\displaystyle G}$ cu mulțimea de noduri S în care oricare două puncte distincte ${\displaystyle p\in S}$ și ${\displaystyle q\in S}$ sunt considerate adiacente atunci când discul închis având ${\displaystyle pq}$ drept diametru nu conține alte puncte din S. Un alt mod de a exprima același criteriu de adiacență este acela că ${\displaystyle p}$ și ${\displaystyle q}$ ar trebui să fie cele două puncte date cele mai apropiate de punctul lor de mijloc, fără ca vreun alt punct dat să fie la fel de apropiat. Grafurile Gabriel se generalizează în mod natural pentru dimensiuni mai mari, cu discurile înlocuite cu bile închise. Grafurile Gabriel sunt denumite după K. Ruben Gabriel, care le-a prezentat într-o lucrare împreună cu Robert R. Sokal în 1969.^[1]

Percolare

Pentru grafurile Gabriel ale mulțimilor infinite de puncte, pragul de percolare^⁠(d) este fracția de puncte necesară pentru a susține conectivitatea: dacă se dă o submulțime aleatorie cu mai puține noduri decât pragul, graful rămas va avea aproape sigur doar un număr finit de noduri conectate, iar dacă dimensiunea submulțimii aleatorie este mai mare decât pragul, atunci graful rămas va avea aproape sigur o componentă infinită (precum și componente finite). S-a demonstrat că acest prag există de către Bertin, Billiot și Drouilhet în 2002,^[2] iar valori mai precise au fost date de Norrenbrock.^[3]

Grafuri geometrice înrudite

Un graf Gabriel este un subgraf al triangulării Delaunay. El poate fi obținut în timp liniar din triangularea Delaunay.^[4]

Graful Gabriel conține, ca subgrafuri, arborele de acoperire minim euclidian^⁠(d), graful de vecinătate relativă și graful celor mai apropiați vecini.

Note

Portal Matematică