李丹陽(yáng),馬海成
青海民族大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,西寧 810007
為了找到K1∪Pm(m≥2)的所有伴隨等價(jià)圖,按m+1所含的最大奇因數(shù)是1,3,5,9,15或其他奇數(shù)分為6種情形.為方便,用δ(G)表示圖G的所有不同構(gòu)的伴隨等價(jià)圖的個(gè)數(shù).δ(G)=1當(dāng)且僅當(dāng)G是伴隨唯一的.為方便讀者閱讀,下面列出文獻(xiàn)[16]中的12個(gè)等價(jià)橋:
(1)P2m+1~Pm∪Cm+1(m≥3);
(2)T1,1,n~K1∪Cn+2(n≥2);
(3)T1,2,n~K1∪Dn+3;
(4)P4~K1∪C3;
(5)K1∪P5~P2∪T1,1,1;
(6)C4~D4;
(7)P2∪C6~P3∪D5;
(8)P2∪C9~P5∪D6;
(9)K1∪C9~T1,1,1∪D6;
(10)P2∪C15~P5∪C5∪D7;
(11)K1∪C15~T1,1,1∪C5∪D7;
(12)C15∪D6~C5∪C9∪D7.
定理1若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,則
δ(K1∪Pm)=n2+1
證設(shè)H~K1∪Pm,H1是H的一個(gè)連通分支,使得β(H1)=β(Pm),H=H1∪H2.
若H1=P7,由K1∪P7~H=P7∪H2得H2~K1,由K1伴隨唯一得到H2=K1.
若H1=C4,利用伴隨等價(jià)橋(1),H=C4∪H2~K1∪P7~K1∪P3∪C4,從而得到H2~K1∪P3,再由文獻(xiàn)[16]中的推論3.2知K1∪P3伴隨唯一,所以H2=K1∪P3.
若H1=D4,利用伴隨等價(jià)橋(1)和(6),H=D4∪H2~K1∪P7~K1∪P3∪D4,從而得到H2=K1∪P3.
若H1=T1,1,2,利用伴隨等價(jià)橋(1)和(2),H=T1,1,2∪H2~K1∪P7~K1∪P3∪C4~P3∪T1,1,2,從而得到H2=P3.故δ(K1∪P7)=4.
假設(shè)結(jié)論對(duì)n-1(n≥3),即m′+1=2n成立.由文獻(xiàn)[16]中的引理2.7 知H1=Pm,Cm2+1,T1,1,m2-1.
若H1=Pm,由K1∪Pm~H=Pm∪H2,得H2=K1.
若H1=Cm2+1,利用伴隨等價(jià)橋(1),
H=Cm2+1∪H2~K1∪Pm~K1∪Pm2∪Cm2+1
若H1=T1,1,m2-1,利用伴隨等價(jià)橋(1)和(2),
H=T1,1,m2-1∪H2~K1∪Pm~T1,1,m2-1∪Pm2
從而得到H2~Pm2.再由文獻(xiàn)[17]中的定理1 知這樣的H2共有n個(gè).
故
若H1=P11,由H=P11∪H2~K1∪P11得H2=K1.
若H1=C6,利用伴隨等價(jià)橋(1),H=C6∪H2~K1∪P11~K1∪P5∪C6,得H2~K1∪P5,又由n=2的情形知H2=K1∪P5,P2∪T1,1,1.
若H1=T1,1,4,利用伴隨等價(jià)橋(1)和(2),H=T1,1,4∪H2~K1∪P11~K1∪P5∪C6~P5∪T1,1,4,從而得到H2~P5,由文獻(xiàn)[16]中的推論3.2知P5是伴隨唯一的,所以H2=P5.
若H1=D5,利用伴隨等價(jià)橋(1),(5)和(7),H=D5∪H2~K1∪P11~K1∪P5∪C6~P2∪T1,1,1∪C6~P3∪D5∪T1,1,1,從而得到H2~P3∪T1,1,1,又由文獻(xiàn)[16]中的推論3.2知P3∪T1,1,1是伴隨唯一的,所以H2=P3∪T1,1,1.
若H1=T1,2,2,利用伴隨等價(jià)橋(1),(3)和(7),H=T1,2,2∪H2~K1∪D5∪H2~K1∪P11~K1∪P5∪C6~P2∪T1,1,1∪C6~P3∪D5∪T1,1,1,從而得到K1∪H2~P3∪T1,1,1,由于P3∪T1,1,1是伴隨唯一的,所以這樣的H2是不存在的.故δ(K1∪P11)=5.
假設(shè)結(jié)論對(duì)n-1(n≥3),即m′+1=3×2n-2成立.由文獻(xiàn)[16]中的引理2.7知H1=Pm,Cm2+1,T1,1,m2-1.同類似,我們得到H2~K1,K1∪Pm2,Pm2.由歸納假設(shè)和文獻(xiàn)[17]中的定理1 知,這樣的H2分別有1 個(gè),個(gè)或n-2個(gè),故
若H1=P9,由H=P9∪H2~K1∪P9得H2=K1.
H1=C5,利用伴隨等價(jià)橋(1),H=C5∪H2~K1∪P9~K1∪P4∪C5,得H2~K1∪P4,又由n=1的情形知H2=K1∪P4,2K1∪C3.
若H1=T1,1,3,利用伴隨等價(jià)橋(1)和(2),H=T1,1,3∪H2~K1∪P9~K1∪P4∪C5~P4∪T1,1,3,得H2~P4,又由文獻(xiàn)[17]中的定理1得H2=P4,K1∪C3.故δ(K1∪P9)=5.
假設(shè)結(jié)論對(duì)n-1(n≥3),即m′+1=5×2n-2成立.由文獻(xiàn)[16]中的引理2.7 知H1=Pm,Cm2+1,T1,1,m2-1.同類似,我們得到H2~K1,K1∪Pm2,Pm2.由歸納假設(shè)和文獻(xiàn)[17]中的定理1 知,這樣的H2分別有1個(gè),(n-1)2+1個(gè)或2(n-1)個(gè),故
δ(K1∪Pm)=1+(n-1)2+1+2(n-1)=n2+1
若H1是前4個(gè)圖,相應(yīng)地,H2~K1,K1∪P8,P8,P8∪T1,1,1,由文獻(xiàn)[16]中的推論3.2知這些圖都是伴隨唯一的,所以H2=K1,K1∪P8,P8,P8∪T1,1,1.
若H1=T1,2,3,利用伴隨等價(jià)橋(1),(3)和(9),H=T1,2,3∪H2~K1∪D6∪H2~K1∪P17~K1∪P8∪C9~P8∪T1,1,1∪D6,得K1∪H2~P8∪T1,1,1,又由于P8∪T1,1,1是伴隨唯一的,所以這樣的H2是不存在的.故δ(K1∪P17)=4.
假設(shè)結(jié)論對(duì)n-1(n≥3),即m′+1=9×2n-2成立.由文獻(xiàn)[16]中的引理2.7知H1=Pm,Cm2+1,T1,1,m2-1.同類似,我們得到H2~K1,K1∪Pm2,Pm2.由歸納假設(shè)和文獻(xiàn)[17]中的定理1 知,這樣的H2分別有1個(gè),個(gè)或n-1個(gè),故
若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,或m+1=2n-1×(2k-1)(k≠2)對(duì)某對(duì)正整數(shù)n,k成立,令
Ω1={Pm1,Pm2∪Cm2+1,Pm3∪Cm2+1∪Cm3+1,…,Pmn∪Cm2+1∪Cm3+1∪…∪Cmn+1}
若m+1=3×2n-1對(duì)某個(gè)正整數(shù)n成立,令
Ω2={Pm1,Pm2∪Cm2+1,Pm3∪Cm2+1∪Cm3+1,…,Pmn-1∪Cm2+1∪Cm3+1∪…∪Cmn-1+1}
若m+1=5×2n-1對(duì)某個(gè)正整數(shù)n成立,令
若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,則
若m+1=3×2n-1對(duì)某個(gè)正整數(shù)n成立,則
若m+1=5×2n-1對(duì)某個(gè)正整數(shù)n成立,則[Pm]=Ω1∪Ω3;
若m+1=2n-1×(2k+1)(k≠1,2)對(duì)某對(duì)正整數(shù)n和k成立,則[Pm]=Ω1.
若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,或m+1=2n-1×(2k-1)(k≠2)對(duì)某對(duì)正整數(shù)n,k成立,由等價(jià)橋(2)我們知道,集合Ω1中的每一個(gè)含有圈分支的圖中的每一個(gè)圈與一個(gè)孤立點(diǎn)K1相遇就會(huì)等價(jià)于一個(gè)T-形分支.令
若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,由等價(jià)橋(6),Θ1中的圖K1∪P3∪C4∪C8∪…∪Cm2+1等價(jià)于K1∪P3∪D4∪C8∪…∪Cm2+1,再利用等價(jià)橋(2)使得圖K1∪P3∪D4∪Cm2+1∪…∪Cmn-1+1中的每一個(gè)圈分支與一個(gè)孤立點(diǎn)K1相遇就會(huì)等價(jià)于一個(gè)T-形分支,令
若m+1=3×2n-1,n≥3.由等價(jià)橋(2)知集合Ω2中的每一個(gè)含有圈分支的圖中的每一個(gè)圈與一個(gè)孤立點(diǎn)K1相遇就會(huì)等價(jià)于一個(gè)T-形分支.令
若m+1=5×2n-1,K1∪Pm的等價(jià)圖除集合Θ1中的圖外,還有集合{K1∪H:H∈Ω3}中的圖.由等價(jià)橋(2),{K1∪H:H∈Ω3}中的圖2K1∪C3∪C5∪…∪Cm2+1中除C3外的任何兩個(gè)圈與兩個(gè)孤立點(diǎn)2K1相遇就會(huì)等價(jià)于兩個(gè)T-形分支.令
Δ2={C3∪T1,1,3∪T1,1,8∪…∪Cm2+1,C3∪C5…∪T1,1,m3-1∪T1,1,m2-1}
若m+1=9×2n-1,n≥2,K1∪Pm的等價(jià)圖除集合Θ1中的圖外,還包含圖P8∪T1,1,1∪D6∪C18∪…∪Cm2+1.由等價(jià)橋(9),集合Θ1中的圖K1∪P8∪C9∪…∪Cm2+1等價(jià)于圖P8∪T1,1,1∪D6∪C18∪…∪Cm2+1.
若m+1=15×2n-1,n≥2,K1∪Pm的等價(jià)圖除集合Θ1中的圖外,還包含圖P14∪T1,1,1∪C5∪D7∪C30∪…∪Cm2+1.由等價(jià)橋(11),集合Θ1中的圖K1∪P14∪C15∪…∪Cm2+1等價(jià)于圖P14∪T1,1,1∪C5∪D7∪C30∪…∪Cm2+1.
于是,我們得到下面的結(jié)果:
定理2若m+1=2n+1對(duì)某個(gè)正整數(shù)n成立,則
[K1∪Pm]=Θ1∪{K1∪H:H∈Ω3}∪Δ2
證由文獻(xiàn)[16]中的等價(jià)變換規(guī)律,這些圖均等價(jià)于K1∪Pm,且圖的個(gè)數(shù)也等于δ(K1∪Pm).