New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree

Size: px
Start display at page:

Download "New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree"

Transcription

1 New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree Xin Zhang, Jian-Liang Wu, Guizhen Liu To cite this ersion: Xin Zhang, Jian-Liang Wu, Guizhen Liu. New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree. Discrete Mathematics and Theoretical Computer Science, DMTCS, 011, Vol. 13 no. 3 (3), pp <hal > HAL Id: hal Submitted on 13 May 01 HAL is a multi-disciplinary open access archie for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or priate research centers. L archie ouerte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de nieau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou priés.

2 Discrete Mathematics and Theoretical Computer Science DMTCS ol. 13:3, 011, 9 16 New Upper Bounds for the Heights of Some Light Subgraphs in 1-Planar Graphs with High Minimum Degree Xin Zhang Jian-Liang Wu Guizhen Liu School of Mathematics, Shandong Uniersity, Jinan 50100, P. R. China receied 5 th May 010, reised 5 th July 011, accepted 1 st September 011. A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this paper, it is shown that each 1-planar graph of minimum degree 6 contains a copy of -cycle with all ertices of degree at most 19. In addition, we also show that the complete graph K is light in the family of 1-planar graphs of minimum degree 7, with its height at most 11. Keywords: 1-planar graphs, light graphs, height. 1 Introduction Throughout this paper, all graphs are finite, simple and undirected. We use V (G), E(G), δ(g) and (G) to denote the ertex set, the edge set, the minimum degree and the maximum degree of a graph G. Let e(g) = E(G) and (G) = V (G). For planar graphs, we use F (G) to denote the face set of G and let f(g) = F (G). A ertex (face) of degree k is called a k-ertex (face) and a ertex (face) of degree at least k is called a k -ertex (face). For undefined concepts we refer the reader to []. Let G be a family of graphs and let H be a connected graph such that each member of G contains a subgraph isomorphic to H. Denote h(h, G ) and w(h, G ) respectiely to be the smallest integers with the property that each graph G G contains a subgraph K H such that max x V (K) {d G (x)} h(h, G ) and x V (K) {d G(x)} w(h, G ). These two parameters h(h, G ) and w(h, G ) are called the height and the weight of H in the family G. If they are finite, then we say H is light in G, otherwise we say H is heay in G. A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. The notion of 1-planar was introduced by Ringel [1] while studying the simultaneous ertex-face coloring of planar graphs; in the mentioned paper, he proed that each 1-planar graph is 7-colorable. Now this bound was improed to 6 (being sharp) by Borodin [3, ]. Borodin et al. [5] also proed that each 1-planar graph is acyclically 0-colorable. In addition, the list analogue of ertex coloring of 1-planar Supported by NSFC grants , , , RFDP grant and GIIFSDU grant yzc sdu.zhang@yahoo.com.cn, xinzhang@mail.sdu.edu.cn jlwu@sdu.edu.cn gzliu@sdu.edu.cn c 011 Discrete Mathematics and Theoretical Computer Science (DMTCS), Nancy, France

3 10 X. Zhang, J.-L. Wu and G. Liu graphs was inestigated in [1] by Albertson and Mohar. In [1], Wang and Lih proed that each 1-planar graph is list 7-colorable. Recently, Zhang et al. showed that each 1-planar graph G with maximum degree is -edge colorable if 10 [17], or 9 and G contains no chordal 5-cycles [16], or 8 and G contains no chordal -cycles [15], or 7 and G contains no 3-cycles [19]; it is -edge choosable and ( 1)-total choosable if 1 [0]; it is ( 1)-edge choosable and ( )-total choosable if 16 [0]. The generalization of the total coloring of 1-planar graphs, the so called (p, 1)-total labelling problem, is studied in []. Although 1-planar graphs is an interesting family, it is still little explored comparing to the family of planar graphs. In general, the family of 1-planar graphs has many fundamental aspects which are different from the planar ones. It is well-known that the planarity test for a graph is polynomial. But for 1-planarity, it is extremely unlucky that its recognizing is NP-complete [10]. This hardness may come from the fact that the set of 1-planar graphs is not closed under taking minors and thus the 1-planarity cannot be characterized by forbidding some minors. On the other hand, 1-planar graphs also hae some similar local structures as planar graphs. For example, the maximum possible number of edges in a 1-planar graph G is (G) 8 and there are many 1-planar graphs that attain this bound [7]. This implies that the maximum possible minimum degree of a 1-planar graph is 7. Note that eery planar graph is 5-degenerate. So each 1-planar graph with minimum degree 6 or 7 cannot be planar. Howeer, such 1-planar graphs may hae many nice and similar properties as planar graphs. In particular, we wonder whether a 1-planar graph with minimum degree 6 or 7 has a similar behaior as a planar graph with high minimum degree concerning the local structures. In the Fifth Workshop of Graph Embeddings and Maps on Surfaces held at Tále in the Summer of 009, Madaras [11] reported some new results on the light subgraphs in 1-planar graphs with minimum degree 6 and 7, as well as in 1-planar graphs with minimum degree 5 and girth. They (Hudák and Madaras) proed that each 1-planar graph with minimum degree 6 contains a -cycle with all ertices of degree at most 71, and this upper bound was later decreased to 7 [9]. They also proed the existence of a complete graph K with all ertices of degree at most 13 in 1-planar graphs with minimum degree 7 [9, 11]. Some other local structures were extensiely studied by many authors including [6 8, 10, 13, 18, 1]. In this paper, we improe Hudák and Madaras s upper bounds for the heights of C and K in the family of 1-planar graphs with minimum degree 6 and 7, respectiely. We proe Theorem 1 Each 1-planar graph with minimum degree 6 contains a copy of C with all ertices of degree at most 19. Theorem Each 1-planar graph with minimum degree 7 contains a copy of K with all ertices of degree at most 11. Howeer, we still do not know whether or not these bounds in Theorems 1 and are best possible. We leae this as an open problem for further research. Preliminaries In the rest of this paper, we always assume that G is a 1-planar graph with minimum degree 6 or 7, and it is drawn on a plane so that (1) eery edge is crossed by at most one another edge and () the number of crossings is as small as possible. The associated plane graph G of G is the plane graph that is obtained from G by turning all crossings of G into new -alent ertices. By (1), no two -ertices are

4 Light subgraphs in 1-planar graphs 11 adjacent in G. A 3-face in G is called true if it is not incident with -ertices and false otherwise. A big face denotes a face of degree at least. For conenience, we use some specialized notations during the proofs in the next section. Let be a -ertex in G and let 1,, 3, be its neighbors in clockwise order. By f i denote the face incident with i and i1 in G, where the subtraction and addition on subscripts are taken modulo. We call a -ertex closed if d(f 1 ) = d(f ) = d(f 3 ) = d(f ) = 3, and open otherwise. It is easy to see that if d(f i ) = 3, then i i1 E(G ). In this case, let f i be the other face incident with the edge i i1. If d(f i ) = 3, then the third ertex on the boundary of f i, which is different from i and i1, will be denoted by i. So i is a -ertex if and only if f i is false, in which case we denote the neighbor of i (or i1 ) in G, such that the edge connecting them in G contains the crossing point i, to be i (or i1, respectiely). Namely, i i and i1 i1 are two edges in G that cross each other at the point i. Denote the face incident with the path x i x i x i1 (or x i1x i x i ) in G by fi L (or fi R, respectiely). The proofs of the two theorems are carried out by contradiction and their beginnings are just the same. Suppose that G is a counterexample to the theorem. Consider the associated plane graph G of G. Using the well-known Euler formula (G ) e(g ) f(g ) = and the relation V (G ) d() = f F (G ) d() = e(g ), we hae V (G ) (d() 10) f F (G ) (3d(f) 10) = 0. Define an initial charge w on V (G ) F (G ) by w() = d() 10 if V (G ) and w(f) = 3d(f) 10 if f F (G ). Thus we hae x V (G ) F (G ) w(x) = 0. In order to proe Theorem 1 and Theorem, we shall design some discharging rules so that after discharging the new charge w (x) of eery element x V (G ) F (G ) is nonnegatie. Since our rules only moe charge around and do not affect the total charges, this leads to a contradiction at the end and completes the proofs. 3 Proofs 3.1 Proof of Theorem 1 The proof follows the strategy described in Section. Suppose that G is a counterexample to Theorem 1. Then each copy of C contained in G has a ertex of degree at least 0; we call such a ertex big. The ertices of degree from 6 to 19 are called intermediate ertices. In the following. we proceed with the discharging method and the initial charges are redistributed according to the following rules. Note that all the faces as mentioned in the rules are faces in G. R1. Each 6 -ertex sends 1 3 to each of its incident faces. R. Each -ertex sends 1 3 to each of its incident false 3-faces. R3. Each big face sends 1 to each of its incident -ertices. R. Let α = [xyz] be a true 3-face haing a common edge yz with a false 3-face β = [uyz]. If x is a big ertex, then x sends 3 to u through yz. R5. Let α = [xyz] and β = [uyz] be two adjacent false 3-faces and z be a -ertex. If y is a big ertex, then y sends to z. R6. Let α = [xyz] be a false 3-face haing a common edge yz with a big face β. If y is a big ertex and z is a -ertex, then y sends 1 to z.

5 1 X. Zhang, J.-L. Wu and G. Liu R7. Let α = [xyz] and β = [uyz] be two adjacent false 3-faces, x be a big ertex, z be a -ertex, and y, u be two intermediate ertices. Suppose that yu is incident with another false 3-face γ = [yuw] and yy crosses uu in G at w. If yu E(G) and u is an intermediate ertex, or y u E(G) and y is an intermediate ertex, then x sends 1 3 to w through yz and yu. R8. Let α be a big face haing a common edge xy with a false 3-face β = [xyz]. If z is a -ertex, then α sends 3 to z through xy. R9. Let α be a big face haing a common edge xy with a false 3-face β = [xyz]. If x is a -ertex, y, z are both intermediate ertices, and yz is incident with another false 3-face γ = [yzu], then α sends 1 3 to u through xy and yz. By the aboe rules, one can proe the following two claims that are quite useful. Claim 1. For a big face f, if R3 is applied to f once, then R9 can be executed at most once. Proof. Suppose that f is a big face with three incident ertices x, y, z such that xy, yz E(G ) and y is a -ertex. Then xz E(G) and we can suppose that xx crosses zz in G at y. By R3, there must be a transfer from f to y now. If R3 is applied to f once and R9 is executed at least twice, then xz, x z E(G) and all of x, x, z, z are intermediate ertices. This implies the existence of a -cycle xx zz in G with all its ertices intermediate, a contradiction. Hence R9 can be executed at most once. Claim. For a big ertex x, if R5 is applied to x once, then R7 can be executed at most once. Proof. Let xyz be a false 3-face with a big ertex x and a -ertex z. Suppose that xx crosses yy in G at z. If R5 is applied to x once, then xy E(G). Now we proe that R7 cannot be executed twice. For otherwise, x yz, x y z are both false 3-faces and y, y, x are all intermediate ertices. Furthermore, x y is incident with another 3-face x yu such that u y and u is an intermediate ertex by R7. Consequently, the four intermediate ertices x, y, y, u form a -cycle in G, a contradiction. We now check that the final charge of eery ertex and face in G is nonnegatie. Case 1. Suppose that f is a 3-face. Then by R1 and R, each ertex incident with f sends 1 3 to f. This implies that w (f) = w(f) = 1 1 = 0. Case. Suppose that f is a big face. Let a be the number of transfers from f to its incident -ertices by R3 and let b be the number of transfers from f to its non-incident -ertices by R8. Since no two -ertices are adjacent in G, a d(f) b and f is incident with at least d(f) 6 -ertices. By Claim from f by R9. Therefore, 1, if there is a transfer of 1 from f by R3, then there is a total transfer at most 1 3 w (f) w(f) 1 3 d(f) (1 1 3 )a 3 b 19 6 d(f) d(f) 0 0 by R1 for d(f). Case 3. Suppose that is a -ertex. Then w() = d() 10 =. Subcase 3.1. Suppose that is incident with at least three big faces. Then by R and R3, w () w() = 3 > 0. Subcase 3.. Suppose that is incident with two big faces and two false 3-faces. We follow the definitions in Section and split our proofs into two subcases. Subcase Without loss of generality, suppose that f 1, f 3 are big faces and f, f are false 3-faces. Then α = [ 1 3 ] is a -cycle and thus at least one of the ertices on the boundary of α, say 1, is a big ertex. This implies that will receie 1 from 1 by R6. Finally, by R and R3, we also hae w () w() = 1 3 > 0. Subcase 3... In this case, we suppose that f 1, f are big faces and f 3, f are false 3-faces. If is (a b) 19 6 d(f) 10 3 d(f) = adjacent to at least two big ertices, then at least one of them will send charge to by R6. Thus we still hae w () w() = 1 3 > 0 by R, R3 and R6. So we suppose that is adjacent to

6 Light subgraphs in 1-planar graphs 13 at most one big ertex. If one of 1, 3 and is big, then the redistributed charge of can be calculated as before, hence, it is nonnegatie. If none of 1, 3 and is big (namely, all of them are intermediate), then will not send charge to by any of the rules no matter is big or intermediate. Now, consider the face f 3. If it is a big face, then it will send 3 to through 3 by R8. If f 3 is 3-face, denoted by 3 3 (note that 3 1, ), then 3 must be a big ertex while f 3 is true, that is because forms a -cycle in G with 1, 3, being intermediate. In such a case, 3 will send 3 to through 3 by R. If f 3 is false, then 3 is a -ertex. Now consider the faces f3 L and f3 R. If f3 L is big face, then it will send 1 3 to through 3 by R9. Otherwise f3 L must be a false 3-face, denoted by 3 3 (note that 1, ). In this case 1 3 is a -cycle in G with 1, 3, being intermediate, which implies that must be a big ertex. Then by R7, will send 1 3 to through 3. By a similar discussion on f3 R, will receie another 1 3 from f 3 R or 3 through 3 (again, note that 3 1, and if 3 =, then f3 R must be a big face). Consequently, using the transfers through 3, receies totally 1 3 = 3. By symmetry, the same discussion can be applied to the calculation of the transfers through 1. Thus, by R and R3, we still hae w () w() = 3 > 0. Subcase 3.3. Suppose that is incident with one big faces and three false 3-faces. Without loss of generality, we assume that f 1 is big and the other three faces are false. Since 1 3 forms a -cycle in G, must be adjacent to at least one big ertex. If is adjacent to at least two big ertices, then by R5 and R6, receies at least 1 = from its big neighbors. Together with R and R3, we hae w () w() = 0. Now we consider the case when is adjacent to exactly one big ertex. If 3 or is big, then by R5, a transfer of from 3 or to will be put into practice. This implies that w () w() = 0. If 1 or is big, say, then will send 1 to by R6. By the same argument as in Subcase 3.., will also receie 3 through the edge 3 and another 3 through the edge 1. In total, by R and R3, we shall also hae w () w() = 1 3 > 0. Subcase 3.. Suppose that is incident with four false 3-faces. Since 1 3 is a -cycle in G, must be adjacent to at least one big ertex. If is adjacent to at least two big ertices, then by R and R5, we hae w () w() 1 3 = 3 > 0. If is adjacent to exactly one big ertex, say, then will send to by R5. Again, by the same argument as in Subcase 3.., will totally receie 3 = 3 through the edges 1 and 3. This implies that w () w() = 0 by R and R3. Case. Suppose that is an intermediate ertex. Then sends out charges only by R1, which implies that w () w() 1 3 d() = d() d() 30 3d() = 3 0 for d() 6. Case 5. Suppose that is a big ertex. Let F denote the subgraph induced by the faces which are incident with. Then F can be decomposed into many parts, each of which is one of the following fie clusters in Figure 1, and any two parts of which are adjacent only if they hae a common edge w such that w is a 6 -ertex. The hollow ertices in Figure 1 are -ertices and the solid ones are 6 -ertices; all the faces marked by are big faces and there is at least one big face contained in the clusters of type, and 5. Let n i be the number of clusters of type i contained in F. By their definitions, one can easily obsere that n 1 n n 3 3n n 5 d(). If there is a cluster of type 1 in F, then will send to y by R5. Meanwhile, will also send out at most 1 3 through either xy or yz by R7 and Claim. If there is a cluster of type in F, then will send 1 to y by R6 and send out at most 1 3 through xy by R7. If there is a cluster of type 3 in F, then will send out at most 3 though xy by R. If there is a cluster of type in F, then will send 1 to each of y and u by R6 and totally send out at most 1 3 = 3 through xy and uw by R7. If there is a cluster of type 5 in F, then will not send out charges ia this cluster by any of the rules. Therefore, together with R1, we hae w () w() 1 3 d() ( 1 3 )n 1 (1 1 3 )n 3 n 3 ( 1 3 )n =

7 1 X. Zhang, J.-L. Wu and G. Liu x... y z x y x y type1 type type3 x y... type u w... type5 Fig. 1: Fie types of cluster 5 3 d() (n 1n n 3 3n n 5 )(n 1 n n 7 6 n 5) 5 3 d() 10 7 d() 0 6d() = 0 for d() Proof of Theorem The proof also follows the strategy described in Section. Let G be a counterexample to Theorem. So each copy of K in G contains a 1 -ertex, which is called big ertex. The ertices of degree from 7 to 11 are called intermediate ertices. Let t() be the number of 3-faces that are incident with. Then is closed if and only if t() = (recall the definition of closed ertices in Section ). Let c() (or c(f)) be the number of -ertices that are adjacent to (or incident with) (or f). By c 1 () and c (), respectiely, we denote the number of closed -ertices and open -ertices adjacent to. Obiously we hae c 1 () c () = c(). Claim 1. If d() = 7, then t() 6 if c() =, t() if c() = 5, t() if c() 6. Proof. This follows directly from the fact that no two -ertices are adjacent in G. Claim. If d() 8, then t() c() 3 d() and t() c() d(). Proof. If c() d() d() d(), then this holds triially. So we assume that c(). Beginning with, each unit of increase on c() will imply two units of decrease on the largest possible number of the 3-faces that are incident with, that is because no two -ertices are adjacent in G. Therefore, t() d() (c() d() d() ) if d() is een, and t() d() 1 (c() ) if d() is odd. In either case, t() c() d(). Since c() d(), we hae t() c() d() c() 3 d(). Claim 3. If d() 1, then c 1 () c () d(). Proof. Since no two -ertices are adjacent in G, we hae c 1 () d() d(). If c(), then, then each unit of increase on c() from c 1 () c () = c 1 () c() d(). If c() > d() implies the existence of at least two open -ertices that are adjacent to. This implies that d() c () (c() d() ) (c 1() c ()) d(). Therefore, we hae c 1 () c () d(). We complete the proof of Theorem by applying the following rules of discharging. R1. Each big face sends 1 to each of its incident -ertices. R. Each intermediate ertex sends 1 3 to each of its adjacent -ertices.

8 Light subgraphs in 1-planar graphs 15 R3. Each big ertex sends to each of its adjacent open -ertices, and 9 to each of its adjacent closed -ertices. R. Let α = [xyz] be a true 3-face. Then each of x, y, z sends 1 3 to α. R5. Let α = [xyz] be a false 3-face. If x is a -ertex, then x sends 1 9 while both y and z sends 9 to α. We now check that the final charge of eery ertex and face in G is nonnegatie. Case 1. Suppose that f is a 3-face. By R and R5, one can obsere that w (f) = w(f)1 = 11 = 0. Case. Suppose that f is a big face. Since no two -ertices are adjacent in G, c(f) d(f). Therefore, by R1, we hae w (f) w(f) d(f) 5d(f) 0 0 for d(f). Case 3. Suppose that is a -ertex. If is incident with at least two big faces, then by R1, R, R3 and R5, w () w() = 10 9 > 0. If is incident with exactly one big face, then we still hae w () w() = 0. If is incident with no big faces, then is closed. Meanwhile, 1,, 3 and forms a K in G, which implies that at least one of them is a big ertex, say 1. Then 1 will send 13 9 to by R3. Since, 3 and are either intermediate or big, each of them shall send at least 1 3 to by R and R3. Together with R5, we also hae w () w() = 0. Case. Suppose that is an intermediate ertex. Subcase.1. Suppose that d() = 7. If c() 3, then can be incident with at most six false 3-faces. So by R, R and R5, we hae w () w() = 0. If c() =, then by Claim 1, t() 6. It follows that w () w() = 0. If c() = 5, then t() by Claim 1, which implies that w () w() = 5 9 > 0. If c() 6, then t() by Claim 1. Consequently, we still hae w () w() 1 3 c() 9 t() = 7 9 > 0. Subcase.. Suppose that 8 d() 11. By R, R, R5 and Claim, we hae w () w() 1 3 c() 9 t() d() 10 9 (c() t()) d() d() 30 d() = 3 > 0 for d() 8. Case 5. Suppose that is a big ertex. If c() d(), then by R3, R and R5, w () w() 13 9 c() 13 9d() d() 10 9 d() 5d() 60 9d() = 6 0 for d() 1. On the other hand, if c() d(), then by R3, R, R5, Claim and Claim 3, we hae w () w() 13 9 c 1() 1 3 c () 9 t() = d() (c 1()c ()) 9 t() 7 9 c 1() d() d() 9 (d() c 1() c ()) 7 9 c 1() = 7 9 d() c 1() 8 9 c () 7 9 d() c() 7 9 d() d() 60 18d() = 6 0 for d() 1. References [1] M. O. Albertson and B. Mohar. Coloring ertices and faces of locally planar graphs. Graphs Combin., :89 95, 006. [] J. A. Bondy and U. S. R. Murty. Graph Theory with Applications. American Elseier Pub. Co., New York, [3] O. V. Borodin. Solution of Ringel s problems on the ertex-face coloring of plane graphs and on the coloring of 1-planar graphs. Metody Diskret. Analiz, 1:1 6, 198. (in Russian). [] O. V. Borodin. A new proof of the 6 color theorem. J. Graph Theory, 19():507 51, [5] O. V. Borodin, A. V. Kostochka, A. Raspaud, and E. Sopena. Acyclic colouring of 1-planar graphs. Discrete Appl. Math., 10:9 1, 001.

9 16 X. Zhang, J.-L. Wu and G. Liu [6] O. V. Borodin, I. G. Dmitrie, and A. O. Ianoa. The height of a cycle of length in 1-planar graphs with minimum degree 5 without triangles. Diskretn. Anal. Issled. Oper., 15(1):11 16, 008. (in Russian). [7] I. Fabrici and T. Madaras. The structure of 1-planar graphs. Discrete Math., 307:85 865, 007. [8] D. Hudák and T. Madaras. On local structures of 1-planar graphs of minimum degree 5 and girth. Discuss. Math. Graph Theory, 9:385 00, 009. [9] D. Hudák and T. Madaras. On local properties of 1-planar graphs with high minimum degree. Ars Math. Contemp., ():5 5, 011. [10] V. P. Korzhik and B. Mohar. Minimal obstructions for 1-immersions and hardness of 1-planarrity test. Lecture Notes in Comput. Sci., 517:30 31, 009. [11] T. Madaras. On local properties of 1-planar graphs with specified minimum degree and girth. In The Fifth Workshop, Graph Embeddings and Maps on Surfaces, Tále, Low Tatras, Sloakia, 009. [1] G. Ringel. Ein Sechsfarbenproblem auf der Kugel. Abh. Math. Semin. Uni. Hambg., 9: , (in German). [13] Y. Suzuki. Optimal 1-planar graphs which triangulate other surfaces. Discrete Math., 310:6 11, 010. [1] W. Wang and K.-W. Lih. Coupled choosability of plane graphs. J. Graph Theory, 58:7, 008. [15] X. Zhang and G. Liu. On edge colorings of 1-planar graphs without adjacent triangles. Submitted, 011. [16] X. Zhang and G. Liu. On edge colorings of 1-planar graphs without chordal 5-cycles. Ars Combin., 011. (accepted for publication). [17] X. Zhang and J.-L. Wu. On edge colorings of 1-planar graphs. Inform. Process. Lett., 111(3): 1 18, 011. [18] X. Zhang, G. Liu, and J.-L. Wu. Structural properties of 1-planar graphs and an application to acyclic edge coloring. Scientia Sinica Mathematica, 0(10): , 010. (in Chinese). [19] X. Zhang, G. Liu, and J.-L. Wu. Edge coloring of triangle-free 1-planar graphs. J. Shandong Uni. Nat. Sci., 5(6):15 17, 010. (in Chinese). [0] X. Zhang, J.-L. Wu, and G. Liu. List edge and list total coloring of 1-planar graphs. Submitted, 010. [1] X. Zhang, G. Liu, and J.-L. Wu. Light subgraphs in the family of 1-planar graphs with high minimum degree. Acta Math. Sin. (Engl. Ser.), 011. (accepted for publication). [] X. Zhang, Y. Yu, and G. Liu. On (p, 1)-total labelling of 1-planar graphs. Cent. Eur. J. Math., 011. doi: 10.78/s

A note on the acyclic 3-choosability of some planar graphs

A note on the acyclic 3-choosability of some planar graphs A note on the acyclic 3-choosability of some planar graphs Hervé Hocquard, Mickael Montassier, André Raspaud To cite this version: Hervé Hocquard, Mickael Montassier, André Raspaud. A note on the acyclic

More information

Negative results on acyclic improper colorings

Negative results on acyclic improper colorings Negative results on acyclic improper colorings Pascal Ochem To cite this version: Pascal Ochem. Negative results on acyclic improper colorings. Stefan Felsner. 005 European Conference on Combinatorics,

More information

List edge and list total colorings of planar graphs without non-induced 7-cycles

List edge and list total colorings of planar graphs without non-induced 7-cycles List edge and ist tota coorings of panar graphs without non-induced 7-cyces Aijun Dong, Guizhen Liu, Guojun Li To cite this version: Aijun Dong, Guizhen Liu, Guojun Li. List edge and ist tota coorings

More information

Equitable list colorings of planar graphs without short cycles

Equitable list colorings of planar graphs without short cycles Theoretical Computer Science 407 (008) 1 8 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Equitable list colorings of planar graphs

More information

The Evolution of Grötzsch s Theorem

The Evolution of Grötzsch s Theorem The Eolution of Grötzsch s Theorem Lauren DeDieu September 26, 2011 A thesis submitted in partial fulfillment of the requirements for MATH 490, in the department of Mathematics, Physics and Geology, Cape

More information

Acyclic edge coloring of planar graphs with Delta colors

Acyclic edge coloring of planar graphs with Delta colors Acyclic edge coloring of planar graphs with Delta colors Dávid Hudák, František Kardoš, Borut Lužar, Roman Soták, Riste Škrekovski To cite this version: Dávid Hudák, František Kardoš, Borut Lužar, Roman

More information

arxiv: v2 [math.co] 6 Sep 2016

arxiv: v2 [math.co] 6 Sep 2016 Acyclic chromatic index of triangle-free -planar graphs Jijuan Chen Tao Wang Huiqin Zhang Institute of Applied Mathematics Henan University, Kaifeng, 475004, P. R. China arxiv:504.06234v2 [math.co] 6 Sep

More information

The Windy Postman Problem on Series-Parallel Graphs

The Windy Postman Problem on Series-Parallel Graphs The Windy Postman Problem on Series-Parallel Graphs Francisco Javier Zaragoza Martínez To cite this version: Francisco Javier Zaragoza Martínez. The Windy Postman Problem on Series-Parallel Graphs. Stefan

More information

On size, radius and minimum degree

On size, radius and minimum degree On size, radius and minimum degree Simon Mukwembi To cite this version: Simon Mukwembi. On size, radius and minimum degree. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2014, Vol. 16 no.

More information

Cutwidth and degeneracy of graphs

Cutwidth and degeneracy of graphs Cutwidth and degeneracy of graphs Benoit Kloeckner To cite this version: Benoit Kloeckner. Cutwidth and degeneracy of graphs. IF_PREPUB. 2009. HAL Id: hal-00408210 https://hal.archives-ouvertes.fr/hal-00408210v1

More information

arxiv: v1 [math.co] 11 Apr 2018

arxiv: v1 [math.co] 11 Apr 2018 Every planar graph without adjacent cycles of length at most 8 is 3-choosable arxiv:1804.03976v1 [math.co] 11 Apr 2018 Runrun Liu and Xiangwen Li Department of Mathematics & Statistics Central China Normal

More information

The adjacent vertex-distinguishing total chromatic number of 1-tree

The adjacent vertex-distinguishing total chromatic number of 1-tree The adjacent ertex-distinguishing total chromatic number of 1-tree Haiying Wang The School of Information Engineering China Uniersity of Geosciences(Beijing) Beijing 100083, P.R.China Abstract Let G =

More information

A Context free language associated with interval maps

A Context free language associated with interval maps A Context free language associated with interval maps M Archana, V Kannan To cite this version: M Archana, V Kannan. A Context free language associated with interval maps. Discrete Mathematics and Theoretical

More information

DP-4-COLORABILITY OF PLANAR GRAPHS WITHOUT GIVEN TWO ADJACENT CYCLES

DP-4-COLORABILITY OF PLANAR GRAPHS WITHOUT GIVEN TWO ADJACENT CYCLES DP-4-COLORABILITY OF PLANAR GRAPHS WITHOUT GIVEN TWO ADJACENT CYCLES RUNRUN LIU 1 AND XIANGWEN LI 1 AND KITTIKORN NAKPRASIT 2 AND PONGPAT SITTITRAI 2 AND GEXIN YU 1,3 1 School of Mathematics & Statistics,

More information

Neighbor Sum Distinguishing Total Colorings of Triangle Free Planar Graphs

Neighbor Sum Distinguishing Total Colorings of Triangle Free Planar Graphs Acta Mathematica Sinica, English Series Feb., 2015, Vol. 31, No. 2, pp. 216 224 Published online: January 15, 2015 DOI: 10.1007/s10114-015-4114-y Http://www.ActaMath.com Acta Mathematica Sinica, English

More information

On infinite permutations

On infinite permutations On infinite permutations Dmitri G. Fon-Der-Flaass, Anna E. Frid To cite this version: Dmitri G. Fon-Der-Flaass, Anna E. Frid. On infinite permutations. Stefan Felsner. 2005 European Conference on Combinatorics,

More information

b-chromatic number of cacti

b-chromatic number of cacti b-chromatic number of cacti Victor Campos, Claudia Linhares Sales, Frédéric Maffray, Ana Silva To cite this version: Victor Campos, Claudia Linhares Sales, Frédéric Maffray, Ana Silva. b-chromatic number

More information

On the longest path in a recursively partitionable graph

On the longest path in a recursively partitionable graph On the longest path in a recursively partitionable graph Julien Bensmail To cite this version: Julien Bensmail. On the longest path in a recursively partitionable graph. 2012. HAL Id:

More information

A simplified discharging proof of Grötzsch theorem

A simplified discharging proof of Grötzsch theorem A simplified discharging proof of Grötzsch theorem Zdeněk Dvořák November 29, 2013 Abstract In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch

More information

Dirac s Map-Color Theorem for Choosability

Dirac s Map-Color Theorem for Choosability Dirac s Map-Color Theorem for Choosability T. Böhme B. Mohar Technical University of Ilmenau, University of Ljubljana, D-98684 Ilmenau, Germany Jadranska 19, 1111 Ljubljana, Slovenia M. Stiebitz Technical

More information

Fractional coloring of triangle-free planar graphs

Fractional coloring of triangle-free planar graphs Fractional coloring of triangle-free planar graphs Zdeněk Dvořák, Jean-Sébastien Sereni, Jan Volec To cite this version: Zdeněk Dvořák, Jean-Sébastien Sereni, Jan Volec. Fractional coloring of triangle-free

More information

Hamiltonian decomposition of prisms over cubic graphs

Hamiltonian decomposition of prisms over cubic graphs Hamiltonian decomposition of prisms over cubic graphs Moshe Rosenfeld, Ziqing Xiang To cite this version: Moshe Rosenfeld, Ziqing Xiang. Hamiltonian decomposition of prisms over cubic graphs. Discrete

More information

arxiv: v1 [math.co] 7 Nov 2018

arxiv: v1 [math.co] 7 Nov 2018 DP-4-COLORABILITY OF TWO CLASSES OF PLANAR GRAPHS LILY CHEN 1 AND RUNRUN LIU 2 AND GEXIN YU 2, AND REN ZHAO 1 AND XIANGQIAN ZHOU 1,4 arxiv:1811.02920v1 [math.co] Nov 2018 1 School of Mathematical Sciences,

More information

arxiv: v1 [math.co] 25 Dec 2017

arxiv: v1 [math.co] 25 Dec 2017 Planar graphs without -cycles adjacent to triangles are DP--colorable Seog-Jin Kim and Xiaowei Yu arxiv:1712.08999v1 [math.co] 25 Dec 2017 December 27, 2017 Abstract DP-coloring (also known as correspondence

More information

Injective colorings of sparse graphs

Injective colorings of sparse graphs Injective colorings of sparse graphs Daniel W. Cranston Seog-Jin Kim Gexin Yu August 28, 2008 Abstract Let Mad(G) denote the maximum average degree (over all subgraphs) of G and let χ i(g) denote the injective

More information

Easter bracelets for years

Easter bracelets for years Easter bracelets for 5700000 years Denis Roegel To cite this version: Denis Roegel. Easter bracelets for 5700000 years. [Research Report] 2014. HAL Id: hal-01009457 https://hal.inria.fr/hal-01009457

More information

Injective colorings of sparse graphs

Injective colorings of sparse graphs Injective colorings of sparse graphs Daniel W. Cranston Seog-Jin Kim Gexin Yu June 10, 2010 Abstract Let mad(g) denote the maximum average degree (over all subgraphs) of G and let χ i(g) denote the injective

More information

arxiv: v1 [math.co] 25 Apr 2016

arxiv: v1 [math.co] 25 Apr 2016 On the zone complexity of a ertex Shira Zerbib arxi:604.07268 [math.co] 25 Apr 206 April 26, 206 Abstract Let L be a set of n lines in the real projectie plane in general position. We show that there exists

More information

THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH

THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 4, 2016 THE MINIMUM MATCHING ENERGY OF BICYCLIC GRAPHS WITH GIVEN GIRTH HONG-HAI LI AND LI ZOU ABSTRACT. The matching energy of a graph was introduced

More information

Pyramidal Sum Labeling In Graphs

Pyramidal Sum Labeling In Graphs ISSN : 48-96, Vol 8, Issue 4, ( Part -I) April 8, pp-9 RESEARCH ARTICLE Pyramidal Sum Labeling In Graphs OPEN ACCESS HVelet Getzimah, D S T Ramesh ( department Of Mathematics, Pope s College, Sayerpuram-68,Ms

More information

Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma.

Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma. Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma. Loïc De Pontual, Delphine Trochet, Franck Bourdeaut, Sophie Thomas, Heather Etchevers, Agnes Chompret, Véronique Minard,

More information

On one class of permutation polynomials over finite fields of characteristic two *

On one class of permutation polynomials over finite fields of characteristic two * On one class of permutation polynomials over finite fields of characteristic two * Leonid Bassalygo, Victor A. Zinoviev To cite this version: Leonid Bassalygo, Victor A. Zinoviev. On one class of permutation

More information

Derivation of relaxional transport equations for a gas of pseudo-maxwellian molecules

Derivation of relaxional transport equations for a gas of pseudo-maxwellian molecules Deriation of relaxional transport equations for a gas of pseudo-maxllian molecules Alexander Orlo To cite this ersion: Alexander Orlo. Deriation of relaxional transport equations for a gas of pseudo- Maxllian

More information

EQUITABLE COLORING OF SPARSE PLANAR GRAPHS

EQUITABLE COLORING OF SPARSE PLANAR GRAPHS EQUITABLE COLORING OF SPARSE PLANAR GRAPHS RONG LUO, D. CHRISTOPHER STEPHENS, AND GEXIN YU Abstract. A proper vertex coloring of a graph G is equitable if the sizes of color classes differ by at most one.

More information

A new simple recursive algorithm for finding prime numbers using Rosser s theorem

A new simple recursive algorithm for finding prime numbers using Rosser s theorem A new simple recursive algorithm for finding prime numbers using Rosser s theorem Rédoane Daoudi To cite this version: Rédoane Daoudi. A new simple recursive algorithm for finding prime numbers using Rosser

More information

3-choosability of triangle-free planar graphs with constraints on 4-cycles

3-choosability of triangle-free planar graphs with constraints on 4-cycles 3-choosability of triangle-free planar graphs with constraints on 4-cycles Zdeněk Dvořák Bernard Lidický Riste Škrekovski Abstract A graph is k-choosable if it can be colored whenever every vertex has

More information

Smart Bolometer: Toward Monolithic Bolometer with Smart Functions

Smart Bolometer: Toward Monolithic Bolometer with Smart Functions Smart Bolometer: Toward Monolithic Bolometer with Smart Functions Matthieu Denoual, Gilles Allègre, Patrick Attia, Olivier De Sagazan To cite this version: Matthieu Denoual, Gilles Allègre, Patrick Attia,

More information

Analysis of Boyer and Moore s MJRTY algorithm

Analysis of Boyer and Moore s MJRTY algorithm Analysis of Boyer and Moore s MJRTY algorithm Laurent Alonso, Edward M. Reingold To cite this version: Laurent Alonso, Edward M. Reingold. Analysis of Boyer and Moore s MJRTY algorithm. Information Processing

More information

DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS

DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS SIAMJ.DISCRETE MATH. c 1997 Society for Industrial and Applied Mathematics Vol. 10, No. 2, pp. 309 317, May 1997 011 DECOMPOSING 4-REGULAR GRAPHS INTO TRIANGLE-FREE 2-FACTORS EDWARD BERTRAM AND PETER HORÁK

More information

Avalanche Polynomials of some Families of Graphs

Avalanche Polynomials of some Families of Graphs Avalanche Polynomials of some Families of Graphs Dominique Rossin, Arnaud Dartois, Robert Cori To cite this version: Dominique Rossin, Arnaud Dartois, Robert Cori. Avalanche Polynomials of some Families

More information

Edge-face colouring of plane graphs with maximum degree nine

Edge-face colouring of plane graphs with maximum degree nine Edge-face colouring of plane graphs with maximum degree nine Jean-Sébastien Sereni Matěj Stehlík Abstract An edge-face colouring of a plane graph with edge set E and face set F is a colouring of the elements

More information

Near-colorings and Steinberg conjecture

Near-colorings and Steinberg conjecture Near-colorings and Steinberg conjecture André Raspaud LaBRI Université Bordeaux I France Department of Mathematics, Zhejiang Normal University, Jinhua, China October 3, 20 Proper k-coloring Proper k-coloring

More information

Completeness of the Tree System for Propositional Classical Logic

Completeness of the Tree System for Propositional Classical Logic Completeness of the Tree System for Propositional Classical Logic Shahid Rahman To cite this version: Shahid Rahman. Completeness of the Tree System for Propositional Classical Logic. Licence. France.

More information

Generalization of the Minimum Branch Vertices Spanning Tree Problem

Generalization of the Minimum Branch Vertices Spanning Tree Problem Generalization of the Minimum Branch Vertices Spanning Tree Problem Massinissa Merabet, Miklós Molnár To cite this ersion: Massinissa Merabet, Miklós Molnár. Generalization of the Minimum Branch Vertices

More information

3-choosability of triangle-free planar graphs with constraint on 4-cycles

3-choosability of triangle-free planar graphs with constraint on 4-cycles 3-choosability of triangle-free planar graphs with constraint on 4-cycles Zdeněk Dvořák Bernard Lidický Riste Škrekovski Abstract A graph is k-choosable if it can be colored whenever every vertex has a

More information

Norm Inequalities of Positive Semi-Definite Matrices

Norm Inequalities of Positive Semi-Definite Matrices Norm Inequalities of Positive Semi-Definite Matrices Antoine Mhanna To cite this version: Antoine Mhanna Norm Inequalities of Positive Semi-Definite Matrices 15 HAL Id: hal-11844 https://halinriafr/hal-11844v1

More information

Strong oriented chromatic number of planar graphs without short cycles

Strong oriented chromatic number of planar graphs without short cycles Discrete Mathematics and Theoretical Computer Science DMTCS vol. 10:1, 008, 1 4 Strong oriented chromatic number of planar graphs without short cycles Mickaël Montassier 1, Pascal Ochem, and Alexandre

More information

3-CHOOSABILITY OF TRIANGLE-FREE PLANAR GRAPHS WITH CONSTRAINT ON 4-CYCLES

3-CHOOSABILITY OF TRIANGLE-FREE PLANAR GRAPHS WITH CONSTRAINT ON 4-CYCLES University of Ljubljana Institute of Mathematics, Physics and Mechanics Department of Mathematics Jadranska 19, 1000 Ljubljana, Slovenia Preprint series, Vol. 47 (2009), 1080 3-CHOOSABILITY OF TRIANGLE-FREE

More information

Oriented vertex and arc colorings of outerplanar graphs

Oriented vertex and arc colorings of outerplanar graphs Information Processing Letters 100 (2006) 97 104 www.elsevier.com/locate/ipl Oriented vertex and arc colorings of outerplanar graphs Alexandre Pinlou,1, Éric Sopena LaBRI, Université Bordeaux 1, 351, cours

More information

Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle

Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle Zdeněk Dvořák Daniel Král Robin Thomas 11 October 2010 Abstract Let G be a plane graph with with exactly

More information

arxiv: v3 [math.co] 20 Sep 2016

arxiv: v3 [math.co] 20 Sep 2016 PLANAR GRAPHS ARE 9/-COLORABLE DANIEL W. CRANSTON AND LANDON RABERN arxi:0.7 [math.co] 0 Sep 06 Abstract. We show that eery planar graph G has a -fold 9-coloring. In particular, this implies that G has

More information

2-Distance Colorings of Integer Distance

2-Distance Colorings of Integer Distance 2-Distance Colorings of Integer Distance Graphs Brahim Benmedjdoub, Eric Sopena, Isma Bouchemakh To cite this version: Brahim Benmedjdoub, Eric Sopena, Isma Bouchemakh. Graphs. 2016. 2-Distance

More information

Some tight polynomial-exponential lower bounds for an exponential function

Some tight polynomial-exponential lower bounds for an exponential function Some tight polynomial-exponential lower bounds for an exponential function Christophe Chesneau To cite this version: Christophe Chesneau. Some tight polynomial-exponential lower bounds for an exponential

More information

On Symmetric Norm Inequalities And Hermitian Block-Matrices

On Symmetric Norm Inequalities And Hermitian Block-Matrices On Symmetric Norm Inequalities And Hermitian lock-matrices Antoine Mhanna To cite this version: Antoine Mhanna On Symmetric Norm Inequalities And Hermitian lock-matrices 015 HAL Id: hal-0131860

More information

Completely Independent Spanning Trees in Some Regular Graphs

Completely Independent Spanning Trees in Some Regular Graphs Completely Independent Spanning Trees in Some Regular Graphs Benoit Darties, Nicolas Gastineau, Olivier Togni To cite this version: Benoit Darties, Nicolas Gastineau, Olivier Togni. Completely Independent

More information

A note on the computation of the fraction of smallest denominator in between two irreducible fractions

A note on the computation of the fraction of smallest denominator in between two irreducible fractions A note on the computation of the fraction of smallest denominator in between two irreducible fractions Isabelle Sivignon To cite this version: Isabelle Sivignon. A note on the computation of the fraction

More information

Dispersion relation results for VCS at JLab

Dispersion relation results for VCS at JLab Dispersion relation results for VCS at JLab G. Laveissiere To cite this version: G. Laveissiere. Dispersion relation results for VCS at JLab. Compton Scattering from Low to High Momentum Transfer, Mar

More information

L institution sportive : rêve et illusion

L institution sportive : rêve et illusion L institution sportive : rêve et illusion Hafsi Bedhioufi, Sida Ayachi, Imen Ben Amar To cite this version: Hafsi Bedhioufi, Sida Ayachi, Imen Ben Amar. L institution sportive : rêve et illusion. Revue

More information

Hypertree-Width and Related Hypergraph Invariants

Hypertree-Width and Related Hypergraph Invariants Hypertree-Width and Related Hypergraph Invariants Isolde Adler, Georg Gottlob, Martin Grohe To cite this version: Isolde Adler, Georg Gottlob, Martin Grohe. Hypertree-Width and Related Hypergraph Invariants.

More information

SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS

SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS Arash Asadi Luke Postle 1 Robin Thomas 2 School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA ABSTRACT

More information

Steinberg-like theorems for backbone colouring

Steinberg-like theorems for backbone colouring Steinberg-like theorems for backbone colouring Julio Araujo, Frédéric Havet, Mathieu Schmitt To cite this version: Julio Araujo, Frédéric Havet, Mathieu Schmitt. Steinberg-like theorems for backbone colouring.

More information

Nel s category theory based differential and integral Calculus, or Did Newton know category theory?

Nel s category theory based differential and integral Calculus, or Did Newton know category theory? Nel s category theory based differential and integral Calculus, or Did Newton know category theory? Elemer Elad Rosinger To cite this version: Elemer Elad Rosinger. Nel s category theory based differential

More information

A Sufficient condition for DP-4-colorability

A Sufficient condition for DP-4-colorability A Sufficient condition for DP-4-colorability Seog-Jin Kim and Kenta Ozeki August 21, 2017 Abstract DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed

More information

On the oriented chromatic index of oriented graphs

On the oriented chromatic index of oriented graphs On the oriented chromatic index of oriented graphs Pascal Ochem, Alexandre Pinlou, Éric Sopena LaBRI, Université Bordeaux 1, 351, cours de la Libération 33405 Talence Cedex, France February 19, 2006 Abstract

More information

Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks

Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard To cite this version: Adrien Richard. Fixed point theorems for Boolean networks expressed in terms of

More information

Axiom of infinity and construction of N

Axiom of infinity and construction of N Axiom of infinity and construction of N F Portal To cite this version: F Portal. Axiom of infinity and construction of N. 2015. HAL Id: hal-01162075 https://hal.archives-ouvertes.fr/hal-01162075 Submitted

More information

approximation results for the Traveling Salesman and related Problems

approximation results for the Traveling Salesman and related Problems approximation results for the Traveling Salesman and related Problems Jérôme Monnot To cite this version: Jérôme Monnot. approximation results for the Traveling Salesman and related Problems. Information

More information

Average degrees of edge-chromatic critical graphs

Average degrees of edge-chromatic critical graphs Average degrees of edge-chromatic critical graphs Yan Cao a,guantao Chen a, Suyun Jiang b,c, Huiqing Liu d, Fuliang Lu e a Department of Mathematics and Statistics, Georgia State University, Atlanta, GA

More information

Exact Comparison of Quadratic Irrationals

Exact Comparison of Quadratic Irrationals Exact Comparison of Quadratic Irrationals Phuc Ngo To cite this version: Phuc Ngo. Exact Comparison of Quadratic Irrationals. [Research Report] LIGM. 20. HAL Id: hal-0069762 https://hal.archives-ouvertes.fr/hal-0069762

More information

Steinberg s Conjecture

Steinberg s Conjecture Steinberg s Conjecture Florian Hermanns September 5, 2013 Abstract Every planar graph without 4-cycles and 5-cycles is 3-colorable. This is Steinberg s conjecture, proposed in 1976 by Richard Steinberg.

More information

From Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach

From Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach From Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach Christophe Cruz, Helmi Ben Hmida, Frank Boochs, Christophe Nicolle To cite this version: Christophe Cruz, Helmi Ben Hmida,

More information

There are infinitely many twin primes 30n+11 and 30n+13, 30n+17 and 30n+19, 30n+29 and 30n+31

There are infinitely many twin primes 30n+11 and 30n+13, 30n+17 and 30n+19, 30n+29 and 30n+31 There are infinitely many twin primes 30n+11 and 30n+13, 30n+17 and 30n+19, 30n+29 and 30n+31 Sibiri Christian Bandre To cite this version: Sibiri Christian Bandre. There are infinitely many twin primes

More information

ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER AVERAGE DEGREE. Weifan Wang and Yiqiao Wang

ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER AVERAGE DEGREE. Weifan Wang and Yiqiao Wang TAIWANESE JOURNAL OF MATHEMATICS Vol. 12, No. 4, pp. 979-990, July 2008 This paper is available online at http://www.tjm.nsysu.edu.tw/ ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER

More information

Hook lengths and shifted parts of partitions

Hook lengths and shifted parts of partitions Hook lengths and shifted parts of partitions Guo-Niu Han To cite this version: Guo-Niu Han Hook lengths and shifted parts of partitions The Ramanujan Journal, 009, 9 p HAL Id: hal-00395690

More information

ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS

ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS Abdelhafid Younsi To cite this version: Abdelhafid Younsi. ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS. 4 pages. 212. HAL Id:

More information

On Symmetric Norm Inequalities And Hermitian Block-Matrices

On Symmetric Norm Inequalities And Hermitian Block-Matrices On Symmetric Norm Inequalities And Hermitian lock-matrices Antoine Mhanna To cite this version: Antoine Mhanna On Symmetric Norm Inequalities And Hermitian lock-matrices 016 HAL Id: hal-0131860

More information

Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan

Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan Shahid Rahman To cite this version: Shahid Rahman. Soundness of the System of Semantic Trees for Classical Logic

More information

The Mahler measure of trinomials of height 1

The Mahler measure of trinomials of height 1 The Mahler measure of trinomials of height 1 Valérie Flammang To cite this version: Valérie Flammang. The Mahler measure of trinomials of height 1. Journal of the Australian Mathematical Society 14 9 pp.1-4.

More information

Strong edge-colouring of sparse planar graphs

Strong edge-colouring of sparse planar graphs Strong edge-colouring of sparse planar graphs Julien Bensmail a, Ararat Harutyunyan b, Hervé Hocquard a, Petru Valicov c a LaBRI (Université de Bordeaux), 351 cours de la Libération, 33405 Talence Cedex,

More information

Paths with two blocks in n-chromatic digraphs

Paths with two blocks in n-chromatic digraphs Paths with two blocks in n-chromatic digraphs Stéphan Thomassé, Frédéric Havet, Louigi Addario-Berry To cite this version: Stéphan Thomassé, Frédéric Havet, Louigi Addario-Berry. Paths with two blocks

More information

Parallel Repetition of entangled games on the uniform distribution

Parallel Repetition of entangled games on the uniform distribution Parallel Repetition of entangled games on the uniform distribution André Chailloux, Scarpa Giannicola To cite this version: André Chailloux, Scarpa Giannicola. Parallel Repetition of entangled games on

More information

Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122,

Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122, Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122, 244902 Juan Olives, Zoubida Hammadi, Roger Morin, Laurent Lapena To cite this version: Juan Olives,

More information

Finding cut-vertices in the square roots of a graph

Finding cut-vertices in the square roots of a graph Finding cut-vertices in the square roots of a graph Guillaume Ducoffe To cite this version: Guillaume Ducoffe. Finding cut-vertices in the square roots of a graph. [Research Report] Université Côte d Azur,

More information

Differential approximation results for the Steiner tree problem

Differential approximation results for the Steiner tree problem Differential approximation results for the Steiner tree problem Marc Demange, Jérôme Monnot, Vangelis Paschos To cite this version: Marc Demange, Jérôme Monnot, Vangelis Paschos. Differential approximation

More information

arxiv: v1 [cs.dm] 21 Oct 2017

arxiv: v1 [cs.dm] 21 Oct 2017 Eliminating Odd Cycles by Remoing a Matching Carlos V.G.C. Lima 1,, Dieter Rautenbach 2,, Uéerton S. Souza 3,, and Jayme L. Szwarcfiter 4 1 Departament of Coputer Science, Federal Uniersity of Minas Gerais,

More information

Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles

Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles Mathematics Publications Mathematics 2017 Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles Zdeněk Dvořák Charles University Bernard Lidicky

More information

FIVE-LIST-COLORING GRAPHS ON SURFACES I. TWO LISTS OF SIZE TWO IN PLANAR GRAPHS

FIVE-LIST-COLORING GRAPHS ON SURFACES I. TWO LISTS OF SIZE TWO IN PLANAR GRAPHS FIVE-LIST-COLORING GRAPHS ON SURFACES I. TWO LISTS OF SIZE TWO IN PLANAR GRAPHS Luke Postle 1 Department of Mathematics and Computer Science Emory University Atlanta, Georgia 30323, USA and Robin Thomas

More information

Passerelle entre les arts : la sculpture sonore

Passerelle entre les arts : la sculpture sonore Passerelle entre les arts : la sculpture sonore Anaïs Rolez To cite this version: Anaïs Rolez. Passerelle entre les arts : la sculpture sonore. Article destiné à l origine à la Revue de l Institut National

More information

Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination

Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination Murat Cenk, Anwar Hasan, Christophe Negre To cite this version: Murat Cenk, Anwar Hasan, Christophe Negre.

More information

Evolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity

Evolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity Evolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity Marie Duhamel To cite this version: Marie Duhamel. Evolution of the cooperation and consequences

More information

Confluence Algebras and Acyclicity of the Koszul Complex

Confluence Algebras and Acyclicity of the Koszul Complex Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation

More information

A Simple Proof of P versus NP

A Simple Proof of P versus NP A Simple Proof of P versus NP Frank Vega To cite this version: Frank Vega. A Simple Proof of P versus NP. 2016. HAL Id: hal-01281254 https://hal.archives-ouvertes.fr/hal-01281254 Submitted

More information

Small Cycle Cover of 2-Connected Cubic Graphs

Small Cycle Cover of 2-Connected Cubic Graphs . Small Cycle Cover of 2-Connected Cubic Graphs Hong-Jian Lai and Xiangwen Li 1 Department of Mathematics West Virginia University, Morgantown WV 26505 Abstract Every 2-connected simple cubic graph of

More information

Minimum degree conditions for the existence of fractional factors in planar graphs

Minimum degree conditions for the existence of fractional factors in planar graphs AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 72(3) (2018), Pages 536 548 Minimum degree conditions for the existence of fractional factors in planar graphs P. Katerinis Department of Informatics, Athens

More information

Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem.

Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem. Lecture J jacques@ucsd.edu Notation: Let [n] [n] := [n] 2. A weighted digraph is a function W : [n] 2 R. An arborescence is, loosely speaking, a digraph which consists in orienting eery edge of a rooted

More information

Supereulerian planar graphs

Supereulerian planar graphs Supereulerian planar graphs Hong-Jian Lai and Mingquan Zhan Department of Mathematics West Virginia University, Morgantown, WV 26506, USA Deying Li and Jingzhong Mao Department of Mathematics Central China

More information

Chords in Graphs. Department of Mathematics Texas State University-San Marcos San Marcos, TX Haidong Wu

Chords in Graphs. Department of Mathematics Texas State University-San Marcos San Marcos, TX Haidong Wu AUSTRALASIAN JOURNAL OF COMBINATORICS Volme 32 (2005), Pages 117 124 Chords in Graphs Weizhen G Xingde Jia Department of Mathematics Texas State Uniersity-San Marcos San Marcos, TX 78666 Haidong W Department

More information

Can we reduce health inequalities? An analysis of the English strategy ( )

Can we reduce health inequalities? An analysis of the English strategy ( ) Can we reduce health inequalities? An analysis of the English strategy (1997-2010) Johan P Mackenbach To cite this version: Johan P Mackenbach. Can we reduce health inequalities? An analysis of the English

More information

Snarks with total chromatic number 5

Snarks with total chromatic number 5 Snarks with total chromatic number 5 Gunnar Brinkmann, Myriam Preissmann, Diana Sasaki To cite this version: Gunnar Brinkmann, Myriam Preissmann, Diana Sasaki. Snarks with total chromatic number 5. Discrete

More information

Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights

Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights Discrete Mathematics and Theoretical Computer Science DMTCS vol. 17:3, 2015, 1 12 Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights Hongliang Lu School of Mathematics and Statistics,

More information