# DEGREE-ASSOCIATED RECONSTRUCTION PARAMETERS OF COMPLETE MULTIPARTITE GRAPHS AND THEIR COMPLEMENTS

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 TAIWANESE JOURNAL OF MATHEMATICS Vol. xx, No. xx, pp. 0-0, xx 20xx DOI: /tjm This paper is available online at DEGREE-ASSOCIATED RECONSTRUCTION PARAMETERS OF COMPLETE MULTIPARTITE GRAPHS AND THEIR COMPLEMENTS Meijie Ma*, Huangping Shi, Hannah Spinoza and Douglas B. West** Abstract. A vertex-deleted subgraph of a graph G is a card. Adacard consists of a card and the degree of the missing vertex. The degree-associated reconstruction number of a graph G, denoted drn(g), is the minimum number of dacards that suffice to reconstruct G. The adversary degree-associated reconstruction number adrn(g) is the least k such that every set of k dacards determines G. The analogous parameters for degree-associated edge reconstruction are dern(g) and adern(g). We determine these four parameters for all complete multipartite graphs and their complements. The answer is usually 2 for all four parameters, but there are exceptions in each case. 1. INTRODUCTION The Reconstruction Conjecture of Kelly [5, 6] and Ulam [13] has been open for more than 50 years. A subgraph of a graph G obtained by deleting one vertex is a card. Cards are unlabeled; that is, only the isomorphism class of a card is known. The multiset of cards is the deck of G. The Reconstruction Conjecture asserts that every graph with at least three vertices is uniquely determined by its deck. Such a graph is reconstructible. For a reconstructible graph G, Harary and Plantholt [4] introduced the reconstruction number, denoted by rn(g); it is the least k such that some multiset of k cards from the deck of G determines G (meaning that every graph not isomorphic to G shares at most rn(g) 1 of these cards with G). Myrvold [11] proposed the adversary reconstruction number, denoted by arn(g); itistheleastk such that every multiset of k cards of G determines G. That is, when an adversary chooses the cards, we may Received May 22, 2014, accepted January 21, Communicated by Xuding Zhu Mathematics Subject Classification: 05C60, 05C07. Key words and phrases: Degree-associated reconstruction number, Complete multipartite graph, Adversary reconstruction. *Research supported by NNSFC grant and ZJNSF grant LY14A **Research supported by Recruitment Program of Foreign Experts, 1000 Talent Plan, State Administration of Foreign Experts Affairs, P. R. China. 1

2 2 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West need to request more cards to guarantee that G can be reconstructed no matter which ones are chosen. A degree-associated card or dacard is a pair (C, d) consisting of a card and the degree of the missing vertex. The dadeck is the multiset of dacards. Given the full deck without degrees, it is easy to compute the degrees of the missing vertices; hence the Reconstruction Conjecture is equivalent to reconstructibility from the dadeck. Without having all cards, the degree of the vertex missing from a card is hard to compute, so the dacard provides more information. Hence graphs may be reconstructible using fewer dacards than cards. If the Reconstruction Conjecture holds, then every graph is reconstructible from its dadeck. Ramachandran [12] defined the degree-associated reconstruction number, denoted drn(g), to be the minimum number of dacards that determine G. Barrus and West [1] proved drn(g) 3 for vertex-transitive graphs and drn(g) =2for all caterpillars except stars (where the value is 1) and the one 6-vertex tree with vertex degrees (3, 3, 1, 1, 1, 1). They also conjectured that the maximum of drn(g) over n- vertex graphs is n/4+2, achieved by the disjoint union of two copies of the complete bipartite graph K n/4,n/4. Although rn(g) =3for almost all graphs (Bollobás [2]), drn(g) =2for almost all graphs [1]. Monikandan et al. [10] introduced the degree-associated analogue of Myrvold s adversary concept (attributing the definition to Ramachandran). For a graph G reconstructible from its dadeck, the adversary degree-associated reconstruction number, denoted adrn(g), is the least k such that every set of k dacards determines G. The definitions immediately yield drn(g) adrn(g) for every G. Equality holds when G is vertex-transitive, since G then has only one multiset of dacards of each size. The value of adrn is known for complete graphs, complete bipartite graphs, cycles, and wheels [10]. In a subsequent paper, Monikandan and Sundar Raj [8] determined adrn for double-stars (see also [7]), for subdivisions of stars, and for the disjoint union of t complete n-vertex graphs and s cycles of length m. The proof in [1] that yields drn(g) min{r +2,n r +1} when G is r-regular with n vertices also implies adrn(g) min{r +2,n r +1}. An edge-card of G is obtained by deleting one edge; the multiset of all edge-cards is the edge-deck. The Edge-Reconstruction Conjecture (Harary [3]) states that every graph with more than three edges is determined by its edge-deck (the claw K 1,3 and the disjoint union of a triangle and one vertex have the same edge-deck). The degree of an edge e, denoted by d(e), is the number of edges incident to e; itisthedegreeof e in the line graph of G. The Edge-Reconstruction Conjecture is simply the statement that line graphs are reconstructable. In reconstructing from edge-cards, the definitions of edge-reconstruction number and adversary edge-reconstruction number are analogous to the vertex setting. Similarly, we can associate the degree of the deleted edge with an edge-card to form a decard; the

3 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 3 multisetof all decards is the dedeck. This leads to degree-associated edge-reconstruction parameters: dern(g) is theminimumk such that somemultisetof k decards determines G, andadern(g) is the minimum k such that every multiset of k decards determines G. The study of dern and adern was initiated by Monikandan and Sundar Raj [9]. They determined dern(g) and adern(g) when G is a regular graph, a complete bipartite graph, a path, a wheel, or a double-star. They also proved that dern(g) 2 and adern(g) 3 when G is a complete 3-partite set whose part-sizes differ by at most 1. In this paper, we determine drn, adrn, dern, andadern for all complete multipartite graphs and their complements. Let r be the number of parts, and let n =(n 1,...,n r ); write K n for the complete multipartite graph K n1,...,n r. A clique-union is a disjoint union of complete graphs; write G n for the clique-union that is the complement of K n. Trivially, a graph and its complement have the same value of drn [1] and the same value of adrn [8]. To determine drn(k n ) and adrn(k n ), we determine the values for G n. We show that in most cases drn(k n )=adrn(k n )=2. With n 1 n r, the exceptions for drn (Theorem 2.6) are drn(k n )=1when r =1or n 1 =1,and drn(k n )=3when r>1 and n 1 = n r 2. The exceptions for adrn (Theorem 2.7) are adrn(k n )=1when r =1or when n r 2 and n r 1 =1,andadrn(K n )=3 when n j n i {0, 2} for some i and j with n j > 1. A significant difference between the vertex-based and edge-based parameters is that a graph and its complement need not have the same value of dern and adern. For example, consider the graph C 8 formed from an 8-cycle by adding a 4-cycle through the even-indexed vertices: dern(c 8 ) > 1, but the complement of C 8 is determined by one decard. Our results for degree-associated edge-reconstruction show that in most cases dern(g n )=adern(g n )=dern(k n )=adern(k n )=2. We leave the descriptions of the exceptions to the statements of the individual theorems. The main idea in the proofs is to obtain conditions on n under which any two dacards (or any two decards, respectively) determine the graph in question, G n or K n. When these conditions fail, generally the value of the parameter is 3 or 4. However, we also note a simple condition implying dern(g) =1sometimes holds for G n or K n :IfagraphG has an edge e such that d(e) =0or no two nonadjacent vertices in G e other than the endpointsof e have degree-sumd(e), then the decard (G e, d(e)) determines G (Lemma 3.1). 2. VERTEX RECONSTRUCTION FOR G n AND K n In this section, we determine drn and adrn for G n and K n. Our main tools are conditions under which two dacards determine G n.letaj-component of a graph be a component isomorphic to K j, the complete graph with j vertices.

4 4 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West Lemma 2.1. If a graph H other than G n shares at least two dacards with G n, then H arises from such a dacard (C, d) by adding a vertex with d neighbors in a (d+1)-componentof C or with d 1 vertices in a (d 1)-component and oneneighbor in another component. Proof. The graph H arises from C by adding a vertex v having d neighbors in C. In all cases other than those listed above, every card other than H v has a component that is not a complete graph. Hence the listed cases are the only graphs other than G n that share at least two dacards with G n. The other cases to consider are (1) v has neighbors in at least three components of C, (2)v has at least two neighbors in each of two components of C, (3)v has d 1 neighbors in a j-component of C with j>d 1 and one neighbor in another component, and (4) v has all neighbors in a j-component of C with j>d+1. Lemma 2.2. Any two distinct dacards of G n determine G n. Proof. Given n =(n 1,...,n r ),letˆn t denote the r-tuple obtained from n by decreasing the t-th entry by 1. Since the given dacards are distinct, we may assume that they are (Gˆni,n i 1) and (Gˆnj,n j 1), wheren i <n j. If n i =1,thenG n has an isolated vertex and is determined by the dacard (Gˆni, 0). Henceforth assume n i 2, son j 3. LetH be a reconstruction from (Gˆnj,n j 1) that also has (Gˆni,n i 1) as a dacard. By Lemma 2.1, when H G n there are only two cases for the neighborhood of v that permit Gˆni to also be a card of H. Case 1. All neighbors of v lie in one n j -component of Gˆnj. In this case, the component C of H containing v is not a complete graph and remains in any card obtained by deleting a vertex of degree n i 1, sinceδ(c )=n j 1. Hence (Gˆni,n i 1) is not a dacard of H. Case 2. v has n j 2 neighbors in an (n j 2)-component of Gˆnj and one neighbor x in another component. In this case the only card of H distinct from Gˆnj that is a clique-union is H x. Since(Gˆni,n i 1) is a dacard of H, wehaved H (x)=n i 1. Now H x is obtained from Gˆnj by adding v to turn an (n j 2)-component into an (n j 1)-component and deleting x from an (n i 1)-component; hence H x has the same number of n j -components as Gˆnj, which is fewer than G n has. Since n i <n j, in Gˆni the number of n j -components is the same as in G n. However, the number of such components in H x is smaller. Hence H x cannot be Gˆni, which eliminates this case. Lemma 2.3. Any three identical dacards of G n determine G n. Proof. We may assume that the three dacards are copies of (Gˆni,n i 1). LetH be a graph having three copies of (Gˆni,n i 1) in its dadeck, obtained from Gˆni by adding a vertex v with degree n i 1 (in H).

5 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 5 If n i =1,thenH is formed by adding an isolated vertex to Gˆni. Hence H = G n. If n i =2,thenv has degree 1; let x be its neighbor in Gˆni. Let x be in an n j -component in Gˆni.Ifn j 3, then(gˆni, 1) occurs only once in the dadeck of H. If n j =2, then the component of H containing v is K 1,2,andH has two copies of (Gˆni, 1) in its dadeck. Having three copies of (Gˆni, 1) requires n j =1, which yields H = G n. Hencewemayassumen i 3. By Lemma 2.1, v has neighbors in at most two components of Gˆni. If two components, then one is an (n i 2)-component and the other has just one neighbor of v. If one component, then it is an n i -component or H = G n. Suppose H G n. Case 1. All neighbors of v lie in an n i -component of Gˆni. Here the component C of H containing v is not complete. It remains in all but two cards where vertices of degree n i 1 are deleted. Since H has three copies of (Gˆni,n i 1) in its dadeck, this case does not arise. Case 2. v has n i 2 neighbors in an (n i 2)-component of Gˆni and one neighbor x in another component. In this case, H u is a clique-union only for u {v, x}. Since H has at least three such cards, this case does not arise. With these lemmas, the results for drn and adrn on G n and K n do not require much more work. We will use two lemmas proved by Barrus and West [1] (the proofs are not difficult). Lemma 2.4. ([1]). A graph G satisfies drn(g) = 1 if and only if G or its complement has an isolated vertex or has a leaf whose deletion leaves a vertextransitive graph. Lemma 2.5. ([1]). drn(g) 3. If G is vertex-transitive and is not complete or edgeless, then Since complete graphs and their complements are determined by any one dacard, we consider only r 2 when studying K n. Theorem 2.6. If r 2 and n 1 n r,then 1, if n 1 =1; drn(k n ) = drn(g n )= 3, if n 1 = n r 2; 2, otherwise. Proof. Since G n is the complement of K n, it suffices to determine drn(g n ), where n =(n 1,...,n r ). By Lemma 2.4, drn(g n )=1when n 1 =1, and otherwise drn(g n ) 2. If n 1 <n r, then the dadeck of G n has two distinct dacards. By Lemma 2.2, drn(g n ) 2.

6 6 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West The only remaining case is n 1 = n r 2, whereg n is vertex-transitive and not complete or edgeless. By Lemma 2.5, drn(g n ) 3. Since r 2, ing n there are at least four vertices, so G n has at least three dacards, and Lemma 2.3 yields drn(g n ) 3. Theorem 2.7. For the complete r-partite graph K n with n 1 n r, 1, if n 1 = n r 1 =1and n r {1, 2}; adrn(k n )=adrn(g n )= 3, if n j n i {0, 2} for some i and j with n j > 1; 2, otherwise. Proof. Again it suffices to determine adrn(g n ). By Lemmas 2.2 and 2.3, adrn(g n ) 3. Whenn 1 = n r 1 =1and n r {1, 2}, any dacard of G n determines G n. If n j n i {0, 2} with n j > 1, thenconstructh from Gˆnj by adding a vertex v as follows. If n j = n i,thenletv have n j 1 neighbors in one n j -component, which exists since n i = n j. If n j = n i +2,thenletv have n j 2 neighbors in an n i -component and one neighbor x in an (n j 1)-component; note that H v = H x = Gˆnj. In either case, H G n and (Gˆnj,n j 1) appears at least twice in the dadecks of both H and G n. Thus adrn(g n ) 3. If n r 2, then the cases above yield adrn(g n )=1if n r 1 =1and adrn(g n )=3 if n r 1 =2. Therefore, we henceforth assume n r 3. Construct H from Gˆnr by adding a vertex v having n r 1 neighbors not all in the same component of Gˆnr.Since H G n,and(gˆnr,n r 1) is a dacard of both H and G n,wehaveadrn(g n ) 2. For the upper bound, by Lemma 2.2 it suffices to prove that any two identical dacards determine G n. Let (Gˆnj,n j 1) appear at least twice in the dadeck of G n and also at least twice in the dadeck of a graph H obtained from Gˆnj by adding v with n j 1 neighbors. If n j =1,thenH arises by adding an isolated vertex to Gˆnj,andH = G n. If n j =2,thenletx be the one neighbor of v in H, with x in an n i -component of Gˆnj.Ifn i 3, then(gˆnj, 1) appears only once in the dadeck of H. Ifn i =2,then the earlier case n i = n j applies. Thus n i =1, which yields H = G n. Hence we may assume n j 3. If H G n, then Lemma 2.1 leaves two cases. In the case where v has neighbors in two components of Gˆnj, the component having n j 2 neighbors of v must be an (n j 2)-component of Gˆnj.Sinced Gn (v) =n j 1, the dacard Gˆnj cannot be created from G n by deleting v from an (n j 1)-component. Hence G n must have an (n j 2)-component, which reduces to the earlier case n i = n j 2. The remaining case allowed by Lemma 2.1 is that all n j 1 neighbors of v lie in one n j -component of Gˆnj. Since Gˆnj is obtained from G n by deleting v from an n j -component, this requires a second n j -component in Gˆnj, which reduces to the earlier case n j = n i.

7 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 7 3. dern(g n ) AND adern(g n ) We now consider degree-associated edge-reconstruction numbers. As noted in the introduction, a graph and its complement may have different values of dern. Webegin with the clique-union G n and later discuss K n. Lemma 3.1. If a graph G has an edge e such that d(e) =0or no two nonadjacent vertices in G e other than the endpoints of e have degree-sum d(e), then the decard (G e, d(e)) determines G. Proof. If d(e) =0, then any reconstruction from the decard (G e, 0) must add an edge joining two isolated vertices in G e, yielding a graph isomorphic to G. In the other case, since no other pair of non-adjacent vertices in G e has degree-sum d(e), there is only one way to place the edge e to obtain a graph having (G e, d(e)) as a decard. The condition in Lemma 3.1 is sufficient but not necessary. For example, if G consists of one edge uv joining two disjoint complete graphs, then the condition fails, but dern(g) =1. In general, dern(g) =1if and only if G has an edge e such that all nonadjacent pairs in G e with degree-sum d(e) are in the same edge-orbit in the complement of G e. Lemma 3.2. For clique-unions, dern(g n )=1if and only if (1) G n has a 2- component, or (2) there exists k with k 3 such that G n has a k-component, has no (k 1)-component, and does not have both a (k + j)-component and a (k j 2)- component for any j with 0 j k 3. Proof. Sufficiency. If (1) holds, then Lemma 3.1 applies. Now suppose that G n has a k-component and that G n has neither a (k 1)-component nor both a (k + j)- component and a (k j 2)-component with 0 j k 3. For an edge uv in the k-component, d(uv)=2k 4. InG n uv, the only pair of non-adjacent vertices with degree-sum 2k 4 is {u, v}, so Lemma 3.1 applies. Necessity. We prove the contrapositive; assume that (1) and (2) fail. Since (1) fails, G n has no 2-component. Consider any edge e in G n, it belongs to some k-component with k 3. Since (2) fails, G n also either has a (k 1)-component or has a (k + j)- component and a (k j 2)-component for some j with 0 j k 3. In both cases, we can add an edge with degree 2k 4 to G n e that creates a graph not isomorphic to G n. Lemma 3.3. Any two decards of G n determine G n, except for two identical decards having degree 2 for the deleted edge. Proof. Let e 1 and e 2 be the edges deleted to form these decards, with d(e 1 ) d(e 2 ). By Lemma 3.1, we may assume d(e 1 ) > 0. Since all edges in G n have even degree, we may assume d(e 1 ) 2. We exclude the case d(e 2 )=2,sod(e 2 ) 4.

8 8 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West Let H be a reconstruction from (G n e 2,d(e 2 )) that also has (G n e 1,d(e 1 )) as a decard; H is obtained from G n e 2 by adding an edge e of degree d(e 2 ). If H G n,thene joins two vertices in distinct components of G n e 2.LetH be the component of H containing e. Since d(e 2 ) 4, there are at least six vertices in H. For any edge e of degree d(e 1 ) in H, thegraphh e has a component of order at least 4 in which e is a cut-edge. Since every component with at least four vertices in any decard of G n has no cut-edge, (G n e 1,d(e 1 )) is not a decard of H. This contradiction yields H = G n. For r 2, the disjoint union of K 1,3 with r 2 isolated vertices has the same dedecks as G (1,...,1,3), so they are not reconstructible from their dedecks. Theorem 3.4. For the graph G n with n 1 n r and n (1,...,1, 3), 1, if n satisfies the condition of Lemma 3.2; dern(g n )= 4, if n =(1,...,1, 3,...,3) with n 1 =1and n r 1 =3; 2, otherwise. Proof. We have dern(g n )=1when Lemma 3.2 applies (including all cases with n 1 > 1), and dern(g n ) 2 otherwise. If n r 4, then Lemma 3.3 yields dern(g n ) 2. In the remaining case, G n has at least two 3-components, at least one 1-component, and no components of other sizes. All decards of G n are copies of (G, 2), whereg is obtained from G n by deleting one edge. The graph obtained from G n by replacing a 1-component and a 3-component with K 1,3 also has three copies of (G, 2) in its dedeck, so dern(g n ) 4. Let H be a graph having four copies of (G, 2) in its dedeck; H is obtained from G by adding an edge e joining two vertices with degree-sum 2. If e joins the two vertices of degree 1 in G,thenH = G n. Otherwise, e joins an isolated vertex with avertexv of degree 2 in G. The component of G containing v may be a triangle or a path of length 2. Each resulting graph shares at most three decards with G n. Hence H = G n, yielding dern(g n ) 4. Let F + F denote the disjoint union of graphs F and F. Theorem 3.5. For the graph G n with n 1 n r and n (1,...,1, 3), 1, if every edge of G n satisfies the condition of Lemma 3.1; 3, if n 1 =2and G n has a 3-component; adern(g n )= 4, if n 1 =1and G n has a 3-component; 2, otherwise.

9 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 9 Proof. Case 1. Every edge of G n satisfies the condition of Lemma 3.1. By Lemma 3.1, every decard (G n e, d(e)) determines G n. Cases 2 and 3. n 1 2 and G n has a 3-component. Let c =5 n 1 ; we prove adern(g n )=c. ThegraphK 2 + K 3 shares two decards with a 5-vertex path, and the graph K 1 + K 3 shares three decards with K 1,3. Hence adern(g n ) c. For the upper bound, we show that any c decards determine G n. By Lemma 3.3, we may assume that all are copies of (G, 2), whereg arises by deleting an edge of a 3-component in G n.leth be a graph having c copies of (G, 2) in its dedeck; H arises from G by adding an edge e joining vertices with degree-sum 2. When e joins vertices of degree 1 in G, there are three possible graphs; one is G n. The others have a 5-vertex path or 3-and4-vertex paths as components. The dedecks have at most two copies of (G, 2), sinceg has only one path component with at least three vertices. When n 1 =1and c =4,alsoe may join a vertex of degree 2 to an isolated vertex, creating a component that is K 1,3 or K 1,3 plus an edge. Since G has no such component, decards shared with G n must arise by deleting an edge of this component. Three edges yield G when the component is K 1,3, but only one in the other case. Hence adern(g n ) c. Case 4. Some edge fails the condition of Lemma 3.1, and G n does not have both a 3-component and a smaller component. Since some edge fails the condition of Lemma 3.1, adern(g n ) > 1 and n r 4. Also, n 1 =3or G n has no 3-component. By Lemmas 3.1 and 3.3, any two decards determine G n. 4. dern(k n ) AND adern(k n ) Since Monikandan and Sundar Raj [9] determined these parameters for complete bipartite graphs, we henceforth assume r 3. In the complete multipartite graph K n, let a k-part be a partite set of size k (analogous to k-component in G n ). Let m = n i, so any vertex in an n j -part has degree m n j. Lemma 4.1. A decard (K n e, d(e)) determines K n if and only if (1) e joins a 1-part and a 2-part, or (2) e joins a k-part and an l-part such that k l / {1, 2} and K n has no ( k+l 2 +1)-part. Proof. Sufficiency. Under (1), d(e) =2m 5. InK n e, the only nonadjacent pairs of vertices with degree-sum 2m 5 are the endpoints of e and the vertices of the 2-part containing an endpoint of e. Adding either edge yields K n. Under (2), d(e) =2m (k + l) 2. Since k l / {1, 2}, no two vertices within one of these parts has degree-sum d(e) in K n e. Since also K n has no ( k+l 2 +1)-part, the only nonadjacent vertices in K n e with degree-sum d(e) are the endpoints of e.

10 10 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West Necessity. Anedgee failing the condition joins a k-part and an l-part such that (1) {k, l} {1, 2} and (2) k l {1, 2} or K n has a ( k+l 2 +1)-part. In either case, we can add an edge with degree 2m (k + l) 2 to K n e to create a graph not isomorphic to K n. Lemma 4.2. Any two decards of K n determine K n, except when the two decards are the same and are generated by deleting an edge joining a 3-part to a smaller part. Proof. Let (K n e 1,d(e 1 )) and (K n e 2,d(e 2 )) be two decards. Suppose that e 1 joins an i-part and a j-part, with i j, ande 2 joins a k-part and an l-part, with k l. We may assume that neither edge satisfies the condition of Lemma 4.1. Thus (i, j), (k, l) / {(1, 1), (1, 2)}. Hence, i + j 4 and k + l 4. The complement of K n is G n, with r components, all complete. The complement of K n e 1 is G n + e 1,wheree 1 joins an i-component and a j-component of G n. Hence G n + e 1 has r 1 components. Let H be a reconstruction from (K n e 1,d(e 1 )) that also has (K n e 2,d(e 2 )) as a decard. Let e be the added edge, so H = K n e 1 + e.lete be the edge deleted from H to obtain K n e 2 ;notethate has degree d(e 2 ) in H. We may assume e e, even if K n e 1 = Kn e 2. Let H = K n e 1 + e e; the complement of H is G n + e 1 e + e. If e = e 1,thenH = K n, so we may assume e e 1. Our task is to show that in this case, H cannot be isomorphic to K n e 2, and hence no graph other than K n shares these two decards with K n. Since e e 1,theedgee is not a cut-edge of G n + e 1. Hence G n + e 1 e has r 1 components. If the endpoints of e lie in different components of G n + e 1 e, then the complement of H has r 2 components. Since the complement of K n e 2 has r 1 components, H cannot be a decard of K n and hence cannot be K n e 2. Hence we may assume that the endpoints of e lie in one component of G n + e 1 e. Let G denote the non-complete component of G n + e 1,inwhiche 1 is a cut-edge. Since e 1 does not satisfy the condition of Lemma 4.1, we have that j i {1, 2} or that K n has an ( i+j 2 +1)-part, or both. We distinguish cases based on the location of e. Case 1. j i {1, 2} and e joins two vertices in the j-part having an endpoint of e 1. Since (i, j) (1, 2), wehavej 3. Sincee E(G ) in this case, G e is the only component of G n + e 1 e that is not complete. Hence G e is the component of G n + e 1 e containing both endpoints of e (recall that K n e 2 = H e). If j 4, theng e + e has no cut-edge. Thus no component with at least four vertices in the complement of H has a cut-edge. However, since k + l 4, the complement of K n e 2 has a component with at least four vertices in which e 2 is a cut-edge. Hence H K n e 2. If j =3and i =1,thenG e = K 1,3. We have G e + e = G and

11 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 11 G n + e 1 e + e = G n + e 1. Hence, H = K n e 1. Inthiscasewehaveassumed that the two decards are not the same. That is, K n e 2 K n e 1, which yields H K n e 2, as desired. If j =3and i =2,thenG e is a 5-vertex path. Up to isomorphism, there are four ways to add e to form G e + e. One of them creates G ; as in the previous subcase, this is forbidden by assuming K n e 2 K n e 1. In the other three cases (5-cycle, 4-cycle plus pendant edge, 3-cycle plus two pendant edges), G e +e cannot be produced by adding an edge joining two complete graphs. That is, H e is not a decard of K n. Case 2. e joins two vertices of K n in an ( i+j 2 +1)-part. In this case, i+j is even. By Case 1, we may assume that the part containing the endpoints of e does not contain an endpoint of e 1. Hence the complement G n + e 1 e of H has two non-complete components, one of which contains both endpoints of e. Sincewehaveassumede e,ande is the only edge missing from the component of G n + e 1 e containing its endpoints, again e must join two vertices of G,asin Case 1. Since G has at least four vertices, G + e is not a complete graph. Hence the complement of H has two non-complete components. This implies that H cannot be a decard of a complete multipartite graph and hence cannot be K n e 2. The problem is simpler for r =2, because K m,n is edge-transitive. Monikandan and Sundar Raj [9] solved it; we include the statement for completeness. Theorem 4.3 ([9]). For 1 m n and (m, n) (1, 3), 3, if (m, n)=(2, 3); adern(k m,n )=dern(k m,n )= 2, if n 4 and m {n 1,n 2}; 1, otherwise. Theorem 4.4. If r 3 and n 1 n r,then { 1, if (n 1,...,n r ) satisfies the condition of Lemma 4.1; dern(k n )= 2, otherwise. Proof. We have dern(k n )=1when (n 1,...,n r ) satisfies the condition of Lemma 4.1. Otherwise, dern(k n ) > 1 and n 1 n r. Since also r 3, thereare distinct decards of K n, and Lemma 4.2 yields dern(k n ) 2. Theorem 4.5. If r 3 and n 1 n r,then 1, if every edge of K n satisfies the condition of Lemma 4.1; 3, if n 1 =2and K n has a 3-part; adern(k n )= 4, if n 1 =1and K n has a 3-part; 2, otherwise.

12 12 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West Proof. Case 1. Every edge of K n satisfies the condition of Lemma 4.1. By Lemma 4.1, every decard (G n e, d(e)) determines K n. Case 2. K n has a 3-part and a 2-part but no 1-part. Let S be the union of a 3-part and a 2-part. Let F be a 4-cycle plus a pendant edge, and let F be a 5-cycle plus a chord. Both K 2,3 and F have two copies of (F, 3) as decards. Hence substituting F for the subgraph of K n induced by S yields a graph sharing two decards with K n,so adern(k n ) 3. For the upper bound, since K n has no 1-part, Lemma 4.2 implies that we only need to prove that K n is determined by three copies of the decard (K n e, d(e)), wheree joins two vertices of S. Notethatd(e) =2m 7, wherem = V (K n ). ConstructH from K n e by adding an edge e of degree 2m 7. IfH K n,thene joins vertices of degrees m 4 and m 3 in the 3-part. The subgraph of H induced by S is F. Each vertex of S has m 5 neighbors outside S. Hence to obtain (K n e, 2m 7) as a decard of H, we must delete an edge with degree 3 in F. There are four such edges, but only two yield F when deleted. Hence H has only two copies of (K n e, 2m 7) in its dedeck, so adern(k n ) 3. Case 3. K n has a 3-part and a 1-part. Let S be the union of a 3-part and a 1-part. Substituting K 1 + K 3 for the subgraph of K n induced by S (which is K 1,3 ) yields a graph sharing three decards with K n,soadern(k n ) 4. For the upper bound, by Lemma 4.2 we only need to prove that four identical decards obtained by deleting an edge joining a 3-part to a smaller part determine K n. If the smaller part is a 2-part, then the argument for Case 2 applies. Hence we only need to prove that four copies of (K n e, 2m 6) determine K n,wheree joins a 3-part and a 1-part. Construct H from K n e by adding an edge of degree 2m 6. IfH K n,then H is formed by adding an edge joining the two vertices of degree m 3 in a 3-part. The graph H has at most three copies of (K n e, 2m 6) in its dedeck. Hence, adern(k n ) 4. Case 4. Some edge fails the condition of Lemma 4.1, and K n does not have both a 3-part and a smaller part. Since some edge fails the condition of Lemma 4.1, adern(k n ) > 1. Every edge of K n joins an i-part and a j-part, where (i, j) / {(1, 3), (2, 3)}. By Lemma 4.2, any two decards determine K n. REFERENCES 1. M.D. Barrus and D.B. West, Degree-associated reconstruction number of graphs, Discrete Math., 310 (2010), B. Bollobás, Almost every graph has reconstruction number three, J. Graph Theory, 14 (1990), F. Harary, On the reconstruction of a graph from a collection of subgraphs, Theory of

13 Degree-associated Reconstruction Parameters of Multicliques and Their Complements 13 Graphs and its Applications (Proc. Sympos. Smolenice, 1963), Publ. House Czechoslovak Acad. Sci., Prague, 1964, pp F. Harary and M. Plantholt, The graph reconstruction number, J. Graph Theory, 9 (1985), P. J. Kelly, On isometric transformations, PhD Thesis, University of Wisconsin-Madison, P. J. Kelly, A congruence theorem for trees, Pacific J. Math., 7 (1957), M. Ma, H. Shi, and D. B. West, Adversary degree-associated reconstruction number of double-stars, submitted. 8. S. Monikandan and S. Sundar Raj, Adversary degree associated reconstruction number of graphs, Disc. Math. Alg. Appl., submitted. 9. S. Monikandan and S. Sundar Raj, Degree associated edge reconstruction number, in: Proc. 23rd International Workshop on Combinatorial Algorithm (IWOCA 2012), S. Arumugam and B. Smyth, eds., Lect. Notes Comp. Sci., 7643 (2012), S. Monikandan, S. Sundar Raj, C. Jayasekaran, and A.P. Santhakumaran, A note on the adversary degree associated reconstruction number of graphs, J. Discrete Math., Vol. 2013, Article ID , 2013, 5 pages, dx.doi.org/ /2013/ W. J. Myrvold, The ally and adversary reconstruction problems, PhD thesis, University of Waterloo, S. Ramachandran, Degree associated reconstruction number of graphs and digraphs, Mano. Int. J. Math. Sci., 1 (2000), S. M. Ulam, A collection of mathematical problems, Interscience Tracts in Pure and Applied Mathematics, 8, Interscience Publishers, Meijie Ma Department of Mathematics Zhejiang Normal University Jinhua P. R. China Huangping Shi Department of Mathematics Zhejiang Normal University Jinhua P. R. China

14 14 Meijie Ma, Huangping Shi, Hannah Spinoza and Douglas B. West Hannah Spinoza Department of Mathematics University of Illinois Urbana IL U.S.A. Douglas B. West Departments of Mathematics Zhejiang Normal University Jinhua P. R. China and University of Illinois Urbana IL U.S.A.

### Degree-associated reconstruction parameters of complete multipartite graphs and their complements

Degree-associated reconstruction parameters of complete multipartite graphs and their complements Meijie Ma, Huangping Shi, Hannah Spinoza, Douglas B. West January 23, 2014 Abstract Avertex-deleted subgraphofagraphgisacard.

### Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C

### Odd induced subgraphs in graphs of maximum degree three

Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing

### A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### Graph Theory Notes. Vadim Lozin. Institute of Mathematics University of Warwick

Graph Theory Notes Vadim Lozin Institute of Mathematics University of Warwick 1 Introduction A graph G = (V, E) consists of two sets V and E. The elements of V are called the vertices and the elements

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average

### On the k-path cover problem for cacti

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

### SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

### Tenacity and rupture degree of permutation graphs of complete bipartite graphs

Tenacity and rupture degree of permutation graphs of complete bipartite graphs Fengwei Li, Qingfang Ye and Xueliang Li Department of mathematics, Shaoxing University, Shaoxing Zhejiang 312000, P.R. China

### A 2-factor in which each cycle has long length in claw-free graphs

A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

### Solutions to Exercises 8

Discrete Mathematics Lent 2009 MA210 Solutions to Exercises 8 (1) Suppose that G is a graph in which every vertex has degree at least k, where k 1, and in which every cycle contains at least 4 vertices.

### DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Professor Kindred Math 04 Graph Theory Homework 7 Solutions April 3, 03 Introduction to Graph Theory, West Section 5. 0, variation of 5, 39 Section 5. 9 Section 5.3 3, 8, 3 Section 7. Problems you should

### All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

### On a tree graph dened by a set of cycles

Discrete Mathematics 271 (2003) 303 310 www.elsevier.com/locate/disc Note On a tree graph dened by a set of cycles Xueliang Li a,vctor Neumann-Lara b, Eduardo Rivera-Campo c;1 a Center for Combinatorics,

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

MATHEMATICAL COMMUNICATIONS 47 Math. Commun., Vol. 15, No. 2, pp. 47-58 (2010) Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices Hongzhuan Wang 1, Hongbo Hua 1, and Dongdong Wang

### Total colorings of planar graphs with small maximum degree

Total colorings of planar graphs with small maximum degree Bing Wang 1,, Jian-Liang Wu, Si-Feng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### Balloons, Cut-Edges, Matchings, and Total Domination in Regular Graphs of Odd Degree

Balloons, Cut-Edges, Matchings, and Total Domination in Regular Graphs of Odd Degree Suil O, Douglas B. West November 9, 2008; revised June 2, 2009 Abstract A balloon in a graph G is a maximal 2-edge-connected

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### Extremal Wiener Index of Trees with All Degrees Odd

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 70 (2013) 287-292 ISSN 0340-6253 Extremal Wiener Index of Trees with All Degrees Odd Hong Lin School of

### A maximum degree theorem for diameter-2-critical graphs

Cent. Eur. J. Math. 1(1) 01 188-1889 DOI: 10.78/s11533-01-09-3 Central European Journal of Mathematics A maximum degree theorem for diameter--critical graphs Research Article Teresa W. Haynes 1,, Michael

### The chromatic spectrum of mixed hypergraphs

The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex

### Characterizations of Arboricity of Graphs

Characterizations of Arboricity of Graphs Ruth Haas Smith College Northampton, MA USA Abstract The aim of this paper is to give several characterizations for the following two classes of graphs: (i) graphs

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### A simple existence criterion for normal spanning trees in infinite graphs

1 A simple existence criterion for normal spanning trees in infinite graphs Reinhard Diestel Halin proved in 1978 that there exists a normal spanning tree in every connected graph G that satisfies the

### UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs

### Divisor graphs have arbitrary order and size

Divisor graphs have arbitrary order and size arxiv:math/0606483v1 [math.co] 20 Jun 2006 Le Anh Vinh School of Mathematics University of New South Wales Sydney 2052 Australia Abstract A divisor graph G

### Removing Even Crossings

EuroComb 2005 DMTCS proc. AE, 2005, 105 110 Removing Even Crossings Michael J. Pelsmajer 1, Marcus Schaefer 2 and Daniel Štefankovič 2 1 Department of Applied Mathematics, Illinois Institute of Technology,

### (a) (b) (c) Figure 1 : Graphs, multigraphs and digraphs. If the vertices of the leftmost figure are labelled {1, 2, 3, 4} in clockwise order from

4 Graph Theory Throughout these notes, a graph G is a pair (V, E) where V is a set and E is a set of unordered pairs of elements of V. The elements of V are called vertices and the elements of E are called

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

### Oriented Diameter of Graphs with Diameter 3

Oriented Diameter of Graphs with Diameter 3 Peter K. Kwok, Qi Liu, Douglas B. West revised November, 2008 Abstract In 1978, Chvátal and Thomassen proved that every 2-edge-connected graph with diameter

### On Some Vertex Degree Based Graph Invariants

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 65 (20) 723-730 ISSN 0340-6253 On Some Vertex Degree Based Graph Invariants Batmend Horoldagva a and Ivan

### 136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

### Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs

Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs Yong Zhang 1.2, Francis Y.L. Chin 2, and Hing-Fung Ting 2 1 College of Mathematics and Computer Science, Hebei University,

### Generalizing the Ramsey Problem through Diameter

Generalizing the Ramsey Problem through Diameter Dhruv Mubayi Submitted: January 8, 001; Accepted: November 13, 001. MR Subject Classifications: 05C1, 05C15, 05C35, 05C55 Abstract Given a graph G and positive

### COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics

### Chapter 4. Trees. 4.1 Basics

Chapter 4 Trees 4.1 Basics A tree is a connected graph with no cycles. A forest is a collection of trees. A vertex of degree one, particularly in a tree, is called a leaf. Trees arise in a variety of applications.

### Connectivity and cuts

Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every

### Tree Cover of Graphs

Applied Mathematical Sciences, Vol. 8, 2014, no. 150, 7469-7473 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.49728 Tree Cover of Graphs Rosalio G. Artes, Jr. and Rene D. Dignos Department

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3. University of Split, Croatia

GLASNIK MATEMATIČKI Vol. 38(58)(2003), 2 232 MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3 Damir Vukičević University of Split, Croatia

### Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

### An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

### arxiv: v2 [math.co] 30 Nov 2015

PLANAR GRAPH IS ON FIRE PRZEMYSŁAW GORDINOWICZ arxiv:1311.1158v [math.co] 30 Nov 015 Abstract. Let G be any connected graph on n vertices, n. Let k be any positive integer. Suppose that a fire breaks out

### CS268: Geometric Algorithms Handout #5 Design and Analysis Original Handout #15 Stanford University Tuesday, 25 February 1992

CS268: Geometric Algorithms Handout #5 Design and Analysis Original Handout #15 Stanford University Tuesday, 25 February 1992 Original Lecture #6: 28 January 1991 Topics: Triangulating Simple Polygons

### 1 Digraphs. Definition 1

1 Digraphs Definition 1 Adigraphordirected graphgisatriplecomprisedofavertex set V(G), edge set E(G), and a function assigning each edge an ordered pair of vertices (tail, head); these vertices together

### M-Degrees of Quadrangle-Free Planar Graphs

M-Degrees of Quadrangle-Free Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA E-mail: brdnoleg@math.nsc.ru

### Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania

Graph Theory Introduction. Distance in Graphs. Trees Isabela Drămnesc UVT Computer Science Department, West University of Timişoara, Romania November 2016 Isabela Drămnesc UVT Graph Theory and Combinatorics

### Special Classes of Divisor Cordial Graphs

International Mathematical Forum, Vol. 7,, no. 35, 737-749 Special Classes of Divisor Cordial Graphs R. Varatharajan Department of Mathematics, Sri S.R.N.M. College Sattur - 66 3, Tamil Nadu, India varatharajansrnm@gmail.com

### On-line Ramsey Theory for Bounded Degree Graphs

On-line Ramsey Theory for Bounded Degree Graphs Jane Butterfield Tracy Grauman William B. Kinnersley Kevin G. Milans Christopher Stocker Douglas B. West University of Illinois Urbana IL, U.S.A. Submitted:

### Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency.

Mária Markošová Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency. Isomorphism of graphs. Paths, cycles, trials.

### THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER

THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER JONATHAN P. MCCAMMOND AND GÜNTER ZIEGLER Abstract. In 1933 Karol Borsuk asked whether every compact subset of R d can be decomposed

### GRAPH THEORY LECTURE 4: TREES

GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection

### Planarity Planarity

Planarity 8.1 71 Planarity Up until now, graphs have been completely abstract. In Topological Graph Theory, it matters how the graphs are drawn. Do the edges cross? Are there knots in the graph structure?

### On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

### On the crossing number of K m,n

On the crossing number of K m,n Nagi H. Nahas nnahas@acm.org Submitted: Mar 15, 001; Accepted: Aug 10, 00; Published: Aug 1, 00 MR Subject Classifications: 05C10, 05C5 Abstract The best lower bound known

### Unicyclic Graphs with Given Number of Cut Vertices and the Maximal Merrifield - Simmons Index

Filomat 28:3 (2014), 451 461 DOI 10.2298/FIL1403451H Published by Faculty of Sciences Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Unicyclic Graphs with Given Number

### Discrete Applied Mathematics. The firefighter problem with more than one firefighter on trees

Discrete Applied Mathematics 161 (2013) 899 908 Contents lists available at SciVerse ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam The firefighter problem with

### A CHARACTERIZATION OF TREE TYPE

A CHARACTERIZATION OF TREE TYPE LON H MITCHELL Abstract Let L(G) be the Laplacian matrix of a simple graph G The characteristic valuation associated with the algebraic connectivity a(g) is used in classifying

### Graph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs

Graph Isomorphism Completeness for Perfect Graphs and Subclasses of Perfect Graphs C. Boucher D. Loker May 2006 Abstract A problem is said to be GI-complete if it is provably as hard as graph isomorphism;

### Basic Notions on Graphs. Planar Graphs and Vertex Colourings. Joe Ryan. Presented by

Basic Notions on Graphs Planar Graphs and Vertex Colourings Presented by Joe Ryan School of Electrical Engineering and Computer Science University of Newcastle, Australia Planar graphs Graphs may be drawn

### 1 Plane and Planar Graphs. Definition 1 A graph G(V,E) is called plane if

Plane and Planar Graphs Definition A graph G(V,E) is called plane if V is a set of points in the plane; E is a set of curves in the plane such that. every curve contains at most two vertices and these

### SCORE SETS IN ORIENTED GRAPHS

Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in

### On minimal forbidden subgraphs for the class of EDM-graphs

Also available at http://amc-journaleu ISSN 8-966 printed edn, ISSN 8-97 electronic edn ARS MATHEMATICA CONTEMPORANEA 9 0 6 On minimal forbidden subgraphs for the class of EDM-graphs Gašper Jaklič FMF

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### BOUNDARY EDGE DOMINATION IN GRAPHS

BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 0-4874, ISSN (o) 0-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 5(015), 197-04 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA

### Extremal Graphs without Three-Cycles or Four-Cycles

Extremal Graphs without Three-Cycles or Four-Cycles David K. Garnick Department of Computer Science Bowdoin College Brunswick, Maine 04011 Y. H. Harris Kwong Department of Mathematics and Computer Science

### Large induced subgraphs with all degrees odd

Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order

### Planar Tree Transformation: Results and Counterexample

Planar Tree Transformation: Results and Counterexample Selim G Akl, Kamrul Islam, and Henk Meijer School of Computing, Queen s University Kingston, Ontario, Canada K7L 3N6 Abstract We consider the problem

### An inequality for the group chromatic number of a graph

Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### Every tree is 3-equitable

Discrete Mathematics 220 (2000) 283 289 www.elsevier.com/locate/disc Note Every tree is 3-equitable David E. Speyer a, Zsuzsanna Szaniszlo b; a Harvard University, USA b Department of Mathematical Sciences,

### Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

- 1 - THREE TREE-PATHS Avram Zehavi Alon Itai Computer Science Department Technion - IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

### Available online at ScienceDirect. Procedia Computer Science 74 (2015 ) 47 52

Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 74 (05 ) 47 5 International Conference on Graph Theory and Information Security Fractional Metric Dimension of Tree and

### Math 443/543 Graph Theory Notes 4: Connector Problems

Math 443/543 Graph Theory Notes 4: Connector Problems David Glickenstein September 19, 2012 1 Trees and the Minimal Connector Problem Here is the problem: Suppose we have a collection of cities which we

### COLORED GRAPHS AND THEIR PROPERTIES

COLORED GRAPHS AND THEIR PROPERTIES BEN STEVENS 1. Introduction This paper is concerned with the upper bound on the chromatic number for graphs of maximum vertex degree under three different sets of coloring

### Chapter 2. Basic Terminology and Preliminaries

Chapter 2 Basic Terminology and Preliminaries 6 Chapter 2. Basic Terminology and Preliminaries 7 2.1 Introduction This chapter is intended to provide all the fundamental terminology and notations which

### ON THE TREE GRAPH OF A CONNECTED GRAPH

Discussiones Mathematicae Graph Theory 28 (2008 ) 501 510 ON THE TREE GRAPH OF A CONNECTED GRAPH Ana Paulina Figueroa Instituto de Matemáticas Universidad Nacional Autónoma de México Ciudad Universitaria,

### Introduction to Graph Theory

Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### Minimum degree condition forcing complete graph immersion

Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139

### Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept

### Finding and counting given length cycles

Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected

### SEMITOTAL AND TOTAL BLOCK-CUTVERTEX GRAPH

CHAPTER 3 SEMITOTAL AND TOTAL BLOCK-CUTVERTEX GRAPH ABSTRACT This chapter begins with the notion of block distances in graphs. Using block distance we defined the central tendencies of a block, like B-radius

### High degree graphs contain large-star factors

High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

### Generalized Induced Factor Problems

Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

### GRAPHS AND ZERO-DIVISORS. In an algebra class, one uses the zero-factor property to solve polynomial equations.

GRAPHS AND ZERO-DIVISORS M. AXTELL AND J. STICKLES In an algebra class, one uses the zero-factor property to solve polynomial equations. For example, consider the equation x 2 = x. Rewriting it as x (x

### The Independence Number in Graphs of Maximum Degree Three

The Independence Number in Graphs of Maximum Degree Three Jochen Harant 1 Michael A. Henning 2 Dieter Rautenbach 1 and Ingo Schiermeyer 3 1 Institut für Mathematik, TU Ilmenau, Postfach 100565, D-98684

### Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3

Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3 Cristina Bazgan a and Zsolt Tuza b,c,d a LAMSADE, Université Paris-Dauphine, Place du Marechal de Lattre de Tassigny, F-75775 Paris

### Lecture 4: The Chromatic Number

Introduction to Graph Theory Instructor: Padraic Bartlett Lecture 4: The Chromatic Number Week 1 Mathcamp 2011 In our discussion of bipartite graphs, we mentioned that one way to classify bipartite graphs

### Sample Problems in Discrete Mathematics

Sample Problems in Discrete Mathematics This handout lists some sample problems that you should be able to solve as a pre-requisite to Computer Algorithms Try to solve all of them You should also read

### Chapter 6 Planarity. Section 6.1 Euler s Formula

Chapter 6 Planarity Section 6.1 Euler s Formula In Chapter 1 we introduced the puzzle of the three houses and the three utilities. The problem was to determine if we could connect each of the three utilities

### Lecture 17 : Equivalence and Order Relations DRAFT

CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion