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

Save this PDF as:

Size: px
Start display at page:

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

## Transcription

1 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 to model the channel assignment problem proposed by Fred Roberts [Ro, 1988]. An L(2, 1)-labeling of a simple graph G is a nonnegative integer-valued function f : V (G) {0,1,2,...} such that, whenever x and y are two adjacent vertices in V(G), then f (x) f (y) 2, and, whenever the distance between x and y is 2, then f (x) f (y) 1. The L(2,1)-labeling number of G, denoted λ(g), is the smallest number m such that G has an L(2,1)-labeling with no label greater than m. Much work has been done to bound λ(g) with respect to the maximum degree of G ([Cha, 1996], [Go, 2004], [Gr, 1992], [Kr, 2003], [Jo, 1993]). Griggs and Yeh [Gr, 1992] conjectured that λ 2 when 2. In 1, we review the basics of graph theory. This section is intended for those with little or no background in graph theory and may be skipped as needed. In 2, we introduce the notion of L(2,1)-labeling. In 3, we give the labeling numbers for special classes of graphs. In 4, we use the greedy labeling algorithm to establish an upper bound for λ in terms of. In 5, we use the Chang-Kuo algorithm to improve our bound. In 6, we prove the best known bound for general graphs. 1. PRELIMINARIES 1.1. Basic Graph Theory. We begin with the problem known to have started it all. The city of Königsburg, Prussia was located on the Pregel River and included two islands connected to each other and the mainland by seven bridges, as illustrated in Figure 1. The locals wondered if it was possible to start on one of the land masses, cross all seven bridges exactly once, and return to the starting point. Evidently, it is impossible. To help see why, we must first introduce the notion of a graph. Definition 1.1. A (simple) graph 1 G is a pair (V,E) consisting of a set of vertices V (G) and a set of edges E(G), where edges are of the form {v 1,v 2 } V(G) with v 1 v 2. Two vertices v 1,v 2 V (G) are said to be adjacent or neighbors if {v 1,v 2 } E(G). Date: April 27, Key words and phrases. L(2,1)-labeling, channel assignment problem, distance dependent graph coloring analogues. 1 For the purposes of this paper, all graphs henceforth will be considered simple. 1

2 2 Andrew Lum FIGURE 1. The Seven Bridges of Königsburg Informally, then, a graph is a set of vertices, some of which are connected by edges. Graphs are most often visualized pictorially. Figure 2 gives an example of a graph on 6 vertices. FIGURE 2. A graph with 6 vertices and 5 edges Definition 1.2. The degree of a vertex v, denoted (v), is the number of edges incident to it. The maximum degree of a graph G, denoted (G), is the greatest (v) over all v V (G). For example, in the graph G in Figure 2, vertex 3 has degree 3. Since it is the vertex with the greatest number of edges incident to it, (G) = 3. Graphs model pairwise relations between objects. For example, Figure 3 shows a graph modeling the seven bridges of Königsburg, where vertices represent land masses and edges represent bridges. This graph makes it easy to argue that the desired traversal is impossible. Notice each vertex has odd degree, either three or five. If we start on a vertex with degree three, we must leave through one edge, come back through another, and leave again through the remaining edge, making it impossible to return while crossing each edge exactly once. Likewise if we start on the vertex with degree five, we leave, come back, leave, come back, and leave again. Thus, no matter where we start, we will never be able to return to our starting position if we are required to cross every bridge exactly once. Definition 1.3. A complete graph is a graph whose vertices are all pairwise adjacent. The complete graph on n vertices is denoted K n.

3 L(2, 1)-Labeling 3 FIGURE 3. The Seven Bridges of Königsburg as a graph Definition 1.4. A path is a graph whose vertices can be ordered so that two vertices are adjacent if and only if they are consecutive in the list. An n-path, denoted P n, is a path on n vertices. See Figure 4. A path has exactly two vertices of degree 1 (these are the first and last vertices in the ordered list); the rest are of degree 2. Definition 1.5. A cycle is a graph with an equal number of vertices and edges whose vertices can be placed around a circle so that two vertices are adjacent if and only if they appear consecutively along the circle. An n-cycle, denoted C n, is a cycle on n vertices. Deleting one edge from a cycle produces a path as illustrated in Figure 4. To generalize this concept, we introduce the notion of a subgraph. FIGURE 4. A 5-path P 5 (left) and a 5-cycle C 5 (right) Definition 1.6. A subgraph of a graph G is a graph H such that V (H) V(G) and E(H) E(G). We say that G contains H. As in the previous example (Figure 4), P 5 is a subgraph of C 5. Definition 1.7. A u, v-path is a path whose vertices of degree 1 (its endpoints) are u and v. If a graph G contains a u,v-path, then the distance between u and v, denoted d(u, v), is the number of edges in the shortest u, v-path. For example, in Figure 2, the distance between vertices 1 and 6 is 4. Definition 1.8. A graph is connected if it contains a u,v-path whenever u,v V(G).

4 4 Andrew Lum In other words, a graph is connected if we can get from any point on the graph to any other point on the graph by following edges. All the graphs illustrated so far are connected. However, if we delete any edge from the graph in Figure 2, the graph will no longer be connected. For our purposes, we will mainly be concerned with connected graphs. Definition 1.9. A tree is a connected graph containing no cycles. A leaf is a vertex of degree 1. An example of a tree is given in Figure 5. Its leaves are v 1, v 2, v 3, v 4, v 6, v 7, v 8, and v 9. Notice the path between any two vertices is unique. This is true for trees in general. FIGURE 5. A tree Definition A rooted tree is a tree with one vertex r chosen as the root. For each vertex v, let P(v) be the unique v,r-path. The parent of v is its neighbor on P(v); its children are its other neighbors. In Figure 5, for example, if we choose v 14 as the root, v 5 has v 12 as a parent and v 3 and v 4 as children. Definition A spanning subgraph of a graph G is a subgraph with vertex set V(G). A spanning tree is a spanning subgraph that is a tree. We can get a spanning tree from any connected graph by repeatedly removing an edge from a cycle. Next, we consider another problem that can be solved using graph theory Coloring and Brooks Theorem. Suppose we want to assign time slots for final exams so that two courses with a common student have different slots. To solve this and similar problems, we use the notion of graph coloring. Definition A k-coloring of a graph G is a labeling f : V (G) S, where S = k. The labels are called colors and the vertices of one color form a color class. A k-coloring is proper if no two adjacent vertices are in the same color class. A graph is k-colorable if it has a proper k-coloring. (See Figure 6.)

5 L(2, 1)-Labeling 5 FIGURE 6. The graph in Figure 2 is 2-colorable. Typically when we speak of graph coloring, we mean proper coloring. Definition The chromatic number of a graph G, written χ(g), is the least k such that G is k-colorable. For example, the chromatic number of the graph in Figure 6 is 2 since it has a proper 2-coloring and it cannot be properly colored with only 1 color. So, to solve our scheduling problem, we can create a graph where vertices represent courses and edges represent a common student in both courses. The least number of time slots needed, then, is the chromatic number of the graph. In general, finding the chromatic number of a graph can be used to solve a wide variety of optimization problems. As a result, it becomes useful to find upper bounds on the chromatic number based on the structure of the graph. This leads to Brooks Theorem. Brooks Theorem. [We, 1993] If G is a connected graph other than a complete graph or an odd cycle, then χ(g) (G). Brooks Theorem gives an upper bound for the chromatic number of graphs in terms of its maximum degree. As we will see in the next section, a natural extension of graph coloring uses this same idea. 2. BASIC IDEAS BEHIND GRAPH LABELING Suppose we have a distribution of radio station transmitters scattered across town. Now suppose we wanted to assign channel frequencies to these transmitters. However, we have to be careful. Transmitters that are close together cannot be assigned the same channel frequency or else they would interfere with each other. For the same reason, transmitters that are very close together must be assigned channel frequencies at least two units apart. One way to approach this problem is reduce our situation to a graph. We can have vertices represent radio station transmitters and edges connect vertices that are very close. The assignment of channel frequencies will be represented through what we call L(2, 1)-labeling.

6 6 Andrew Lum Definition 2.1. An L(2, 1)-labeling (sometimes simply referred to as a labeling) of a graph G is a nonnegative integer-valued function f : V(G) {0,1,2,...} such that, whenever x and y are two adjacent vertices in V(G), then f (x) f (y) 2, and, whenever the distance between x and y is 2, then f (x) f (y) 1. So, if two vertices are a distance two apart, they cannot be assigned the same label. If two vertices are adjacent, their labels must differ by at least two. An example of this is given in Figure 7. FIGURE 7. An L(2, 1)-labeling Definition 2.2. The L(2, 1)-labeling number of G, denoted λ(g), is the smallest number m such that G has an L(2, 1)-labeling with no label greater than m. The L(2, 1)-labeling number of a graph labeling is analogous to the chromatic number of graph coloring. In the next section, we give examples of the labeling numbers of special classes of graphs. 3. LABELING NUMBERS OF SPECIAL CLASSES OF GRAPHS 3.1. Complete Graphs. Consider the complete graph on n vertices, K n. Proposition 3.1. λ(k n ) = 2n 2. Proof. Given K n with vertices v 1, v 2,..., v n, the function f :V (G) {0,1,2,...,2n 2} defined by f (v i ) = 2i 2 is a labeling of K n. So, λ(k n ) 2n 2. We claim we can t label K n with just the numbers 0, 1, 2,..., 2n 3. Note that we have 2n 2 labels that need to be assigned to n vertices. We can think of this as n 1 disjoint pairs of consecutive labels in which n vertices must be placed. By the pigeon hole principle, one of these pairs of consecutive labels must contain two vertices. However, since these two vertices are adjacent in K n, this violates our labeling condition. Thus, λ(k n ) = 2n 2. Figure 8 illustrates a minimal labeling of K Paths. First, consider P 2. We start by labeling one vertex 0. This forces the other vertex to be at least 2. So λ(p 2 ) = 2, as in Figure 9. Proposition 3.2. λ(p 3 ) = 3.

7 L(2, 1)-Labeling 7 FIGURE 8. An L(2,1)-labeling of K 5 FIGURE 9. L(2,1)-labelings of P 2, P 3, P 4, and P 5 (from top to bottom) Proof. For P 3, we can label the leftmost vertex 0, the middle vertex 3, and the rightmost vertex 1, as shown in Figure 9. So, λ(p 3 ) 3. We claim we can t label P 3 with just the numbers 0, 1, and 2. The label 1 could not be used anywhere or else it would have to be adjacent to 0, 1, or 2, all of which violates the adjacency rule. This leaves us with two labels (0 and 2) that must be assigned to three vertices. By the pigeon hole principle, two of these vertices must receive the same label, which necessarily violates the condition. Before we consider the P 4, we need the following lemma. Lemma 3.3. If H is a subgraph of G, then λ(h) λ(g). Proof. Let λ(g) = m with corresponding labeling f : V (G) {0,1,...,m}. Then g : V (H) {0,1,...,m}, defined by g(v) = f (v) for all v V(H), is a labeling of H that uses no label greater than m. Thus, λ(h) m = λ(g). The idea is we can use the same labels we use on G to label the corresponding vertices of H. Proposition 3.4. λ(p 4 ) = 3. Proof. Since P 3 is a subgraph of P 4, from our previous result we know λ(p 4 ) λ(p 3 ) = 3. Figure 9 shows we can label P 4 with no label greater than 3. Thus λ(p 4 ) 3 and the result follows. Proposition 3.5. λ(p n ) = 4 for n 5.

8 8 Andrew Lum Proof. First, we show λ(p 5 ) = 4. Figure 9 shows we can label P 5 with no label greater than 4. So, λ(p 5 ) 4. We claim we can t label P 5 with just the numbers 0, 1, 2, and 3. The labels 1 and 2 cannot be assigned to any non-endpoint vertex without violating either the adjacency rule or the distance two rule. To see this, suppose one of the non-endpoint vertices of P 5 were labeled 1. Then only the label 3 can be assigned to its neighbors without violating the adjacency rule. However, if both its neighbors receive the label 3, the distance two rule is violated. So, this leaves us with two labels (0 and 3) that must be assigned to the three non-endpoint vertices. Again, by the pigeon hole principle, two of these vertices must receive the same label, which necessarily violates the condition. So, λ(p 5 ) = 4. Next, we show λ(p n ) = 4 for n > 5. Let P n be a path with more than 5 vertices. Since P 5 is a subgraph of P n, we know λ(p n ) λ(p 5 ) = 4. Notice we can cyclically repeat the labels in P 5 (2, 0, 3, 1, 4, 2, 0, 3,... ) and still get a proper labeling for any P n. Thus λ(p n ) 4 and the result follows Cycles. Now let s consider the labeling numbers of cycles. Recall that we can get a cycle by adjoining the endpoints of a path. Proposition 3.6. λ(c n ) = 4 for n 3. Proof. Since C 3 = K 3, from Proposition 3.1, we have λ(c 3 ) = 2(3) 2 = 4. Now consider C 4. Figure 10 shows we can label C 4 with no label greater than 4. So, λ(c 4 ) 4. We claim we can t label C 4 with just the numbers 0, 1, 2, and 3. Since every vertex is C 4 is adjacent to two other vertices, we cannot use labels 1 and 2, as explained earlier, without violating the rules. This leaves us with two labels (0 and 3) that must be assigned to the four vertices. Again, by the pigeon hole principle, two of these vertices must receive the same label, which necessarily violates the condition since any pair of vertices in C 4 are at most distance two apart. So, λ(c 4 ) = 4. FIGURE 10. An L(2,1)-labeling of C 4 Now consider C n, where n 5. Since C n contains P 5 as a subgraph, λ(c n ) λ(p 5 ) = 4. Now we want to show λ(c n ) 4 by defining a labeling on C n using no label greater than 4. We have three cases. First, suppose n 0 (mod 3). Then we can label our vertices (starting at one vertex and proceeding clockwise) 0, 2, 4, 0, 2, 4,.... Next, suppose n 1 (mod 3). Then we can label our vertices 0, 2, 4, 0, 2, 4,..., 0, 2, 4, 0, 3, 1, 4. If n 2 (mod 3), then we can label our vertices 0, 2, 4, 0, 2, 4,..., 0, 2, 4, 1, 3. This is illustrated in Figure 11. In each case, we repeat the labeling 0, 2, 4 as many times as necessary. This completes the proof.

9 L(2, 1)-Labeling 9 FIGURE 11. L(2,1)-labelings of C 5, C 6, and C 7 (from left to right) 4. GREEDY LABELING We now seek ways to L(2,1)-label graphs in general. We start with a greedy labeling algorithm. Algorithm 4.1 (Greedy labeling). For a given graph G with vertices v 1,...,v n, label vertices in the order v 1,...,v n by assigning the smallest nonnegative integer s such that s r 2 for any r assigned to a lower indexed neighbor, and s t 1 for any t assigned to a lower indexed vertex at a distance 2. So, given a graph with ordered vertices, we go through the vertices in order assigning the smallest number that doesn t violate any of our labeling conditions based on the previously assigned labels. Figure 12 gives an example of a graph with ordered vertices and its greedy labeling. FIGURE 12. A graph with ordered vertices and its greedy labeling Now we are able to prove an easy bound. Theorem 4.2. Let G be a graph with maximum degree. Then λ(g) Proof. Arbitrarily order the vertices of G and perform the greedy labeling algorithm. A vertex v V (G) has at most neighbors. Each of these neighbors can rule out at most 3 labels for v (e.g. if v is neighbors with a vertex labeled 2, it cannot be labeled 1, 2, or 3). For each neighbor of v, there are at most 1 vertices a distance two from v (since we don t consider v at distance two from itself). So there are a total of at most ( 1) = 2 vertices a distance two away from v.

10 10 Andrew Lum Each of these vertices can rule out at most 1 label for v. Thus when it comes time to label v, there are at most = numbers we must avoid. So, v can be labeled with some number in {0,1,2,..., 2 +2 }. Therefore, we have that λ(g) THE CHANG-KUO ALGORITHM Though the previous result is nice, we can do better. The result and proof presented in this section is due to Chang and Kuo [Cha, 1996]. Their method will be the basis for proving the best known bound. We start with a definition and an algorithm. Definition 5.1. For any fixed positive integer k, a k-stable set of a graph G is a subset S of V (G) such that every two distinct vertices in S are of distance greater than k. For example, in Figure 12, {v 1,v 4 } form a 2-stable set since v 1 and v 4 are more than a distance 2 apart. Similarly, {v 2,v 5 } also form a 2-stable set. Notice that every vertex in a 2-stable set can be assigned the same label without violating any of our conditions. The next algorithm uses this idea to give a labeling scheme. Algorithm 5.2. For any graph G, start with all vertices unlabeled. Let S 1 = /0. When S i 1 is determined and not all vertices in G are labeled, let F i = {x V (G) x is unlabeled and d(x,y) 2 for all y S i 1 }. Choose a maximal 2-stable subset S i of F i. Label all vertices in S i by i. Increase i by one and continue the above process until all vertices are labeled. FIGURE 13. K 3 Example 5.3. To see how this works, let s apply Algorithm 5.2 to K 3 (shown in Figure 13). First, we have all vertices unlabeled and S 1 = /0. Now we determine F 0. Since all vertices, at this point, are unlabeled and it is vacuously true that all vertices are at least a distance 2 from all vertices in the empty set, we have that F 0 = {u,v,w}. Next, we determine S 0 by choosing a maximal 2-stable subset of F 0 = {u,v,w}. Let s have S 0 = {u}

11 L(2, 1)-Labeling 11 and label u with 0. Now we determine F 1. Since no vertex is at least a distance 2 from u, we have F 1 = /0. So S 1 = /0. Now we determine F 2. Since both of our remaining unlabeled vertices are at least a distance 2 from all vertices in the empty set, we have that F 2 = {v,w}. Next, we determine S 2 by choosing a maximal 2-stable subset of F 2 = {v,w}. Let s have S 2 = {v} and label v with 2. Now we determine F 3. Since no vertex is at least a distance 2 from v, we have F 3 = /0. So S 3 = /0. Now we determine F 4. Since our remaining unlabeled vertex is at least a distance 2 from all vertices in the empty set, we have that which means F 4 = {w}, S 4 = {w}. And we label w with 4. The finished labeling is shown in Figure 14. FIGURE 14. K 3 after applying Algorithm 5.2 Notice the difference between the greedy labeling algorithm and the Chang-Kuo algorithm. The greedy labeling algorithm goes through each vertex and assigns it the smallest possible label, whereas the Chang-Kuo algorithm goes through each label and assigns it to a maximal set of possible vertices. As we will see, this difference will allow us to establish a better bound. Theorem 5.4. Let G be a graph with maximum degree. Then λ(g) 2 +. Proof. Let G be a graph with maximum degree. Perform Algorithm 5.2 on G. Let k be the maximum label used and let x be a vertex whose label is k. Let

12 12 Andrew Lum I 1 = {i 0 i k 1 and d(x,y) = 1 for some y S i }, I 2 = {i 0 i k 1 and d(x,y) 2 for some y S i }, I 3 = {i 0 i k 1 and d(x,y) 3 for all y S i }. Then we have (1) I 2 + I 3 = k. Since the total number of vertices y with 1 d(x, y) 2 is at most + ( 1) = 2, we have (2) I 2 2. Also, there are at most vertices adjacent to x so (3) I 1. Now for any i I 3, x / F i. Otherwise, S i {x} is a 2-stable subset of F i, which contradicts the choice of a maximal S i. This means d(x,y) = 1 for some vertex y S i 1. So, i 1 I 1. Thus, (4) I 3 I 1. Therefore, combining (1), (2), (3), and (4) gives λ(g) k = I 2 + I 3 I 2 + I GONÇALVES BOUND As we will see, the Chang-Kuo bound can be improved. The next result is due to Gonçalves [Go, 2004] and is currently the best known bound for graphs in general. Theorem 6.1. [Go, 2004] For any graph G with maximum degree 3, we have λ(g) The proof for this theorem uses the Chang-Kuo [Cha, 1996] algorithm. Before we proceed, however, it will be useful to look at a slight modification of the algorithm. Modified Chang-Kuo Algorithm. Let G be any graph on n vertices. (1) Randomly order the vertices of G as v 1, v 2,...,v n. (2) Starting with label i = 0, consider the vertices in the chosen order and label the vertex i if possible. (3) After considering the last vertex v n, increase i by 1 and repeat until all vertices are labeled. Notice the difference between the original Chang-Kuo algorithm and the modified version. In the original, we were given the freedom to choose a maximal 2-stable set of vertices for each label. In the modified version, because we are assigning an order to the vertices, we are forced to pick a specific maximal 2-stable set for a given label. An example of a graph labeled using the modified Chang-Kuo algorithm is given in Figure 15.

13 L(2, 1)-Labeling 13 FIGURE 15. This graph was labeled using the modified Chang- Kuo algorithm. Notice that this algorithm assigns each class of labels greedily. That is, for each label i, it considers the vertices in a given order and labels the vertex i if it can. After reaching the last vertex, it increases i by one and starts over. Let l(v) be the label the algorithm assigns to the vertex v. Note that if i > j, a vertex v j can only forbid an adjacent vertex, v i, to be labeled l(v j ) and l(v j ) + 1. For example, in Figure 15, the vertex v 3 only forbids the labels 1 and 2 to vertex v 4 (v 3 would not forbid the label 0 to v 4 because when the algorithm considered whether or not to label v 4 with 0, the vertex v 3 was unlabeled). Similarly, if i > j, a vertex v j can only forbid a vertex at distance 2 (or two-neighbor), v i, to be labeled l(v j ). For example, in Figure 15, the vertex v 3 only forbids the label 1 to v 5. Thus, if we let F(v j,v i ) be the set of all labels forbidden by v j to v i, where i > j, then we have that {l(v j ),l(v j ) + 1}, if d(v j,v i ) = 1 and i > j F(v j,v i ) = {l(v j )}, if d(v j,v i ) = 2 and i > j. /0, if d(v j,v i ) > 2 and i > j Suppose the algorithm considers the vertices in the order of v 1, v 2,..., v n. Note that if i < j, then v j will not forbid the label l(v j ) to v i because when the algorithm considered whether or not to assign the label l(v j ) to v i, the vertex v j was not yet labeled. In this case, we say that v j is posterior to v i. For example, in Figure 15, the vertex v 5 would not forbid the label 2 to v 2 because when the algorithm considered whether or not to label v 2 with 2, the vertex v 5 was unlabeled. Thus, if i < j, we have that { {l(v j ) + 1}, if d(v j,v u ) = 1 and i < j F(v j,v i ) = /0, if d(v j,v u ) 2 and i < j. When i = j, we have F(v j,v i ) = /0. If we let F(v) be the set of all values forbidden to v, then we have that F(v) = [ u V(G) F(u,v).

14 14 Andrew Lum Since the algorithm labels v with the smallest value not in F(v), we have that l(v) F(v) u V(G) F(u, v) 2 + ( 1) = 2 +. To improve the 2 + bound we have to be careful on the order in which the algorithm considers the vertices. So, to improve our bound to 2 + 2, we d like to assign an order to our vertices so that all v i, with i n 2, have 2 posterior neighbors or two-neighbors, l(v n 1 ) 2 + 2, and l(v n ) For the first requirement, consider a graph G with spanning tree T rooted in r. Order the vertices from the leaves to the root, so that any vertex v is indexed lower than its parent. This ordering of a graph based on a rooted tree T is called a T-ascending order. An example is given in Figure 16. FIGURE 16. The vertices in this tree, rooted in v 14, are indexed in a T-ascending order. We must have that r is ordered last and one of its children is ordered second to the last. This ordering will ensure that all v i, with i n 2, will have 2 posterior neighbors or two-neighbors. Indeed, the vertices with parents and grandparents will have 2 posterior neighbors or two-neighbors. Additionally, all the children of v n (except for v n 1 ) will be neighbors with v n and two-neighbors with v n 1. Now we want to be able to construct our spanning tree T and a T -ascending order so that our last two requirements are met. To do this, we need the following structural lemma. Lemma 6.2. [Go, 2004] Every graph G with maximal degree 3 has either: (1) a vertex v with degree less than, (2) a cycle of length three,

15 L(2, 1)-Labeling 15 (3) two cycles of length four passing through the same vertex, (4) a vertex v with three neighbors u, x, y, such that there is a cycle of length four passing through the edge uv and such that the graph G\{x,y} is connected, or (5) a vertex u with two adjacent vertices v and w such that the graph G\X is connected, where X is the set (N(v) N(u))\{w}. 2 This lemma will allow us to prove the Gonçalves bound by cases. Case (1) Suppose a graph G on n vertices has a vertex v n with degree less than. Consider any spanning tree T of G rooted in v n. Now consider any T -ascending order. Let s look at v n. Since v n has degree less than, it has at most 1 neighbors and ( 1) 2 two-neighbors. Thus, we have that l(v n ) F(v n ) 2( 1) + ( 1) 2 < 2 + 2, which takes care of the third requirement. Now let s look at v n 1. It has at most neighbors, including v n which is posterior in the ordering, and at most ( 1) 1 two-neighbors. Thus, we have that l(v n 1 ) F(v n 1 ) 2( 1) ( 1) 1 = 2 + 2, which takes care of the second requirement. Case (2) Suppose a graph G on n vertices has a cycle of length three passing through the edge uv. Consider a spanning tree T rooted in v that uses the edge uv. Now consider a T-ascending order such that u = v n 1 and v = v n. Notice that a vertex in a cycle of length three has at most ( 1) 2 two-neighbors (the two other vertices in the three cycle are not two-neighbors; see Figure 17). Thus we have that both F(v n ) and F(v n 1 ) are less than or equal to 2 + 2, which fulfills the second and third requirement. FIGURE 17. A three cycle. The vertex u has at most ( 1) two-neighbors. However, this formula counts both w and v, which are both 1-neighbors. Case (3) Suppose a graph G on n vertices has two cycles of length four passing through the same vertex v. Let u be a neighbor of v in one of these cycles. Consider a spanning tree T rooted in v that uses the edge uv. Now order the vertices in T- ascending order with u = v n 1 and v = v n. Let s look at v n 1. It has a posterior 2 Here, N(v) denotes the set of all neighbors of v.

16 16 Andrew Lum neighbor in v n and at most ( 1) 1 two-neighbors (the vertex opposite v n 1 in the four cycle is counted twice; see Figure 18). So we have l(v n 1 ) F(v n 1 ) ( 1) 1 = Now let s look at v n. Since it has two different vertices opposite it in two different four cycles, it has at most ( 1) 2 two-neighbors (see Figure 18). So we have l(v n ) F(v n ) 2 + ( 1) 2 = FIGURE 18. Three possible configurations of two cycles of length four passing through the same vertex v. The vertex u has at most ( 1) two-neighbors, however, this formula counts the vertex y twice. So, u really only has at most ( 1) 1 two-neighbors. Likewise, the vertex v has at most ( 1) two-neighbors. However, this formula counts the vertices w and x twice. So, v really only has at most ( 1) 2 two-neighbors. Case (4) Suppose a graph G on n vertices has a vertex v with three neighbors u, x, y, such that there is a cycle of length four passing through the edge uv and such that the graph G\{x, y} is connected (see Figure 19). We construct a spanning tree T of G rooted in v from a spanning tree of G\{x,y} by adding the edges vx and vy. Since x and y are leaves in T, there is a T-ascending order such that x = v 1, y = v 2, u = v n 1, and v = v n. FIGURE 19. Three possible configurations for a vertex v with three neighbors u, x, y, such that there is a cycle of length four passing through the edge uv. As in the previous case, the vertex v n 1 has a posterior neighbor v n and at most ( 1) 1 two-neighbors (since it is in a four cycle). Thus we have l(v n 1 )

17 L(2, 1)-Labeling 17 For v n, it also has at most ( 1) 1 two-neighbors (since it is in a four cycle), which reduces the bound by 1. To reduce the bound by 1 again, we show that there are two distinct vertices v a and v b such that F(v a,v n ) F(v b,v n ) /0. In other words, the vertices v a and v b share a label forbidden to v n, which means we would have double counted. Since v 1 is the first vertex in the order, the algorithm automatically labels it 0. Since v 2 is at distance 2 from v 1, it cannot be labeled 0. Now we consider two cases for the label of v 2. See Figure 20. If l(v 2 ) = 1, we have 1 F(v 1,v n ) F(v 2,v n ). If l(v 2 ) 1, then it must have a neighbor v x labeled 0. Since v x is at distance two from v n, we have 0 F(v 1,v n ) F(v x,v n ). FIGURE 20. When l(v 2 ) = 1 (left), both v 1 and v 2 forbid the label 1 to v n. When l(v 2 ) 1 (right), both v 1 and v x forbid the label 0 to v n. Case (5) Suppose we are in none of the previous cases and that G has a vertex u with two adjacent vertices v and w such that the graph G\X is connected, where X is the set (N(v) N(u))\{w}. First, we construct a spanning tree of G\X. Then, we add all the edges adjacent to u and all the edges adjacent to v to get a spanning tree T of G rooted in v. Since the neighbors of u and v, except u, v, and w are leaves in T, we can put them at the beginning of a T-ascending order so that w, u, and v are ordered v n 2, v n 1, and v n, respectively N(v n ) = {v n 1,v 1,v 2,...,v 1 } N(v n 1 ) = {v n,v n 2,v,v +1,...,v 2 3 }. This is illustrated in Figure 21 when = 3. Note that since we are assuming we are not in case 1, every vertex has degree. Again, since v n is a posterior neighbor to v n 1, we already reduce the bound on l(v n 1 ) by 1. To reduce it by 1 more, like the previous case, we need to show that there are two distinct vertices v a and v b such that F(v a,v n 1 ) F(v b,v n 1 ) /0. For v n, to reduce the bound on l(v n ) by 2, we need to show that there are two distinct pairs of vertices v a v b and v c v d such that F(v a,v n ) F(v b,v n ) /0 and

18 18 Andrew Lum FIGURE 21. For = 3, for example, we have N(v n ) = {v n 1,v 1,v 2 } and N(v n 1 ) = {v n,v n 2,v 3 }. F(v c,v n ) F(v d,v n ) /0. Now we consider two cases for the size of. Case (5) with 4. Suppose 4. First, we want to find two distinct vertices v a and v b such that F(v a,v n 1 ) F(v b,v n 1 ) /0. Since 4, v n 1 is adjacent to v and v +1. So, we have that d(v,v +1 ) 2, which means l(v ) l(v +1 ). Without loss of generality, we can assume l(v ) < l(v +1 ). Now, if l(v +1 ) < l(v ) + 2, then l(v +1 ) F(v,v n 1 ) F(v +1,v n 1 ). So, assume l(v +1 ) l(v ) + 2. Then there are two possible reasons why v +1 was not labeled l(v ) + 1: (1) v +1 had a neighbor v x labeled l(v ) or l(v ) + 1, or (2) v +1 had a lower indexed 2-neighbor v y labeled l(v ) + 1. In the first case, v x would be at distance two from v n 1 and we would have l(v x ) F(v x,v n 1 ) F(v,v n 1 ). In the second case, if v y is labeled l(v ) + 1 before this label is proposed to v +1, then y <. So, v y is a neighbor of v n and a 2-neighbor of v n 1. Thus, we would have l(v ) + 1 F(v y,v n 1 ) F(v,v n 1 ). Now we turn our attention to v n. Recall that we want to find two distinct pairs of vertices v a v b and v c v d such that F(v a,v n ) F(v b,v n ) /0 and F(v c,v n ) F(v d,v n ) /0. Let s consider the labels the algorithm assigns to v 1, v 2, and v 3. Certainly, l(v 1 ) = 0 since v 1 is the first vertex considered. Now since v 1, v 2, and v 3 are all at distance two from each other, they have different labels. Without loss of generality, we can assume l(v 1 ) < l(v 2 ) < l(v 3 ). We now consider different cases for l(v 1 ), l(v 2 ), and l(v 3 ). If these vertices are labeled 0, 1, and 2 (see Figure 22), the label 1 and 2 are each forbidden twice to v n. So, 1 F(v 1,v n ) F(v 2,v n ) and 2 F(v 2,v n ) F(v 3,v n ). If these vertices are labeled 0, 1, and l(v 3 ) > 2 (see Figure 23), then v 3 must have some neighbor v x labeled 0 or 1. Since v x is at distance two from v n, we have 1 F(v 1,v n ) F(v 2,v n ) and l(x) F(v 1,v n ) F(v x,v n ). If these vertices are labeled 0, l(v 2 ) > 1, and l(v 3 ) > 1 (see Figure 24), then v 2 and v 3 must have respective neighbors v y and v z labeled 0. Since we are assuming we are not in case 4, v y and v z must be distinct. Since v y and v z are at distance two from v n, we have 0 F(v 1,v n ) F(v y,v n ) and 0 F(v 1,v n ) F(v z,v n ).

19 L(2, 1)-Labeling 19 FIGURE 22. When = 4 and v 1, v 2, and v 3 are labeled 0, 1, and 2. FIGURE 23. When = 4 and v 1, v 2, and v 3 are labeled 0, 1, and l(v 3 ) > 2. Case (5) with = 3. Suppose = 3, as in Figure 21. Recall that we are assuming we are in none of the previous cases. Then d(v 1,v 3 ) and d(v 2,v 3 ) are greater than 1, otherwise we d be in case 4. Notice that d(v 1,v 3 ) and d(v 2,v 3 ) are also less than or equal to 3 by how we constructed our spanning tree with T- ascending order (again, see Figure 21). So, d(v 1,v 3 ) and d(v 2,v 3 ) are either 2 or 3. First, suppose d(v 1,v 3 ) = 3. Then v 1 and v 3 will both be labeled 0 according to the modified Chang-Kuo algorithm. Thus, we have 0 F(v 1,v n ) F(v 3,v n ) and 0 F(v 1,v n 1 ) F(v 3,v n 1 ). It remains to find another pair of vertices v a v b such that F(v a,v n ) F(v b,v n ) /0. Now if l(v 2 ) = 1, then 1 F(v 1,v n ) F(v 2,v n ). So, assume l(v 2 ) 1. Then v 2 must have a neighbor v x labeled 0. Since we are not in case 4, v x is distinct from v 3. Thus, 0 F(v 1,v n ) F(v x,v n ).

20 20 Andrew Lum FIGURE 24. When = 4 and v 1, v 2, and v 3 are labeled 0, l(v 2 ) > 1, and l(v 3 ) > 1. Next, suppose d(v 1,v 3 ) = 2 and d(v 2,v 3 ) = 3. For this, we can permute the order of the vertices v 1 and v 2. Doing so allows us to repeat the previous paragraph s argument verbatim. Finally, suppose d(v 1,v 3 ) = d(v 2,v 3 ) = 2. Then there is a vertex v x adjacent to v 1 and v 3 and a vertex v y adjacent to v 2 and v 3. The vertices v x and v y are distinct, otherwise the vertex v x = v y would be neighbors with v 1, v 2, and v 3, which would make the graph G\{v 1,v 2,v 3 } disconnected. By construction of T, the edges v 1 v n, v 2 v n, and v 3 v n 1 are the only edges in T incident to v 1, v 2, or v 3. So, v x and v y are not connected to T by its edges to v 1, v 2, or v 3. So, these vertices have just one adjacent edge in T and are leaves of T, which means we can order them as v x = v 4 and v y = v 5. We know that d(v 1,v 5 ) > 1 and d(v 2,v 4 ) > 1, otherwise G\{v 1,v 2,v 3 } would be disconnected. Now we consider different cases according to d(v 1,v 5 ) and d(v 2,v 4 ). Suppose d(v 1,v 5 ) > 2 (see Figure 25). Then we have l(v 1 ) = l(v 5 ) = 0 and l(v 2 ), l(v 3 ), l(v 4 ) 2. Thus, 0 F(v 1,v n 1 ) F(v 5,v n 1 ) and 0 F(v 1,v n ) F(v 5,v n ). If l(v 2 ) = 2, we have to consider if l(v n 1 ) = 1 or not. If it were, then we d have 1 F(v 1,v n ) F(v n 1,v n ). If l(v 2 ) = 2 and l(v n 1 ) = 2, then v 4 is labeled 3. Thus, 3 F(v 2,v n ) F(v 4,v n ). If l(v 2 ) = 2 and l(v n 1 ) > 2, then v 4 is labeled 2. Thus, 2 F(v 2,v n ) F(v 4,v n ). If l(v 2 ) > 2, it is because its unique neighbor v z, distinct from v n and v 5 is labeled 1. So, we have 1 F(v 1,v n ) F(v z,v n ). Suppose d(v 1,v 5 ) = 2 and d(v 2,v 4 ) > 2. Then we can permute v 1 with v 2 and v 4 with v 5. Doing so allows us to repeat the previous argument. Suppose d(v 1,v 5 ) = d(v 2,v 4 ) = 2. Then we can permute v 2 and v 3 (see Figure 26). With this ordering, the algorithm labels the vertices v 1, v 2, v 3, and v 4 with labels 0, 1, 2, 3, respectively. Thus, 2 F(v 2,v n 1 ) F(v 3,v n 1 ), 1 F(v 1,v n ) F(v 2,v n ), and 3 F(v 3,v n ) F(v 4,v n ).

21 L(2, 1)-Labeling 21 FIGURE 25. When = 3 and d(v 1,v 5 ) > 2. FIGURE 26. When = 3, d(v 1,v 5 ) = d(v 2,v 4 ) = 2. The figure above shows the graph after we permute v 2 and v 3. Dotted lines represent distance 2 relationships. 7. CONCLUSION As mentioned earlier, the Gonçalves bound is the best general bound for graphs to date. Though there is still no proof for the Griggs-Yeh conjecture in general, the conjecture has been proven for several classes of graphs: graphs with = 2 diameter 2 graphs [Gr, 1992] incidence graphs of a projective plane and polarity graphs of the Galois plane [Gr, 1992] outerplanar graphs [Jo, 1993] chordal graphs [Sa, 1994] Hamiltonian cubic graphs [Ka, 2004] planar graphs with 3 [Be, 2005] direct and strong products of graphs [Kl, 2006].

22 22 Andrew Lum REFERENCES [Be, 2005] Bella, Peter, Daniel Král, Bojan Mohar, and Katarína Quittnerová. Labeling planar graphs with a condition at distance two. DMTCS proc. AE, (2005) [Cha, 1996] Chang, Gerard J. and David Kuo. The L(2, 1)-Labeling Problem on Graphs. SIAM J. Disc. Math., Vol. 9, (1996) [Go, 2004] Gonçalves, Daniel. On the L(d,1)-labelling of graphs. LaBRI, U.M.R. 5800, Université Bordeaux I (March 2004), 1-9. [Gr, 1992] Griggs, Jerrold R. and Roger K. Yeh. Labelling Graphs with a Condition at Distance 2. SIAM J. Disc. Math., Vol. 5, No. 4, (November 1992) [Ka, 2004] Kang, J.H. L(2, 1)-labeling of 3-regular Hamiltonian graphs. Ph.D. Thesis, University of Illinois, Urbana-Champaign, IL, [Kl, 2006] Klavžar, S. and S. Špacapan The 2 -conjecture for L(2,1)-labelings is true for direct and strong products of graphs. IEEE Transactions on Circuits and Systems II, Vol. 53, No. 4, (April 2006) [Kr, 2003] Král, Daniel and Riste Škrekovski. A Theorem about the Channel Assignment Problem. SIAM J. Disc. Math., Vol. 16, No. 3, (2003) [Jo, 1993] Jonas, K. Graph Coloring Analogues With a Condition at Distance Two: L(2, 1)- Labelings and List λ-labelings. Ph.D. Thesis, Dept. of Math., Univ. of South Carolina, Columbia, SC, [Ro, 1988] Roberts, F.S. (1988) private communication to J.R. Griggs. [Sa, 1994] Sakai, D. Labeling chordal graphs: distance two condition. SIAM J. Disc. Math., Vol. 7, (1994) [We, 1993] West, Douglas B. Introduction to Graph Theory. 2nd Ed. Prentice Hall, (1993). WHITMAN COLLEGE address:

### 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

### 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

### 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

### 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

### Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

### Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10

Tools for parsimonious edge-colouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs

### 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

### 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

### 8. Matchings and Factors

8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,

### 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

### 2.3 Scheduling jobs on identical parallel machines

2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed

### 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

### Social Media Mining. Graph Essentials

Graph Essentials Graph Basics Measures Graph and Essentials Metrics 2 2 Nodes and Edges A network is a graph nodes, actors, or vertices (plural of vertex) Connections, edges or ties Edge Node Measures

### 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

### Graph Theory Problems and Solutions

raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is

### Clique coloring B 1 -EPG graphs

Clique coloring B 1 -EPG graphs Flavia Bonomo a,c, María Pía Mazzoleni b,c, and Maya Stein d a Departamento de Computación, FCEN-UBA, Buenos Aires, Argentina. b Departamento de Matemática, FCE-UNLP, La

### Euler Paths and Euler Circuits

Euler Paths and Euler Circuits An Euler path is a path that uses every edge of a graph exactly once. An Euler circuit is a circuit that uses every edge of a graph exactly once. An Euler path starts and

### Approximation Algorithms

Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NP-Completeness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms

### 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

### The Goldberg Rao Algorithm for the Maximum Flow Problem

The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }

### 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

### V. Adamchik 1. Graph Theory. Victor Adamchik. Fall of 2005

V. Adamchik 1 Graph Theory Victor Adamchik Fall of 2005 Plan 1. Basic Vocabulary 2. Regular graph 3. Connectivity 4. Representing Graphs Introduction A.Aho and J.Ulman acknowledge that Fundamentally, computer

### 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

### 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 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

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### 3. Eulerian and Hamiltonian Graphs

3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from

### 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

### 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

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

### 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

### On the maximum average degree and the incidence chromatic number of a graph

Discrete Mathematics and Theoretical Computer Science DMTCS ol. 7, 2005, 203 216 On the maximum aerage degree and the incidence chromatic number of a graph Mohammad Hosseini Dolama 1 and Eric Sopena 2

### Distributed Computing over Communication Networks: Maximal Independent Set

Distributed Computing over Communication Networks: Maximal Independent Set What is a MIS? MIS An independent set (IS) of an undirected graph is a subset U of nodes such that no two nodes in U are adjacent.

### 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.

### On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

### Online Degree Ramsey Theory

UofL Discrete Math Workshop 2008 1 Online Degree Ramsey Theory posed by Illinois REGS (2007) problem 1 presented by Lesley Wiglesworth LATEX byadamjobson For a family of graphs F closed under subgraphs,

### Discrete Mathematics Problems

Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................

### Midterm Practice Problems

6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator

### Small Maximal Independent Sets and Faster Exact Graph Coloring

Small Maximal Independent Sets and Faster Exact Graph Coloring David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science The Exact Graph Coloring Problem: Given an undirected

### 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

### Diversity Coloring for Distributed Data Storage in Networks 1

Diversity Coloring for Distributed Data Storage in Networks 1 Anxiao (Andrew) Jiang and Jehoshua Bruck California Institute of Technology Pasadena, CA 9115, U.S.A. {jax, bruck}@paradise.caltech.edu Abstract

### Homework Exam 1, Geometric Algorithms, 2016

Homework Exam 1, Geometric Algorithms, 2016 1. (3 points) Let P be a convex polyhedron in 3-dimensional space. The boundary of P is represented as a DCEL, storing the incidence relationships between the

### 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:

### 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

### 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,

### ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove

### 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

### 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

### Graphical degree sequences and realizations

swap Graphical and realizations Péter L. Erdös Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences MAPCON 12 MPIPKS - Dresden, May 15, 2012 swap Graphical and realizations Péter L. Erdös

### 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

### Lattice Point Geometry: Pick s Theorem and Minkowski s Theorem. Senior Exercise in Mathematics. Jennifer Garbett Kenyon College

Lattice Point Geometry: Pick s Theorem and Minkowski s Theorem Senior Exercise in Mathematics Jennifer Garbett Kenyon College November 18, 010 Contents 1 Introduction 1 Primitive Lattice Triangles 5.1

### 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

### 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

### Chapter 6: Graph Theory

Chapter 6: Graph Theory Graph theory deals with routing and network problems and if it is possible to find a best route, whether that means the least expensive, least amount of time or the least distance.

### 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.

### JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004

Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 431 437 431 JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS Ondřej Čepeka and Shao Chin Sung b Received December May 12, 2003; revised February

### arxiv:1112.0829v1 [math.pr] 5 Dec 2011

How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly

### (Refer Slide Time: 01.26)

Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture # 27 Pigeonhole Principle In the next few lectures

### Offline sorting buffers on Line

Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com

### 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,

### 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

### On Pebbling Graphs by their Blocks

On Pebbling Graphs by their Blocks Dawn Curtis, Taylor Hines, Glenn Hurlbert, Tatiana Moyer Department of Mathematics and Statistics Arizona State University, Tempe, AZ 85287-1804 November 19, 2008 dawn.curtis@asu.edu

### 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

### Network File Storage with Graceful Performance Degradation

Network File Storage with Graceful Performance Degradation ANXIAO (ANDREW) JIANG California Institute of Technology and JEHOSHUA BRUCK California Institute of Technology A file storage scheme is proposed

### Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative

### Definition 11.1. Given a graph G on n vertices, we define the following quantities:

Lecture 11 The Lovász ϑ Function 11.1 Perfect graphs We begin with some background on perfect graphs. graphs. First, we define some quantities on Definition 11.1. Given a graph G on n vertices, we define

### 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

### Graph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902

Graph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902 http://www.ms.uky.edu/~mschreffler Different Graphs, Similar Properties

### Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

### 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

### Outline. NP-completeness. When is a problem easy? When is a problem hard? Today. Euler Circuits

Outline NP-completeness Examples of Easy vs. Hard problems Euler circuit vs. Hamiltonian circuit Shortest Path vs. Longest Path 2-pairs sum vs. general Subset Sum Reducing one problem to another Clique

### The Open University s repository of research publications and other research outputs

Open Research Online The Open University s repository of research publications and other research outputs The degree-diameter problem for circulant graphs of degree 8 and 9 Journal Article How to cite:

### IE 680 Special Topics in Production Systems: Networks, Routing and Logistics*

IE 680 Special Topics in Production Systems: Networks, Routing and Logistics* Rakesh Nagi Department of Industrial Engineering University at Buffalo (SUNY) *Lecture notes from Network Flows by Ahuja, Magnanti

### 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

### Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

Online algorithms for combinatorial problems Ph.D. Thesis by Judit Nagy-György Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai

### 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

### Uniform Multicommodity Flow through the Complete Graph with Random Edge-capacities

Combinatorics, Probability and Computing (2005) 00, 000 000. c 2005 Cambridge University Press DOI: 10.1017/S0000000000000000 Printed in the United Kingdom Uniform Multicommodity Flow through the Complete

### 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

### PROBLEM SET 7: PIGEON HOLE PRINCIPLE

PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.

### 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

### Cycle transversals in bounded degree graphs

Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.

### 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

### CS311H. Prof: Peter Stone. Department of Computer Science The University of Texas at Austin

CS311H Prof: Department of Computer Science The University of Texas at Austin Good Morning, Colleagues Good Morning, Colleagues Are there any questions? Logistics Class survey Logistics Class survey Homework

### Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms. Dissertation

Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms Dissertation zur Erlangung des akademischen Grades Doktor-Ingenieur (Dr.-Ing.) der Fakultät für Informatik und Elektrotechnik

### SHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE

SHOT YLE OVES OF PHS WITH MINIMUM DEEE THEE TOMÁŠ KISE, DNIEL KÁL, END LIDIKÝ, PVEL NEJEDLÝ OET ŠÁML, ND bstract. The Shortest ycle over onjecture of lon and Tarsi asserts that the edges of every bridgeless

### 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

### Cycles and clique-minors in expanders

Cycles and clique-minors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor

### Embedding nearly-spanning bounded degree trees

Embedding nearly-spanning bounded degree trees Noga Alon Michael Krivelevich Benny Sudakov Abstract We derive a sufficient condition for a sparse graph G on n vertices to contain a copy of a tree T of

### 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

### 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

### Analysis of Algorithms, I

Analysis of Algorithms, I CSOR W4231.002 Eleni Drinea Computer Science Department Columbia University Thursday, February 26, 2015 Outline 1 Recap 2 Representing graphs 3 Breadth-first search (BFS) 4 Applications

### 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

### Sum of Degrees of Vertices Theorem

Sum of Degrees of Vertices Theorem Theorem (Sum of Degrees of Vertices Theorem) Suppose a graph has n vertices with degrees d 1, d 2, d 3,...,d n. Add together all degrees to get a new number d 1 + d 2

### 8.1 Min Degree Spanning Tree

CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree

### Brendan D. McKay Computer Science Dept., Vanderbilt University, Nashville, Tennessee 37235

139. Proc. 3rd Car. Conf. Comb. & Comp. pp. 139-143 SPANNING TREES IN RANDOM REGULAR GRAPHS Brendan D. McKay Computer Science Dept., Vanderbilt University, Nashville, Tennessee 37235 Let n~ < n2

### 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.,

### 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

### Graph Theory and Complex Networks: An Introduction. Chapter 06: Network analysis

Graph Theory and Complex Networks: An Introduction Maarten van Steen VU Amsterdam, Dept. Computer Science Room R4.0, steen@cs.vu.nl Chapter 06: Network analysis Version: April 8, 04 / 3 Contents Chapter