<?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.2012.23018</article-id><article-id pub-id-type="publisher-id">OJDM-21130</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Some New Results on Domination Integrity of Graphs
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>amir</surname><given-names>K. Vaidya</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>Nirang</surname><given-names>J. Kothari</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>B. H. Gardi college of Engineering &amp;amp; Technology, Rajkot, India</addr-line></aff><aff id="aff1"><addr-line>Saurashtra University, Rajkot, India</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>samirkvaidya@yahoo.co.in(AKV)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>18</day><month>07</month><year>2012</year></pub-date><volume>02</volume><issue>03</issue><fpage>96</fpage><lpage>98</lpage><history><date date-type="received"><day>April</day>	<month>10,</month>	<year>2012</year></date><date date-type="rev-recd"><day>May</day>	<month>15,</month>	<year>2012</year>	</date><date date-type="accepted"><day>May</day>	<month>30,</month>	<year>2012</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The domination integrity of a connected graph 
  G= (
  V(
  G), 
  E(
  G)) is denoted as 
  DI(
  G) and defined by 
  DI(
  G) = 
  min{*
  S*+ 
  m(
  G-S) : 
  S is a dominating set } where 
  m(
  G-S) is the order of a maximum component of 
  G-S . We discuss domination integrity in the context of some graph operations like duplication of an edge by vertex and duplication of vertex by an edge.
 
</p></abstract><kwd-group><kwd>Integrity; Dominating Set; Domination Integrity</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The vulnerability of communication network measures the resistance of network to the disruption of operation after the failure of certain station or communication links. For any communication network greater degrees of stability or less vulnerability is required. Vulnerability can be measured by certain parameters like connectivity, toughness, integrity, binding number etc. In the analysis of vulnerability of communication network to disruption, following two parameters are of great importance: 1) The size of the largest remaining group within which mutual communication can still occur; 2) The number of elements that are not functioning. In this context Barefoot et al. [<xref ref-type="bibr" rid="scirp.21130-ref1">1</xref>] have introduced the concept of integrity of a graph as a new measure of vulnerability of network.</p><p>Definition 1.1. The integrity of a graph G is denoted by <img src="4-1200076\4991b977-2787-4b57-afee-c1fa449e50bf.jpg" /> and defined by <img src="4-1200076\c65ae029-4dfe-4b0d-b20f-0799c7f089e4.jpg" /> where m(G – S) is the order of a maximum component of <img src="4-1200076\be9554d1-5e78-42c5-a225-527eada1054c.jpg" /></p><p>Definition 1.2. An I-set of G is any (proper) subset S of <img src="4-1200076\1d74b575-6ae1-48d0-b74e-5be57f6bb7a1.jpg" /> for which <img src="4-1200076\6b95fe83-9c9e-4229-ad3b-ac203c371d47.jpg" /></p><p>The connectedness of graph is not essential to define integrity. The integrity of middle graphs is discussed by Mamut and Vumar [<xref ref-type="bibr" rid="scirp.21130-ref2">2</xref>] while integrity of total graphs is discussed by Dundar and Aytac [<xref ref-type="bibr" rid="scirp.21130-ref3">3</xref>]. If D is any minimal dominating set and if the order of the largest component of G – D is small then the removal of D will crash the communication network. The decision making process as well as communication between remaining members will also be highly affected. Considering this aspect Sundareswaran and Swaminathan [<xref ref-type="bibr" rid="scirp.21130-ref4">4</xref>] introduced the concept of domination integrity which is defined as follows.</p><p>Definition 1.3. The domination integrity of a connected graph G is denoted as <img src="4-1200076\aa5c7088-b3e3-411b-8d94-59e4715c1217.jpg" /> and defined by <img src="4-1200076\b1a9acf9-0a63-471f-812d-7d2ca18794c3.jpg" /> where <img src="4-1200076\e426fa2c-8a4f-47ec-9bfa-178a484a63a8.jpg" /> is the order of a maximum component of<img src="4-1200076\c6156f77-3440-4438-84c2-0d02d30248da.jpg" />.</p><p>Sundareswarn and Swaminathan [<xref ref-type="bibr" rid="scirp.21130-ref5">5</xref>] have investigated domination integrity of middle graph of some graphs. In the present work, we investigate the domination integrity for the graphs obtained by various graph operations. In other words we have tried to relate expansion of network with measure of vulnerability.</p><p>Definition 1.4. Duplication of a vertex <img src="4-1200076\200b2654-df78-4e1b-b399-820ae87257e5.jpg" /> by a new edge <img src="4-1200076\3c6415d6-eb86-40b1-8908-76cb165a62d7.jpg" /> in graph G produces a new graph <img src="4-1200076\531e98c9-b730-4e76-8575-9473f352c298.jpg" /> such that <img src="4-1200076\9647a2bd-46e8-4561-8c4d-31eceb34bda7.jpg" /> and<img src="4-1200076\0b85cc6c-186f-4667-800d-79aa28c2d610.jpg" />.</p><p>Definition 1.5. Duplication of an edge <img src="4-1200076\0efc0185-6d6d-4780-ace8-57b0efcf1a52.jpg" /> by a new vertex <img src="4-1200076\6c4ca032-02b2-4d5a-9db6-b8bf22cc94a0.jpg" /> in a graph G produces a new graph <img src="4-1200076\0c6ceed5-42b7-40ed-afbd-be5fdc302d7c.jpg" /> such that <img src="4-1200076\d140648f-b573-4e1a-963f-21dbba6d20b3.jpg" /></p><p>Definition 1.6. For the dominating set <img src="4-1200076\5f89506d-376d-479c-ad4a-fe5a1473ade1.jpg" />a vertex <img src="4-1200076\2ec19faa-f7b1-4c22-9876-9a0f5e304597.jpg" /> is called isolate of <img src="4-1200076\14a01ef1-a297-4ccb-a520-f1a832a1e440.jpg" /> if <img src="4-1200076\31619bc6-67e3-42dd-b1be-a39f4edc322e.jpg" /></p><p>For all other standard terminology and graph theoretical notation we refer to Hynes et al. [<xref ref-type="bibr" rid="scirp.21130-ref6">6</xref>].</p></sec><sec id="s2"><title>2. Main Results</title><p>Lemma 2.1. Let G be a graph obtained by duplication of each edge by vertex of path <img src="4-1200076\f95d0165-a2d4-4fc0-804a-053f3fe693cc.jpg" /> then <img src="4-1200076\b9d15223-8de5-46cd-8c16-dbb4d5536c5a.jpg" /></p><p>Proof: Let G be a graph obtained by duplicating each edge <img src="4-1200076\97d1dca5-6d93-4b37-b7ad-606ec6a5cb23.jpg" /> of path <img src="4-1200076\ceecfe95-f6bc-4376-bdbb-e6944bb0263a.jpg" /> by vertex <img src="4-1200076\5bb222da-1f93-4738-abd3-0b42d3927bfa.jpg" /> There are three types of vertices in G</p><p>1) <img src="4-1200076\ed13c862-6410-47ff-95b9-ac6eab6e621f.jpg" /></p><p>2) <img src="4-1200076\eaa53501-c953-4e84-b5a3-3d97fb0c900c.jpg" />for <img src="4-1200076\6bf837c1-c750-4a09-a580-2791890cf4a7.jpg" /> and</p><p>3) <img src="4-1200076\94acb46b-bbce-47ed-98f8-66f1bff7ff40.jpg" /></p><p>It is obvious that <img src="4-1200076\f4882c6b-827a-4869-ad11-a5d8cf4235df.jpg" /> must be in the dominating set as they are the most dominating vertices. From the nature of the graph G it is obvious that out of the vertices <img src="4-1200076\cb5f0464-cab8-4453-b4f3-915596f9befc.jpg" /> and <img src="4-1200076\3070593a-acb2-4727-88c8-e63190cd46fa.jpg" /> at least one vertex must belongs to any dominating set S as <img src="4-1200076\1f890ed3-7d23-4639-a84b-2a5edb0f24da.jpg" />is adjacent to only <img src="4-1200076\b0045e86-c7a1-4f14-a4ae-51308dfcaa51.jpg" /> and <img src="4-1200076\80b85638-7228-4fe9-8474-883da8344ade.jpg" /> Therefore if S is any dominating set then <img src="4-1200076\fd45cdd3-8f9e-4cbb-935c-bbf408854fad.jpg" /></p><p>We claim that <img src="4-1200076\c0deb4fd-5054-452f-a71e-41bcaab6f76d.jpg" /> when n is even and <img src="4-1200076\2d5b6dea-1e1e-4816-a58f-3899446cf751.jpg" /> when <img src="4-1200076\0dd85ec1-ffac-467d-88cb-c515ed317f4e.jpg" /> is odd are minimal dominating sets.</p><p>One can observe that each <img src="4-1200076\642f6e49-f2b3-45f9-859e-3ebdbbe941a8.jpg" /> and <img src="4-1200076\220172f6-23d8-48ba-996f-c4521d005678.jpg" /> are adjacent to v<sub>2i</sub> and removal of <img src="4-1200076\73bb0f98-2900-4ed5-b310-7725c6e75f0c.jpg" /> from set S, <img src="4-1200076\19195346-6dea-4438-a82e-e088b9ec4166.jpg" />will not be dominated by any vertex of S Hence <img src="4-1200076\7ea71702-780e-44ce-8cc8-204319091bc5.jpg" /></p><p>Theorem 2.2. Let G be a graph obtained by duplication of each edge by vertex of path <img src="4-1200076\b79756d9-01b3-4d77-b524-2a0b14074eae.jpg" /> then</p><p><img src="4-1200076\50b6e746-8311-4623-854d-cdf206c25919.jpg" /></p><p>Proof: To prove the result, we consider following three cases.</p><p>Case-1. When<img src="4-1200076\44870fac-c3d1-4dc6-921e-f0eff98cf73a.jpg" />: Let G be a graph obtained by duplication of an edge <img src="4-1200076\1ada38b2-2b83-4cf9-b7d7-0615ad9df476.jpg" /> of path <img src="4-1200076\a3996145-3548-4050-897c-c577fccdb7f8.jpg" /> by a vertex <img src="4-1200076\c61b7d70-aa2b-43cd-b7d7-2ad5d11e8f40.jpg" /> Then <img src="4-1200076\061f75fe-2bfd-4e31-aae3-9f7ae8af9803.jpg" /> and <img src="4-1200076\b617f2b9-529a-4644-b63a-4e46897343a4.jpg" /> as a γ-set of G and then <img src="4-1200076\83dda7ce-1c80-4480-b6a0-175b2897d606.jpg" />This implies <img src="4-1200076\638a0a7d-1515-4453-a04e-020b4ce7bba3.jpg" /> If <img src="4-1200076\e5c29db2-955d-4c44-9780-83e3a36e29af.jpg" /> is any dominating set with <img src="4-1200076\59b63c86-7288-46da-93d5-a2ed73ddb02b.jpg" /> then <img src="4-1200076\7b9db5c0-a6ae-4603-a77e-cf66892236b8.jpg" /> and consequently <img src="4-1200076\efe946d2-b1a2-4bbf-93c9-46cd41f17bfb.jpg" /> Hence in all the cases <img src="4-1200076\8762af7f-8eb5-47c7-b8cf-914317b4fbb9.jpg" /></p><p>Case-2. When<img src="4-1200076\f1f271c8-ede1-4ce6-a673-0d831d82b365.jpg" />: Let G be a graph obtained by duplication of an edge v<sub>1</sub>v<sub>2</sub> and v<sub>2</sub>v<sub>3</sub> of path <img src="4-1200076\caa31ca5-6b83-4cb9-8dbc-e89596543f26.jpg" /> by the vertices u<sub>1</sub> and u<sub>3</sub> respectively. As <img src="4-1200076\4217e745-2f81-4c66-aac3-fc70e936ee85.jpg" /> is the only γ-set of G then <img src="4-1200076\ad74d1ef-3b6f-4417-800d-faf973efa2d2.jpg" /> and m(G – D) = 2. If S<sub>1</sub> is any dominating set with <img src="4-1200076\e880ec00-ecbc-4ce0-9610-615c4c928ba2.jpg" /> then <img src="4-1200076\95d55035-fca3-401a-9000-919923e4533c.jpg" /> and<img src="4-1200076\9e9000af-85fa-4adf-abfc-15e9e9204946.jpg" />. If S<sub>2</sub> is any dominating set with <img src="4-1200076\fc573580-bc07-4116-a8a7-5ce3040533e6.jpg" /> then <img src="4-1200076\734648e2-e032-4648-81f9-6e7e8c94df55.jpg" /> and <img src="4-1200076\c7f279d1-ee0d-44e9-8912-64321b7d092a.jpg" /> Moreover <img src="4-1200076\9058953e-2684-4037-9ebb-0b97883e4f27.jpg" /> is not possible, as the order of the largest component of <img src="4-1200076\38999392-0ae6-4218-8104-fd70a1acd9ef.jpg" /> is at most 3. Thus<img src="4-1200076\c864f737-140e-407f-a364-6aad52a88713.jpg" />.</p><p>Case-3. When<img src="4-1200076\0bac9629-f596-4fdd-a87f-64fececc9866.jpg" />: Let G be a graph obtained by duplication of an edge <img src="4-1200076\1d7cc201-ea36-4e0f-837d-a615a695fb78.jpg" /> of path <img src="4-1200076\dac3928b-a6c4-41c6-83ea-719dfb17acbb.jpg" /> by vertex <img src="4-1200076\86b4b589-960f-41c8-a817-8a0b83a77848.jpg" /> Then <img src="4-1200076\658e8995-6ae4-4e0d-b81a-4f739a7a4dc2.jpg" /> with <img src="4-1200076\a17291dd-41ac-43db-a38e-0db68a654cad.jpg" /> is a γ- set of <img src="4-1200076\e25e31b2-dcdb-4b71-8134-41c88948f9d2.jpg" /> and <img src="4-1200076\d7ab3d31-70a4-40c9-8165-c50931c8b512.jpg" /> Consequently<img src="4-1200076\6f68e2e6-88f3-4ce2-b9a7-7840204dfd5a.jpg" />If <img src="4-1200076\721200aa-d340-4198-9440-d2ca7113fa4f.jpg" /> is any dominating set with<img src="4-1200076\111252df-7a6f-4e35-824a-45c40053b535.jpg" />then <img src="4-1200076\a86556cd-9aa8-4465-914e-b87066070855.jpg" /> and<img src="4-1200076\0a685986-6159-4e4c-b433-e034e4937ead.jpg" />If <img src="4-1200076\b1917d7e-bb39-4ef1-a287-f661e9d6b1bf.jpg" />is any dominating set with <img src="4-1200076\74338858-a589-455a-8219-44ad83f59cdb.jpg" /> then <img src="4-1200076\79d4a9ef-a8b0-47c1-981e-98b734b2ce7c.jpg" /> and <img src="4-1200076\2f3dbaeb-6ac9-45a0-9ebe-4035e6733779.jpg" /> Hence we have<img src="4-1200076\24e7f62c-8a9f-4a29-a9b1-c76500e71139.jpg" />.</p><p>Theorem 2.3. Let <img src="4-1200076\65665925-2cec-4255-8d4d-6b07887d95e5.jpg" /> be a graph obtained by duplication of each edge by vertex of path <img src="4-1200076\6c4fc561-d420-4c00-88df-b62f185cf585.jpg" /> then</p><p><img src="4-1200076\f9618487-290d-4de2-b4ef-5363cdd10b72.jpg" />(if<img src="4-1200076\61109516-c1f1-4aed-ad70-03963211fd88.jpg" />)</p><p>Proof: Let G be a graph obtained by duplicating each edge v<sub>i</sub>v<sub>i</sub><sub>+1</sub> of path P<sub>n</sub> by vertex <img src="4-1200076\b2854633-b3ab-4706-9ea3-bce0385df181.jpg" /> where <img src="4-1200076\5e0da8ff-160a-48bf-bbd8-d010cb9a7cd5.jpg" /></p><p>Then from Theorem 2.1 <img src="4-1200076\672e8c62-61d6-4fd3-a233-fc84144d0e60.jpg" /> If n is even then <img src="4-1200076\15a31551-6868-4c0b-a178-22434fd9bfeb.jpg" /> is a γ-set of G otherwise <img src="4-1200076\93f50e5f-5138-449b-9b85-8f2b30c2c7be.jpg" /> is a γ-set of G Therefore <img src="4-1200076\94b167fb-97e3-4d76-ab3d-da44bcbf2b0b.jpg" /> which implies,</p><disp-formula id="scirp.21130-formula90484"><label>(1)</label><graphic position="anchor" xlink:href="4-1200076\2a938b68-16a0-4293-9106-7eb6f483c870.jpg"  xlink:type="simple"/></disp-formula><p>We will show that the number <img src="4-1200076\c9976e5b-b7ab-46f0-9892-baed7a4cfc14.jpg" /> is minimum. For that we have to take into account the minimality of both <img src="4-1200076\c1847314-0e6d-44b4-9aab-13443c2fbee4.jpg" /> and<img src="4-1200076\60cf93a3-162a-4f4d-b871-af20b0f69973.jpg" />. The minimality of <img src="4-1200076\43d39cc1-aaf9-4209-8112-a45667f05300.jpg" /> is guaranteed as S is γ-set. Now it remains to show that if S is any dominating set other than D then <img src="4-1200076\2ef9b913-3318-4324-85a0-d29367745663.jpg" /></p><p>If <img src="4-1200076\bc42ec97-e77b-4b83-9bdc-ff1e86755f6a.jpg" /> then <img src="4-1200076\18e7c4df-bc0a-4c87-8a18-e1c02c101395.jpg" /></p><p>and <img src="4-1200076\d50cb22f-c039-4159-96dc-02d51c003852.jpg" /></p><p>If <img src="4-1200076\3b46a8e7-a176-4f1d-98fa-b3fe0c93f51f.jpg" /> then <img src="4-1200076\0c0d0dba-4090-4139-801b-f2a429b40177.jpg" /></p><p>which implies that</p><p><img src="4-1200076\9e45fedd-ab20-4ac9-ae0d-7638598c9b19.jpg" /></p><p>If <img src="4-1200076\371052d0-8263-4247-a55d-5b4f721780b6.jpg" />then trivially<img src="4-1200076\690b67df-e18e-47b3-8a0a-d05a7e292ddd.jpg" /> Hence for any dominating set S</p><disp-formula id="scirp.21130-formula90485"><label>(2)</label><graphic position="anchor" xlink:href="4-1200076\2c702731-5c03-4584-99cb-fb5596decfb4.jpg"  xlink:type="simple"/></disp-formula><p>From (1) and (2) we have <img src="4-1200076\03b4169e-11e3-4b51-aab3-197b17afc17f.jpg" /> (if n ≥ 5).</p><p>Theorem 2.4. Let <img src="4-1200076\6f6045dc-e2d9-4567-892e-192c9ddf02a0.jpg" /> be a graph obtained by duplication of each vertex by an edge of path <img src="4-1200076\65a995e5-420e-43ff-9f09-1e0a027f7d6f.jpg" /> or cycle <img src="4-1200076\1667323c-1f48-4c2d-aab1-606f8d18ce86.jpg" /> then <img src="4-1200076\9bf53a00-568b-4954-bdb8-647a3cc9312a.jpg" /></p><p>Proof: Let <img src="4-1200076\118045a9-c692-45fd-8959-6e28ae005777.jpg" /> be a graph obtained by duplication of vertices <img src="4-1200076\97272e8a-6f85-4969-baf9-ce0866fbad61.jpg" /> of path <img src="4-1200076\dc0333f2-1b09-4a86-887a-61c126e977e6.jpg" /> or cycle <img src="4-1200076\feccfbb0-5e58-4b78-90e4-21719e2e16bf.jpg" /> by an edge <img src="4-1200076\3613aa0a-7b25-4fca-9b65-de47163018ee.jpg" /> Then from the construction of graph G it is obvious that from the vertices <img src="4-1200076\23541400-635c-402b-989f-ca79c5ea4460.jpg" /> and <img src="4-1200076\5596e404-ef02-43a1-8d5f-caeeadc198f3.jpg" /> at least one vertex must belong to any dominating set <img src="4-1200076\63d07365-1e0f-45e9-988e-bd7c5ce86349.jpg" /> Consequently if <img src="4-1200076\eef4ffc9-1532-46bc-9229-27385bea077d.jpg" /> is any dominating set then <img src="4-1200076\999a6590-eab6-4994-9915-273ba0b4a959.jpg" /></p><p>We claim that set <img src="4-1200076\1d952a01-b599-4256-a0e9-9b9d63351c39.jpg" /> is a minimal dominating set. Because each <img src="4-1200076\dae9d24d-7042-49b0-994f-506f73188b6f.jpg" /> is adjacent to <img src="4-1200076\fbbb6d18-f0c2-4ec3-b072-3c9f1c9a4f93.jpg" /> and <img src="4-1200076\f15d0966-a86d-4bf8-8566-ed902a2c5bbe.jpg" /> If <img src="4-1200076\5a43e9db-5e89-49a4-bac6-3050611f0d84.jpg" /> is removed from set <img src="4-1200076\19e08eed-0476-481b-aa04-5f384dbd5f02.jpg" /> then <img src="4-1200076\7dbe8550-2c16-4e06-9560-e2a03543574a.jpg" /> and <img src="4-1200076\975efc09-69ea-4d32-b2e9-b7df5571f0cf.jpg" /> will not be dominated by any vertex. Thus <img src="4-1200076\81676daf-1c46-448b-9e50-dbd37af11e9e.jpg" /> is a minimal dominating set with minimum cardinality. Hence <img src="4-1200076\7096b76c-3cc2-4d48-aa4c-602e8e51c487.jpg" /></p><p>Theorem 2.5. Let <img src="4-1200076\8f970d5b-c6a5-46ef-a64e-0c5ea1b78eb3.jpg" /> be a graph obtained by duplication of each vertex of path <img src="4-1200076\8954dae7-f131-4d92-a959-e6671895661a.jpg" /> or cycle <img src="4-1200076\6eedf514-5a14-4f97-b353-7c497fcad3ce.jpg" /> by an edge then <img src="4-1200076\3f939a89-6c57-4b7e-a173-2ff4ace1ad86.jpg" /></p><p>Proof: Let <img src="4-1200076\8ed82a02-48ad-404c-abb2-f1fd4f93bd0a.jpg" /> be a graph obtained by duplication of each vertex <img src="4-1200076\aa7f12a1-09ae-453a-967c-e34819f1874a.jpg" /> of path <img src="4-1200076\1a8d73cf-949f-4e4f-9257-c5530dab3a51.jpg" /> or cycle <img src="4-1200076\26b7d579-ac3c-487d-98b7-7784b9934ad4.jpg" /> by an edge <img src="4-1200076\a8acde9c-9d05-4999-9a3e-6ef2adfe59d5.jpg" /> Then from Theorem 2.4 we have <img src="4-1200076\ca09210b-921e-4659-83c4-d547d5a5ac98.jpg" /> Let <img src="4-1200076\2d7f7045-a28e-42cb-b150-e09a1e5a90a1.jpg" /> be a γ-set of graph G. Then <img src="4-1200076\54890f44-4e0d-4199-89a9-f150fb4b6f98.jpg" /> Therefore,</p><disp-formula id="scirp.21130-formula90486"><label>(1)</label><graphic position="anchor" xlink:href="4-1200076\c80a6f66-db6d-4388-81d0-844d97660a80.jpg"  xlink:type="simple"/></disp-formula><p>We will show that the number <img src="4-1200076\90e531af-a701-499d-881f-ec1dd5d998d7.jpg" /> is minimum. For that we have to take into account the minimality of both <img src="4-1200076\59752f4c-793f-467b-8304-3e82359d7f00.jpg" /> and <img src="4-1200076\ada70a47-dfd2-499e-b132-0b8857e0ae1c.jpg" /> The minimality of <img src="4-1200076\f258d470-7ffd-4077-89af-e532fec1b674.jpg" /> is guaranteed as S is γ-set. Now it remains to show that if S is any dominating set other than D then <img src="4-1200076\e912bcfa-4624-4335-8adc-70d90d1faafc.jpg" /> <img src="4-1200076\5d064925-2609-463a-a075-88cd79dc916c.jpg" />. If <img src="4-1200076\492cfccb-82ec-47c8-aba7-18222e07dc5e.jpg" /> then<img src="4-1200076\37bdcba2-20b2-44e0-a67b-cca1356c51f8.jpg" />, consequently <img src="4-1200076\27299110-99e2-46de-8c30-704153f4bb73.jpg" /> If <img src="4-1200076\e3377958-06c4-4f08-aae9-92d5c044662c.jpg" /> then trivially <img src="4-1200076\ab3a1364-a418-4eea-a60b-8bff0c1f643d.jpg" /> Hence for any dominating set S,</p><disp-formula id="scirp.21130-formula90487"><label>(2)</label><graphic position="anchor" xlink:href="4-1200076\538a2e34-ff54-4ae0-b53d-85d1415d3457.jpg"  xlink:type="simple"/></disp-formula><p>From (1) and (2) we have <img src="4-1200076\9b565a02-c01a-43e5-87ba-7a8549c7bfb0.jpg" /></p><p>Proposition 2.6 [<xref ref-type="bibr" rid="scirp.21130-ref6">6</xref>]. A dominating set <img src="4-1200076\8d867829-55c4-40fd-af2d-407917795dc0.jpg" /> is a minimal dominating set if and only if for each vertex<img src="4-1200076\0502f32c-7400-493f-86cc-b99bab5fa5d1.jpg" />, one of the following two conditions holds:</p><p>1) u is an isolate of<img src="4-1200076\9c13b1fc-e544-4e65-b359-64fe46ee7fc9.jpg" />.</p><p>2) There exists a vertex <img src="4-1200076\07e6bda6-1f85-4727-ba37-a9ec4b64a32e.jpg" /> for which <img src="4-1200076\83ace0ea-d6bf-45eb-96a9-80ea073c2486.jpg" /></p><p>Lemma 2.7. Let G be a graph obtained by duplication of each vertex of wheel <img src="4-1200076\e322ac18-e813-4fcf-b0c7-449cd77aae0f.jpg" /> by an edge then <img src="4-1200076\3070dc36-c25e-47f4-a851-2dd57eb8de6f.jpg" /></p><p>Proof: Let <img src="4-1200076\1b77496b-bb0c-43e7-bcdd-dae2eeefee5c.jpg" /> be a graph obtained by duplication of rim vertices as well as apex vertex altogether of wheel <img src="4-1200076\416e6ad7-e207-4606-a6d1-3fcf23927148.jpg" /> by edges<img src="4-1200076\d26d952b-29f2-433e-8fe2-c05d006c961f.jpg" /> and <img src="4-1200076\c529107f-4bbd-46d8-a8c3-99ee2163c149.jpg" /> respectively. Then each rim vertex <img src="4-1200076\192e323d-6fa1-41b0-b838-6d936833d193.jpg" /> will dominate the vertices <img src="4-1200076\99a6feaf-9640-4b68-8f5a-c40e6ef3df10.jpg" /> and apex vertex <img src="4-1200076\c7589a20-6284-4b29-b1a8-2f5fedcc1448.jpg" /> For <img src="4-1200076\3a76e942-fc68-46a4-8258-02e93151fff9.jpg" /> there exists a vertex <img src="4-1200076\bdf57e8b-da55-4a07-94de-9b028eefbae6.jpg" /> such that <img src="4-1200076\6b757952-51dc-4944-8e22-12b002d77804.jpg" /> is a singleton set. Then from Proposition 2.6 <img src="4-1200076\490e694e-eb4e-4a26-8241-829705760709.jpg" /> will be a minimal dominating set of <img src="4-1200076\5689d941-911c-487e-8649-186353058cf2.jpg" /> If <img src="4-1200076\b72db216-47bc-4425-908f-ebba350948a8.jpg" /> is any dominating set then we claim that <img src="4-1200076\0ddf18ba-af3c-4fd3-a3be-3166b849fc0c.jpg" /> Because</p><p>1) If all the elements of <img src="4-1200076\6807b141-7049-473e-890f-658c4fffd40d.jpg" /> are only of the type <img src="4-1200076\f1ce8fc7-6728-4b53-be50-e68a27d5ced4.jpg" /> then <img src="4-1200076\6454bb3d-dab8-4d16-a154-af39909bb45b.jpg" /></p><p>2) If elements of <img src="4-1200076\2c25b73e-18a7-4dea-8fb9-5bda1fb1bd16.jpg" /> are combination of <img src="4-1200076\fb3287de-3071-48c2-a1c9-e249e3682f69.jpg" /> and <img src="4-1200076\9ef61a1e-c686-4dbe-8007-e2ef34d8b74a.jpg" /> then <img src="4-1200076\e48c10b7-1574-40ca-8d65-f545e52b3343.jpg" /></p><p>3) If <img src="4-1200076\e299f81a-4fdf-4f28-8f73-e5335916abb5.jpg" /> contains any of first two types together with the apex vertex then <img src="4-1200076\00e2acd6-42ba-4ccd-9fb4-a71eddb9871a.jpg" /></p><p>4) If <img src="4-1200076\0e8dcedc-8e77-4336-9f03-89bbba70e920.jpg" />contains <img src="4-1200076\a87a256a-2fc7-4e95-bc63-9f771ed16f78.jpg" /> and apex vertex then <img src="4-1200076\52f9ca33-c996-4df2-be2b-0153b94936ba.jpg" /></p><p>Thus we have <img src="4-1200076\9919e689-f975-4da9-ae45-f442f7372d33.jpg" /></p><p>Theorem 2.8. Let <img src="4-1200076\f109d1a7-5e68-421c-bebe-ad600dd85b20.jpg" /> be a graph obtained by duplication of each vertex of wheel <img src="4-1200076\5a7341b4-3368-45b3-b1bd-c7df9bc14a12.jpg" /> by an edge then <img src="4-1200076\ec380289-7f78-434a-b49f-86d12007414b.jpg" /></p><p>Proof: Let <img src="4-1200076\7f784d61-b7d1-4cc6-b307-5c5c51f3ce03.jpg" /> be a graph obtained by duplication of apex vertex <img src="4-1200076\1fb8fb82-474e-4539-966a-93c898494766.jpg" /> of wheel <img src="4-1200076\90b94e67-b2b8-4ee6-b21a-ba3e559212d7.jpg" /> by an edge <img src="4-1200076\757f0883-931c-4b24-b2c5-c9430e3ad281.jpg" /> and the rim vertices <img src="4-1200076\63b95996-936c-4632-aa61-0e1a070d3e01.jpg" /> of wheel <img src="4-1200076\eab0924c-e266-4ab4-aeb7-7c8192f4e83b.jpg" /> by an edge <img src="4-1200076\59d8b125-eedd-4206-ae19-917c63cdeb04.jpg" /> Then from Lemma 2.7 we have <img src="4-1200076\ae536144-f9b4-4071-b2bd-cf3a3c7f89b8.jpg" /> Let <img src="4-1200076\9f4a2ca2-1937-45b5-838a-bbb95a127228.jpg" /> be a γ-set of graph G. Then <img src="4-1200076\1d811e52-8194-4cef-bcf7-8c2715a5b565.jpg" /> Therefore</p><disp-formula id="scirp.21130-formula90488"><label>(1)</label><graphic position="anchor" xlink:href="4-1200076\b87fd449-4fb0-4d12-90be-9c7d50493613.jpg"  xlink:type="simple"/></disp-formula><p>We will show that the number <img src="4-1200076\d7479819-b75f-48ca-a05f-5c20cd2daee0.jpg" /> is minimum. For that we have to take into account the minimality of both <img src="4-1200076\0974da87-83bd-4b1d-aaf9-e679dca0844d.jpg" /> and <img src="4-1200076\8552b9af-f289-42dd-bb8b-6b5cb16c631d.jpg" /> The minimality of <img src="4-1200076\071a284b-7e90-4109-91fa-4a8bfbb8684c.jpg" /> is guaranteed as S is γ-set. Now it remains to show that if S is any dominating set other than D then</p><p><img src="4-1200076\3d4bfd62-064e-480e-925d-c3a0fade55dd.jpg" /></p><p>If <img src="4-1200076\e6438a53-28f6-4ca9-8b5a-577d1df9e98a.jpg" /> then<img src="4-1200076\9293df1d-8791-45ce-8b0e-86eb7a6ff3b1.jpg" /> consequently</p><p><img src="4-1200076\17c08b82-9f74-449f-a75b-56636d005460.jpg" /></p><p>If <img src="4-1200076\7d87ab28-ef89-42be-8dbc-0725a1f1548d.jpg" /> then <img src="4-1200076\d8da69d5-56d3-4353-b780-5a69cb6b7a73.jpg" /> consequently</p><p><img src="4-1200076\b6642434-f68d-4f96-8d66-e6d06fdd545e.jpg" /></p><p>If <img src="4-1200076\4f834db8-02c8-4fed-80d9-ac1c3f728a8a.jpg" /> then trivially <img src="4-1200076\47c199af-6378-4d9e-abd6-468c0bbe26f1.jpg" /> Thus for any dominating set S,</p><disp-formula id="scirp.21130-formula90489"><label>(2)</label><graphic position="anchor" xlink:href="4-1200076\71159704-0b06-4315-89ce-6ea027df1812.jpg"  xlink:type="simple"/></disp-formula><p>Hence from (1) and (2) <img src="4-1200076\cce3368e-6576-4071-a233-0abcec06dbea.jpg" /></p></sec><sec id="s3"><title>3. Concluding Remarks</title><p>We have investigated domination integrity of three special graph families. This work relates to network expansion and measure of vulnerability. We conclude that expansion of network will provide the reason for increase of vulnerability. To investigate similar results for different graph families obtained by various graph operations is an open area of research.</p></sec><sec id="s4"><title>4. Acknowledgements</title><p>The authors are highly thankful to the anonymous referee for valuable comments and constructive suggestions.</p></sec><sec id="s5"><title>REFERENCES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.21130-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">C. A. Barefoot, R. Entringer and H. C. Swart, “Vulnerability in Graphs—A Comparative Survey,” Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 1, 1987, pp. 13-22.</mixed-citation></ref><ref id="scirp.21130-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">A. Mamut and E. Vumar, “A Note on the Integrity of Middle Graphs,” Lecture Notes in Computer Science, Vol. 4381, 2007, pp. 130-134.</mixed-citation></ref><ref id="scirp.21130-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">P. Dundar and A. Aytac, “Inte-grity of Total Graphs via Certain Parameters,” Mathematical Notes, Vol. 75, No. 5, 2004, pp. 665-672. </mixed-citation></ref><ref id="scirp.21130-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">R. Sundares-waran and V. Swaminathan, “Domination Integrity in Graphs,” Proceedings of International Conference on Mathematical and Experimental Physics, Prague, 3-8 August 2009, pp. 46-57.</mixed-citation></ref><ref id="scirp.21130-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">R. Sundareswaran and V. Swaminathan, “Domina-tion Integrity of Middle Graphs,” In: T. Chelvam, S. Somasun-daram and R. Kala, Eds., Algebra, Graph Theory and Their Applications, Narosa Publishing House, New Delhi, 2010, pp. 88-92.</mixed-citation></ref><ref id="scirp.21130-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">T. Haynes, S. Hedetniemi and P. Slater, “Funda-mentals of Domination in Graphs,” Marcel Dekker, Inc., New York, 1998.</mixed-citation></ref></ref-list></back></article>