Konačan graf, pojam iz teorija grafova. Uzevši da je graf G je uređeni par G = (V, E) u kojem je skup vrhova V=V(G), zatim E=E(G)skup bridova disjunktnih s V, gdje svaki brid spaja dva vrha koji se zovu krajevi od e. Konačan je onaj graf G za koji vrijedi da su mu pripadajući skupovi konačni, tj. skup vrhova V i skup bridova E. U suprotnom je beskonačan. [1]
Temeljna dva parametra u svezi s konačnim grafom su: [1]
- v(G) =|V(G)|=red od G (broj vrhova od G)
- e(G) =|E(G)|=veličina od G (broj bridova od G).
Izvori
- ↑ 1,0 1,1 Sveučilište J. J. Strossmayera u Osijeku - Odjel za matematiku Iva Gregurić: Bojenje grafova, Osijek, 2011., str. 4, pristupljeno 8. siječnja 2020.