<?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.2014.42004</article-id><article-id pub-id-type="publisher-id">OJDM-44688</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>
 
 
  General Cyclic Orthogonal Double Covers of Finite Regular Circulant Graphs
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>amadan</surname><given-names>El-Shanawany</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>Hanan</surname><given-names>Shabana</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Physics and Engineering Mathematics, Faculty of Electronic Engineering, Menoufiya University, Menouf, Egypt</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>ramadan_elshanawany380@yahoo.com(AE)</email>;<email>the_engineer_hanan@yahoo(HS)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>10</day><month>04</month><year>2014</year></pub-date><volume>04</volume><issue>02</issue><fpage>19</fpage><lpage>27</lpage><history><date date-type="received"><day>20</day>	<month>January</month>	<year>2014</year></date><date date-type="rev-recd"><day>18</day>	<month>February</month>	<year>2014</year>	</date><date date-type="accepted"><day>15</day>	<month>March</month>	<year>2014</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>
 
 
   An orthogonal double cover (ODC) of a graph <em>H</em> is a collection <inline-formula><inline-graphic xlink:href="dit_6425f23c-29b5-4720-8005-5002da394f01.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="dit_c5cd1e92-a6e3-4f8a-be37-0fd3924aa398.png" xlink:type="simple"/></inline-formula> subgraphs (pages) of <em>H</em>, so that they cover every edge of <em>H</em> twice and the intersection of any two of them contains exactly one edge. An ODC G of <em>H</em> is cyclic (CODC) if the cyclic group of order <inline-formula><inline-graphic xlink:href="dit_c5cd1e92-a6e3-4f8a-be37-0fd3924aa398.png" xlink:type="simple"/></inline-formula> is a subgroup of the automorphism group of G. In this paper, we introduce a general orthogonal labelling for CODC of circulant graphs and construct CODC by certain classes of graphs such as complete bipartite graph, the union of the co-cycles graph with a star, the center vertex of which, belongs to the co-cycles graph and graphs that are connected by a one vertex. 
 
</p></abstract><kwd-group><kwd>Graph Decomposition</kwd><kwd> Cyclic Orthogonal Double Cover</kwd><kwd> Automorphism Group</kwd><kwd> Orthogonal  Labelling</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>All graphs we deal with are undirected, finite and simple. Let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d1e7313c-10fb-489e-80af-c32259f06278.png" xlink:type="simple"/></inline-formula> be any regular graph, and let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\733e8e14-8867-4309-adde-117fd7eae3d6.png" xlink:type="simple"/></inline-formula> be a collection of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\308e8aa8-9217-4ffe-b60e-8183c6717e0f.png" xlink:type="simple"/></inline-formula> subgraphs (pages) of<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a3c24932-f14a-431b-88a0-c35e54ecb484.png" xlink:type="simple"/></inline-formula>. The collection <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\45246ee3-91cd-44f0-ba54-c8bf2211e1b4.png" xlink:type="simple"/></inline-formula> is an orthogonal double cover (ODC) of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\656c0e52-afb4-4e1a-ba5c-d765a70dbcad.png" xlink:type="simple"/></inline-formula> if it has the following properties:</p><p>1) Double cover property:</p><p>Every edge of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9dabd66c-8f2f-4f3c-a64f-d754ed8197e1.png" xlink:type="simple"/></inline-formula> is contained in exactly two of the pages in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\90073960-2cc2-4eb3-93b9-f9228cfae239.png" xlink:type="simple"/></inline-formula>.</p><p>2) Orthogonality property:</p><p>For any two distinct pages <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\de5696d8-ee88-47a2-a5ab-0dfb8bec42af.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9c0f63df-ac11-47c2-8c1e-5f6780030381.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\12162f60-2514-4d02-a9b6-f7936da9923e.png" xlink:type="simple"/></inline-formula>if and only if i and j are adjacent in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f04ae504-dc53-4213-940d-e3c3bdf40dff.png" xlink:type="simple"/></inline-formula>.</p><p>If all pages <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3b7b4de6-45bb-4753-ba5d-15695490eeb9.png" xlink:type="simple"/></inline-formula>for all <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0994548c-71b1-432f-a81a-15ac77469282.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4c333903-5bca-436d-87f0-e18d627410ae.png" xlink:type="simple"/></inline-formula> is an ODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b5a5b463-4dec-4fce-a014-8f1f13795f1d.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\70065162-839a-4ca2-a424-c5e1d100b60a.png" xlink:type="simple"/></inline-formula>. An automorphism of an ODC <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\61f48535-738b-4831-b834-efe73f0a734e.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\275f333c-b339-41e2-a152-526870a9cccc.png" xlink:type="simple"/></inline-formula> is a permutation <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\18a3d3de-6d24-45e5-8172-6ededd8b04c3.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ba0e8bf7-187f-4454-ad7f-aae0ba20b876.png" xlink:type="simple"/></inline-formula> where for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dcf61487-b419-4d16-a788-8b65c20289d5.png" xlink:type="simple"/></inline-formula> is a subgraph of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\839fb7ff-9b66-4016-b35b-f305da0e21e3.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9d1e6936-43f2-4e07-9b0a-64342cc960c8.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\635a3018-54d6-4abd-bad0-e1ee4e311783.png" xlink:type="simple"/></inline-formula> According to the obvious properties of ODCs by a graph<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\df3c6ad6-2abf-4fad-af1c-202dfab58a52.png" xlink:type="simple"/></inline-formula>, the underlying graph H has to be <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8e3fc7e9-a31f-4759-aba3-0ddc03e11ed3.png" xlink:type="simple"/></inline-formula>-regular. This concept is a generalization of the definitions of an ODC of complete graphs and complete bipartite graphs, which has been studied extensively [<xref ref-type="bibr" rid="scirp.44688-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.44688-ref2">2</xref>] . El-Shanawny et al. studied extensively the ODC of complete bipartite graphs; see [<xref ref-type="bibr" rid="scirp.44688-ref3">3</xref>] -[<xref ref-type="bibr" rid="scirp.44688-ref6">6</xref>] . An effective method to construct ODCs in the above cases was based on the idea of translate a given subgraph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4525ba50-89b7-494b-ac9f-802d3fa2f25f.png" xlink:type="simple"/></inline-formula> by a group acting on <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\829ca00a-a971-4cb7-9816-83e493eafd29.png" xlink:type="simple"/></inline-formula> If the cyclic group of order <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4e95cc80-fb34-46c0-bd52-0ff26f140856.png" xlink:type="simple"/></inline-formula> is a subgroup of the automorphism group of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b8226716-601e-4067-8b5e-7db72c79685d.png" xlink:type="simple"/></inline-formula>(the set of all automorphisms of<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\05e986b2-42dd-48a7-87bb-322002bd95e6.png" xlink:type="simple"/></inline-formula>), then an ODC <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b4feaba4-3aca-49fe-903f-28aff91bfab9.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\24b0a875-d828-4c26-928f-e0c889a8f2bd.png" xlink:type="simple"/></inline-formula> is cyclic (CODC). Therefore, the circulant graph is of special interest. In [<xref ref-type="bibr" rid="scirp.44688-ref7">7</xref>] , Scapellato et al. offers some insights on the case on ODC of Cayley graphs on cyclic groups. In [<xref ref-type="bibr" rid="scirp.44688-ref8">8</xref>] , Hartmann and Schumacher proved the following: 1) Let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cd1fdad5-1425-4be5-8b8b-f9385b7d2ec0.png" xlink:type="simple"/></inline-formula> be a 2-regular graph. There exists an ODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\97c01512-363e-4207-a46f-8d947e597cd4.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8be7a792-357b-45a8-8773-6a28b98e54ea.png" xlink:type="simple"/></inline-formula> with three exceptions for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\077c7231-9d00-414d-b048-c7273f0f5790.png" xlink:type="simple"/></inline-formula>: <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a684e960-22b2-482d-9b25-96c4c6443f04.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\df8ead97-737d-42f3-99d7-ffbf8494b8b0.png" xlink:type="simple"/></inline-formula>, 2) Let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bb36f042-6910-4394-9b23-839bcf95ca2e.png" xlink:type="simple"/></inline-formula> be a 3-regular graph containing a 1-factor and without a component isomorphic to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\db141b86-2dbc-4623-8155-051e629522c5.png" xlink:type="simple"/></inline-formula>. There exists an ODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a7989d31-f225-41aa-ba3d-6bea55650913.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d052d90d-ce7b-4d63-8b74-a93cec3cea8d.png" xlink:type="simple"/></inline-formula>, 3) Let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b810f6f7-2807-42ba-bca1-89d482859e38.png" xlink:type="simple"/></inline-formula> be a 3-regular graph containing a 1-factor and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ce576558-1998-4655-9ea3-fe8c7eca7917.png" xlink:type="simple"/></inline-formula>. There exists an ODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\671a988a-857c-44a3-b202-bc6bf94743d1.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\31860fd7-3406-4491-9225-a2079403f3f7.png" xlink:type="simple"/></inline-formula>. In [<xref ref-type="bibr" rid="scirp.44688-ref9">9</xref>] , Sampathkumar et al. introduced a special kind of orthogonal labelling called orthogonal σ-labelling, and they found it for some caterpillars of diameters 4. In [<xref ref-type="bibr" rid="scirp.44688-ref7">7</xref>] , Scapellato et al. studied the ODC of Cayley graphs and proved the following: 1) All 3-regular Cayley graphs, except<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\602db0bf-71a1-40ad-8f4b-3e2038ad1b97.png" xlink:type="simple"/></inline-formula>, have ODCs by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e2358f85-094a-4057-87ac-190e17e52d4c.png" xlink:type="simple"/></inline-formula>, 2) All 3-regular Cayley graphs on Abelian groups, except<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\338c96a9-2b0e-4452-911a-7f4a95e07585.png" xlink:type="simple"/></inline-formula>, have ODCs by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7d1056ae-5b78-4bb3-a74e-f63ce0b6174a.png" xlink:type="simple"/></inline-formula>3) All 3-regular Cayley graphs on Abelian groups, except <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c8f4750b-24e4-4de2-92f5-515285558d97.png" xlink:type="simple"/></inline-formula> and the <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7b1e1d87-a87e-45fe-8ddc-2dad43b842e9.png" xlink:type="simple"/></inline-formula>- prism (Cartesian product of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cbcdd4b5-1408-4aa6-84f8-d7d1f46c555d.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f0dc05b6-a20d-4675-9a64-6b6f7cf49dec.png" xlink:type="simple"/></inline-formula>), have ODCs by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\284549cd-1b7a-46a6-8ef9-1917306cedcf.png" xlink:type="simple"/></inline-formula> In [<xref ref-type="bibr" rid="scirp.44688-ref10">10</xref>] , Sampathkumar et al. completely settled the existence problem of CODCs of 4-regular circulant graphs.</p><p>The above results on ODCs of graphs with lower degrees motivate us to consider CODCs of graphs with higher degrees. In [<xref ref-type="bibr" rid="scirp.44688-ref11">11</xref>] , El-Shanawny et al. deal with cayley graphs on abelian groups and proved the existence of ODCs of cayley graphs by several classes of graphs. Here we are concerned with CODCs of circulant graphs of finite degrees higher than<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\06cf13f5-a9ab-4037-8c78-432361d5104e.png" xlink:type="simple"/></inline-formula>. The paper is organized as follows, Section 1.1 describes the method that can be used throughout. Section-2 constructs CODCs of circulant graphs of finite degrees higher than <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\14cfee4c-18d2-40b2-ae28-965ee1be6b28.png" xlink:type="simple"/></inline-formula> by certain graph classes. Section 3 offers the general CODCs of circulant graphs.</p><p>Definition 1. For a sequence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d68db0c1-0616-446d-9d22-eacf2a586ef2.png" xlink:type="simple"/></inline-formula> of positive integers with<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a18cde14-0d7f-4e09-9023-8fe70f2329b3.png" xlink:type="simple"/></inline-formula>, the circulant graph<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dfec9b8e-ad32-4f9f-9e24-23b92f7eb6f2.png" xlink:type="simple"/></inline-formula>, has vertex set<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a5499ccc-9ce9-4a46-a778-21181ce068c3.png" xlink:type="simple"/></inline-formula>; two vertices <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4842e718-0d2e-4b8e-b745-e8b490d5de0b.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3bb2c594-477c-43a4-8492-5f9c0f72ea10.png" xlink:type="simple"/></inline-formula> are adjacent, if and only if <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea08aba5-c82b-435f-a2c1-04d375d12d36.png" xlink:type="simple"/></inline-formula> for some<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bc170b87-7ba6-4dcb-a243-7ba854849995.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\39454e93-43a7-49a6-b7b4-73237360afb1.png" xlink:type="simple"/></inline-formula></p><p>For an edge <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9d945ebe-3a81-4317-bbb7-346a70b7c157.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\18264c32-3d0f-4ec6-af09-ab1e6ff8c26b.png" xlink:type="simple"/></inline-formula>, the length of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\84fafe3b-b0f3-4d38-af42-5bd503654d5b.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e097ce6e-53ab-432d-b58c-5acc54cf9d31.png" xlink:type="simple"/></inline-formula> Given two edges <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9db9d71b-f71d-48d5-80df-8fcfeec67431.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\11b8ff4b-2ea1-436a-be4c-881d2812b6e6.png" xlink:type="simple"/></inline-formula> of the same length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3cc9a26c-55fa-4b89-ae7f-fd88c3c3d0a1.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\791fcde0-08c3-46db-a6dc-1d127d45f28f.png" xlink:type="simple"/></inline-formula>, the rotation distance <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ae1afeda-b88a-4e29-ad61-3849eeb44b07.png" xlink:type="simple"/></inline-formula> between <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bbcf9298-d566-4965-bb49-9aaf4de731e6.png" xlink:type="simple"/></inline-formula> and  <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e6aa6571-3075-42c8-b831-0dcc6d139734.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2bc8f380-cb81-4e8f-affe-99fa38beebc1.png" xlink:type="simple"/></inline-formula> where addition and difference are calculated inside <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2a466288-328f-4edf-a794-7565f91dc3db.png" xlink:type="simple"/></inline-formula> Note that if <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c359a8ca-d318-432a-a593-5b0ecd24c27b.png" xlink:type="simple"/></inline-formula> then the edges <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f51b6a73-2230-4454-a809-c62a82d1b20c.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c583ebd0-2281-4036-8441-b75ffb7eeea9.png" xlink:type="simple"/></inline-formula> are adjacent; if <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9330daef-5afb-47f8-97fc-ba4a56cf832a.png" xlink:type="simple"/></inline-formula> then the edges <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\00ba7582-c05a-4964-aae0-9df146aedfbe.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1b7ec61c-32fe-42e5-b05b-d01f0b041f28.png" xlink:type="simple"/></inline-formula> are non adjacent.</p><p>Throughout the paper we make use of the usual notation: <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d6579cfd-27db-45fb-b83d-7e5739b6dc40.png" xlink:type="simple"/></inline-formula>for the complete graph on <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8043f52c-2718-4158-b800-595d31ca0fd3.png" xlink:type="simple"/></inline-formula> vertices, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\27c4d23c-89e2-40f6-84da-f065f20ac97b.png" xlink:type="simple"/></inline-formula>for the complete bipartite graph with independent sets of sizes <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c77fbe3b-34f3-4188-94e6-bbe1c5542609.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5d9d0566-ca09-4df8-9257-5eeed23a9033.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0290c7de-2b47-4399-b53a-05aac803cb76.png" xlink:type="simple"/></inline-formula>for the path on <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\21fe991d-ad53-4d67-a0dd-d0099cd38157.png" xlink:type="simple"/></inline-formula> vertices, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\304fcb40-0548-4bc7-8545-1097f7c1b0c7.png" xlink:type="simple"/></inline-formula>for the cycle on <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9018195e-308b-4c8b-8d60-fa01f003769f.png" xlink:type="simple"/></inline-formula> vertices, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\beddfaf1-7480-4f64-832d-c5afca961617.png" xlink:type="simple"/></inline-formula>for the disjoint union <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\27c38c91-1573-4921-b68d-10f4a03a24e6.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\be23ecb0-7983-4d54-9d53-afdad1137b9e.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cf40beea-6c55-456e-9582-d900a3419c9a.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1ea84d64-751b-4442-9610-7b8b35a40ba4.png" xlink:type="simple"/></inline-formula>for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0f81c80f-9262-4385-b50f-f4650f5bc7fc.png" xlink:type="simple"/></inline-formula> disjoint copies of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\76eee3c4-7eea-4489-b312-09f7f9c69e54.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bfb8b5ef-a530-4c5f-b0fc-04767c7f22b6.png" xlink:type="simple"/></inline-formula> for the union of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6b96eecf-4a2b-4399-8576-502123295e68.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\113e20a2-7705-40fc-b0bf-43031919fae6.png" xlink:type="simple"/></inline-formula> with a common vertex <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a71fd2f6-e34a-4675-8c1d-9c831e2b2bb4.png" xlink:type="simple"/></inline-formula> belongs to <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\56b33c51-d7d8-437e-920f-cb224f5f6627.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fe133ccd-2d0a-4b27-b344-49f2fe250157.png" xlink:type="simple"/></inline-formula> Let <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\65fcb7ed-de03-429f-9cde-13195d73dd7d.png" xlink:type="simple"/></inline-formula> be positive integers, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c0f49896-0041-411f-bdac-514283cd88d7.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f033df88-48c6-4bc9-9bb9-15e354cf4f5c.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9b836a40-d9b4-4a7b-9a6a-103036a1f883.png" xlink:type="simple"/></inline-formula> the caterpillar</p><p><inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5bf53551-2de4-42bd-a015-69799d86e54c.png" xlink:type="simple"/></inline-formula>is the tree obtained from the path <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\eb85031b-ee7a-48f2-b611-04d6229fb1b6.png" xlink:type="simple"/></inline-formula> by joining vertex <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f4a514af-bfbb-4958-8aaa-37ed5ed5c9bf.png" xlink:type="simple"/></inline-formula> to <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5e1a7a9c-ca58-44f0-970e-14867507927d.png" xlink:type="simple"/></inline-formula> new vertices, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e4fccaf4-e29b-4e66-bee7-a64db5f82687.png" xlink:type="simple"/></inline-formula>Other terminology not defined here can be found in [<xref ref-type="bibr" rid="scirp.44688-ref12">12</xref>] .</p>CODC of Circulant Graphs<p>Consider the complete graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\834303e5-a407-4152-b843-ea63b2284c1f.png" xlink:type="simple"/></inline-formula> The authors of [<xref ref-type="bibr" rid="scirp.44688-ref13">13</xref>] introduced the notion of an orthogonal labelling. Given a graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\29c0213f-2a3a-4b5e-acda-946bbae995a8.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ca599c73-fb13-4c60-ae9f-176eeeba9324.png" xlink:type="simple"/></inline-formula> edges, a <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\38bd515e-6e3d-4aa3-b579-32eff3f92d85.png" xlink:type="simple"/></inline-formula> mapping <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4abcd20e-7e17-4164-8288-b806a4a3a47b.png" xlink:type="simple"/></inline-formula> is an orthogonal labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8663df52-07eb-4bbc-9788-951f000161dd.png" xlink:type="simple"/></inline-formula> if the following conditions are satisfied:</p><p>1) For every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3bbad57d-d6f9-42b5-b7fd-36069f3226e1.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5adce952-525d-4ac5-b842-3ac8cfe139cc.png" xlink:type="simple"/></inline-formula>contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\86272124-5a70-4bbb-860e-4fc93849a066.png" xlink:type="simple"/></inline-formula>, and exactly one edge of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\970662ea-6005-4061-85ff-8d498f23eba1.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cf701760-4cae-476c-b80d-804be2e0b354.png" xlink:type="simple"/></inline-formula> is even, and 2) For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9887115e-033e-4c3a-a804-2b9154ec454c.png" xlink:type="simple"/></inline-formula></p><p>The following theorem of Gronau et al. [<xref ref-type="bibr" rid="scirp.44688-ref13">13</xref>] relates CODCs of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\800c3667-2552-4b95-9c2c-a01cf15800bf.png" xlink:type="simple"/></inline-formula> and orthogonal labellings.</p><p>Theorem 2. ([<xref ref-type="bibr" rid="scirp.44688-ref13">13</xref>] ) A CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c9c9e61c-b073-4ffa-a2a0-939776729c70.png" xlink:type="simple"/></inline-formula> by a graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5c34429d-6298-4747-955d-59c123f9df22.png" xlink:type="simple"/></inline-formula> exists if and only if there exists an orthogonal labelling of<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\22704c06-8c7f-443a-bda4-d7123a1ba210.png" xlink:type="simple"/></inline-formula>.</p><p>Sampathkumar and Srinivasan [<xref ref-type="bibr" rid="scirp.44688-ref10">10</xref>] , called an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dc9cdca3-d8c1-46de-ae43-eb2df600c1a9.png" xlink:type="simple"/></inline-formula>-labelling and generalized it to an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4aa765c1-c352-4039-91ca-c027ef546bf0.png" xlink:type="simple"/></inline-formula>-labelling, where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a083a15d-317c-4025-b237-6beaefd48bcf.png" xlink:type="simple"/></inline-formula> is a sequence of positive integers with <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\985447c7-44a6-435e-8677-6999a1de191e.png" xlink:type="simple"/></inline-formula>.</p><p>1) Either n is odd or even and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5a0a174c-a489-402c-9a1e-4c85d8a81b84.png" xlink:type="simple"/></inline-formula></p><p>Given a subgraph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a79ce8df-ff90-494b-9873-01645d4045ae.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\903b75cf-8615-4086-8c17-0de0fb328e44.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\83ae569d-0a5a-45f1-b018-2e7acc2ce073.png" xlink:type="simple"/></inline-formula> edges, a labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea531cd3-8fb3-4567-b028-788a415557fa.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5f51fc67-91ba-441a-8eca-aa8e5dac7b61.png" xlink:type="simple"/></inline-formula>, is an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f30e2470-078c-4e35-a573-83164959f9d0.png" xlink:type="simple"/></inline-formula>-labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cd1daf18-3e87-4195-96cb-6f1b9a72ed97.png" xlink:type="simple"/></inline-formula> if: </p><p>a) For every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\87170182-ce5c-496c-a757-30a3ebbd6cc2.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\99c13023-3c9e-4391-bc8c-7f3edb8a9c0f.png" xlink:type="simple"/></inline-formula>contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\375b1cbc-fad2-4398-ade8-9f9862c2501b.png" xlink:type="simple"/></inline-formula>, and b) <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\207e0973-c884-42bf-a8fc-1c59e9448a67.png" xlink:type="simple"/></inline-formula></p><p>2) <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7ba976e8-66de-436a-b0cc-b7ccc0024dad.png" xlink:type="simple"/></inline-formula>is even and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ed69071d-6aa0-4f03-ad8a-7a324d869f6a.png" xlink:type="simple"/></inline-formula></p><p>Given a subgraph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3fce4f85-5afc-4356-b215-ca42ad2e5c55.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\86f89d25-7e86-444a-af5d-e23fd4bb9460.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\582011df-a327-4fa9-84cd-cb13f572c035.png" xlink:type="simple"/></inline-formula> edges, a labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\af462e21-fa1b-4810-9973-febe66814c40.png" xlink:type="simple"/></inline-formula>in<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\89c98f19-3f0d-4add-8181-237661267956.png" xlink:type="simple"/></inline-formula>, is an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f120a772-62f4-4479-a300-f0e884a3d422.png" xlink:type="simple"/></inline-formula>-labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1e9fb997-150c-4bbb-a3c9-31d3938a6cd3.png" xlink:type="simple"/></inline-formula> if:</p><p>a) For every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\523ca717-7a94-4549-9879-60c1a26102b5.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f5c13f11-9ec6-4c43-b446-b60b95f2e036.png" xlink:type="simple"/></inline-formula>contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\aef99e6f-dfb2-4823-955f-f8a773cef948.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\affe945b-adf5-477c-ae7d-20870c08c8af.png" xlink:type="simple"/></inline-formula> contains exactly one edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0b89dade-c22f-42de-8fed-f0e73cb05e46.png" xlink:type="simple"/></inline-formula>, and b)<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b1854433-284e-4511-a311-72fec97f0ddf.png" xlink:type="simple"/></inline-formula>, The following theorem of Sampathkumar and Simaringa [<xref ref-type="bibr" rid="scirp.44688-ref10">10</xref>] , is a generalization of Theorem 2.</p><p>Theorem 3 ([<xref ref-type="bibr" rid="scirp.44688-ref10">10</xref>] ). A CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\96b1e0e2-7fd5-4295-8b67-271259e7e396.png" xlink:type="simple"/></inline-formula> by a graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2281a496-a4c7-4c68-91ed-73f2fbd8c783.png" xlink:type="simple"/></inline-formula> exists, if and only if there exists an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\02f8ea7e-6fe2-4f5f-af96-e485dd7670c9.png" xlink:type="simple"/></inline-formula>-labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\269182f4-2524-4407-a806-a12a48b06e35.png" xlink:type="simple"/></inline-formula></p></sec><sec id="s2"><title>2. CODCs of Circulant Graphs by Certain Graph Classes</title><p>This section is devoted to constructing the cyclic orthogonal double covers (CODCs) of circulant graphs by different classes of graphs, complete bipartite graph as in Section 2.1, the union of the co-cycles graph with a star, the center vertex of which, belongs to the co-cycles graph as in Section 2.2 and graphs that are connected by a one vertex as in Section 2.3.</p><sec id="s2_1"><title>2.1. CODCs by a Complete Bipartite Graph</title><p>Theorem 4. For any positive integers <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bc6579eb-400b-40b1-89ab-a253e198b7ac.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\97d3dc18-e52a-45e2-83dc-c8d7df82a167.png" xlink:type="simple"/></inline-formula>, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\54314a60-2f54-4d5d-85e2-c5fbe7a80fe4.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8c12ecca-597f-4cf7-ba50-69363e5aa439.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bf5edb94-ee37-470a-8314-ea63bf88d37c.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e0882b1a-9c51-4168-91f2-7dd4a82b2497.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e708cce3-08ec-48a3-a91f-718d1e514fdc.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\06c33ed2-55e7-43e0-b317-5ea866e2b030.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8f2ed233-e89f-4582-9542-d0d97df52e65.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c4b74f46-c152-41d4-bbb7-3e23443a90da.png" xlink:type="simple"/></inline-formula> Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8d58822f-4396-40b6-bcce-868638bb199d.png" xlink:type="simple"/></inline-formula>where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c935d20f-0750-4462-8364-8b655987446d.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1d9c9586-f11a-413a-8eac-92ea5cd527bb.png" xlink:type="simple"/></inline-formula> is defined for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1947dc7f-0b2e-48f2-b627-c072ae85b969.png" xlink:type="simple"/></inline-formula>. For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9a8347d6-4e70-4898-a2a2-c2e2bca5a449.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c5bd7d2d-77d1-462b-a4cb-4c8999af3374.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\22059d4a-2ba4-49d1-a47e-d3384aa1160a.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\60bc7e49-3ba6-4118-84b4-4cd1d73509e4.png" xlink:type="simple"/></inline-formula>, and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2f67bb2b-7782-4466-acc4-c371dd093992.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC Of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\26ec44c0-ca3d-4c75-a1df-d9cffb1f103d.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b452f828-7855-4b95-ad0a-79284bb781d4.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b762b4b4-d907-4bb6-9fa5-cfc884aabf28.png" xlink:type="simple"/></inline-formula>.</p><p>Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea3abb91-55c1-4825-b322-bf74a3ced30b.png" xlink:type="simple"/></inline-formula> to be the co-cycles graph (the union of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f4464f5f-0101-4352-a297-57b646e97d61.png" xlink:type="simple"/></inline-formula> cycles of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\88f527c4-9244-4834-b596-e6ab03d50d6e.png" xlink:type="simple"/></inline-formula> with a one vertex <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c06f794a-4266-4151-8af3-131bb56482bf.png" xlink:type="simple"/></inline-formula> in common). In the following section we construct a CODCs of finite regular circulant graphs by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\73204436-2563-45dd-bdd2-01774cfe2683.png" xlink:type="simple"/></inline-formula> (the union of co-cycles graph with a star whose center vertex is the vertex<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2d2468ed-9bb5-42d1-8d09-101e204b9301.png" xlink:type="simple"/></inline-formula>).</p></sec><sec id="s2_2"><title>2.2. CODCs of Circulant Graph by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9d1834ad-98a6-48d4-9699-8f731a6663d9.png" xlink:type="simple"/></inline-formula></title><p>Theorem 5 For any positive integer <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b7ea3652-697e-4e73-b4ed-5c81dba6e739.png" xlink:type="simple"/></inline-formula>there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8cf3012d-45cf-4a8e-91e5-ee95a69808a5.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8a0fc754-e542-45cd-b99b-a6e28782f8ad.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\be870778-9899-4502-94c0-4225e8458575.png" xlink:type="simple"/></inline-formula></p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e245581d-ce0a-4dc6-9633-8a032dcc5e06.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\35abf264-2836-439e-9974-64bb4b95901b.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b07334ce-0d58-4844-be8c-eaf40a1e7296.png" xlink:type="simple"/></inline-formula>where, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\16f4a0b0-8abc-48c2-b82d-fe7eeea77831.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c41dcc52-f4c0-4595-b782-e5861efe7adf.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8074d254-5ff8-4c76-ba16-b48f641d048e.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1de3dd76-d8d1-4dd9-bf56-999214be988c.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2df14b72-2738-47f3-a62b-1ab098935216.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b7fdacdc-3974-4fcd-9e27-3d930a8409da.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d5654147-def9-485e-b73e-87b52621763f.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\080bf98c-bb92-4980-a19d-59e14d382788.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\06921853-0bc3-46a4-8c5d-bf7f1e5d7713.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e900b4c8-258d-4737-8d76-e3ec70850f6c.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\74bd045b-b011-44dd-9d0b-371a45bd229d.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\95f58459-fe31-4e93-906e-869cd054504f.png" xlink:type="simple"/></inline-formula>. Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8b0e8d16-e05a-4219-a3ea-bb2b5dacad90.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d7ba0f20-edff-4527-bea4-e6e43dba4d17.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5b15d030-71f4-433d-ab92-63cca255e9d5.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\18e76a03-59d5-49aa-a342-4095ac74845a.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d0fb5c39-ff17-45cc-9205-b37fb0a1f527.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\27406117-66c2-4017-ad00-563c4a2f478d.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7a562fcc-ff5b-40bb-bfc8-cfcf7fcf59a7.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cd748cce-01d0-4bbc-9a07-3a68aec0764e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\28d86ed3-a6a0-4570-8b61-ce89c27e7317.png" xlink:type="simple"/></inline-formula>those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\37e7cd91-86d6-485c-bdf5-f32b806eae77.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\52cb1a2b-ec21-4b64-8213-b6993614abf6.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\806120e8-babb-44d6-a797-e7001238a2cb.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\eebbd444-4fdc-4f95-ac4a-da0798088df3.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e909701f-01bd-49f1-9a39-a3e2bf39cf89.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\276f3d36-62f4-479b-8d28-2a9fb49b8d45.png" xlink:type="simple"/></inline-formula>those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\187c537b-685e-4baa-923b-f1b30643a1e2.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\43f828cd-8d7b-490f-b362-f2df07640131.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bb20f85b-0ce9-4c1b-a591-d6123871875c.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\272753ec-1321-4030-bae4-2e329ce6b491.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2b4d238e-3932-4522-8db3-05fc5c15a473.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d001bde8-ecf2-4761-b592-d1fc52e6e0a0.png" xlink:type="simple"/></inline-formula>those of length 8 are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1daa2510-9b13-4ab5-b5c8-d9d1f32c4dc6.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ed6fb282-d830-45cc-b1e9-3a574202228a.png" xlink:type="simple"/></inline-formula> the edges of length l where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\df75cf4e-3bbd-45d1-9be0-101230e8ee91.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0cfb2f7b-1683-4e70-b4b6-463bb2bba47d.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\96c5797c-d4ef-4d9f-b207-7ca9f93ac3c7.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d2c90c1d-aca5-46e9-89b3-9d8e21e06d69.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9170bf41-4f8c-4ee5-931c-ac3be1833bef.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f632e3e2-7358-40cb-a2a2-30fb3fea431f.png" xlink:type="simple"/></inline-formula> and then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4c8e3736-a09a-4164-a96e-b094c5174ff1.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ffcc9c51-fd23-48c0-a1a8-5cc4ee6ed88f.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b41fa2f7-d451-4493-a75a-e8f31e34feda.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0799e3f7-4b02-45ed-88c0-9338bee7e323.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\10b07648-d168-4f64-bf5b-eb4b5fbe75c3.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\11a3791e-761d-449c-b63c-a62b9ccf4a18.png" xlink:type="simple"/></inline-formula>     </p><p>Theorem 6 For any positive integer<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea2bbfce-bbc8-43d6-8380-5a5727fcf26d.png" xlink:type="simple"/></inline-formula>, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\86d0a12f-8a9c-4e86-b6da-d4fe18bde495.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8b6c5234-5ba8-4c48-af48-18834d95470e.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8c79c3a3-3e0e-47b3-b952-7e864725b5bd.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9312f528-4f45-424c-a9f8-bcf555027712.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8e6b6645-61db-4577-a237-dc95eb26945f.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f4a63dbb-a5f3-482f-84e8-5584bcdbbdf0.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\92706982-c401-4e19-997c-44a808962dde.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\81ea3873-0797-4609-8ab8-232e70a0cb45.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f8db7b86-594c-4e9b-9b77-e8f539ff06e2.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6c74ccd8-adf6-4a6b-84a4-649fb72a2646.png" xlink:type="simple"/></inline-formula>. Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e2e8093a-f700-4725-bd99-99ba94403112.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ad3de9df-709f-4ef0-bd60-554e76791da4.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d7275d81-f9d3-42fe-8966-2e2858e50803.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2ad6d6a3-fb18-45d3-a91e-f13d88a42a5c.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\884dd555-dddd-46b3-a0ab-902c25485cb3.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d831617e-3acd-41a7-b632-5e24ad6c920b.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7ee6868a-de92-41f8-a004-efc6916ac314.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e8d39838-6516-4f50-beac-d19b78d28e39.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fbcf1038-86d6-4657-af27-3bc3fdafaa4c.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c7c41d03-e0de-4c77-b89e-b0d16a9e65d9.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\97578a95-204b-473b-bd24-36b470f92770.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1a26a8d8-ca8c-4ba6-85a0-0c720fafadef.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b9a09060-0fe6-4882-9bbe-b1c91a149d49.png" xlink:type="simple"/></inline-formula>. For every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\216378bd-9292-43f4-9054-99818fb72deb.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4a47f506-c9bc-4b8d-8c70-3471fe0b25a7.png" xlink:type="simple"/></inline-formula>contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9f623f8f-ae53-492d-ad0f-e3c8c8c999e9.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a96de490-ed63-41bd-8873-0c82945919f8.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\67f21f94-a072-48e8-9d06-ffd7cdabb4fa.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e5f0b05a-4ddb-4e0f-aa79-586c37bb5ffb.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\324f9460-69bf-4eb0-8353-f21b926615c3.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\baddcc22-b44a-4005-8bbf-35782efd9918.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e74f3bda-208f-467f-b6a9-18815f3f01d9.png" xlink:type="simple"/></inline-formula>.  </p><p>Theorem 7 For any positive integer<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\956163dd-f9d8-4389-bc09-e814a684c5c1.png" xlink:type="simple"/></inline-formula>, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8aad73d2-6a69-48c4-9f5d-bc77a0756164.png" xlink:type="simple"/></inline-formula>-regular  <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7d9984f5-1df5-433c-bf5e-338027b79da5.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\aa020671-4ff5-4ccc-9792-74150936ce31.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\33405d33-6ab6-41fb-aff9-b9e1e4edc783.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9bdb16df-d376-434a-9dab-6425d7e3d1ed.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea9ef4d1-893c-4946-a0c8-bc273ce9dd8b.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ef52f830-ebd0-4f87-a32a-9300f37f851b.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\42bbaa3d-ac87-4426-9768-6f688563c330.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\be4df43d-d2d9-4a36-a6d5-54cd1665237a.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9274ac03-fb29-4c36-873d-f76b148967e0.png" xlink:type="simple"/></inline-formula>Then the edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\80f7187d-0d9a-4067-8816-9be9b59586d5.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\24fe8f3a-4e0a-4712-bb5c-a80a8ec16db2.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ca685903-0379-4b2c-87a5-7701a1cdd8ac.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9ac5d13c-e1ae-47e7-a9b1-b781156d9932.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dbd99c37-677b-453a-aae4-6f793b7b8e72.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4e288fb4-da76-4cde-93e5-7d57b5daf8fe.png" xlink:type="simple"/></inline-formula> those of length 3 are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a3ce92d6-10b9-451c-a7d9-aff6bfdc7c7b.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3922531e-3ce7-4f93-9d2d-854e1b3c5799.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a665b6ac-3c5d-4751-bc98-e0d819783683.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\34808df5-58ed-4730-b539-db435e6f73a4.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\28f85fb2-2e47-4225-892c-8772e0eec319.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cfa7aae7-bbce-4a75-af2e-980d1db0b183.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f2b3edcb-567e-4daf-8ec0-3e4f5626f2c9.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\339cbbe0-8a96-4cda-b72c-3c141dde817e.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d286d8a3-9250-42da-a487-40f3f2b103be.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a230e576-708e-47c5-8d61-bb6c44a0d245.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\66f04c67-6024-4d78-b2ab-aac6dbeec14c.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\eba40339-7238-4116-8484-efeb0bcdce6f.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2484dcb5-760c-472c-940c-f7c7572b35bf.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b4abc679-647b-431c-9467-f9128169a401.png" xlink:type="simple"/></inline-formula>.    </p><p>Theorem 8 For any positive integer <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\14e63956-1cfb-448b-8167-a718ab66e47e.png" xlink:type="simple"/></inline-formula> there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\980c1786-a3df-41b5-af77-f3e389ff9149.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\683d877b-a97b-4e5e-ae4c-af9000ff8b32.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\36e2f933-06b7-4200-a872-f940a108069c.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\01f61581-5be3-4a78-8106-59d97313b751.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1ebc9853-9512-40f8-9608-0a475996b089.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1b8066b5-71b9-47e9-bced-5c47058ababe.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\82ac759b-a2b1-4026-a565-1fbbeac59eae.png" xlink:type="simple"/></inline-formula> , <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\88466ebc-2c73-431f-a45d-89108e5f241d.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5b0fb453-ad26-4e20-9b05-517beebf7ce7.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f621c254-0860-409b-9601-468b899d453b.png" xlink:type="simple"/></inline-formula> Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\539d2be0-85ed-4e69-8a50-f0a9a7fb5e5a.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3678ce42-748a-492b-91e7-99d98635ed58.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\17358b68-11c5-40e5-9b85-1366424fffe5.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\26973728-d357-40e4-9381-8e07b94acd53.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b6d9d57c-1210-48d6-8a4a-a907d6575137.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e2e37310-828a-4b31-8baf-f0c04d10b68c.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\387941ad-9a4e-4770-975c-9796547b9fb7.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\74f9253b-8e1c-4cdf-8862-dd4cc09aa73c.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\554fc5dc-06d6-40f9-af25-46a6ca84d838.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0580ab43-2486-4e9c-8835-f969b8e7b3bc.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\21fcfd6c-ee5b-4343-9ac2-1a50f4f1d150.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c2470146-8e51-4033-b24e-abbe313f3aa4.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2e9d0b56-7a0e-4910-ab2c-c87383e3ea28.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d6b7db30-4dd4-408a-8d1c-dea2a9550364.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ebfb5f08-acac-47c0-a50b-c274923a5913.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c347bf4c-dfe1-4ab2-9bc9-bda695d11872.png" xlink:type="simple"/></inline-formula>. For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d63682d3-9ea1-4fa8-a493-fc1ef1585802.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\88f2ed58-d922-46cf-9b32-3aaf8db61bd9.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c08d3736-b651-44b1-bfde-bb8b4dee97bb.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3958e9f1-ec74-44bb-924a-1da15510c3ae.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\924fdfb0-2c87-45ee-bbdb-e325efd02b25.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\10e5e36e-19c6-48f3-a22c-add8f6b32a81.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\638545ca-929b-49c3-97c7-bf578e00c25d.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\af0cb25a-9844-498f-87c4-e267614b52a0.png" xlink:type="simple"/></inline-formula>.             </p><p>Theorem 9 For any positive integer <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d5631fee-cdd4-437b-953d-17d7d3bd4e71.png" xlink:type="simple"/></inline-formula> there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\971fab5e-ef97-4726-81d2-33970fe38b70.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0fc0beaf-c079-4b1d-a21b-6564710d5c27.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6916a677-321e-454f-926a-fb0228406777.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ecad9e19-4ec5-4269-9095-c4902b807468.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ede41c65-7115-4c9e-8dfd-f01df8a6b861.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\38deb72b-8c9d-4e8e-b958-4743e553fb5a.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\73dd3eff-c18d-43f3-a929-94a9bfb58f51.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\28d83829-c067-4a38-9f5f-1e7b5ef403fd.png" xlink:type="simple"/></inline-formula>. Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4cf81d54-494a-4de7-a475-7c30da49c3d8.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6248ac76-f83c-41b6-8216-dffbed24fb04.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2662ae2a-7fb7-493e-9336-1bb101a215f6.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4d828095-4f12-48f6-ac5a-56e6a24fc695.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cfc0f177-d9ac-4518-9d65-be3defd88896.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\cb755e82-0434-4c97-bd76-f578a91d1f35.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0d18c0c0-7595-4aed-a8d4-659ff8dfc9e6.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3a1fc67f-9492-40cc-8b47-abb11c120be5.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\17f9333e-78ef-4659-aa41-91df5b453fac.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4de388a7-013a-4537-a1e7-e8298e7ca221.png" xlink:type="simple"/></inline-formula>are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\efc0d7bb-9181-495e-961a-00e53259e17e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e141e80b-73c8-4cdc-92cc-fa4406565138.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\40c1c2bb-605b-42b5-b587-de5407f405ff.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dcca4b90-9ab3-4c9a-8d5f-7a56ceeab6d9.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\69b20907-7538-43ce-9236-5fddf2fbf0e6.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\254fec69-14e0-4832-9684-d5bd477b643a.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\921be13b-8579-467d-bddb-c43893fb0255.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5584e029-6ccd-481d-b3a9-a468b0e1a39a.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ea965817-0c67-4abb-9019-61c10fb628ea.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c970aedb-f631-4e55-99f1-2843bcbd955d.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5d4edbdd-f589-4d3f-bea6-96398cd7a6b4.png" xlink:type="simple"/></inline-formula>contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e15500e9-c3e8-4af7-859a-8ddf42012156.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7ddf8f1f-612c-4215-abb8-6a5465edef6f.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fd32a0ee-e193-49b7-a4bb-b3c8348b8fdd.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0c9d4139-8058-488a-bdba-0a2db81f3936.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\065b7f5b-30f9-4d2d-9573-c549b991a5c4.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4b937f50-1265-49ef-b8ce-8a038e665691.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\32585a41-a2fe-4d04-80a4-456d662ad063.png" xlink:type="simple"/></inline-formula>.         </p><p>According to these results, we can pose the following conjecture:</p><p>Conjecture 1. For any positive integers <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7c44e284-dbdf-447f-90e4-0c8879d0e4e3.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\82ebcb8c-6536-4489-a352-efefae156ce9.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\efa024b2-52f4-45f1-bc25-d234e17e9bfc.png" xlink:type="simple"/></inline-formula>, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\beeee4f0-84f4-4ca6-a384-1847b7425622.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ffe8537f-248d-4089-93b3-e77d5c279fa2.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9f8e2dfb-f9d8-408d-96da-a378126e5b91.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2_3"><title>2.3. CODCs by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\55ab7795-cc5e-4a0a-af4b-224cff0ba27d.png" xlink:type="simple"/></inline-formula> Graphs that Are Connected by a One Vertex a</title><p>Theorem 10 For any positive integer <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1d37f1a0-1c92-457d-b65c-799c5c44fb41.png" xlink:type="simple"/></inline-formula> there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\63d1ebee-8763-4332-8143-9d51f97ed6c3.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\15452d1b-5846-4bde-997d-6067fe018c41.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\37bd227c-7018-4756-83cc-592714ec0825.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\00439b33-1aea-4d9b-9911-3acd3ec6aa72.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\96293c9c-b03f-4164-9d82-7ee3e59d2b0d.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a23be06b-72ea-45ae-9f0a-fbd6befb669a.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ceee9969-01b8-40bb-83c8-50edaa97d52d.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7f30ad8e-a06c-42a3-920a-e0a87ae41e99.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a702dfc5-8acb-4a3f-b2e7-24d61310d0a3.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a2f056dc-1d75-422a-9285-2f9df07950fc.png" xlink:type="simple"/></inline-formula>. Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f0b1428b-e3e1-4ebf-b998-179912187e58.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5047b444-8547-4aa2-b61c-9ec1aeaba25b.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\36cff477-113f-4191-9dd3-968e125638f4.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3c0e7aaf-8aca-4036-ad7c-3b9b281bac23.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ed1506aa-5436-4902-98e8-dbb8b92d62f5.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c698e427-0034-4924-a402-8ac05a574aa6.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4b5642b2-7bda-46a9-95d5-c51ac5dd97c4.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\341db10d-782d-449b-a576-044181a37947.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\853aa686-1169-4944-b8c2-617296165ed1.png" xlink:type="simple"/></inline-formula>those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1a997696-0f3e-4ecd-9332-9f25c14919cd.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\29e4ef84-3bf5-4f31-9114-7a5a353a74ae.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\613c067b-a011-400e-8fdf-01ddbb84104a.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\87b50c80-3e08-463a-905a-dc87ebc46709.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9a14d7e0-899d-4cb8-9568-5517318b9943.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e594e33c-2119-49a0-82a7-6ca21f3ab806.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0bcac6f1-111e-43ba-aebf-f910bb4bb308.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\66a9528a-a72c-4e1a-a9ef-5a24081d84a9.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0d707a0b-d6da-4d5f-af74-95baa8d612a7.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dcf692f3-7892-4446-a941-40190b4df5fb.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d78ff71f-6a0b-4fca-aef0-cb2b4dee2cc5.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7b450b22-ce40-47c3-a2dc-ce7ba7975f3d.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d2efdb32-e4dc-46d4-bde3-473731095a86.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f5f3c668-f6b9-4f84-9ceb-3a814c7d623e.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a077610a-d310-4a87-ab21-1bb5ae0a5a80.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fb1f467a-4367-46d0-8dd8-97832019d42b.png" xlink:type="simple"/></inline-formula>.  </p><p>Theorem 11 For any prime number <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\512852e6-fb2d-4f31-b522-d57f376c86d5.png" xlink:type="simple"/></inline-formula> there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5b665a55-cb27-43c3-be52-4a17800d5ecf.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\88fe348b-7770-4e1e-9262-76512d8efc4d.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\625b9d1e-85f9-4e1b-a017-8f38242795e5.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1a07d4f6-8d7c-410c-b5f0-ba4dc5eb3183.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\db44c748-e370-4b01-aa49-bf6da796d419.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\abc52261-5638-4262-88ed-31e05495deb2.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\adbe7fbf-6921-4907-b51f-1583ccb67f5f.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\879c70b5-890b-4382-95dc-34b19a7c47f8.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\56ccb4fc-1d88-4389-966c-93eb415525af.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\666db382-941b-456f-87dd-1e29a0868e0c.png" xlink:type="simple"/></inline-formula>. Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\91a797ff-1d08-4150-9bd3-eb00e12ec6c5.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\63801edd-5c7a-41aa-b994-5372821a9a2e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\180dc9af-3267-4cc2-85e9-dd3371f817e6.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\61349bea-c130-4f1d-8049-dc34e76c4ec8.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\83985572-5818-45e9-8a5a-d750285157f1.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0bac47eb-fa48-466f-8b17-ae0caaebc91b.png" xlink:type="simple"/></inline-formula>; those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d4bd2e11-842e-435f-8a9b-876796b32c15.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c7d178da-a91a-4816-8b12-3b98761349bd.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3e3cd5ec-d868-464c-8ecf-619dcbfe5061.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7880fd02-e032-4b5c-9213-041c1635a8d6.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\7c21b486-73ca-4cff-b342-64d92d3ac180.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\51aad0d4-7a82-4d0d-ab8a-e334e4ad1e6d.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6533e181-6f6a-44c6-a63a-6350d74aceac.png" xlink:type="simple"/></inline-formula>. For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\42c39774-f44a-4b94-8730-c8123c6ebc89.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a5bc4dc9-bdcd-4fa1-9d38-9b8e8fe8743a.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b5f920e2-44de-41c0-9843-6907ca9357de.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\21dd9fee-4a9f-40e7-b8ff-8dd5c9113c7d.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\300a69cb-d124-4561-b11a-de442bc85cb7.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d769c6dc-649f-4b21-83eb-aa6151f6ce33.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9dc53332-d2d5-4cac-8dd1-085a0ae8b0b9.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\655b4e03-0654-4a63-ab47-bf53a10f697f.png" xlink:type="simple"/></inline-formula>.        </p><p>Theorem 12 For any positive integer <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\03934091-e950-46ac-922e-228eb2523faf.png" xlink:type="simple"/></inline-formula> there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\669e986e-0624-460f-8001-f88a6e14403a.png" xlink:type="simple"/></inline-formula>-regular</p><p><inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6dba69b3-41fe-43ee-bbe1-799d86615077.png" xlink:type="simple"/></inline-formula>by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c64b5f34-1d0c-48ef-b8ae-d07af55a6d41.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let us define <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fd47975d-bbbe-4e36-8965-f9853366b1d5.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4b6c2935-e4c9-4db5-83ae-1d5774e6867c.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2d7ede2e-f15a-497d-aa50-5fe5b855e3ec.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a70ef638-f842-4795-9f40-c8ab8d85ed85.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\36ad5498-b3dc-4ace-bfbc-022d1f370253.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\962c4492-4d1c-48cc-a218-513718b882d2.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d4cb3e03-7344-4ad7-8d94-b069494becbf.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c84e5347-81d6-42f7-9b27-eb455a90b35b.png" xlink:type="simple"/></inline-formula> Then the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d7258efc-e16c-4055-b7d8-56261ad42b3e.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e08ced3d-fcfd-47fb-8f09-64ced6fcf0eb.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d01f7eea-3202-4262-bdef-51ef32f6bcc8.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3be265bb-c6e3-4346-8176-5c51bc6831ca.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b6c1fdf3-10d9-4d41-af37-2576bf8da1d7.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5759babf-06b7-427f-9adc-000ea3ae0e17.png" xlink:type="simple"/></inline-formula> those of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9b1ed576-dc58-4f2f-aac4-1a5dba2f0b5c.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\66ccee7f-38be-4d9c-ac73-3c8bcf9754cb.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f4d603ce-a142-40eb-8d68-e3925b79a6fe.png" xlink:type="simple"/></inline-formula> the edges of length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d28fa8ff-b0a1-476e-ad24-3822f89a3a5a.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\86a91bed-8825-4d44-92f1-602f98c0ef16.png" xlink:type="simple"/></inline-formula> are <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bf860360-4277-483c-adf9-2ed6ec2b2274.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a16b16f2-d9ed-498e-b97f-6fe241aa4a16.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\29e4b2b7-ec87-4ce1-bee4-a3b76fa675bb.png" xlink:type="simple"/></inline-formula> contains exactly two edges of length<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b4d109f1-2407-47b1-a5d4-124732559f2a.png" xlink:type="simple"/></inline-formula>, and since every two edges of the same length are adjacent then <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2de78d66-3274-4648-90dd-259423142dd9.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\46c66215-1e9c-46d9-a8ae-3c3e54dd2abb.png" xlink:type="simple"/></inline-formula> has an orthogonal labelling. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b590d9db-4a22-4153-a21b-1628365360ca.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9530b0ca-e803-4a59-861c-cfd8967618f0.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\43ce5677-5283-4f26-9ee7-312436de373d.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\24e4f55d-93f8-4dee-ac39-854ae67b4e5e.png" xlink:type="simple"/></inline-formula>.              </p><p>Conjecture 2. For any positive integers <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5e86fa41-0b33-4b7a-ae7d-d28b2aa55910.png" xlink:type="simple"/></inline-formula> so that<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\26fe13b3-7b48-46d6-85d1-3eb3a7041415.png" xlink:type="simple"/></inline-formula>, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6a01adae-9578-4b50-b9b6-b0489a49b5dc.png" xlink:type="simple"/></inline-formula>-regular <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e89e4cea-902a-4601-9308-36da3e4d41e5.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f9711bf7-3410-4f93-88af-45bdea2ff29c.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s3"><title>3. General CODCs of Circulant Graph</title><p>In constructing CODCs a natural approach is to try to use given CODCs to obtain CODCs of a larger Circulant Graph. That is we will do in the following theorem.</p><p>Theorem 13 For any positive integers <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6ea0508b-712a-405f-92c9-803dc1662969.png" xlink:type="simple"/></inline-formula> if there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2ad6caf3-6658-4a1c-b19c-aa399fc372c0.png" xlink:type="simple"/></inline-formula> by G with respect to <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\0d7c114a-d4cb-4af2-96d7-b6aa814f7072.png" xlink:type="simple"/></inline-formula> Then there exists a CODC of  <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\9ba74fe0-1d2c-4aa2-8c23-2ce8c97f09d9.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\80df53b4-6f4a-4831-807c-2eab8c427632.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e366357a-e9c5-4a30-957c-13d5b30fccd8.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5d099171-5023-4fed-a23d-fc1e2a211805.png" xlink:type="simple"/></inline-formula>.</p><p>Proof Let the <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d992c2dd-0ef5-4f25-9d51-8d1dbfeead56.png" xlink:type="simple"/></inline-formula> has a CODC by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c551261b-52f3-41f6-b8da-bbbf24ade39a.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c4f16508-a863-40db-88f7-93169f0fb003.png" xlink:type="simple"/></inline-formula>. Then the graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ab36d301-8ed6-404a-90a6-cc7bc472def0.png" xlink:type="simple"/></inline-formula> has an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\92d9d0d5-54aa-4d09-ac8d-42369b399d7b.png" xlink:type="simple"/></inline-formula>-labelling with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d23db4cd-386a-45f5-bca1-6417be0f5bdc.png" xlink:type="simple"/></inline-formula>. And hence, for every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\a7d70955-0042-4351-92cf-b8544870fdc4.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\db456873-9019-446b-b0f2-8748e7655927.png" xlink:type="simple"/></inline-formula>contain exactly two edges of the length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5ddf331d-2da7-42e8-bc4c-99a3863f12b9.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\97a199ab-ea25-4d11-ad6e-160bc9501d5f.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\ff714ce2-679d-4500-82a3-0733e8f6dcc7.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\899103f6-0db7-4091-8009-32a5b71e2497.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1b8de47b-3065-4b4e-b0a6-f3ba07ed3959.png" xlink:type="simple"/></inline-formula>. And <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e17b5868-4c39-4161-bead-39d22d1dd700.png" xlink:type="simple"/></inline-formula>  to construct a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c908ce6d-643d-433b-9141-8617b8049f39.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6ed09976-69c7-40c6-8a7e-bed0bd330d3b.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2311366a-98a5-48ca-9e1d-8237cb36d991.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4a76ef74-1fc7-423e-a5fb-23b819973908.png" xlink:type="simple"/></inline-formula>, the graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\683d9eb7-0be1-4f1e-b0b0-e87d2557a0e1.png" xlink:type="simple"/></inline-formula> must have an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5d903de2-cfa6-4636-9bdd-4d90ed400a12.png" xlink:type="simple"/></inline-formula>-labelling with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2aa37488-803b-4276-a6c2-4c29bc1f07c1.png" xlink:type="simple"/></inline-formula>. From the orthogonal labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\bf919fc7-a881-40bc-943d-8dbd99f920f4.png" xlink:type="simple"/></inline-formula> we can obtain an orthogonal labelling of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c767883a-2698-4cb0-a43c-ba2d7880fe40.png" xlink:type="simple"/></inline-formula> as follows Case 1: Either <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\2588aefa-f446-4bae-a88c-0c5ff5353293.png" xlink:type="simple"/></inline-formula> is odd or even and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\edb68174-f902-43c9-98d5-001ae1e78cc3.png" xlink:type="simple"/></inline-formula></p><p><img src="htmlimages\1-1200176x\7a727c20-85b2-49dc-bad2-1fd898f14fd5.png" /></p><p>where <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e11e0780-4c97-4787-bbe4-177156f40951.png" xlink:type="simple"/></inline-formula> For every <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\afc40bfd-fb49-4608-89ee-15e0bd806db6.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c5839493-f0f4-4620-a16b-f8e9d8a7bfe3.png" xlink:type="simple"/></inline-formula> contain exactly two edges of the length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c48f3e14-0755-4b96-b2d5-bee6b33bc7cf.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\6649fdb5-b60e-4d59-b2d7-f3325fdf872c.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\75015195-b8cd-4f2c-a9a0-733f6f8e6eca.png" xlink:type="simple"/></inline-formula> where</p><p><img src="htmlimages\1-1200176x\df8263cd-a6ec-4f44-bd47-3d956dd9e7af.png" /></p><p>and</p><p><img src="htmlimages\1-1200176x\540bf3df-8e1a-4333-9bad-261c18c8e50c.png" /></p><p>By the definition of<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\fdd04a01-fcca-4605-bee9-4c219a2ad935.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f5e241d7-0e62-4a7c-9979-e311290a2763.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d031c75a-11fa-4cbb-a4df-602534727529.png" xlink:type="simple"/></inline-formula>, we have <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e4b97808-ae31-402d-86dc-c100fba1ff49.png" xlink:type="simple"/></inline-formula> Then the graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\43f91ad2-9abb-4005-bc01-18c3ec570015.png" xlink:type="simple"/></inline-formula> has an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\8e150072-d5a5-4fb5-b8c5-7502455ec6a4.png" xlink:type="simple"/></inline-formula>-labelling with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\13ddc217-75ad-4907-8042-3c2bc3bca267.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\82fbd3ec-7ab3-4ffe-85b6-1c609f2f1a2e.png" xlink:type="simple"/></inline-formula>is even and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\baff2f94-81c2-432b-951b-1cc2e889a17e.png" xlink:type="simple"/></inline-formula></p><p><img src="htmlimages\1-1200176x\602275be-06f0-49b3-a9e8-e5ffa4c26d3b.png" /></p><p>where<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\019196be-2514-4ab5-b75d-461a706e95da.png" xlink:type="simple"/></inline-formula>. For every<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\c4d05a6a-c00e-4599-a57d-f87aadad7115.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d65736c3-b076-431a-bf25-a168d8b4ccab.png" xlink:type="simple"/></inline-formula>contain exactly two edges of the length <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e9dbffec-97cb-4092-8015-de7e15399ae5.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\f7da8fde-5015-45a8-ac8c-6e0351bc75f8.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\5c923e30-fe85-4c25-8415-768e79ceee54.png" xlink:type="simple"/></inline-formula> where</p><p><img src="htmlimages\1-1200176x\3974b291-4e64-4c7e-8065-ac40e9e8c2ae.png" /></p><p>and</p><p><img src="htmlimages\1-1200176x\42cd56f3-7f4d-43f0-a53c-3bb642d39635.png" /></p><p>By the definition of,<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\1941048d-ec3d-4f72-90f8-83592afb508b.png" xlink:type="simple"/></inline-formula> ,<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\d0b8905c-82f5-49fb-828f-af2c45366ba3.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\e03d8acf-35d8-480c-8a3e-df7ea0a61798.png" xlink:type="simple"/></inline-formula>, we have <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\dd2b8ec8-bc7a-416c-8c8c-d76b1f664922.png" xlink:type="simple"/></inline-formula> Then the graph <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\b3bce187-6c3d-44ec-b491-36879f360c2d.png" xlink:type="simple"/></inline-formula> has an orthogonal <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\3da0ffca-3ed0-459c-bb80-c13aede99fe0.png" xlink:type="simple"/></inline-formula>-labelling with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\89883e2d-598f-49ef-891a-c1fd5eebe311.png" xlink:type="simple"/></inline-formula>. By Theorem 3, there exists a CODC of <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\727dab26-762e-4200-a779-692428dbe3f3.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\4ca5e212-3b3a-454d-98ba-7d15e7d62edf.png" xlink:type="simple"/></inline-formula> with respect to<inline-formula><inline-graphic xlink:href="tmlimages\1-1200176x\23dc1c80-17c9-41fa-97b1-6c9a0a800577.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s4"><title>4. Conclusion</title><p>In this paper we are concerned with the orthogonal labelling of CODCs of finite regular circulant graphs. We constructed CODCs by certain classes of graphs such as complete bipartite graph, the union of the co-cycles graph with a star, the center vertex of which belongs to the co-cycles graph and graphs that are connected by a one vertex. Finally we introduced general CODCs of the circulant graph.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.44688-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Gronau, H.-D.O.F., Hartmann, S., Grüttmüller, M., Leck, U. and Leck, V. (2002) On Orthogonal Double Covers of Graphs. Design Codes Cryptography, 27, 49-91. http://dx.doi.org/10.1023/A:1016546402248</mixed-citation></ref><ref id="scirp.44688-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">El-Shanawany, R. and Higazy, M. (2008) Orthogonal Double Covers of Complete Graphs by Certain Spanning Subgraphs. Australasian Journal of Combinatorics, 42, 223-228.</mixed-citation></ref><ref id="scirp.44688-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">El Shanawany, R., Higazy, M. and Scapellato, R. (2010) A Note on Orthogonal Double Covers of Complete Bipartite Graphs by a Special Class of Six Caterpillars. AKCE International Journal of Graphs and Combinatorics, 7, 1-4.</mixed-citation></ref><ref id="scirp.44688-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">El-Shanawany, R.A., Higazy, M.S. and Scapellato, R. (2009) Orthogonal Double Covers of Complete Bipartite Graphs by the Union of a Cycle and a Star. Australasian Journal of Combinatorics, 43, 281-293.</mixed-citation></ref><ref id="scirp.44688-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">El-Shanawany, R. and Higazy, M. (2007) General Symmetric Starter of Orthogonal Double Covers of Complete Bipartite Graph. International Journal of Mathematics and Mathematical Sciences, 2007, Article ID: 42892. http://dx.doi.org/10.1155/2007/42892</mixed-citation></ref><ref id="scirp.44688-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">El Shanawany, R., Higazy, M. and El Mesady, A. (2013) On Cartesian Products of Orthogonal Double Covers. International Journal of Mathematics and Mathematical Sciences, 2013, Article ID: 265136.</mixed-citation></ref><ref id="scirp.44688-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Scapellato, R., El-Shanawany, R. and Higazy, M. (2009) Orthogonal Double Covers of Cayley Graphs. Discrete Applied Mathematics, 157, 3111-3118. http://dx.doi.org/10.1016/j.dam.2009.06.005</mixed-citation></ref><ref id="scirp.44688-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Hartmann, S. and Schumacher, U. (2004) Orthogonal Double Covers of General Graphs. Discrete Applied Mathematics, 138, 107-116. http://dx.doi.org/10.1016/S0166-218X(03)00274-9</mixed-citation></ref><ref id="scirp.44688-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Sampathkumar, R. and Sriram, V. (2008) Orthogonal σ-Labelling of Graphs. AKCE International Journal of Graphs and Combinatorics, 5, 57-60.</mixed-citation></ref><ref id="scirp.44688-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Sampathkumar, R. and Srinivasan, S. (2011) Cyclic Orthogonal Double Covers of 4-Regular Circulant Graphs. Discrete Mathematics, 311, 2417-2422. http://dx.doi.org/10.1016/j.disc.2011.06.021</mixed-citation></ref><ref id="scirp.44688-ref11"><label>11</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>El Shanawany</surname><given-names> R.</given-names></name>,<name name-style="western"><surname> and Shabana</surname><given-names> H. </given-names></name>,<etal>et al</etal>. (<year>2014</year>)<article-title>On Orthogonal Double Covers of Circulant Graphs</article-title><source> British Journal of Mathematics &amp; Computer Science</source><volume> 4</volume>,<fpage> 394</fpage>-<lpage>401</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.44688-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Balakrishnan, R. and Ranganathan, K. (2012) A Textbook of Graph Theory. Springer, Berlin.http://dx.doi.org/10.1007/978-1-4614-4529-6</mixed-citation></ref><ref id="scirp.44688-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Gronau, H.-D.O.F., Mullin, R.C. and Rosa, A. (1997) On Orthogonal Double Covers of Complete Graphs by Trees. Graphs and Combinatorics, 13, 251-262.</mixed-citation></ref></ref-list></back></article>