Формально, для графа {\displaystyle G=(V,E)}G=(V,E) и {\displaystyle K={\mathcal {P}}(V^{2})}{\displaystyle K={\mathcal {P}}(V^{2})} — множества всех двухэлементных подмножеств его вершин, дополнение {\displaystyle G'}G' определяется как пара {\displaystyle (V,K\setminus E)}{\displaystyle (V,K\setminus E)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
всего 4000
яблок 2240
груш 1120
2240+1120=3360
4000-3360=640кг