<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2015.68109</article-id><article-id pub-id-type="publisher-id">AM-57743</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>
 
 
  The Matching Uniqueness of A Graphs
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>hichang</surname><given-names>Shen</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>School of Mathematics and Statistics, Qinghai Nationalities University, Xining, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>13909785766@163.com</email></corresp></author-notes><pub-date pub-type="epub"><day>03</day><month>07</month><year>2015</year></pub-date><volume>06</volume><issue>08</issue><fpage>1189</fpage><lpage>1192</lpage><history><date date-type="received"><day>20</day>	<month>March</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>30</month>	<year>June</year>	</date><date date-type="accepted"><day>3</day>	<month>July</month>	<year>2015</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><html>
 <head></head>
 
  In the paper, We discussed the matching uniqueness of graphs with degree sequence 
  <img src="Edit_06119116-a5ba-4680-a6ad-dd7b46d7dcc2.bmp" alt="" /> . The necessary and sufficient conditions for
  <img src="Edit_fe63ee06-2169-4f1a-b031-30037e0d77ad.bmp" alt="" /> and its complement are matching unique are given.
 
</html></p></abstract><kwd-group><kwd>Graph</kwd><kwd> Matching Polynomial</kwd><kwd> Matching Uniqueness</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>All graphs considered in the paper are simple and undirected. The terminology not defined here can be found in [<xref ref-type="bibr" rid="scirp.57743-ref1">1</xref>] . Let G be a graph with n vertices. An r-matching in a graph G is a set of r edges, no two of which have a vertex in common. The number of r-matching in G will be denoted by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x7.png" xlink:type="simple"/></inline-formula>. We set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x8.png" xlink:type="simple"/></inline-formula> and define the matching polynomial of G by</p><disp-formula id="scirp.57743-formula388"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x9.png"  xlink:type="simple"/></disp-formula><p>For any graph G, the roots of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x10.png" xlink:type="simple"/></inline-formula> are all real numbers. Assume that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x11.png" xlink:type="simple"/></inline-formula>, the</p><p>largest root <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x12.png" xlink:type="simple"/></inline-formula> is referred to as the largest mathing root of G.</p><p>Throughout the paper, we denote by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x13.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x14.png" xlink:type="simple"/></inline-formula> the path and the cycle on n vertices, respectively.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x15.png" xlink:type="simple"/></inline-formula>denotes the tree with a vertex v of degree 3 such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x16.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x17.png" xlink:type="simple"/></inline-formula>denotes the tree obtained by appending a pendant vertex of the path <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x18.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x19.png" xlink:type="simple"/></inline-formula> to a vertex with degree 2 of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x20.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x21.png" xlink:type="simple"/></inline-formula>is obtained by appending a cycle <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x22.png" xlink:type="simple"/></inline-formula> to a pendant vertex of a path<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x23.png" xlink:type="simple"/></inline-formula>. Two graphs are matching equivalency if they share the same matching polynomial. A graph G is said to be matching unique if for any graph H, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x24.png" xlink:type="simple"/></inline-formula>implies that H is isomorphic to G. The study in this ares has made great progress. For details, the reader is referred to the surveys [<xref ref-type="bibr" rid="scirp.57743-ref2">2</xref>] -[<xref ref-type="bibr" rid="scirp.57743-ref6">6</xref>] . In the paper, we prove</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x25.png" xlink:type="simple"/></inline-formula>and its complement are matching unique if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x26.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x27.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x28.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2"><title>2. Basic Results</title><p>Lemma 1 [<xref ref-type="bibr" rid="scirp.57743-ref1">1</xref>] The matching polynomial <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x29.png" xlink:type="simple"/></inline-formula> satisfies the following identities:</p><p>1)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x30.png" xlink:type="simple"/></inline-formula>.</p><p>2) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x31.png" xlink:type="simple"/></inline-formula>if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x32.png" xlink:type="simple"/></inline-formula> is an edge of G.</p><p>Lemma 2 [<xref ref-type="bibr" rid="scirp.57743-ref1">1</xref>] Let G be a connected graph, and let H be a proper subgraph G.</p><p>Then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x33.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 3 [<xref ref-type="bibr" rid="scirp.57743-ref2">2</xref>] Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x34.png" xlink:type="simple"/></inline-formula>, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x35.png" xlink:type="simple"/></inline-formula>, then H are precisely the graphs of the following</p><p>types:</p><disp-formula id="scirp.57743-formula389"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x36.png"  xlink:type="simple"/></disp-formula><p>Lemma 4 1) [<xref ref-type="bibr" rid="scirp.57743-ref1">1</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x37.png" xlink:type="simple"/></inline-formula>.</p><p>2) [<xref ref-type="bibr" rid="scirp.57743-ref2">2</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x38.png" xlink:type="simple"/></inline-formula>.</p><p>3) [<xref ref-type="bibr" rid="scirp.57743-ref2">2</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x39.png" xlink:type="simple"/></inline-formula>.</p><p>4) [<xref ref-type="bibr" rid="scirp.57743-ref3">3</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x40.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x41.png" xlink:type="simple"/></inline-formula>.</p><p>5) [<xref ref-type="bibr" rid="scirp.57743-ref4">4</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x42.png" xlink:type="simple"/></inline-formula>.</p><p>6) [<xref ref-type="bibr" rid="scirp.57743-ref5">5</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x43.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 5 [<xref ref-type="bibr" rid="scirp.57743-ref5">5</xref>] Let G be a tree and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x44.png" xlink:type="simple"/></inline-formula> be obtained from G by subdividing the edge uv of G, then</p><p>1)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x45.png" xlink:type="simple"/></inline-formula>, if uv not lies on an internal path of G.</p><p>2)<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x46.png" xlink:type="simple"/></inline-formula>, if uv lies on an internal path of G, and if G is not isomorphic to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x47.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 6 [<xref ref-type="bibr" rid="scirp.57743-ref6">6</xref>] <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x48.png" xlink:type="simple"/></inline-formula>are matching unique.</p><p>Lemma 7<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x49.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Direct computation (using Matlab 8.0), we immediately have the following:</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x50.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x51.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.57743-formula390"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x52.png"  xlink:type="simple"/></disp-formula><p>By Lemma 2, 5, we get <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x53.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x54.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s3"><title>3. Main Results</title><p>Theorem 1 Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x55.png" xlink:type="simple"/></inline-formula>, then G are matching unique if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x56.png" xlink:type="simple"/></inline-formula> or</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x57.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. The necessary condition follows immediately from Lemma 1. We have</p><disp-formula id="scirp.57743-formula391"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x58.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.57743-formula392"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x59.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.57743-formula393"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x60.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.57743-formula394"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x61.png"  xlink:type="simple"/></disp-formula><p>Now suppose that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x62.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x63.png" xlink:type="simple"/></inline-formula>, H is a graph being matching equivalency with G. We proceed to prove that H must be isomorphic to G. By Lemma 3</p><disp-formula id="scirp.57743-formula395"><graphic  xlink:href="http://html.scirp.org/file/2-7402693x64.png"  xlink:type="simple"/></disp-formula><p>Case 1. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x65.png" xlink:type="simple"/></inline-formula>. By<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x66.png" xlink:type="simple"/></inline-formula>, we know that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x66.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x67.png" xlink:type="simple"/></inline-formula>. Hence, the component of</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x68.png" xlink:type="simple"/></inline-formula>in H may be only<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x69.png" xlink:type="simple"/></inline-formula>. By Lemma 4, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x70.png" xlink:type="simple"/></inline-formula>and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula>, a contradiction. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x74.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x75.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x76.png" xlink:type="simple"/></inline-formula>, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x77.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x78.png" xlink:type="simple"/></inline-formula>, a contradic-</p><p>tion. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x79.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x80.png" xlink:type="simple"/></inline-formula>, a contradiction. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x81.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x82.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x83.png" xlink:type="simple"/></inline-formula>, a contradiction. If s<sub>2</sub> ≥ 2, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x84.png" xlink:type="simple"/></inline-formula>,</p><p>a contradiction. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x85.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x86.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x87.png" xlink:type="simple"/></inline-formula>, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x88.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x89.png" xlink:type="simple"/></inline-formula>, a contradiction. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x90.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x91.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Case 2 If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x92.png" xlink:type="simple"/></inline-formula>. By<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x93.png" xlink:type="simple"/></inline-formula>, hence the component of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x94.png" xlink:type="simple"/></inline-formula> in H may be</p><p>only<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x95.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x96.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x97.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x98.png" xlink:type="simple"/></inline-formula>, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x99.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x100.png" xlink:type="simple"/></inline-formula>, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x101.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x102.png" xlink:type="simple"/></inline-formula>, by Lemma 4, we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x103.png" xlink:type="simple"/></inline-formula>, thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x104.png" xlink:type="simple"/></inline-formula>. That is,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x105.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x106.png" xlink:type="simple"/></inline-formula>, by Lemma 6, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x107.png" xlink:type="simple"/></inline-formula>has at least one equal to 6, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x108.png" xlink:type="simple"/></inline-formula>,</p><p>by Lemma 4, 6, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x109.png" xlink:type="simple"/></inline-formula>, thus H be isomorphic to G. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x110.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x111.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x112.png" xlink:type="simple"/></inline-formula>, a contradiction. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x113.png" xlink:type="simple"/></inline-formula>, a contradiction. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x114.png" xlink:type="simple"/></inline-formula>, by</p><p>Lemma 4, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x115.png" xlink:type="simple"/></inline-formula>, a contradiction.</p><p>Case 3 If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x116.png" xlink:type="simple"/></inline-formula>, by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x118.png" xlink:type="simple"/></inline-formula>, a contradiction. Combing cases 1 - 3, H is isomorphic to G.</p><p>The proof is complete. For a graph, its matching polynomial determine the matching polynomial of its Comple-</p><p>ment [<xref ref-type="bibr" rid="scirp.57743-ref6">6</xref>] , so the complement of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x119.png" xlink:type="simple"/></inline-formula> are matching unique if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x120.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7402693x121.png" xlink:type="simple"/></inline-formula>.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.57743-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Godsil, C.D. (1993) Algebraic Combinatorics. Chapman and Hall, New York, London.</mixed-citation></ref><ref id="scirp.57743-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Shen</surname><given-names> S.C. </given-names></name>,<etal>et al</etal>. (<year>2001</year>)<article-title>A Necessary and Sufficient Conditions for Matching Uniqueness of a Class of T-Shape tree</article-title><source> Journal of Mathematical Study</source><volume> 34</volume>,<fpage> 411</fpage>-<lpage>416</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57743-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Ma</surname><given-names> H.C. </given-names></name>,<etal>et al</etal>. (<year>2003</year>)<article-title>The Matching Equivalent Classes of Graphs with the Maximum Root Less than 2</article-title><source> Journal of Systems Science and Mathematical Sciences</source><volume> 3</volume>,<fpage> 337</fpage>-<lpage>342</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.57743-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Cvetkovic, D.M., Doob, M. and Sachs, H. (1980) Spectra of Graphs. Academic Press, New York.</mixed-citation></ref><ref id="scirp.57743-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Ghareghani, N., Omidi, G.R. and Tayfeh-Rezaie, B. (2007) Spectral Characterization of Graphs with Index at Most√&lt;span style="margin-left:-2px; border-top:1px solid black"&gt;2 +&lt;sub&gt;√&lt;span style="margin-left:-2px;margin-right:2px; border-top:1px solid black"&gt;5&lt;/span&gt;&lt;/sub&gt;&lt;/span&gt; . Linear Algebra and Its Applications, 420, 483-489. http://dx.doi.org/10.1016/j.laa.2006.08.009</mixed-citation></ref><ref id="scirp.57743-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Beezet, R.A. and Farrell, E.J. (1995) The Matching Polynomials of a Regular Graphs. Discrete Mathematics, 137, 7-18.</mixed-citation></ref></ref-list></back></article>