Graafi

Verkko eli graafi on matematiikkaan (graafiteoria eli verkkoteoria) ja tietojenkäsittelytieteeseen liittyvä käsite. Se koostuu solmuista ja niitä yhdistävistä kaarista. Matemaattisesti ilmaistuna verkko on järjestetty pari

${\displaystyle G=(V,E)}$,

jossa V on joukko solmuja (engl. vertex, node) ja E joukko kaaria (linkkejä, viivoja, välejä; engl. link, edge). Kaarijoukon määritelmä voi vaihdella, mutta yleisin tapaus on

${\displaystyle E\subseteq \{(a,b):a,b\in V\},}$

jolloin kaarella voi olla suunta ja se voi yhdistää solmun itseensä. Graafina voidaan mallintaa monia ongelmia, jotka pystytään ratkaisemaan algoritmisesti tietojenkäsittelytieteen keinoin.