K -partitní graf je graf , jehož množinu vrcholů lze rozdělit na k nezávislých množin ( částí ). Ekvivalentně se jedná o graf, který lze obarvit k barvami tak, že koncové body libovolné zvolené hrany jsou obarveny různými barvami. Když k = 2 , k -partitní graf se nazývá bipartitní [1] .
Rozpoznání bipartitních grafů lze provést v polynomiálním čase, ale pro jakékoli k > 2 se problém určení, zda daný nevybarvený graf je k -partitní, stává NP-úplným [2] . V některých aplikacích teorie grafů však může být k -partitní graf dán již obarvený na vstupu; k tomu může dojít, když sady vrcholů grafu odpovídají různým typům objektů. Například folksonomie byly matematicky modelovány pomocí tripartitních grafů, ve kterých tři sady vrcholů odpovídají uživatelům systému, zdrojům, které podléhají tagování , a samotným tagům [3]
Úplný k -partitní graf je k -partitní graf takový, že libovolné dva vrcholy v různých částech sousedí [1] . Kompletní k -partitní graf lze popsat notací
kde jsou počty vrcholů v částech grafu. Například je úplný tripartitní graf pravidelného osmistěnu , který se skládá ze tří nezávislých souborů, z nichž každá obsahuje dva protilehlé vrcholy osmistěnu. Úplný vícedílný graf je graf, který je úplný k -partitní pro nějaké k [4] .
Turanův graf je úplný vícedílný graf, jehož mohutnosti jakýchkoli dvou částí se neliší o více než 1. Úplné vícedílné grafy jsou speciálním případem kografů .