Medis (grafų teorija)
Grafų teorijoje medis – jungus neorientuotas grafas be ciklų. Miškas – grafas, sudarytas iš vieno ar kelių medžių. Šakniniu medžiu vadiname medį, kurio viena viršūnė yra išskirta iš kitų ir vadinama šaknimi. Žymėtu medžiu vadiname medį, kurio visos viršūnės pažymėtos skirtingomis žymėmis (paprastai medžio su N viršūnių viršūnės žymimos žymėmis 1 , 2 , … , N {\displaystyle 1,2,\ldots ,N} ). Jungaus grafo karkasas – medis, kurio viršūnių aibė sutampa su jungaus grafo viršūnių aibe, o briaunų aibė yra jungaus grafo briaunų aibės poaibis. Terminą „medis“ (angl. tree) 1857 m. sukūrė britų matematikas Arthur Cayle.