paragraph_text: 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 <math>e \in E </math> spaja dva vrha <math> u, v \in V</math> 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.Sveučilište J. J. Strossmayera u Osijeku - Odjel za matematiku Iva Gregurić: Bojenje grafova, Osijek, 2011., str. 4, pristupljeno 8. siječnja 2020.