(Neusmerjen, enostaven) graf: urejen par :

  • … neprazna množica točk/vozlišč grafa
  • … množica povezav - parov točk - grafa

Primer: in

flowchart LR
	U((u)) --- V((v))
	U --- W((w))
	W --- V
	V --- X((x))
	Y((y))

Stopnja točke - : število povezav, ki imajo za krajišče

  • Izolirana točka: točka stopnje
  • List grafa: točka stopnje
    Graf je d-regularen: vsa vozlišča so stopnje
  • Kubični graf: 3-regularen graf

Lema o rokovanju: Graf ima točk in povezav. Tedaj velja:

  • V vsakem grafu je sodo mnogo točk lihe stopnje
  • je d-regulared graf z točkami in povezavami

Izomorfnost grafov - : obstaja preslikava , za katero velja:

  1. je bijektivna

Izomorfizem ohranja število točk, število povezav, stopnje točk, število trikotnikov,sosednost in nesosednost točk, …

Cikel :

  • in
  • in
  • in je -regularen graf

Primeri: ,
D-razsežna hiperkocka : točke so zaporedja ničel in enic dolžine - dve točki/zaporedji sta sosedi, če se razlikujeta v natanko enem členu

  • je -regularen graf

Primeri: , ,

Dvodelen/poln graf

Poln graf : vsaki njegovi točki sta sosedi

  • in
  • in
  • in je -regularen graf

Dvodelen graf: točke grafa lahko pobarvamo z dvema barvama tako, da ima vsaka povezava krajišči različnih barv
Graf je dvodelen graf ne vsebuje ciklov lihe dolžine
Poln dvodelni graf na točkah: vsebuje dva barvna razreda z in točkami, pri čemer sta točki sosedi, če sta v različnih barvnih razredih

  • in
  • in
  • , in je -regularen graf

Primer:

Podgrafi

Podgraf grafa : iz originalnega grafa odstranjujemo točke in/ali povezave -

Vpet podgraf: iz originalnega grafa odstranjujemo samo povezave -

Induciran podgraf: iz originalnega grafa odstranjujemo samo točke - skupaj s povezavami, ki se jih dotikajo - za vsako povezavo velja

Sprehodi v grafih

Sprehod v grafu : zaporedje točk , pri čemer sta zaporedni točki sprehoda sosedi na grafu

  • začetek sprehoda:
  • konec sprehoda:

Dolžina sprehoda :

Razdalja med točkama in : dolžina najkrajše poti v grafu
u-v sprehod: sprehod z začetkom v in koncem v
Graf je povezan, če za vsaki dve točki v grafu obstaja u-v sprehod

Tipi sprehodov:

  • Pot: nikoli ne gremo dvakrat čez isto točko - za vse
    Najkrajši - sprehod v grafu je pot
  • Obhod: začnemo in končamo v isti točki -
  • Cikel: pot in obhod hkrati, prav tako mora veljati

Za sprehoda in je:

  • Obratni sprehod
  • Stik sprehodov
  • Odsek sprehoda

Eulerjev graf

Enostaven sprehod: vsako povezavo uporabi največ enkrat
Eulerjev obhod: vsebuje vse povezave in vsa vozlišča
Eulerjev graf: (več možnih pogojev/opisov)

  • ima Eulerjev obhod
  • Eulerjev izrek: je povezan in vsa vozlišča so sodih stopenj
  • narišemo ga lahko samo z eno potezo, pri čemer je sklenjen

Prerezna točka: ima strogo več povezanih komponent kot
Prerezna povezava: ima strogo več povezanih komponent kot

  • je prerezna povezava ne leži na nobenem ciklu v grafu

Drevo/gozd

Gozd: graf brez ciklov
Drevo: povezan gozd
Naj bo drevo z točkami in povezavami:

  • vsaka povezava v je prerezna
  • za poljubni točki obstaja natančno ena pot
  • če drevesu dodamo kakršnokoli novo povezavo, bo doljeni graf vseboval natanko en cikel

Vpeto drevo : je vpet podgraf v in je drevo

  • je povezan ima vsaj eno vpeto drevo
  • je drevo ima vsaj 2 lista
  • je povezan ima vsaj dve točki, ki nista prerezni

Hamiltonov graf

Hamiltonov cikel: cikel, ki:

  • gre skozi vsako točko grafa natanko enkrat in
  • gre skozi posamezno povezavo največ enkrat

Hamiltonov graf: ima Hamiltonov cikel

Dokaz, da graf je Hamiltonov: enostavno - poiščemo Hamiltonov cikel
Dokaz, da graf ni Hamiltonov: težavno - pregledati je potrebno vse cikle

Potrebni pogoji z razpadom grafa:

  • Povezan graf ni Hamiltonov, če vsebuje podmnožico točk:
    moči , za katero velja, da ima vsa povezanih komponent
  • Dvodelni graf ni Hamiltonov, če:
    za njegova barvna razreda velja

Diracov zadostni pogoj:

  • Naj bosta nesosedi v grafu in naj zanju velja .
    Potem velja: je Hamiltonov graf je Hamiltonov graf
  • Naj bo graf z vsaj tremi točkami.
    Potem velja: je Hamiltonov

Barvanje grafov

k-barvanje točk grafa : preslikava , pri kateri morata biti krajišči vsake povezave različnih barv - za vsako povezavo tako velja
Kromatično število grafa : najmanjše , za katerega obstaja -barvanje točk grafa

  • je brez povezav
  • je dvodelen
  • je drevo z vsaj dvema točkama
  • je sod , je lih