„Gráfelméleti fogalomtár” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Illes (vitalap | szerkesztései)
→‎Összefüggőség: elvágó (''cut'') / elválasztó (''separating'') csúcs/él mizéria
Kope (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
1. sor:
{{lektor}}
:''Ez a szócikk fordítással készül [[:en:Glossary_of_graph_theory]], de még csonk.''
A [[gráfelmélet]] a [[matematika]] egyik kutatási területe, a szakszókincse igen nagygazdag. Néhány fogalom tekintetében nincs egység a szerzők között, előfordulhat, hogy ugyanazon fogalom alatt az egyik mást ért, vagy hogy két különböző fogalmat ugyanabban az értelemben használnak. Ez a cikk igyekszik lépést tartani a mai szóhasználattal, az esetleges többértelműségekre is utalva.
 
==Alapfogalmak==
12. sor:
A gráfoknak más modelljei is vannak: például egy a csúcsok halmazán értelmezett bináris reláció (''→[[Gráf (halmazelmélet)]]''), vagy egy négyzetes, 0-kból és 1-kből álló mátrix.
 
Egy '''csúcs''' (alapelem) képe a diagramon egy pont, ezért hívják ''pontszögpont''nak is. A ''G'' gráf '''csúcshalmaz'''ának jelölése ''V''(''G''), vagy egyszerűen csak ''V'', ha nem okoz félreértést. Egy gráf '''rangrend'''jaje a csúcsainakcsúcsok száma, azaz |''V''(''G'')|.
 
Egy '''él''' (két alapelemből álló halmaz) képe a diagramon egy vonal, amely két csúcsot köt össze, ezeket '''végpont'''oknak hívjuk. Egy élet, melynek ''x'' és ''y'' a végpontjai ''xy''-nal jelölünk, azaz nincs köztük semmilyen szimbólum. A ''G'' gráf élhalmazának jelölése ''E''(''G''), vagy ''E'', ha nem okoz félreértést.
<!--
The size of a graph is the number of its edges, i.e. |E(G)|.
-->
 
A gráf két élét '''szomszédos'''nak nevezzük, ha van egy közös csúcsuk. Hasonlóan, két csúcs '''szomszédos''', ha van egy közös élük, másként fogalmazva egy éllel vannak összekötve.
 
 
Egy '''hurokél''', vagy hurok egy olyan él, melynek két végpontja ugyanaz a csúcs. Egy él '''többszörös''', ha a gráfban van más él is ugyanezekkel a végpontokkal, egyébként az él '''egyszerű'''. Az '''él multiplicitás'''a azon (többszörös) élek száma melyekkel megegyeznek a végpontjai. Egy gráf egyszerű, ha nincsenek benne többszörös és hurokélek, multigráf, ha vannak többszörös élei, és multigráf vagy pszeudográf, ha többszörös élek és hurokélek is vannak benne (nincs egységes elnevezés az irodalomban). A gráf (megkülönböztető jelző nélkül) szinte mindig egyszerű gráfot jelöl, hacsak a szövegkörnyezet nem utal másra.
Két csúcs '''szomszédos''', ha éllel vannak összekötve.
Hasonlóan, két él '''szomszédos''', ha van közös csúcsuk. k
 
Egy '''hurokél''', vagy hurok egy olyan él, melynek két végpontja ugyanaz a csúcs. Egy él '''többszörös''', ha a gráfban van más él is ugyanezekkel a végpontokkal, egyébként az él '''egyszerű'''. Az '''él multiplicitás'''a azon (többszörös) élek száma melyekkel megegyeznek a végpontjai. Egy gráf '''egyszerű''', ha nincsenek benne többszörös és hurokélek, '''multigráf''', ha vannak többszörös élei, és multigráf vagy pszeudográf, ha többszörös élek és hurokélek is vannak benne (nincs egységes elnevezés az irodalomban). A gráf (megkülönböztető jelző nélkül) szinte mindigtöbbnyire egyszerű gráfot jelöl, hacsak a szövegkörnyezet nem utal másra.
 
A '''[[gráf címkézés]]'''e általában egyedi címkék (legtöbbször [[természetes szám]]ok) csúcsokhoz és élekhez rendelését jelenti. Ha egy gráf csúcsai, vagy élei címkézettek akkor címkézett gráfnak hívjuk, különben címkézetlennek. Különbséget tehetünk csúcscímkézett és élcímkézett gráfok között, ha hangsúlyozni szeretnénk, hogy csak a csúcs- vagy élhalmaz elemeit tekintjük megkülönböztethetőnek.
32. sor:
Három csúcsot '''háromszög'''nek hívunk, ha páronként össze vannak kötve, '''anti-háromszög'''nek, ha semelyik kettő nincs összekötve.
 
A ''G'' gráf '''komplementer'''e <math>\overline{G}</math> '''komplementer'''e a '''G''' antiéleiből álló gráf, egyazaz az a gráf, melynek csúcshalmaza megegyezik ''G''-ével, deés egy (''x'',''y'') él akkor és csak akkor van benne <math>\overline{G}</math>-ben, ha (''x'',''y'') nincs benne ''G''-ben.
<!--eddig átnézve-->
 
Az egy csúcsponttal és nulla éllel rendelkező gráfot '''triviális gráf'''nak nevezzük, az olyan gráfot pedig, aminek csak csúcsai vannak, de nincsenek élei, '''élmentes gráfnak''', '''üres gráfnak''' vagy '''nullgráfnak''' (nincs konzisztens elnevezése az irodalomban). A csúcspont- és élmentes gráfot is szokás '''nullgráf'''nak vagy '''üres gráf'''nak nevezni, de nem minden matematikus fogadja el az ilyen gráf létezését.