Сумма графов
G1=(X1, U1) и G2=(X2, U2) - граф G1?G2, состоящий из множества вершин Х=X1?X2 и две вершины s=(x1, x2) и t=(y1, y2) (s, t О X, x1, y1 О X1, x2, y2 О X2) смежны в G1?G2 тогда и только тогда, когда x1=y1 и x2 смежна с y2 или x2=y2 и x2 смежна с y1.