isomorphism.tex (1577B)
1 \begin{tikzpicture}[ 2 gn/.style={circle,line width=1mm,inner sep=0.2mm, minimum width=4.5mm,anchor=center}, 3 gn1/.style={gn, draw=Dark2-A}, 4 gn2/.style={gn, draw=Dark2-B}, 5 gn3/.style={gn, draw=Dark2-C}, 6 gn4/.style={gn, draw=Dark2-D}, 7 gn5/.style={gn, draw=Dark2-E}, 8 gn6/.style={gn, draw=Dark2-F}, 9 gn7/.style={gn, draw=Dark2-G}, 10 gn8/.style={gn, draw=Dark2-H}, 11 ] 12 13 \matrix[name=bipartite, matrix of nodes, column sep=5mm, row sep=4mm, anchor=east] at (-1mm, 0) { 14 \node[gn1] (b1) {\(1\)}; & \node[gn2] (b2) {\(2\)}; \\ 15 \node[gn3] (b3) {\(3\)}; & \node[gn4] (b4) {\(4\)}; \\ 16 \node[gn5] (b5) {\(5\)}; & \node[gn6] (b6) {\(6\)}; \\ 17 \node[gn7] (b7) {\(7\)}; & \node[gn8] (b8) {\(8\)}; \\ 18 }; 19 20 \draw (b1) -- (b2); 21 \draw (b1) -- (b4); 22 \draw (b1) -- (b6); 23 \draw (b3) -- (b2); 24 \draw (b3) -- (b4); 25 \draw (b3) -- (b8); 26 \draw (b5) -- (b2); 27 \draw (b5) -- (b6); 28 \draw (b5) -- (b8); 29 \draw (b7) -- (b4); 30 \draw (b7) -- (b6); 31 \draw (b7) -- (b8); 32 33 \matrix[name=square, matrix of nodes, column sep=2mm, row sep=2mm, anchor=west] at (1mm, 0) { 34 \node[gn1] (s1) {\(a\)}; & & & \node[gn4] (s4) {\(d\)}; \\ 35 & \node[gn2] (s2) {\(b\)}; & \node[gn3] (s3) {\(c\)}; & \\ 36 & \node[gn5] (s5) {\(e\)}; & \node[gn8] (s8) {\(h\)}; & \\ 37 \node[gn6] (s6) {\(f\)}; & & & \node[gn7] (s7) {\(g\)}; \\ 38 }; 39 40 \draw (s1) -- (s2); 41 \draw (s1) -- (s4); 42 \draw (s1) -- (s6); 43 \draw (s3) -- (s2); 44 \draw (s3) -- (s4); 45 \draw (s3) -- (s8); 46 \draw (s5) -- (s2); 47 \draw (s5) -- (s6); 48 \draw (s5) -- (s8); 49 \draw (s7) -- (s4); 50 \draw (s7) -- (s6); 51 \draw (s7) -- (s8); 52 \end{tikzpicture}%