Формально, для графа {\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)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
Формально, для графа {\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)} — граф, с исходным набором вершин, и с набором ребёр, полученным из полного графа удалением имевшихся в заданном графе.
Дополнение пустого графа является полным графом, и наоборот. Независимое множество графа является кликой в дополнении графа, и наоборот. Дополнение любого графа без треугольников не содержит клешней.
103 105 113 115 123 125 130 131 132 133 134 135 136 137 138 139 143 145 150 151 152 153 154 155 156 157 158 159 163 165 173 175 183 185 193 195 203 205 213 215 223 225 230-239 243 245 250-259 263 265 273 275 283 285 293 295 300-399 403 405 413 415 423 425 430-439 443 445 450-459 463 465 473 475 483 485 493 495 500-599 603 605 613 615 623 625 630-639 643 645 650-659 663 665 673 675 683 685 693 695 703 705 713 715 723 725 730-739 743 745 750-759 763 765 773 775 783 785 793 795 803 805 813 815 823 825 830-839 843 845 850-859 863 865 873 875 883 885 893 895 903 905 913 915 923 925 930-939 943 945 950-959 963 965 973 975 983 985 993 995