Повний граф з $n$ вершинами (позначають як $K_n$ ) – це граф, у якого будь-яку пару вершин з’єднано точно одним ребром.