отчеты по лабораторным работам / изоморфизм графов. знаковые графы. / Отчет4

	x1	x2	x3	x4	x5	x6	x7	x8	x9	x10	x11	x12
x1		0	1	0	0	0	0	0	1	0	1	0
x2	0		0	0	1	1	0	0	0	0	1	1
x3	1	0		1	1	0	1	1	0	1	1	1
x4	0	0	1		1	1	0	1	0	1	1	1
x5	0	1	1	1		0	0	0	0	0	1	1
x6	0	1	0	1	0		1	1	1	0	1	1
x7	0	0	1	0	0	1		0	0	0	0	1
x8	0	0	1	1	0	1	0		0	0	0	0
x9	1	0	0	0	0	1	0	0		0	1	0
x10	0	0	1	1	0	0	0	0	0		1	0
x11	1	1	1	1	1	1	0	0	1	1		1
x12	0	1	1	1	1	1	1	0	0	0	1

S(G1)={3,3,3,3,3,4,5,7,7,7,8,9}

S(G2)={3,3,3,3,3,4,5,7,7,7,8,9}

Из 1) и 2) – e10=x12 (т.к. только они имеют соединения с эквивалентными вершинами e12,e9 и x2,x5 соответственно)

Из 1) – e8=x6

Из 2) – e1=x4

Из 5) – e3=x7

Из 4) – e7=x8

Из 6) – e5=x10

Из 6) – e4=x1

Из 3) – e6=x9

e	x
e1	x4
e2	x5
e3	x7
e4	x1
e5	x10
e6	x9
e7	x8
e8	x6
e9	x2
e10	x12
e11	x3
e12	x11