Формально, для графа {\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)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
2)5706*48= 273888
3)273888:72=3804
4)2081415:903=2305
5)3804-2305=1499
6)1499+7558501=7560000