Covering Graphs Motivation: Suppose you are taken to two different labyrinths. Is it possible to tell they are distinct just by walking around? Let us.

Slides:



Advertisements
Similar presentations
Great Theoretical Ideas in Computer Science for Some.
Advertisements

Lecture 24 MAS 714 Hartmut Klauck
Relations Relations on a Set. Properties of Relations.
Graph Isomorphism Algorithms and networks. Graph Isomorphism 2 Today Graph isomorphism: definition Complexity: isomorphism completeness The refinement.
Section 11 Direct Products and Finitely Generated Abelian Groups One purpose of this section is to show a way to use known groups as building blocks to.
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Edge-Coloring of Graphs On the left we see a 1- factorization of  5, the five-sided prism. Each factor is respresented by its own color. No edges of the.
Symmetric Group Sym(n) As we know a permutation  is a bijective mapping of a set A onto itself:  : A  A. Permutations may be multiplied and form the.
The number of edge-disjoint transitive triples in a tournament.
C++ Programming: Program Design Including Data Structures, Third Edition Chapter 21: Graphs.
Computational Geometry Seminar Lecture 1
GROUPS AND SYMMETRY CHAPTER 2.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
Curve Curve: The image of a continous map from [0,1] to R 2. Polygonal curve: A curve composed of finitely many line segments. Polygonal u,v-curve: A polygonal.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
Graphs, relations and matrices
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
Graph Theory Chapter 6 Planar Graphs Ch. 6. Planar Graphs.
Matrix Representations of Knot and Link Groups Jess May 2006 Knot Theory Knot Theory is the study of mathematical knots. A knot is a simple closed polygonal.
Linear Algebra Chapter 4 Vector Spaces.
 Jim has six children.  Chris fights with Bob,Faye, and Eve all the time; Eve fights (besides with Chris) with Al and Di all the time; and Al and Bob.
Maps. Graphs on Surfaces We are mainly interested in embeddings of graphs on surfaces:  : G ! S. An embedding should be differentiated from immersion.
Zvi Kohavi and Niraj K. Jha 1 Memory, Definiteness, and Information Losslessness of Finite Automata.
GRAPHS CSE, POSTECH. Chapter 16 covers the following topics Graph terminology: vertex, edge, adjacent, incident, degree, cycle, path, connected component,
Advanced Operations on Graphs Lecture 6. Cone and Suspension The join of G and K 1 we call the cone over G and is denoted by Cone(G) = G*K 1. The join.
Graphs Simple graph G=(V,E) V = V(G) ={1,2,3,4} – vertices E = E(G) = {a,b,c,d,e} – edges Edge a has end- vertices 1 and 2. Vertices 1 and 2 are adjacent:
CSE, IIT KGP Graph Theory: Introduction Pallab Dasgupta Dept. of CSE, IIT
Chapter 1 Fundamental Concepts II Pao-Lien Lai 1.
Chapter 6 Graph Theory R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Introduction Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering,
Ch.6 Phylogenetic Trees 2 Contents Phylogenetic Trees Character State Matrix Perfect Phylogeny Binary Character States Two Characters Distance Matrix.
GRAPHS THEROY. 2 –Graphs Graph basics and definitions Vertices/nodes, edges, adjacency, incidence Degree, in-degree, out-degree Subgraphs, unions, isomorphism.
Week 11 - Monday.  What did we talk about last time?  Binomial theorem and Pascal's triangle  Conditional probability  Bayes’ theorem.
Section 2.3 Properties of Solution Sets
Data Structures & Algorithms Graphs
Chapter 1 Fundamental Concepts Introduction to Graph Theory Douglas B. West July 11, 2002.
Planar Graphs Graph Coloring
1 12/2/2015 MATH 224 – Discrete Mathematics Formally a graph is just a collection of unordered or ordered pairs, where for example, if {a,b} G if a, b.
Chapter 10 Graph Theory Eulerian Cycle and the property of graph theory 10.3 The important property of graph theory and its representation 10.4.
7. Basic Operations on Graphs
CYCLIC CONFIGURATIONS AND HAAR GRAPHS. Haar graph of a natural number Let us write n in binary: n = b k-1 2 k-1 + b k-2 2 k b b 0 where.
An Introduction to Graph Theory
Graphs A ‘Graph’ is a diagram that shows how things are connected together. It makes no attempt to draw actual paths or routes and scale is generally inconsequential.
Graph Theory and Applications
GRAPHS. Graph Graph terminology: vertex, edge, adjacent, incident, degree, cycle, path, connected component, spanning tree Types of graphs: undirected,
Trees Thm 2.1. (Cayley 1889) There are nn-2 different labeled trees
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
Graphs Lecture 2. Graphs (1) An undirected graph is a triple (V, E, Y), where V and E are finite sets and Y:E g{X V :| X |=2}. A directed graph or digraph.
Introduction to Graph Theory
NP-completeness NP-complete problems. Homework Vertex Cover Instance. A graph G and an integer k. Question. Is there a vertex cover of cardinality k?
CSE, IIT KGP Graph Theory: Introduction Pallab Dasgupta Dept. of CSE, IIT
1 Finding a decomposition of a graph T into isomorphic copies of a graph G is a classical problem in Combinatorics. The G-decomposition of T is balanced.
Great Theoretical Ideas in Computer Science for Some.
Chapter 20: Graphs. Objectives In this chapter, you will: – Learn about graphs – Become familiar with the basic terminology of graph theory – Discover.
Algorithms for hard problems Parameterized complexity Bounded tree width approaches Juris Viksna, 2015.
COMPSCI 102 Introduction to Discrete Mathematics.
Introduction to NP Instructor: Neelima Gupta 1.
Linear Programming Chap 2. The Geometry of LP  In the text, polyhedron is defined as P = { x  R n : Ax  b }. So some of our earlier results should.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
Fundamental Graph Theory (Lecture 1) Lectured by Hung-Lin Fu 傅 恆 霖 Department of Applied Mathematics National Chiao Tung University.
Subgraphs Lecture 4.
Graph theory Definitions Trees, cycles, directed graphs.
Algorithms and networks
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Algorithms and networks
Great Theoretical Ideas In Computer Science
Discrete Mathematics for Computer Science
Chapter 9 Graph algorithms
Locality In Distributed Graph Algorithms
Presentation transcript:

Covering Graphs Motivation: Suppose you are taken to two different labyrinths. Is it possible to tell they are distinct just by walking around? Let us call the first graph maze X, and the second one Y.

Question Is it possible to distinguish between the two mazes? Answer: Yes, we can. In the upper maze there are two adjacent trivalent vertices. This is not the case in the lower maze.

Local Isomorphism On the other hand we cannot distinguish (locally) between the upper and lower graph. To each walk upstairs we can associate a walk downstairs.

One More Example C 4 over C 3 is no good. However, C 6 over C 3 is Ok.

Fibers and Sheets. We say that C 6 is a twosheeted cover over C 3. Red vertices are in the same fiber. Similarly, the dotted lines belong to the saem fiber. Graph mapping f: C 6  C 3 is called covering projection. Preimage of a vertex f -1 (v) (or an edge f -1 (e)) is called a fiber. The cardinality of a fiber is constant. k =|f -1 (v)| is called the number of sheets.

One More Example The cube graph Q 3 is a two fold cover over complete graph K 4. The vertex fibers are composed of pairs of antipodal vertices.

Covers over Pregraphs Graph K 4 can be understood as a four- fold cover over a pregraph on one vertex (one loop and one half-edge).

Voltage Graphs X = (V,S,i,r) – connected (pre)graph. ( ,A) – permutation group  acting on space A.  :S   – voltage assignment. Condition: for each s 2 S we have  [s]  [r(s)] = id.

Voltage Graph Determines a Covering Graph Each voltage graph (X, ,A,  ) determines a covering graph Y and the covering projection f: Y  X as follows: Covering graph Y = (V(Y),S(Y),i,r) V(Y) := V(X) x A S(Y) := S(X) x A i: S(Y)  V(Y): i(s,a) := (i(s),a). r: S(Y)  S(Y): r(s,a) := (r(s),  [s](a)). Covering projection f f: V(Y)  V(X): f(x,a) := x. f: S(Y)  S(X): f(s,a) := s. Sometimes we denote the covering graph Y by Cov(X;  ).

(Rhetorical) Questions “Different” voltage graphs may give rise to the “same” cover. What does it mean the “same” and how do we obtain all “different” voltage graphs? The voltage graph is determined in essence by the abstract group. What is the role of permutation group? How do we ensure that if X is connected then Y is connected, too?

Kronecker Cover Let X be a graph. The canonical double cover or Kronecker cover: KC(X) is a twofold cover that is defined by a voltage graph that has nontrivial voltage from Z 2 on each of its edges. It can also be described as the tensor product KC(X) = X £ K 2.

Homework H1: Prove that Kronecker cover is bipartite. H2: Prove that generalized Petersen graph G(10,2) is a twofold cover over the Petersen graph G(5,2). H3: Determine the Kronecker cover over G(5,2). H4: Determine a Z n covering over the handcuff graph G(1,1), that is not a generalized Petersen graph G(n,r).

Regular Covers Let Y be a cover over X. We are interested in fiber preserving elements of Aut Y (covering transformations). Let Aut(Y,X) · Aut Y be the group of covering transformations. The cover Y is regular, if Aut(Y,X) acts transitively on each fiber. Regular covers are denoted by voltage graphs, where permutation group ( , A) acts regularly on itself by left or right translations: ( ,  ).

Exercises N1: Prove that each double sheeted cover is regular. N2: Find an example of a three sheeted cover that is not regular. N3: Express the graph on the left as a 6-fold cover over a pregraph on a single vertex.

Dipole  n Dipole  n has two vertices joined by n parallel edges. We may call one vertex black, the other white. On the left we see  5. Each dipole is bipartite, that is why each cover over  n is bipartite too. Dipole  3 jeis cubic, sometimes called the theta graph .

Cyclic cover over a dipole – Haar graph H(n). H(37) is determined by number 37, actually by its binary representation ( ). k = 6 is the length of the sequence, hence group Z 6. ( ) – positions of “1”. Positions of “1”s: 0, 3 in 5. {0,3,5} are the voltages on . The corresponding covering graph is H(37). 035 Z6Z6

Exercises Graph on the left is called the Heawood graph H. Prove: –H is bipartite. –H is a Haar graph (Determine n, such that H = H(n)) –Express H as a cyclic cover over . –Show that there are no cycles of lenght < 6 in H. –Show that H is the smallest cubic graph with no cycles of length < 6.

Cages as Covering Graphs A g-cage is a cubic graph of girth g that has the least number of vertices. Small cages can be readily described as covering graphs.

1-Cage Usually we consider only simple graphs. For our purposes it makes sense to define also a 1-cage as a pregraph on the left. 1-cage is the unique smallest cubic pregraph.

2-Cage The only 2-cage is the  graph. We may view 2-cage, as the Kronecker cover over 1-cage. 1 1 Z2Z2

K 4, the 3-cage K 4 is a Z 4 covering over the 1-cage. In general, we obtain a Z 2n covering over the 1-cage by assigning voltage 1 to the loop and voltage n to the half-edge. Exercise: What is the covering graph in such a case? 2 Z4Z

K 3,3, the 4-cage K 3,3 is a Z 6 covering over the 1-cage. It can also be seen as a Z 3 covering over the 2-cage . Exercise: Express K 3,3 as a covering graph over . Dtermine a natural number n, such that K 3,3 is a Haar graph H(n). 3 Z6Z

The Handcuff Graph G(1,1) By changing the voltage on the loop of the 1-cage we obtain a double cover G(1,1), the smallest generalized Petersen graph, known as the Handcuff graph. 1 0 Z2Z2

I graphs I(n,i,j) and Generalized Petersen graphs G(n,k) Cyclic covers over the handcuff graph are called I-graphs. Each I-graph can be described by three parameters I(n,i,j) with i · j. In case i = 1 we call I(n,i,k) = G(n,k), the generalized Petersen graph. In particular, I(5,1,2) is the 5-cage. i 0 ZnZn j

The 6-cage The 6-cage is the Heawood graph on 14 vertices. It is a 7-fold cyclic cover over the  graph. But it is also a dihedral cover over the 1- cage. Let the presentaion of D n be given as follows: D n = Then the Heawood is a covering described on the left. b a D7D7

Exercises N1. Express the 7-cage as a covering graph. N2. Express the 8-cage as a covering graph.

(3,1)-trees A (3,1)-tree is a tree whose vertices have valence 3 and 1 only. On the left we see the smallest (3,1)-trees I,Y and H.

(3,1)-cubic graphs A (3,1)-cubic graph is obtained from a (3,1)- tree by adding a loop at each vertex of valence 1. On the left we see the smallest (3,1)-cubic graphs I(1,1,1),Y(1,1,1,1) and H(1,1,1,1,1).

Coverings over (3,1)-cubic graphs By putting 0 on the tree edges and appropriate voltages on the loops of (3,1)-cubic graph we obtain their Z n coverings. In the case of the graphs on the left we obtain the I- graphs, Y-graphs and H- graphs: I(n,i,j),Y(n,i,j,k) and H(n,i,j,k,l). ZnZn i i i j j j k k l

Covers Determined by Graphs We know already that there exists a cover, namely Kronecker cover, that depends only on X itself and the voltage assignment plays a minor role. Now we will present some covers that have a similar property.

Coverings and Trees Let X be a connected graph and let Cov(X) denote all connected covers over X: Cov(X) = {(Y,  )| Y connected and  : Y ! X, covering projection}. For each connected X we have (X,id) 2 Cov(X). Proposition: For a connected X we have Cov(X) = {(X,id)} if and only if X is a tree. This fact holds both for finite and locally finite trees.

Universal cover Let X, Y and Z be connected graphs and let  : Y ! X and  :Z ! Y be covering projections. On the other hand, we may consider the class Cov(X) of all coverings over X. We may introduce a partial order in Cov(X). (Y,  ) < (Z,  ) if there exists a covering projection (Z,  ) 2 Cov(Y) so that  =  . Proposition: Any connected finite or locally finite graph X can be covered by some tree T;  : T ! X. Proposition: Any connected finite or locally finite graph X can be covered by at most one tree T. Proposition: Let  : T ! X be a covering projection form a tree to a connected graph X. Then for each covering  : Y ! X there exists a covering  : T ! Y such that  =  . Corollary: For each connected X the poset Cov(X) has a maximal element (T,  ) where T is a tree. The maximal element (T,  ) 2 Cov(X) is called the universal covering of X.

Construction of Universal Cover There is a simple construction of the universal covering projection. Let X be a connected graph and let T µ X be a spanning tree. Furthermore, let S = E(G) \ E(T) be the set of edges not in tree T. Consider S to be the set of generators for a free group F(S) and F(S) to be the voltage group. Let us assing voltages on E(G) as follows: If e 2 E(T) the voltage on e is identity. If e 2 S the voltage is the corresponding generator (or its inverse) Note: The construction does not depend on the choice of direction of edges. Proposition: The described construction gives rise to the universal cover.

Examples Example: The universal cover over any regular k-valent graph is a regular infinte tree T( 1,k).

Valence Partition and Valence Refinement Let G be a graph and let B = {B 1,..., B k } be a partition of its vertex set V(G) for which there are constants r ij, 1 · i,j · k such that for each v 2 B i there are r ij edges linking v to the vertices in B j. Let R = [r ij ] be the corresponding k £ k matrix, Then B is called valence partition and R is called valence refinement. If k is minimal, then B is called minimal valence partition and R is called minimal valence refinement. Two refinements R and R’ are considered the same if one can be transformed to the other one by simultaneous permutation of rows and columns. A refinement is uniform, if each row is constant.

Construction Given graphs G and G’ with a common refinement. Let m ij denote the number of arcs in G of type i ! j. Let n i denote the number of vertices in G of type i. Let b ij = lcm(m ij )/m ij. (If m ij = 0, let b ij undefined). Let a i = lcm(m ij )/n i. Note that b ij and a i depend only on the common matrix R and are the same for both graphs G and G’. Let l(e) or l(e’) be a linear order given to all type i ! j arcs with a common initial vertex i(e) (or i(e’)). Let V(H) = {(i,v,v’,p)|v and v’ of type i, p 2 Z ai } Let S(H) = {(i,j,e,e’,q)|e and e’ of type i ! j, q 2 Z bij } r(i,j,e,e’,q) := (j,i,r(e),r(e’),q) i(i,j,e,e’,q) := (i,i(e),i(e’),q r ij + l(e)-l(e’)} H is a common cover of G and G’.

Computing Minimal Valence Refinement Let r[u,B] denote the number of edges linking u to the vertices in B. Algorithm [F.T.Leighton, Finite Common Coverings of Graphs, JCT(B) , ] Step 1. Place two vertices in the same block if and only if they have the same valence. Step 2. While there exist two blocks B and B’ and two distinct vertices u,v in B with r[u,B’]  r[v,B’] repeat the following: Partition the block B into subblocks in such a way that two vertices u,b of B remain in the same block if and only if r[u,B’] = r[v,B’] for each B’ of the previous partition. Step 3. From minimal valence partition B compute the minimal vertex refinement R. Note: We may maintain R during the run of the algorithm as a matrix whose elements are sets of numbers.

Comon Cover Theorem. Given any two finite graphs G and H, the following statements are equivalent: 1.G and H have the same universal cover, 2.G and H have a common finite cover, 3.G and H have a common cover, 4.G and H have the same minimal valence refinement. 5.G and H have the same some valence refinement. Homework. Find the result in the literature and construct a finite comon cover of G(5,2) and G(6,2).

Petersen graph An unusual drawing of Petersen graph.

Petersen graph G(5,2) and graph X.

Kronecker Cover - Revisited Kronecker cover KC(G) is an example of covers, determined by the graph itself. Exercise. Show that G(5,2) and X have the same Kronecker cover.

THE covering graph Let G be a graph with the vertex set V. By THE(G) we denote the following covering graph. To each edge e = uv we assing transposition  e = (u,v) 2 Sym(V). The resulting covering graph has two components, one being isomorphic to G. The other componet is called THE covering graph.

Examples On the left we see The covering graph of K 2,2,2. The construction resembles truncation. Each vertex is truncated and an inverse figure is placed in the space provided for it. Theorem: If G is planar, then THE(G) is planar.

Homework H1. Given connected graph G with n vertices and e edges and with valence sequence (d 1, d 2,..., d n ). Determine the parameters for THE(G). H2. Determine all connected graphs G for which girth(G)  girth(THE(G)).

The fundamental group of a graph. Let G be a connected graph rooted at r 2 V(G) and let  denote the collection of closed walks rooted at r. Let  and  be two closed walks rooted at r. The compositum   is also a closed walk rooted at r. We may also define  -1 as the inverse walk. Finally, we need equality (equivalence).  1  2 ~  1 e e -1  2.  (G,r) :=  /~ is a group, called the fundamental group of G (first homotopy group). Fact:  (G,r) is a free group generated with m-n+1 generators.

The first Homology group of a graph Let G be a connected graph and T one of its spanning trees. Each edge h 2 G\T of the co-tree defines a unique cycle C(h) µ E(G). The charactersitic vector  h 2 {0,1} m,  h (e) = 1, if e 2 C(h) and  h (e) = 0, represents C(h). The set of all charactersitic vectors spans a m-n+1 dimensional Z -module in Z m. This can be also viewed as a free abelian group isomorphic to Z m-n+1. This group is called the first homology group H 1 (G, Z ). We may replace Z by Z k and obtain the first Z k homology group Z k m-n+1.

Pseudohomological Covers Idea: Let G be a graph and T its spanning tree and with the edges H = {h 1,h 2,...,h m-n+1 } = E(G)\E(T). Let  (H) be a group with m-n+1 interchangeable generators H. The pseudohomological  -cover HOM(G,  ) is determined by a voltage graph with  (e) = id, for e 2 E(T) and  (h) = h, for h  2 E(G)\E(T). Main Question. Is HOM(G,  ) independent of the choice of T and the selection of the generators or their inverses? If the answer is yes, the covering is called homological cover.

Pseudohomological 2-cover Let G be a graph and T its spanning tree.The pseudohomological 2-cover HOM(G, Z 2,T) is determined by a voltage graph with  (e) = 0, for e 2 E(T) and  (e) = 1, for e  E(T). Theorem. If G is connected then HOM(G, Z 2,T) is connected if and only if G is not a tree.

Example The two voltage graphs on the left determine different pseudohomological Z 2 covers. Cov(G,  2 ) is bipartite and Cov(G,  1 ) is not Z2Z2 11 22

Switching Let (G,  ) be a voltage graph. Let  : V(G) !  be an arbitrary mapping, called switching, that assigns voltages to vertices. Define a new voltage assignment  as follows:  (s) :=  (i(s))  (s)  (i(r(s)) -1.  is well-defined. Namely  (r(s)) =  (i(r(s)))  (r(s))  (i(s)) -1. Hence  (r(s)) -1 =  (i(s))  (r(s)) -1  (i(r(s))) -1 =  (i(s))  (s)  (i(r(s))) -1 =  (s). Clearly for any switching  the graphs Cov(G,  ) and Cov(G,  ) coincide. Given (G,  ) and any spanning tree T. There exists a switching  such that the resulting  is identity on T. If, in addition, T is rooted at v, we may select  (v) = id (or arbitrarily) and this determines switching completely.

Homological Elementary Abelian Covers Let G be a graph with a spanning tree T. Let k = m-n+1 be the number of edges in G\T. Define the voltage assignment  such that each non-tree edge gets the voltage e i = (0,0,..,0,1,0,...,0) 2 Z p k. Claim: If p is prime, then Cov(G,  ) is independent of T. Question: What happens in the case p is not prime?

Tree-To-Tree Switch Let T and T’ be two spanning trees of G. Let H = {h 1, h 2,..., h k } be the co-tree edges of T. Let r be the root of G. For each vertex w 2 V(G) there is a unique path P(T’,w,r) on the three T’ from w to v. Let S(w) µ H be the collection of co-tree edges on this path. Let S(w) be the label given to w. Hence  (w) =  { h i | h i 2 S(w)}. Claim: Starting with homological voltage assignment relative to T and applying the tree-to-tree switch , the voltages are given as follows: The edges on T’ get voltage 0. An edge e = uv on a co-tree T’ get the voltage: k(e) = S(u) + S(v) if e 2 T. k(e) = S(u) + S(v) + h(e) if e  T. Each co-tree edge e defines a cycle C(e). The net voltage on C(e) is equal to k(e). The voltages k(e), for e  T’ span the whole Z 2 k.

Exercises N1. Let Z n k be an elementary abelian group. Let S be a set of generators with the following property. Each element is a 0-1 vector. They generate the whole group. Show that |S| = k. Show that there is an automorphism of the group mapping S to the standard generating set.

Real Homological Cover Let G be a graph with a given cycle basis C 1, C 2,..., C k. Direct each cycle and assign to each edge of C i the voltage e i 2 Z n k. The final voltage assignmnet is given by adding the partial voltages. An example is given on the left. The cycle basis is determined by a spanning tree. (0,1) (1,0) (0,1) (1,1) (1,0) Z22Z22

Least Common Cover Theorem: There exist finite connected graphs H 1, H 2, G 1, G 2 such that G 1 and G 2 are both double covers of H 1 and H 2. Proof. We start with graphs G = G(5,2) and X that we know from earlier.

G+X and G + G Given two graphs G and H we form G+H by adding an edge between them. On the left we see G + X and G + G. The resulting graph depends on the choice of the two vertices.

H 1 and H 2 Define H 1 and H 2 as follows: H 1 = G + X + X and H 2 = G + G + X.

Covers of G+H. A double cover of G+H can be split into two double covers G * and H * and then joint them by a pair of edges. We denote the resulting graph by G * ++ H *. For instance KC(G + X) = KC(G) ++ KC(X) = G(10,3) ++ G(10,3).

End of Proof Let G 1 = G(10,3) ++ G(10,3) ++ G(10,3) and G 2 = G(10,3) ++ G(10,3) ++ 2X. G 1 and G 2 are distinct. They are both covers of H 1 and H 2.