亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        一類單圈圖的最大獨(dú)立集的交

        2021-12-20 03:04:04謝佳漫
        關(guān)鍵詞:空集單圈邊數(shù)

        謝佳漫,王 艷

        (閩南師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,福建 漳州 363000)

        獨(dú)立集理論是圖論重要的研究領(lǐng)域之一,其中最大獨(dú)立集問(wèn)題是圖論的熱點(diǎn)研究問(wèn)題.1990年,張存銓提出一類臨界獨(dú)立集問(wèn)題[1].記獨(dú)立集的個(gè)數(shù)減去其鄰集的個(gè)數(shù)的值為獨(dú)立集的差,臨界獨(dú)立集是指某個(gè)獨(dú)立集滿足其差在所有獨(dú)立集的差中取得最大值.近幾年來(lái),研究表明最大獨(dú)立集問(wèn)題與臨界獨(dú)立集問(wèn)題之間存在著密切的聯(lián)系.為此,針對(duì)這兩類獨(dú)立集,我們研究一類單圈圖的相關(guān)性質(zhì).

        1 預(yù)備知識(shí)

        本文所考慮的圖均為有限簡(jiǎn)單圖G=(V(G),E(G)),其中集合V(G)為G的頂點(diǎn)集,集合E(G)為G的邊集.對(duì)于v∈V(G),稱N(v)={w∈V(G):vw∈E(G)}為v∈V(G)的鄰集;對(duì)于X?V(G),稱N(X)={v:v∈V(G)且N(v)∩X≠?}為X的鄰集;稱N[X]=X∪N(X)為X的閉鄰域;稱d(X)=|X|-|N(X)|為X的差,特別地,d(?)=0;稱d(G)=max{d(X):X?V(G)}為G的臨界差;若X滿足d(X)=d(G),則稱X為臨界集.令ker(G)為G的所有臨界集的交.Levit等人在2012年證明了G的所有臨界獨(dú)立集的交等于ker(G)[2].

        若X中任意兩個(gè)頂點(diǎn)都不相鄰,則稱X為獨(dú)立集;記獨(dú)立集族ind(G)={X:X為G的獨(dú)立集};設(shè)X∈ind(G),?X′∈ind(G),|X′|≤|X|,則稱X為最大獨(dú)立集,記最大獨(dú)立集的頂點(diǎn)數(shù)為α(G);令core(G)為G的所有最大獨(dú)立集的交.

        在圖G中ker(G)?core(G)[2];當(dāng)圖G為二部圖時(shí),則ker(G)=core(G)[3].

        對(duì)于M?E(G),若M中任意兩條邊都不相鄰,則稱M為G的匹配.記m∈M為匹配邊;若匹配M中某條邊與v關(guān)聯(lián),則稱M飽和v;記|M(G)|為G的匹配邊數(shù);若|M(G)|在G中取得最大值,則稱為最大匹配M,記最大匹配數(shù)為μ(G);若匹配M能匹配G的所有頂點(diǎn),則稱M為完美匹配;稱MΔM′=M∪M′-M∩M′為匹配M和M′的對(duì)稱差.

        對(duì)于X?V(G),G[X]為由X?V(G)所導(dǎo)出G的子圖.對(duì)于M?E(G),G[M]為由M?E(G)所導(dǎo)出G的子圖.設(shè)G的點(diǎn)邊交替序列W=v0e1v1e2…vl-1elvl,其中1≤i≤l,ei=(vi-1,vi),稱W為G的一條路徑;稱整數(shù)l為W的長(zhǎng);若l>0,vi≠vj(0≤i0,v0=vl且vi≠vj(1≤i

        在單圈圖G中,|V(G)|-1≤α(G)+μ(G)≤|V(G)|[6];在非K?nig-Egerváry單圈圖中,ker(G)=core(G)[7],但在K?nig-Egerváry單圈圖中,ker(G)=core(G)不一定成立.例如,在圖1中ker(G1)={x,y}但core(G1)={x,y,z}而ker(G2)=core(G2)={a,b,c}.

        圖1 K?nig-Egerváry單圈圖

        若單圈圖G有完美匹配,則α(G)=μ(G)=|V(G)|/2,故α(G)+μ(G)=|V(G)|,所以圖G為K?nig-Egerváry圖.

        如果能刻畫滿足ker(G)=core(G)的非二部的單圈K?nig-Egerváry圖,我們將更進(jìn)一步了解單圈圖的性質(zhì).為此,我們探討非二部的單圈K?nig-Egerváry圖的特殊情況,即具有完美匹配的非二部的單圈圖,研究其ker(G)和core(G)的性質(zhì).

        2 主要結(jié)果

        本節(jié)先介紹具有完美匹配的非二部的單圈圖G的基本性質(zhì)及其ker(G),再分兩步論證其core(G).

        性質(zhì)1 若圖G為非二部的單圈圖且包含完美匹配,則下列結(jié)論成立:

        (1)圈為奇圈;

        (2)完美匹配是唯一的.

        證明:

        (1)顯然成立,若圈為偶圈,則圖G為二部圖.(2)如果不唯一,則圖G至少存在兩個(gè)完美匹配,分別為M、M′,則MΔM′必為偶圈,而與單圈非二部圖矛盾.故命題成立.

        性質(zhì)2 若圖G為非二部的單圈圖且包含完美匹配,則ker(G)=?.

        證明:

        由于圖G有完美匹配,故對(duì)于任意X?V(G),|N(X)|≥|X|恒成立,即d(X)≤0.故臨界差d(G)=0.而空集的差為0,故空集為臨界集,因此空集與任一臨界集的交為空集,故ker(G)=?.

        在單圈圖G上,對(duì)G的完美匹配M進(jìn)行劃分,分別為M1=M∩E(C),M2=M∩E(N[C])-M1,M3=M-M1-M2.

        首先考慮M3=?的情形.由性質(zhì)1可知,圖G有唯一的完美匹配和奇圈,則匹配在圈C上的邊數(shù)是唯一確定的且α(G)=|V(G)|/2.接下來(lái)對(duì)匹配在圈C上的邊數(shù)進(jìn)行分類討論core(G).為了方便討論,先將圖G劃分為A,B兩部分:設(shè)B為最大獨(dú)立集,即|B|=|V(G)|/2,A中只有兩個(gè)點(diǎn)相鄰,使得從A到B有完美匹配.顯然A中相鄰的兩個(gè)點(diǎn)在圈C上.另外,圈C上的點(diǎn)在A的點(diǎn)數(shù)比在B的點(diǎn)數(shù)多1.

        定理3 若圖G為1個(gè)奇圈加1條懸掛邊,記懸掛點(diǎn)為b,則core(G)=.

        證明:

        顯然|M2|=1且b被M2飽和.記被M2飽和的另一個(gè)頂點(diǎn)為a.此時(shí),點(diǎn)a、b分別屬于A和B.令a為A中相鄰的兩個(gè)點(diǎn)之一,如圖2所示.

        圖2 圖G為1個(gè)奇圈加1條懸掛邊

        此時(shí)∩(A{a})=?,又因?yàn)锳{a}中的點(diǎn)互不相鄰,且|A{a}|=|B|-1,故∪(A{a})為G的最大獨(dú)立集,記為B′.而當(dāng)G-b為圈C,其最大獨(dú)立集的頂點(diǎn)數(shù)為|B|-1,故G-b中不存在G的最大獨(dú)立集.又因?yàn)锽=(M1∩B)∪,因此core(G)=B∩B′=,故結(jié)論成立.

        定理4 若圖G為1個(gè)奇圈加若干奇數(shù)(大于1)條懸掛邊,則core(G)=?.

        證明:

        記在圈C中被M2所飽和的點(diǎn)的個(gè)數(shù)記為t,其中3≤t≤|V(C)|且t為奇數(shù).設(shè)M2={m1,m2,…,mi,…,mt},其中1≤i≤t.令mi=aibi,其中ai∈V(C),bi?V(C),如圖3所示.

        圖3 圖G為1個(gè)奇圈加若干奇數(shù)(大于1)條懸掛邊

        我們接下來(lái)考慮M3≠?的情形.在圖G中,設(shè)?(X)={uv∈E(G):u∈X,v∈VX}為X的邊割.

        在非二部的單圈圖G且包含完美匹配中,記頂點(diǎn)集合X=V(C)∪{v:被M2飽和的頂點(diǎn)},頂點(diǎn)集合Y=V(G)X.此時(shí)G[Y]為森林,每一棵樹(shù)Tj有完美匹配,其中1≤j≤c(G[Y]),這里c(G[Y])表示G[Y]的連通分支數(shù);邊割?(X)=?(Y)=c(G[Y])且對(duì)于e=xjyj∈?(X),其中xj∈V(X),yj∈V(Y),e不是G的完美匹配邊.設(shè)樹(shù)Tj的根為yj.

        因?yàn)闃?shù)Tj是二部圖且有完美匹配,因此存在兩個(gè)不同的最大獨(dú)立集Aj和Bj,使得樹(shù)的完美匹配邊的端點(diǎn)分別來(lái)自Aj、Bj.故Aj∩Bj=?,Aj∪Bj=V(Tj),且|Aj|=|Bj|=|V(Tj)|/2.

        結(jié)合情形M3=?的圖,對(duì)G[X]劃分為A,B兩部分:設(shè)B為最大獨(dú)立集,|B|=|V(G[X])|/2,A中只有兩個(gè)點(diǎn)相鄰,使得從A到B有完美匹配.顯然A中相鄰的兩個(gè)點(diǎn)在圈C上.另外,圈C上的點(diǎn)在A的點(diǎn)數(shù)比在B的點(diǎn)數(shù)多1.若xj∈A,則令yj所在的集合為Bj;否則令yj所在的集合為Aj,此時(shí){xj}∪Bj為獨(dú)立集.接下來(lái)對(duì)匹配在圈C上的邊數(shù)進(jìn)行分類討論core(G).

        證明:

        在G[X]中取兩個(gè)最大獨(dú)立集為B和B′,且B∩B′=,其中b為圈C外被M2飽和的頂點(diǎn)且b∈B,其取法和記法與定理3的證明中相同.按下述取法取兩個(gè)G的最大獨(dú)立集分別為S、S′.

        此時(shí),

        而在G-b中,其最大獨(dú)立集的個(gè)數(shù)為

        而G的最大獨(dú)立集的個(gè)數(shù)為|V(G)|/2,故在G-b中,不存在G的最大獨(dú)立集.故b∈core(G).

        另一方面,由于b∈core(G),則N(N(b)∩Y)?core(G),顯然

        又因?yàn)門j為一棵樹(shù)中,則包含N(N(b)∩Y)的最大獨(dú)立集Bj是唯一的,故

        定理6 若單圈圖G(設(shè)G包含的圈為C)為非二部圖且包含完美匹配M,滿足|E(C)∩M|<(|E(C)|-1)/2,則core(G)=?.

        證明:

        此時(shí),

        利用反證法,由定理5和定理6可知,

        推論8 若單圈圖G(設(shè)G包含的圈為C)為非二部圖且包含完美匹配M,則core(G)=?當(dāng)且僅當(dāng)|E(C)∩M|<(|E(C)|-1)/2.

        由性質(zhì)2可得,

        推論9 若單圈圖G(設(shè)G包含的圈為C)為非二部圖且包含完美匹配M,則ker(G)=core(G)=?當(dāng)且僅當(dāng)|E(C)∩M|<(|E(C)|-1)/2.

        3 結(jié)束語(yǔ)

        在本文中,通過(guò)研究包含完美匹配的單圈圖的最大獨(dú)立集的交、臨界集的交以及它們之間的關(guān)系,得到了兩類獨(dú)立集的交相等的等價(jià)條件.在后續(xù)的研究中,我們可以利用這個(gè)結(jié)論,進(jìn)一步研究相關(guān)單圈圖的刻畫,并探討單圈圖的最大獨(dú)立集的交與臨界集的交之間的關(guān)系.

        猜你喜歡
        空集單圈邊數(shù)
        多邊形內(nèi)角和、外角和定理專練
        單圈圖關(guān)聯(lián)矩陣的特征值
        全面認(rèn)識(shí)空集
        西江邊數(shù)大船
        歌海(2016年3期)2016-08-25 09:07:22
        空集的應(yīng)用
        最大度為10的邊染色臨界圖邊數(shù)的新下界
        說(shuō)三道四話“空集”
        具有最多與最少連通子圖的單圈圖
        談?wù)効占捌洫?dú)特的性質(zhì)
        剩余類環(huán)Z/(pn)上若干類單圈多項(xiàng)式構(gòu)造
        亚洲av成人精品一区二区三区| 亚洲一区二区情侣| 精品av一区二区在线| 国产午夜在线视频观看| 亚洲女初尝黑人巨高清| 久久ri精品高清一区二区三区| 国产精品爽爽VA吃奶在线观看| 少妇又紧又爽丰满在线视频| 亚洲av无一区二区三区久久| 无码aⅴ在线观看| 18禁国产美女白浆在线| 91盗摄偷拍一区二区三区| 国产二区交换配乱婬| 国产黄a三级三级三级av在线看| 亚洲AV秘 无码一区二区久久| 免费在线视频亚洲色图| 国产人妻熟女高跟丝袜图片| 妺妺窝人体色www在线图片| 亚洲精品国产福利在线观看| 高清在线有码日韩中文字幕| 欧美日韩精品久久久免费观看| 狠狠爱无码一区二区三区| 久久av一区二区三区下| 国产偷国产偷亚洲综合av| 99久久国产综合精品五月天| 亚洲日韩精品A∨片无码加勒比| 99国语激情对白在线观看| 日韩精品无码熟人妻视频| 国产精品人妻一区夜夜爱| 国产精品女丝袜白丝袜| 色播视频在线观看麻豆| 久久久无码人妻精品无码| 日韩一区二区肥| 9l国产自产一区二区三区| 国内精品久久久久影院优| 色偷偷一区二区无码视频| 男女上床视频免费网站| 看女人毛茸茸下面视频 | 成人大片免费视频播放一级| 亚洲码国产精品高潮在线 | 91成人自拍在线观看|