2012-01-31 7 views
2

Mathexchangeでこの質問をすることを考えましたが、計算やはい/いいえではありませんが、コンピュータサイエンス関連のアルゴリズムの詳細についてはここでお尋ねします。BFSで生成されたツリーの解析

BFSアルゴリズムでは、各レベルのトラバーサルをレイヤーとしてマークすることができます。たとえば、sが開始頂点である場合、任意の単一レイヤの頂点はすべてsまでの同じ距離を持つ必要があります。これは、BFS検索アルゴリズムの最も基本的な特性の1つです。

i層と、Tと呼ばれるBFSアルゴリズムで生成されたツリーと、Gと呼ばれるグラフがあるとします。これは、Tの任意の2つのノード間の最大距離がiであることを意味します。 (おそらく開始層から1、及び下層から1)

そのプロパティを使用して、はどのように私は頂点aはその程度がせいぜい6*|V|/iになるようGに存在することを証明することができますか?レイヤL_jの任意の頂点uはせいぜい6|V|/i頂点の合計3つの後件層の存在を示し、層L_j-1L_j+1の頂点に接続されたエッジを有するので

私は考えました。役立つだろう。

しかし、私は目標を知っていることですが、私はそれにアプローチする方法はわかりません。

+0

質問はよく公式化されていますか? n頂点の[Complete graph](http://en.wikipedia.org/wiki/Complete_graph)はn-1度です。 – UmNyobe

+0

はい、n-completeグラフの任意の頂点は6 * n/iより小さいn-1度を持ち、完全グラフの 'i'はいずれの場合も1になります。 (完全なグラフのBFSは1回の繰り返しで終了するため) – user1180005

+0

は 'G'単純ですか? [2つの頂点の間に1つ以上の辺がありますか?自己ループができますか?] – amit

答えて

2

アプローチはおそらく次のようなものでなければなりません。レイヤーの3つ組(例:[1,2,3]、[4,5,6] ...)を取ります。そのうちのi/3があり、それらは互いに素である。一緒に、それらはVの頂点を持っています。つまり、<= V/(i/3)のトリプレットがなければなりません(そうでなければ...カウント)。しかしながら、このアプローチは多くとも3V/i度につながる。

たぶんiは(私は2つの頂点間の最大距離としてmそれを呼び出します。私はあなたの文で混乱している

Tにおける任意の2つのノード間の最大距離は私なりの直径でなければなりません

これは真実ではありません - いくつかの頂点については、上に移動しなければなりません)。次に、m<= 2*iとなり、度が最大で6V/mの頂点になります。

+0

幅優先は「行く」? – CapelliC

+0

@chac:BFSはありません。しかし、どのように葉から木の別の葉に行くのですか?それは距離を作る。 – jpalecek

+0

こんにちは@palecek、はい、私は任意の2つのノード間の最大距離は<= 2 *あなたが言ったようになることができると思います。この答えは単に素晴らしいです。ありがとう! – user1180005

関連する問題