2-树不相似特征定理的一个证明 (2000年)

2-树不相似特征定理就是对于任何具有q*类不相似线,r*类不相似格,s1类恰好具有两条相似线的不相似格,s2类具有三条相似线的不相似格的2-树,其中s= s1+ 2s2,有q*+ s-2r* = 1. F.Harary利用构造的方法说明了这一定理,但并未给出严格证明,这里将给出这一定理的一个证明.