<?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">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2012.33041</article-id><article-id pub-id-type="publisher-id">AM-18105</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>
 
 
  Some Results on Edge Cover Coloring of Double Graphs
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ihui</surname><given-names>Wang</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Qiaoling</surname><given-names>Ma</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Mathematical Sciences, University of Jinan, Jinan, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>wangjh@ujn.edu.cn(IW)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>27</day><month>03</month><year>2012</year></pub-date><volume>03</volume><issue>03</issue><fpage>264</fpage><lpage>266</lpage><history><date date-type="received"><day>December</day>	<month>1,</month>	<year>2011</year></date><date date-type="rev-recd"><day>February</day>	<month>4,</month>	<year>2012</year>	</date><date date-type="accepted"><day>February</day>	<month>12,</month>	<year>2012</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>
 
 
  Let 
  G be a simple graph with vertex set 
  V(
  G) and edge set 
  E(
  G). An edge coloring 
  C of 
  G is called an edge cover coloring, if each color appears at least once at each vertex . The maximum positive integer k such that G has a k edge cover coloring is called the edge cover chromatic number of 
  G and is denoted by . It is known that for any graph 
  G, . If , then 
  G is called a graph of CI class, otherwise 
  G is called a graph of CII class. It is easy to prove that the problem of deciding whether a given graph is of CI class or CII class is NP-complete. In this paper, we consider the classification on double graph of some graphs and a polynomial time algorithm can be obtained for actually finding such a classification by our proof.
 
</p></abstract><kwd-group><kwd>Edge Cover Coloring; Classification; Double Graph</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The edge coloring problem finds a partition of all the edges in a graph into a collection of subsets of edges such that, for each subset in the partition, no edges share a common vertex. Here the objective is to minimize the number of subsets in a partition. This problem has interesting real life applications in the optimization and the network design, such as the file transfers in computer networks [<xref ref-type="bibr" rid="scirp.18105-ref1">1</xref>]. For the file transfer problem in computer networks, each computer x has a limited number f(x) of communication ports. For each pair of computers there are a number of files which are transferred between the pair of computers. In such a situation the problem is how to schedule the file transfers so as to minimize the total time for the overall transfer process. The file transfer problem in which each file has the same length can be formulated as an edge coloring [<xref ref-type="bibr" rid="scirp.18105-ref1">1</xref>]. The problem can be generalized to require the subsets to have other properties. In this work, we are interested in the partition of edges into the subsets such that each covers all the vertices. The objective, instead, is to maximize the number of such subsets.</p><p>Our terminology and notation will be standard. The reader is referred to [<xref ref-type="bibr" rid="scirp.18105-ref2">2</xref>] for the undefined terms. Graphs in this paper are simple, unless otherwise stated, i.e., they have no loops or multiple edges. We use V(G) and E(G) to denote, respectively, the vertex set and edge set of a graph G. A k-edge coloring <img src="11-7400681\059450fa-961d-420e-8abf-55437415c0fc.jpg" /> of a graph G is an assignment of k colors <img src="11-7400681\eab51082-b406-4b38-a4dd-829c3a54a9d2.jpg" /> to the edges of G. The coloring <img src="11-7400681\058b0a0d-719e-4bdf-bece-310d731e83be.jpg" /> is proper if no two adjacent edges have the same color. Unless otherwise stated, the edge coloring of graphs in this paper are not necessarily proper. An edge cover of G is a subset S of E(G) that saturates each vertex of G, i.e., each vertex of G is an end vertex of an edge in S. An edge cover coloring of G is an edge coloring such that the edges assigned the same color formed an edge cover of G. Clearly, the edge cover coloring may not be proper. The edge cover chromatic number <img src="11-7400681\642ff877-563e-4f1a-aecb-d3b4bdc4d4be.jpg" /> of G is the maximum size of a partition of E(G) into edge covers of G. G is said to be k-edge cover colorable if there is an edge cover coloring of G with k colors. An important theorem of Gupta [<xref ref-type="bibr" rid="scirp.18105-ref3">3</xref>] states that</p><p><img src="11-7400681\64ee1460-eab9-4963-8bdb-353309c61e22.jpg" /></p><p>From the above result, we can see that the edge cover chromatic number of any graph must be equal to <img src="11-7400681\f1acd5ff-efe6-4452-8ef1-5dfc7ddcd190.jpg" /> or<img src="11-7400681\a03dfce2-86b0-4649-a83c-cb8251fd22c9.jpg" />, This immediately gives us a simple way of classifying graphs into two types according to<img src="11-7400681\857c0ff0-f45b-4249-8915-01b41efc82d6.jpg" />. More precisely, we say that G is of CI class if<img src="11-7400681\d0f6004b-f02e-458e-afb0-50f58702de5f.jpg" />, and that G is of CII class if<img src="11-7400681\db463af1-186e-43c5-afa0-d9e8cb4aadde.jpg" />. Wang and Liu discuss the classification problem of nearly bipartite graphs and gave some sufficient conditions for a nearly bipartite graph G to be of CI-class [<xref ref-type="bibr" rid="scirp.18105-ref4">4</xref>]. Xu and Liu considered the edge cover chromatic number of multigraphs [<xref ref-type="bibr" rid="scirp.18105-ref5">5</xref>]. Hilton generalized the edge cover coloring and obtained many interesting results, the following theorem can be found in [<xref ref-type="bibr" rid="scirp.18105-ref6">6</xref>].</p><p>Theorem 1.1. If G is a bipartite multigraph, then G has a k-edge coloring such that the number of distinct colors represented at v is min <img src="11-7400681\4168c6d9-503c-4b9a-8e24-338c6a478b95.jpg" /> for each<img src="11-7400681\d16c06da-2751-45d4-b56b-5f9929720287.jpg" />.</p><p>By Theorem 1.1, for any bipartite graph G with minimum degree<img src="11-7400681\07bb12c3-873a-4948-ac7c-984536259344.jpg" />, it must have a <img src="11-7400681\f3fc1ae6-a4b0-4c5d-9f49-2f35bcaf5e11.jpg" />-edge cover coloring. So, we can see that all bipartite graphs are of CI class. In this paper, we discuss the classification problem on double graph of some graphs, and a good algorithm for edge cover coloring on double graph of k-regular graph can be obtained by the proof of theorem.</p></sec><sec id="s2"><title>2. The Classification of Double Graph</title><p>Let <img src="11-7400681\55ef14ac-40d4-4380-a7b6-ea8f0f4635d7.jpg" /> be a copy of simple graph G. Let u<sub>i</sub> be the vertex of G, and v<sub>i</sub> be the vertex of <img src="11-7400681\7e44b2f0-0b50-44ef-ae14-97438e6c10a5.jpg" /> correspond with u<sub>i</sub>. A new graph, denoted by D(G) is called the double graph of G if <img src="11-7400681\0c0b4009-be89-4b4f-8cc0-6af6c7770f05.jpg" /></p><p><img src="11-7400681\38136122-de16-4762-bd68-75a172cedd4a.jpg" /></p><p>It is easy to see that<img src="11-7400681\14c626ef-a99f-46e3-ae50-1f0511598763.jpg" />, and we have the following result.</p><p>Theorem 2.1. Let G be a graph of CI class, then D(G) is also a graph of CI class.</p><p>Proof. It’s enough to give a <img src="11-7400681\cd54000a-81d3-4498-ba2f-a59988d46335.jpg" />-edge cover coloring of D(G) with the color set<img src="11-7400681\6ad1f68c-8ba4-4a74-ac05-9c771485f605.jpg" />.</p><p>Since G is of CI class, G has a <img src="11-7400681\77371481-3ee2-4408-b892-2cd7f213eefc.jpg" />-edge cover coloring, and we can also give a same <img src="11-7400681\b0b74315-20e3-44b6-a371-a3980bb43a0c.jpg" />-edge cover coloring of <img src="11-7400681\df50afe4-ebaf-4dfb-8277-0e46c2c5490f.jpg" /> with the color set<img src="11-7400681\63da5b70-28f4-4266-b925-316ba90bd892.jpg" />. Next, we color the edges between the vertices of G and<img src="11-7400681\262b04e6-29fb-49d8-9cbb-0a9f31aabc58.jpg" />.</p><p>Let<img src="11-7400681\fc4c9b25-51bd-43c2-b3cc-f8264681626f.jpg" />, the induced subgraph of D(G) by<img src="11-7400681\24dc8e10-5967-41aa-a13c-2db548b6601a.jpg" />, denoted by<img src="11-7400681\1224a810-dc57-4d75-be93-e9626cbc48a4.jpg" />. It must be a bipartite graph. By Theorem 1.1, <img src="11-7400681\c3008223-b5f4-4912-a2f3-9321d2c7e39a.jpg" />has a <img src="11-7400681\c082494c-bb12-4fa2-831b-ef6a49ab8a6b.jpg" />-edge cover coloring with color set<img src="11-7400681\1f3d6e48-cfd9-4c05-878e-52e89a5bb2a7.jpg" />. Clearly, we give an edge coloring of D(G) such that each color of <img src="11-7400681\0954d86b-d1ee-4607-ac23-8d851c76e315.jpg" /> appears at least once at each vertex <img src="11-7400681\f9f691f7-4357-4471-80c7-9ae43afe1b2f.jpg" />. That is, D(G) has a <img src="11-7400681\35aca191-ae66-4639-9a85-6f862bb30c5e.jpg" />-edge cover coloring. This proves the Theorem.</p><p>By Theorem 2.1, for each CI class graph G, D(G) is also of CI class. Now we consider that if G is of CII class, what about D(G)? This question seems very difficult to answer in the current, but we can study some special CII class graphs. We have known that some regular graphs are of CI class and some regular graphs are of CII class [<xref ref-type="bibr" rid="scirp.18105-ref7">7</xref>]. It is well known that the Petersen graph P is of CII class, but its double graph D(P) is of CI class. For all k-regular graph, we have the following result.</p><p>Theorem 2.2. Let G be a k-regular graph, then the double graph D(G) is of CI class.</p><p>In order to prove Theorem 2.2, we need the following useful lemma.</p><p>Lemma 2.3. Let H be a 2k-regular graph, then H contains k edge-disjoint spanning 2-factors<img src="11-7400681\e99172a6-863e-4fe6-b8c5-fab8e977abd3.jpg" />, and<img src="11-7400681\903d1455-4879-4338-8a38-b474d52f838b.jpg" />.</p><p>Proof. Let<img src="11-7400681\ba2f197e-db1f-4307-a66c-ddf693cbdc2a.jpg" />, Since H is a 2kregular graph, it must be an Euler graph. Let T be an Euler tour of H. Now, we conform a bipartite graph <img src="11-7400681\4e161939-6b2b-47da-a6ba-28586fbcb158.jpg" /> by T. Let<img src="11-7400681\1a1858e3-110c-49c2-bae7-a61b3407b5f0.jpg" />,<img src="11-7400681\15e89775-f28d-44b0-a1d0-a5319cbf1bb9.jpg" />.</p><p>The vertex <img src="11-7400681\64beac20-b21b-46cb-b796-86d4b69ef503.jpg" /> and <img src="11-7400681\72826960-0c60-47cf-bef3-760c78806045.jpg" /> are adjacent in <img src="11-7400681\06db889a-faae-4d09-90d9-b5e27a9b94c4.jpg" /> if and only if <img src="11-7400681\a4e98bcc-f01e-47a2-98f3-be4682c025e7.jpg" /> and <img src="11-7400681\6c583ba6-483e-4e27-8879-3dc828133a1f.jpg" /> are adjacent sequentially in T. Clearly, <img src="11-7400681\bb15921b-01f1-4488-9287-64d1e1d14910.jpg" />must be a k-regular bipartite graph. By theorem 1.1, <img src="11-7400681\965aa94b-f775-4213-a8ad-aea468ad01c3.jpg" />has k edge-disjoint perfect matches<img src="11-7400681\5b922255-8814-4f9a-a371-f13ce3e72831.jpg" />. We notice that each perfect match <img src="11-7400681\4ced29f6-932f-4685-ada0-4c09387e2b45.jpg" /> in <img src="11-7400681\43ab38ba-887f-4733-be9c-f0780d1927a7.jpg" /> is exact a spanning 2-factor of H. Then H contains k edge-disjoint spanning 2-factors<img src="11-7400681\99485420-891d-4d65-9b0e-a15e2d2767b0.jpg" />, and we have<img src="11-7400681\430dceb3-5255-45f2-a636-884aa584f424.jpg" />. The lemma is true.</p><p>The Proof of Theorem 2.2. Since G is a k-regular graph, the double graph D(G) is a 2k-regular graph. By Lemma 2.3, D(G) contains k edge-disjoint spanning 2-factors<img src="11-7400681\ad84a5b2-8396-4ccf-b534-e7e0c4854b16.jpg" />, and <img src="11-7400681\5fe7cc08-2ecd-4c1a-93cd-d55ecf193d12.jpg" />. We notice that the order of D(G) is even, then each of <img src="11-7400681\d4b6462f-673e-4eb3-800c-46b3e292a42a.jpg" /> is an even cycle. By Theorem 1.1, for<img src="11-7400681\3862e3a6-1dc8-4523-aec6-73766b3eebbe.jpg" />, <img src="11-7400681\74edcf42-a16a-4b80-b6e3-dbcccc4dab08.jpg" />has 2-edge cover coloring with color set<img src="11-7400681\97573af9-0456-4e68-ac07-b868d40c70ae.jpg" />. So, we give a 2k-edge cover coloring of D(G) with color set<img src="11-7400681\1d04f716-5ed8-40d0-9ce5-09b4b03b8013.jpg" />.</p><p>This proves the Theorem.</p></sec><sec id="s3"><title>3. Remarks and Discussion</title><p>It is easy to see that a polynomial time algorithm for edge cover coloring of the double graph of any regular graph can be obtained by our proof. But in general, the problem of determining the edge cover chromatic number of any graphs is NP-hard because deciding whether a 3-connected 3-regular graph G is proper 3-edge colorable is NP-complete [<xref ref-type="bibr" rid="scirp.18105-ref8">8</xref>], which is the special case of our general problem. On the other hand, for each CII class graph G it is not known whether determining the classification of its double graph D(G) is NP-hard. But we have the following conjecture.</p><p>Conjecture 3.1. Let G be a graph of CII class, then D(G) must be a graph of CI class.</p><p>It is seems very difficult to prove the above conjecture, but one can prove that the conjecture is true for some special CII class graphs.</p></sec><sec id="s4"><title>REFERENCES</title></sec><sec id="s5"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.18105-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">E. G. Coffman, J. M. R. Garey, D. S. Johnson, et al., “Scheduling File Transfers,” SIAM Journal on Computing, Vol. 14, No. 1, 1985, pp. 326-336. </mixed-citation></ref><ref id="scirp.18105-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">J. A. Bondy and U. S. R. Murty, “Graph Theory with Applications,” MacMillan, London, 1976.</mixed-citation></ref><ref id="scirp.18105-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">R. P. Gupta, “On Decompositions of a Multigraph into Spanning Subgraphs,” Bulletin of the American Mathematical Society, Vol. 80, No. 3, 1974, pp. 500-502. 
doi:10.1090/S0002-9904-1974-13468-3</mixed-citation></ref><ref id="scirp.18105-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">J. H. Wang, X. Zhang and G. Z. Liu, “Edge Covering Coloring of Nearly Bipartite Graphs,” Journal of Applied Mathematics and Computing, Vol. 122, 2006, pp. 435440. doi:10.1007/BF02896491</mixed-citation></ref><ref id="scirp.18105-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">C. Q. Xu and G. Z. Liu, “A Note on the Edge Cover Chromatic Index of Multigraphs,” Discrete Mathematics, Vol. 308, No. 24, 2008, pp. 6564-6568. 
doi:10.1016/j.disc.2007.11.049</mixed-citation></ref><ref id="scirp.18105-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">A. J. W. Hilton and D. Werra, “A Sufficient Condition for Equitable Edge Coloring of Simple Graphs,” Discrete Mathematics, Vol. 128, No. 1-3, 1994, pp. 179-201. 
doi:10.1016/0012-365X(94)90112-0</mixed-citation></ref><ref id="scirp.18105-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">L. Y. Miao, “The Edge Cover Coloring of Graphs,” Ph.D. Thesis, Shandong University, Jinan, 2000.</mixed-citation></ref><ref id="scirp.18105-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">I. Holyer, “The NP-Completeness of Edge-Coloring,” SIAM Journal on Computing, Vol. 10, No. 1, 1981, pp. 718-720. doi:10.1137/0210055</mixed-citation></ref></ref-list></back></article>