| Research Abstract |
平成14年度は次の予想を掲げ、以下の証明方法で予想の解決に努めた。
[予想]グラフGがk連結グラフ(k≧4)ならば、Gには任意の2頂点x, yを結び、k-1個の頂点からなる頂点集合W(x, yは含まない)を通る長さmin{|V(G)|-1,2μ'(G)-2}以上の通路が存在する。ここでμ'(G)=min{max{d(u), d(v)}:d(u, v)=2,u, v∈V(G)-{x, y}}とする
(証明方法)指定された頂点集合Wの頂点数|W|に関する帰納法による証明を考える。このとき、帰納法の仮定より、グラフGにはxとyを結び、指定された頂点集合の|W|-1個の頂点を通る長さmin{|V(G)|-1,2μ'(G)-2}以上の通路が存在する。(今、この状況下において最長通路Pを考える。)W⊆V(P)ならば予想は成り立つので、W〓V(P)、すなわちW-V(P)={w}としてよい。以下、wを含むG-V(P)の連結成分Hが2連結グラフである場合と、そうでない場合に分け、証明を行う。
上記証明方法では、連結成分Hが2連結グラフでない場合の証明が重要となる。このとき、Hは1個以上のブロックから構成されているが、頂点w.がどのブロックに含まれているかによって、証明が非常に複雑なものとなる。また、最長通路Pの長さを求める際に、すでに最長通路P上にある頂点集合Wの位置に注意し、Pの長さを計算しなければならない。これまで、上記証明方法に従って様々な方法を試みてきたが、現在、予想の解決には至っていない。今後は上記予想のもとになっている定理を証明する際に用いた手法、すなわち、Vineと呼ばれる特殊な通路を用いた手法に改良を加えるなどして、予想の解決に努めていきたいと考えている。
|
