{{Tämä artikkeli| käsittelee graafiteoriaa. Graafi voi myös tarkoittaa [[diagrammi|tiedon graafista esittämistä]]}}
'''Graafi'''Verkko eli '''verkkograafi''' on [[matematiikka]]an ([[graafiteoria]] eli verkkoteoria) ja [[tietojenkäsittelytiede|tietojenkäsittelytieteeseen]] liittyvä käsite. Se koostuu joukosta ''solmujasolmuista'' ja joukosta niitä yhteen liittäviäyhdistävistä ''kaarialinkeistä''. Matemaattisesti ilmaistuna graafiverkko eli verkko ''G''graafi on järjestetty pari
:<math>G = (V, E)</math>,
jossa ''V'' on joukko [[solmu (verkko)|solmuja]] eli pisteitä eli noodeja ({{k-en|vertex}}, monikko: ''vertices'', tai ''node'') ja ''E'' joukko kaarialinkkejä eli(kaaria, viivoja; eli{{k-en|link, välejä eli nuolia eli särmiä (''edges''edge}}). KaarijoukonLinkkijoukon määritelmä voi vaihdella, mutta yleisin tapaus on
:<math>E \subset \{(a, b) : a, b \in V\},</math>
jolloin kaarellalinkillä voi olla suunta ja se voi yhdistää solmun itseensä. TermiäGraafina "nuoli"voidaan eimallintaa käytetämonia ongelmia, jos kaaret määritelläänkin vain kahden solmun joukoiksijotka elipystytään niilläratkaisemaan eialgoritmisesti oletietojenkäsittelytieteen suuntaakeinoin.
Graafina voidaan mallintaa monia ongelmia, jotka pystytään ratkaisemaan algoritmisesti tietojenkäsittelytieteen keinoin.
