金陵科技学院学报
金陵科技學院學報
금릉과기학원학보
JOURNAL OF JINLING INSTITUTE OF TECHNOLOGY
2006年
4期
7-11
,共5页
流%树%圈%k-NZF%τ1,3,Mod3-Direction%k-flow%(τ1,3)%G*e0%Modk-flow
流%樹%圈%k-NZF%τ1,3,Mod3-Direction%k-flow%(τ1,3)%G*e0%Modk-flow
류%수%권%k-NZF%τ1,3,Mod3-Direction%k-flow%(τ1,3)%G*e0%Modk-flow
已知G2=G∪{uv(|)dG(u,v)=2,u,v∈V(G)},如果定义算法,1)令G2=G0,2)Gk=Gk-1\{uv},dG(u,v)=2,这样就可以得到边数更少的图G.考虑G2推出3-NZF但∈(τ1,3)且|V(G)|+|E(G)|的极小反例,以及G(∈\)(τ1,3)但G2不推出3-NZF且满足1.|E(G)|-|V(G)|尽可能小,2.在1)成立的条件下,|E(G)|尽可能小的反例,于是有结论:G2推出3-NZF,当且仅当G(∈\)(τ1,3).
已知G2=G∪{uv(|)dG(u,v)=2,u,v∈V(G)},如果定義算法,1)令G2=G0,2)Gk=Gk-1\{uv},dG(u,v)=2,這樣就可以得到邊數更少的圖G.攷慮G2推齣3-NZF但∈(τ1,3)且|V(G)|+|E(G)|的極小反例,以及G(∈\)(τ1,3)但G2不推齣3-NZF且滿足1.|E(G)|-|V(G)|儘可能小,2.在1)成立的條件下,|E(G)|儘可能小的反例,于是有結論:G2推齣3-NZF,噹且僅噹G(∈\)(τ1,3).
이지G2=G∪{uv(|)dG(u,v)=2,u,v∈V(G)},여과정의산법,1)령G2=G0,2)Gk=Gk-1\{uv},dG(u,v)=2,저양취가이득도변수경소적도G.고필G2추출3-NZF단∈(τ1,3)차|V(G)|+|E(G)|적겁소반례,이급G(∈\)(τ1,3)단G2불추출3-NZF차만족1.|E(G)|-|V(G)|진가능소,2.재1)성립적조건하,|E(G)|진가능소적반례,우시유결론:G2추출3-NZF,당차부당G(∈\)(τ1,3).