<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OJDM</journal-id><journal-title-group><journal-title>Open Journal of Discrete Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-7635</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojdm.2013.32016</article-id><article-id pub-id-type="publisher-id">OJDM-30230</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Edge Colorings of Planar Graphs without 6-Cycles with Two Chords
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ing</surname><given-names>Xue</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Jianliang</surname><given-names>Wu</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>School of Mathematics, Shandong University, Jinan, China</addr-line></aff><aff id="aff1"><addr-line>Department of Information Engineering, Taishan Polytechnic, Tai’an, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>jlwu@sdu.edu.cn(JW)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>24</day><month>04</month><year>2013</year></pub-date><volume>03</volume><issue>02</issue><fpage>83</fpage><lpage>85</lpage><history><date date-type="received"><day>January</day>	<month>8,</month>	<year>2013</year></date><date date-type="rev-recd"><day>March</day>	<month>20,</month>	<year>2013</year>	</date><date date-type="accepted"><day>April</day>	<month>18,</month>	<year>2013</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   It is proved here that if a planar graph has maximum degree at least 6 and any 6-cycle contains at most one chord, then it is of class 1. 
 
</p></abstract><kwd-group><kwd>Edge Coloring; Planar Graph; Cycle; Class 1</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>All graphs considered here are finite and simple. Let G be a graph with the vertex set <img src="2-1200139\4580183e-0860-4c3e-8924-7c3d4e6f9eae.jpg" />and edge set<img src="2-1200139\d13b1a49-3757-4a37-9a3f-1051b55c4775.jpg" />. If<img src="2-1200139\e8323a3d-c1b1-4485-9a35-4978475c8c5c.jpg" />, then its neighbor set <img src="2-1200139\e7d2c996-8dee-4c34-b731-7e6862528978.jpg" /> (or simply<img src="2-1200139\7859ccbe-fed5-4df1-8e28-9cdedac11570.jpg" />) is the set of the vertices in G adjacent to v and the degree <img src="2-1200139\13625f93-3005-46ec-ac11-ad0aa283b1dd.jpg" />of v is<img src="2-1200139\935f4a0a-7923-491e-a083-91642823d076.jpg" />. We denote the maximum degree of <img src="2-1200139\b1e44998-41e5-4e7f-9adf-949fd8c49b5f.jpg" /> by<img src="2-1200139\2259b55d-0d73-4b4e-92fe-070a4b608bfa.jpg" />. For<img src="2-1200139\c870b3ae-d55e-4276-b250-d59ba317924b.jpg" />, we denote<img src="2-1200139\d6fca8a2-5d85-485e-a858-ae5878cc0c48.jpg" />. A<img src="2-1200139\efb41e81-aa7a-469a-9ca7-9e3343e6307b.jpg" />, <img src="2-1200139\32482546-4682-46ed-be96-7f50371dfc78.jpg" />-vertex is a vertex of degree k, at least k. A k (or<img src="2-1200139\ce016e51-42ad-4d9b-91f6-f873171a2721.jpg" />)-vertex adjacent to a vertex x is called a k(or k<sup>+</sup>)-neighbor of x. Let d<sub>k</sub>(x), d<sub>k+</sub>(x) denote the number of k-neighbors, k<sup>+</sup>-neighbors of x. A k-cycle is a cycle of length k. Two cycles sharing a common edge are said to be adjacent. Given a cycle C of length k in G, an edge <img src="2-1200139\671b34e8-cad1-4700-9379-6ad296f59c21.jpg" /> is called a chord of C if <img src="2-1200139\eba6ee67-b474-41e7-b97f-1fd93f9e6911.jpg" />. Such a cycle C is also called a chordalk-cycle.</p><p>A graph is k-edge-colorable, if its edges can be colored with k colors in such a way that adjacent edges receive different colors. The edge chromatic number of a graph G, denoted by<img src="2-1200139\d3a347c2-bfaa-4df5-ba4d-c40c78f6a6a9.jpg" />, is the smallest integer k such that G is k-edge-colorable. In 1964, Vizing showed that for every simple graph G,<img src="2-1200139\0911f754-5838-4185-8ec9-c2cff54807c8.jpg" />. A graph G is said to be of class 1 if<img src="2-1200139\46097461-9103-4378-9ad8-849357b346e7.jpg" />, and of class 2 if<img src="2-1200139\8dc84303-a84d-46e9-90b6-0cce7a085a89.jpg" />. A graph G is critical if it is connected and of class 2 and <img src="2-1200139\b1e4ac07-ce97-489c-9964-b523af614544.jpg" /> for any edge e of G. A critical graph with maximum degree <img src="2-1200139\0d591a10-7889-4dbb-ae84-63b289649293.jpg" /> is called a&#160;&#160; <img src="2-1200139\2d155736-0d12-42ff-8cac-f01575a03a1a.jpg" />-critical graph. It is clear that every critical graph is 2-connected.</p><p>For planar graphs, more is known. As noted by Vizing [<xref ref-type="bibr" rid="scirp.30230-ref1">1</xref>], if C<sub>4</sub>, K<sub>4</sub>, the octahedron, and the icosahedron have one edge subdivided each, class 2 planar graphs are produced for<img src="2-1200139\225d2983-bb1d-45ae-8e96-e431979b871f.jpg" />. He proved that every planar graph with <img src="2-1200139\98357bac-3915-4a31-8fd4-50d167f03f04.jpg" /> is of class 1 (There are more general results, see [<xref ref-type="bibr" rid="scirp.30230-ref2">2</xref>] and [<xref ref-type="bibr" rid="scirp.30230-ref3">3</xref>]) and then conjectured that every planar graph with maximum degree 6 or 7 is of class 1. The case <img src="2-1200139\83afc2f8-0779-43d4-a0f3-e9b98ac3a4c3.jpg" /> for the conjecture has been verified by Zhang [<xref ref-type="bibr" rid="scirp.30230-ref4">4</xref>] and, independently, by Sanders and Zhao [<xref ref-type="bibr" rid="scirp.30230-ref5">5</xref>]. The case <img src="2-1200139\5bb5b354-0a04-4bba-96be-d1c93a5ffe8b.jpg" /> remains open, but some partial results are obtained. Theorem 16.3 in [<xref ref-type="bibr" rid="scirp.30230-ref1">1</xref>] stated that a planar graph with the maximum degree <img src="2-1200139\1dfe6204-75bf-44aa-b14a-edb1bae3fd51.jpg" /> and the girth g is of class 1 if <img src="2-1200139\e4656c19-8033-4e30-a989-aabfea6df327.jpg" /> and<img src="2-1200139\3cd5fbf8-12c5-4177-83cc-43738259ff3b.jpg" />, or <img src="2-1200139\580c1275-e5c5-41a2-99d9-b2761ae77629.jpg" /> and<img src="2-1200139\26fbbbf2-946b-4890-bc97-36a6f0d38bf9.jpg" />, or <img src="2-1200139\8843370b-7dcd-4046-9e7e-8fe6676f3f31.jpg" /> and<img src="2-1200139\a7d39137-a9ed-4db1-9fb0-bea393f6d570.jpg" />. Lam, Liu, Shiu and Wu [<xref ref-type="bibr" rid="scirp.30230-ref6">6</xref>] proved that a planar graph G is of class 1 if <img src="2-1200139\10442d45-dd7b-4908-921d-d65ef8d68aff.jpg" /> and no two 3-cycles of G sharing a common vertex. Zhou [<xref ref-type="bibr" rid="scirp.30230-ref7">7</xref>] obtained that every planar graph with <img src="2-1200139\57e75530-586b-4116-8326-fe1a433f7757.jpg" /> and without 4 or 5-cycles is of class 1. Bu and Wang [<xref ref-type="bibr" rid="scirp.30230-ref8">8</xref>] proved that every planar graph with <img src="2-1200139\f46117ab-257a-4ebe-8474-46751c5b56d3.jpg" /> and without 6-cycles is of class 1. Ni [<xref ref-type="bibr" rid="scirp.30230-ref9">9</xref>] extended the result that every planar graph with <img src="2-1200139\53d79b99-ae41-4c30-afdc-0f0617cc775c.jpg" /> and without chordal 6-cycles is of class 1. In the note, we improve the above result by proving that every planar graph with <img src="2-1200139\31bb2cd1-584f-4871-9927-7d7d0f2b093c.jpg" /> and without 6-cycles with two chords is of class 1.</p></sec><sec id="s2"><title>2. The Main Result and Its Proof</title><p>To prove our result, we will introduce some known lemmas.</p><p>Lemma 1. (Vizing’s Adjacency Lemma [<xref ref-type="bibr" rid="scirp.30230-ref1">1</xref>]). Let G be a <img src="2-1200139\403b90dc-f94c-4273-bc1d-787a61fc04ed.jpg" />-critical graph, and let u and v be adjacent vertices of G with<img src="2-1200139\1c74f5dd-11bf-4c2f-8138-89ceee13f09d.jpg" />.</p><p>1) If<img src="2-1200139\25dd9fed-d454-4de1-b8d2-86f87042cd54.jpg" />, then u is adjacent to at least <img src="2-1200139\8f6e2513-457c-47a7-9542-1a26ec7aaab9.jpg" /> vertices of degree<img src="2-1200139\c9a4c915-b9b6-44bc-839c-a29f8cf2787c.jpg" />;</p><p>2) If<img src="2-1200139\f4d3a03f-3a39-4e93-b9f2-7fd877066637.jpg" />, then u is adjacent to at least two vertices of degree<img src="2-1200139\3a37ee24-f291-4b62-bb18-48ac1d745eb6.jpg" />.</p><p>From the Vizing’s Adjacency Lemma, it is easy to get the following corollary.</p><p>Corollary 2. Let G be a <img src="2-1200139\22bc92ff-1dfb-487c-b691-c2740584bb71.jpg" />-critical graph. Then 1) Every vertex is adjacent to at most one 2-vertex and at least two <img src="2-1200139\6bd463af-22da-46ae-a0aa-05942fb1246d.jpg" />-vertices;</p><p>2) The sum of the degree of any two adjacent vertices is at least<img src="2-1200139\4d595710-1f49-4cbd-9deb-69809ddc83ef.jpg" />;</p><p>3) If <img src="2-1200139\96092a94-5a0e-41b9-a3ff-e9422ac4f5e1.jpg" /> and<img src="2-1200139\c603bc99-d94f-40c9-8f10-d8cf47e407f6.jpg" />, then every vertex of <img src="2-1200139\015de0c5-1a3b-4e96-b4eb-ff103f4e62ab.jpg" />is a<img src="2-1200139\a9de179c-fd1a-498d-b9e9-b93ab380637f.jpg" />-vertex.</p><p>Lemma 3 [<xref ref-type="bibr" rid="scirp.30230-ref4">4</xref>]. Let G be a <img src="2-1200139\3c4f0771-43a2-4e20-9f5c-1f8bd1ce0505.jpg" />-critical graph, <img src="2-1200139\0e1fbbdd-5a7b-4e8e-a6c0-4b5bfcfc27aa.jpg" />and<img src="2-1200139\ff7ff4f8-6d97-4eea-bf9e-bf53de388dc2.jpg" />. Then 1) every vertex of <img src="2-1200139\5fe2a22c-0b01-4bf8-8eaa-040bd14a3a74.jpg" /> is of degree at least<img src="2-1200139\364b7637-8f71-4abd-8dfb-2788263b4933.jpg" />;</p><p>2) if<img src="2-1200139\34b2ea65-c363-4728-a666-d5303258fc51.jpg" />, then every vertex of <img src="2-1200139\cde77fde-6e9f-4949-87b7-6d2af2759685.jpg" /> is a <img src="2-1200139\732007f5-c6ad-4d82-8aac-441d5ab03704.jpg" />-vertex.</p><p>Lemma 4 [<xref ref-type="bibr" rid="scirp.30230-ref5">5</xref>]. No <img src="2-1200139\f18bc412-f509-4682-a306-e1a127348bbe.jpg" />-critical graph has distinct vertices x, y, z such that x is adjacent to y and z, <img src="2-1200139\91962eb0-1030-42d0-80c0-323f0865d349.jpg" />and xz is in at least <img src="2-1200139\883eeb81-6e52-4c61-a1a6-3bac966f4392.jpg" /> triangles not containing y.</p><p>To be convenient, for a plane graph G, let <img src="2-1200139\8549ac88-c3c6-4f6c-9222-8df4ddaa9b1a.jpg" /> be the face set of G. A face of a graph is said to be incident with all edges and vertices in its boundary. Two faces sharing an edge e are said to be adjacent at e. A degree of a face f, denoted by <img src="2-1200139\d97f8557-10f4-4f51-9047-a70d1a5aa837.jpg" /> is the number of edges incident with f where each cut edge is counted twice. A k<sup>‒</sup>, k<sup>+</sup>-face is a face of degree k, at least k. A k-face of G is denoted by <img src="2-1200139\6b59e140-072b-4c29-be02-edf0eaa5ff90.jpg" /> if it is incident with <img src="2-1200139\2c6a64f0-f8cf-4d94-9bf5-a0506d773e58.jpg" /> along its boundary. A 3-face <img src="2-1200139\a62e0900-1f53-47df-b3d8-fb4904c56458.jpg" /> of G is called an <img src="2-1200139\d303bbe2-d934-4210-bb75-821abd941e14.jpg" />-face if <img src="2-1200139\61c4e9e0-1e35-4566-bb3c-cd826820c529.jpg" />. For a vertex<img src="2-1200139\6af4b97d-4b5e-4253-bf3b-21eb5b84c559.jpg" />, we denote by <img src="2-1200139\f6a0a8cf-bb06-4a64-bd57-9105d5626794.jpg" /> the number of k-faces incident with v.</p><p>Lemma 5 [4,5]. If G is a planar graph with<img src="2-1200139\6233c822-80f0-4b39-9a94-990660638317.jpg" />, then G is of class 1.</p><p>Lemma 6 [<xref ref-type="bibr" rid="scirp.30230-ref8">8</xref>]. If G is a graph of class 2, then G contains a k-critical subgraph for each k satisfying <img src="2-1200139\ecc19dbe-d34c-4c7f-89f8-41491c1c5eb4.jpg" />.</p><p>Theorem 7. Let G be a planar graph with<img src="2-1200139\ae08a5f4-dcad-4eab-b90d-4af1c1bacc36.jpg" />. If any 6-cycle contains at most one chord, then G is of class 1.</p><p>Proof. Suppose that G is a counterexample to our theorem with the minimum number of edges and suppose that G is embedded in the plane. Then G is a 6-critical graph by Lemmas 5 and 6, and it is 2-connected. By Euler’s formula<img src="2-1200139\c3175b11-d943-4b5f-8ffa-416e966ea829.jpg" />, we have</p><p><img src="2-1200139\f1d5ed99-55d6-40e5-a5ea-5b6ec38709b6.jpg" /></p><p>We define ch to be the initial charge. Let</p><p><img src="2-1200139\7b470865-8ccb-44f0-9498-c52e6642e77c.jpg" />for each<img src="2-1200139\f5201bba-f606-49df-ba38-75ea152e545c.jpg" />. So <img src="2-1200139\ddef82a9-f112-4c64-8c71-b6a2d0377b33.jpg" />. In the following, we will reassign a new charge denoted by <img src="2-1200139\3121a9c9-2057-4f44-802c-e3cb5f28c180.jpg" /> to each <img src="2-1200139\47606a90-8089-48a2-8fa4-a58a05efa480.jpg" /> according to the discharging rules. Since our rules only move charges around, and do not affect the sum. If we can show that <img src="2-1200139\5be823f9-f388-4dc9-b8b5-356ddddf642a.jpg" /> for each<img src="2-1200139\79486f54-3898-401c-a737-d2e26ab0b769.jpg" />, then we get an obvious contradiction <img src="2-1200139\ded035f1-ec96-46cf-9ada-2c7f5500ea4d.jpg" />. which completes our proof.</p><p>The discharging rules are defined as follows.</p><p>R1: Every 5<sup>+</sup>-face f sends <img src="2-1200139\dea9f1d3-9620-40f3-bdc7-07e3f088dc58.jpg" /> to each incident vertex.</p><p>R2: Every 2-vertex receives 1 from each adjacent vertex.</p><p>R3: Every 3-vertex receives <img src="2-1200139\9cf34fb5-45d5-408b-a8ac-98c2fb023ee3.jpg" /> from each adjacent vertex.</p><p>R4: Let f be a 3-face [x,y,z] with<img src="2-1200139\718563b7-7f3b-4959-b668-fcd2900ef9a8.jpg" />.</p><p>If <img src="2-1200139\b7974ae5-82e6-427f-92c2-59b0befa21f5.jpg" /> and<img src="2-1200139\e16aa22b-6410-44ec-804f-de2fbce45465.jpg" />, then f receives <img src="2-1200139\931baec2-a7dc-4bd2-9c4a-2cd46f0525b9.jpg" /> from y, <img src="2-1200139\17237130-8516-4401-82ff-f88862f1de19.jpg" />from z; If <img src="2-1200139\35cb9697-ca15-4d6a-8e5f-15cbbaddf454.jpg" /></p><p>and <img src="2-1200139\902ea0f7-9085-47d3-840c-e236bf45b236.jpg" /> then z sends 1 to f; If</p><p><img src="2-1200139\498acdd6-1857-4c21-a349-bd456692b88a.jpg" />, then x, y, z sends <img src="2-1200139\387ea81a-98dc-44fd-a964-3b039c33e442.jpg" /> to frespectively.</p><p>R5: If a 5-vertex v is adjacent to a 6-vertex x and incident with a (3,5,6)-face [u,v,w] such that <img src="2-1200139\1464cf89-99d5-41a2-9579-bd758e3a422e.jpg" /></p><p>and<img src="2-1200139\1e78705c-3aa7-405a-b685-db2b4cc1a4f2.jpg" />, then x sends <img src="2-1200139\50ea570b-6135-435b-ae9b-15ff1faf5737.jpg" /> to v.</p><p>Now, let’s began to check <img src="2-1200139\1a89d206-6bee-43ff-9cef-89ec40a38adc.jpg" /> for all</p><p><img src="2-1200139\9bc0556a-8d25-4403-a97b-4f86bd4e00d7.jpg" />. Let<img src="2-1200139\db26cd88-01cb-4863-88c3-8dd3c4483877.jpg" />. Then<img src="2-1200139\80658b4a-8a8e-4b03-a1c5-92ecfe73aef7.jpg" />. If</p><p><img src="2-1200139\45acb861-6a62-4f9e-bd27-1f182e49befb.jpg" />, then <img src="2-1200139\130dec33-7e6c-4995-a6a6-766e46affbed.jpg" /> by R1. If<img src="2-1200139\9c93fb15-8304-41bb-b96d-4409e2253bc5.jpg" />, then<img src="2-1200139\85a3afa7-4b89-4431-b1f8-f1b1a28040dc.jpg" />. If<img src="2-1200139\79029ad1-8cb0-490f-b382-867a12b5e092.jpg" />then <img src="2-1200139\6efa6f7f-f256-4a45-aef2-15f6183537c3.jpg" /> by R4.</p><p>Let<img src="2-1200139\f4c6cca8-05d3-4acd-a2c2-9df5c7c705dc.jpg" />. Then<img src="2-1200139\f0f7873f-c8ea-41e9-b258-a8099c08b70f.jpg" />. If<img src="2-1200139\8125becc-8c23-4f5b-8d17-10289ae87445.jpg" />, then</p><p><img src="2-1200139\d782e8ce-3ba1-44e4-8f13-427cdbc4c3e1.jpg" />by R2. If<img src="2-1200139\5fb2f207-a0bf-43dd-93bc-c355faeddd71.jpg" />, then w is adjacent to three 5<sup>+</sup>-vertices by Corollary 2, and it follows that <img src="2-1200139\97eca836-53fe-4615-9d35-54d5f7a4ec56.jpg" /> by R3. If</p><p><img src="2-1200139\f33eea2b-65a8-45e5-b869-8d1ac54cb4b2.jpg" />, then<img src="2-1200139\3509bb03-6ace-4003-a087-f583b772fdf0.jpg" />.</p><p>Since any 6-cycle of G contains at most one chord, we have the following claim.</p><p>Claim 1. Let f, f', f'' be three faces incident with w such that f' is adjacent to f and f''. If f and f'' are 3-faces, then f' must be a 5<sup>+</sup>-face.</p><p>Suppose that<img src="2-1200139\c9747720-4be2-4697-92eb-10b862d9d8c0.jpg" />. We have<img src="2-1200139\2373530f-df57-4aff-98d2-f6b924f191b1.jpg" />,</p><p><img src="2-1200139\446e3964-af4d-4f26-b8ed-b1490881ace6.jpg" />, <img src="2-1200139\9c3eff13-046a-4dd7-82e3-27c00c727a39.jpg" />, <img src="2-1200139\3570c84a-50bf-45ab-9ebb-874cd3d210a0.jpg" />and<img src="2-1200139\ad0c8d26-7f5d-4409-ba5d-95ba52efc521.jpg" />. Let <img src="2-1200139\608a8a26-2fbb-4873-9e8d-88ca8642035b.jpg" />be neighbors of w and <img src="2-1200139\ebd4e24e-866b-49fd-8436-4b1356a25b03.jpg" /> be faces incident with w such that <img src="2-1200139\5b1c90b0-9487-493d-9a64-8b22471ba8cd.jpg" /> is incident with <img src="2-1200139\6282331c-4fb2-4b15-81e6-95ec2bba1657.jpg" /> and<img src="2-1200139\4d28da68-3265-4a13-8782-317677b21dc0.jpg" />, for all<img src="2-1200139\7ca8312c-9666-4c1d-87c9-586543294647.jpg" />, where<img src="2-1200139\85d5e2e7-aacb-40bd-8849-862d1ba0fb66.jpg" />. If all neighbors of w are 5<sup>+</sup>-vertices, then</p><p><img src="2-1200139\33649257-2b8e-4143-9f26-7d31db02f8e2.jpg" />by R4. Suppose that</p><p><img src="2-1200139\274e023c-3181-41b3-a75d-587898d54024.jpg" />. If<img src="2-1200139\03cc2a9c-1324-4c80-b129-9081e4c7ffff.jpg" />, then</p><p><img src="2-1200139\3e78a3d0-72c4-4296-8e6f-7664d112a5d3.jpg" />by R4; Otherwise, without loss of generality, assume that<img src="2-1200139\780dc80a-a50c-4972-b7ba-f4f446e9ea38.jpg" />, <img src="2-1200139\6aa9722f-803e-4d95-8094-17055c4bcf76.jpg" />, <img src="2-1200139\c84fd119-430f-4b15-84c7-3840857d3e3e.jpg" />are 3-faces. Then <img src="2-1200139\5b5041b7-29f5-4d6f-9325-022f29ec1891.jpg" /> and <img src="2-1200139\23804fa2-256f-48b7-aec5-60fcfae7a36c.jpg" /> are 5<sup>+</sup>-faces by Claim 1. By Lemma 4,</p><p><img src="2-1200139\f522724c-33e5-4f76-8da8-9ea21870ee71.jpg" />. So<img src="2-1200139\a8b1cebb-0fb3-4306-8354-155d29ae606d.jpg" />sends at most <img src="2-1200139\58760595-473b-4a19-bd48-60173b0e1226.jpg" /> to its adjacent 3-faces. At the same time, <img src="2-1200139\c95066f9-747f-4660-accf-fc709bb6a344.jpg" />receives at least</p><p><img src="2-1200139\b34e2872-8dd7-47c0-a4d6-6a059d26b86c.jpg" />from <img src="2-1200139\6a2c9ef1-f2d8-4a27-94bf-36f08012dfe6.jpg" />and<img src="2-1200139\651d7d96-79bd-414e-b921-98f1b24dc33a.jpg" /> by R1, and it follows that</p><p><img src="2-1200139\7cc9f8aa-017e-4f53-8e1d-224b1ce9e613.jpg" />. Suppose that<img src="2-1200139\07ea9e24-c466-40d0-b519-15dba9bed46d.jpg" />without loss of generality, assume that<img src="2-1200139\9373f2cf-b557-4e73-b878-8a7a2bbbceed.jpg" />. Then <img src="2-1200139\d128eca7-fa4d-441e-aa32-31b08d827e21.jpg" /> by Lemma 1. If<img src="2-1200139\56fea6b2-3815-4fae-9a50-d9ddb315babf.jpg" />, or <img src="2-1200139\e458aece-4769-46c2-adb7-db6484be3f37.jpg" /> and <img src="2-1200139\709dc38e-2761-4104-974c-6852c9429bbd.jpg" />is not incident with a 3-face, then</p><p><img src="2-1200139\8cdf842d-1e51-47a0-8a87-8fce01554081.jpg" />by R3 and R4; Otherwise, <img src="2-1200139\1f3136a5-68e5-4bb5-a326-0f22474fca75.jpg" />and then <img src="2-1200139\929df9b8-ed40-4f06-8767-c6253c1bb61f.jpg" /> is incident with a 5<sup>+</sup>- face. If<img src="2-1200139\2fde9ad2-6ea6-4a41-8e19-fa5033c42135.jpg" />, then</p><p><img src="2-1200139\c89a8e73-f9a6-435e-86e7-579ccb633e2a.jpg" />; Otherwise, <img src="2-1200139\b94bbf96-32f0-48b6-9b28-fbed3c5b7073.jpg" />is incident with two 5<sup>+</sup>-faces. If <img src="2-1200139\7a212887-2473-4526-9cd7-e345eb9188dd.jpg" /> is not incident with a 3face, then <img src="2-1200139\6033826d-8d8b-479c-9d9a-7d38de8c1a13.jpg" /> by R3 and R4;</p><p>Otherwise, w receives at least <img src="2-1200139\a20aebd5-bab7-4e71-aaed-2df5a2d32020.jpg" /> from its neighbors by R5, and it follows that</p><p><img src="2-1200139\427e4d74-c32c-4b37-83fd-3a9702a63202.jpg" />.</p><p>In the following we check the case that<img src="2-1200139\161b16c6-dfab-4e03-aa2f-c27e942fb475.jpg" />. Thus we have<img src="2-1200139\bd463401-f1a8-4bfc-b174-5baa778dfac3.jpg" />, <img src="2-1200139\0593a9cc-ced1-4be3-8b0a-0c703f5578dd.jpg" />, <img src="2-1200139\f7df706f-c312-473f-b5e7-06fafce4441a.jpg" />and <img src="2-1200139\42aa5d2b-e831-4d89-bf2a-5b7b197f8b88.jpg" /> by Lemma 1.</p><p>Case 1. w sends positive charge to some adjacent 5-vertex v (ref. R5).</p><p>Suppose that v is incident with a (3,5,6)-face [u,v,x] such that <img src="2-1200139\0b6c0a45-0343-4fa0-8f61-06e547358e81.jpg" /> and <img src="2-1200139\1bc94bcb-d830-4144-8818-fba1a886e765.jpg" /> (see R5). Then <img src="2-1200139\5a102056-439e-4cbe-8157-a5b0246fed47.jpg" /></p><p>may sends <img src="2-1200139\84fd85b6-6ffe-44d7-9d89-20d3b370202c.jpg" /> to <img src="2-1200139\89f9abc5-ec52-475b-9786-e0d17ec02285.jpg" /> by R5. At the same time, <img src="2-1200139\8220ef6b-171d-4414-8e4e-d06be0f99e37.jpg" />is adjacent to five 6-vertices by Lemma 3, that is,</p><p><img src="2-1200139\6bc85ec8-5607-4f9b-908f-da5a52b485e3.jpg" />. Since<img src="2-1200139\905fddb9-4270-4a1d-b9f6-9ebb602318e7.jpg" />,<img src="2-1200139\ae3abaae-d32f-479a-9a91-e57f8848a010.jpg" />.</p><p>Case 2. <img src="2-1200139\a234a5ff-a4d8-45e7-b712-04a94e8b3cb3.jpg" />sends no charge to its adjacent 5<sup>+</sup>-vertices.</p><p>Let<img src="2-1200139\50ddb9e2-682d-409e-815d-743ae69226c7.jpg" />. If<img src="2-1200139\960288d3-6023-41e2-ae1a-d5b2e92b5328.jpg" />, then</p><p><img src="2-1200139\9496eca1-5416-4d54-898b-0b8200feed00.jpg" />. Suppose that<img src="2-1200139\de98228d-bf44-423a-b49e-6104ff3cdcc5.jpg" />. Then</p><p><img src="2-1200139\7df9c5ec-1d2c-49d1-8bc5-2584d5ac0514.jpg" />by Lemma 1 and <img src="2-1200139\b2c6b3c8-e1db-4fdb-be37-54c8637477b0.jpg" /> may be incident with a (4,4,6)-face. If<img src="2-1200139\7913fbd8-7dc8-4806-bbea-2d5b38bd1ea0.jpg" />, then</p><p><img src="2-1200139\bfbf1809-b3a7-43aa-b961-db23802d803d.jpg" />; Otherwise, <img src="2-1200139\5c6a86b6-0ff9-4cfa-b75a-de117affdc7a.jpg" />and it follows that</p><p><img src="2-1200139\a9b6702d-5a11-4278-90fd-c992af4a6f25.jpg" />.</p><p>Suppose that<img src="2-1200139\bad18c66-b436-4815-bff2-5220f88ca406.jpg" />. Then <img src="2-1200139\7de8276b-e53b-4d22-aa49-ca613728869f.jpg" /> by Lemma 1. If<img src="2-1200139\d6450781-8a49-4a93-bd0d-336574d86d7c.jpg" />, then</p><p><img src="2-1200139\845833e0-ab3b-4fd5-814a-c596892859a7.jpg" />; Otherwise, <img src="2-1200139\97f76a28-0cd6-477e-aefc-3e57fd233c9c.jpg" />is incident with two 4-vertices <img src="2-1200139\de1d18f4-a8b7-45bb-a498-c03b1524c6b8.jpg" /> then <img src="2-1200139\d9af6056-a876-4b14-a6a8-c962bc6bcdb6.jpg" /> and <img src="2-1200139\dd654ec2-bdea-486c-9362-05e132c7f835.jpg" /> are incident with at most one 3-face by Lemma 4 since<img src="2-1200139\ae07a8f6-2b46-40d5-8cf8-ef965b21e53e.jpg" />. So <img src="2-1200139\1272b9b6-2da2-4dd4-b37f-9e803d35947e.jpg" /> and it follows that <img src="2-1200139\9feec39d-55cc-4684-a8d6-c56a41d61c71.jpg" /> by R3 and R4.</p><p>Suppose that<img src="2-1200139\03cdd20c-d406-4d6f-b65e-092a57dcc3f5.jpg" />, that is, w is adjacent to a 2-vertex v. Then <img src="2-1200139\42084fd3-3833-4175-b036-29c274f003ab.jpg" /> by Lemma 1. If<img src="2-1200139\508080ad-cd14-45fa-bccd-78d7f2602be8.jpg" />, then <img src="2-1200139\f8810dd1-fc3b-4ff7-b481-41745e251ad8.jpg" /> and it follows that</p><p><img src="2-1200139\e8937094-f5e0-4e2a-aef1-fb534237dca2.jpg" />; Otherwise,</p><p><img src="2-1200139\4353e8da-857e-48a2-88a6-3b61353bf29e.jpg" />.</p></sec><sec id="s3"><title>REFERENCES</title></sec><sec id="s4"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.30230-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">S. Fiorini and R. J. Wilson, “Edge-Colorings of Graphs,” In: S. Fiorini and R. J. Wilson, Eds., Edge-Colorings of Graphs, Vol. 16, Pitman, London, 1977.</mixed-citation></ref><ref id="scirp.30230-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">H. Hind and Y. Zhao, “Edge Colorings of Graphs Embedable in a Surface of Low Genus,” Discrete Mathematics, Vol. 190, No. 1-3, 1998, pp. 107-114. 
doi:10.1016/S0012-365X(98)00050-8</mixed-citation></ref><ref id="scirp.30230-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">L. Y. Miao and J. L. Wu, “Edge-Coloring Critical Graphs with High Degree,” Discrete Mathematics, Vol. 257, No. 1, 2002, pp. 169-172.  
doi:10.1016/S0012-365X(02)00395-3</mixed-citation></ref><ref id="scirp.30230-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">L. M. Zhang, “Every Planar Graph with Maximum Degree 7 Is of Class 1,” Graphs and Combinatorics, Vol. 16, No. 4, 2000, pp. 467-495. doi:10.1007/s003730070009</mixed-citation></ref><ref id="scirp.30230-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">D. P. Sanders and Y. Zhao, “Planar Graphs of Maximum Degree Seven Are Class 1,” Journal of Combinatorial Theory, Series B, Vol. 83, No. 2, 2001, pp. 202-212. 
doi:10.1006/jctb.2001.2047</mixed-citation></ref><ref id="scirp.30230-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">P. Lam, J. Liu, W. Shiu and J. Wu, “Some Sufficient Conditions for a Planar Graph to Be of Class 1,” Congressus Numerantium, Vol. 136, No. 4, 1999, pp. 201- 205.</mixed-citation></ref><ref id="scirp.30230-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">G. F. Zhou, “A Note on Graphs of Class 1,” Discrete Mathematics, Vol. 263, No. 1-3, 2003, pp. 339-345.  
doi:10.1016/S0012-365X(02)00793-8</mixed-citation></ref><ref id="scirp.30230-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Y. H. Bu and W. F. Wang, “Some Sufficient Conditions for a Planar Graph of Maximum Degree Six to Be Class 1,” Discrete Mathematics, Vol. 306, No. 13, 2006, pp. 1440-1445. doi:10.1016/j.disc.2006.03.032</mixed-citation></ref><ref id="scirp.30230-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">W. P. Ni, “Edge Colorings of Planar Graphs with &amp;#916 = 6 without Short Cycles Contain Chords,” Journal of Nanjing Normal University, Vol. 34, No. 3, 2011, pp. 19-24 (in Chinese).</mixed-citation></ref></ref-list></back></article>