图是一个图，其点集被分成 "k" 部分，各部分各自形成独立集。换句话说，可以把图的所有点着色，使得相邻的点着不同色且总共用了"k" 个颜色。"k" = 2 的情况被称作二分图，而 "k" = 3 的情况被称作三分图。事实上，辨别一个图是二分图只需要多项式时间。但当 "k" > 2，辨别一个图是否为 "k"-分图却是NP完全的 。不过，在一些图论的应用场合中，给计算器处理 "k"-分图会包含 "k" 个部份的划分，比如说各个部分所代表的是不同类型的物件。例如可以用三分图做大众分类法的数学模型，三个部份分别为