(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:
- 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