Grafteori

For alternative betydninger, se Graf (flertydig).

For alternative betydninger, se Knude (flertydig).

For alternative betydninger, se Punkt (flertydig).

Grafteori er studiet af grafer og problemer, der kan reduceres til kombinatoriske grafer, og er i denne sammenhæng både et område inden for diskret matematik og et vigtigt hjælpemiddel i datalogien, hvor den kan bruges til at løse mange opgaver, såsom skemalægning, rutefinding, jobtilordning, tegning af figurer i én streg og lineær programmering. Desuden er grafer af stor betydning inden for kompleksitetsteorien.

En graf kan i denne sammenhæng illustreres ved et diagram bestående af et antal punkter (knuder) forbundet med et antal kanter. Hver kant illustreres som et linjestykke (eller kurvestykke) med knuder som sine to endepunkter.