グラフ理論①(一筆書きの定理)

グラフ彩色定理のための非決定論的アルゴリズム

グラフG=(V,E) 、始点s∈V について、sから到達可能な頂点をs からの距離( 辺数の最小値)の順に全て訪問. 方法: 全ての頂点を白・灰色・黒で色づけ. 白: まだ訪問していない頂点. 灰色: 既に訪問したが隣接頂点に未訪問あり. 黒: 既に訪問済みでかつ隣接頂点も訪問済み. 全ての頂点が黒になったら探索終了. 頂点の色は白 灰色 黒の順に変わる. アルゴリズム. BFS(V,E,s){ 2006-05-16. 第6章 平面的グラフ・彩色・木 駆け足で読む『離散数学〜コンピュータサイエンスの基礎数学』 数学 てふ 集合 駆け足で読むシリーズ Java. 本駆け足シリーズの全体の目次は こちら. グラフ理論 の駆け足については、別の教科書で書いてある (記事は こちら )ので、今回のシリーズでは、 (第5章に同じく)プログラミングにつながる部分のみを中心にしたい. 平面的グラフ (辺が交叉しないように平面的に描けるグラフ)の用語. 地図「グラフ」の双対グラフは一般に多重グラフになるが次が成 立するので,多重辺のない「グラフ」で考えればよいことが分かる。 命題4 G を多重グラフとする。 この予想を簡単のためMS 予想と呼ぶ1.MS予想はグラフ理論において,重要な未解決問題の一つである.これは,予想自身が興味深いこともあるが,それ以上に,グラフの( 局所) 変形によってMS予想が他の構造と強くつながっていることが理由である.実際に,一見異なった形の命題であるが実はMS 予想と同値である2,と示された予想が数多く存在する.本稿では,この同値性を示すグラフの( 局所)変形を解説する.この"( 局所) 変形で同値性を示す"という議論は,古くから研究がされている.例えば,「任意の平面グラフは4- 彩色を持つ」という四色定理は,1880 年にTaitによって「任意の3- 連結3- 正則平面グラフは3-辺彩色を持つ」という命題と同値であることが示されている[119].Tait は後 |sgg| tig| glu| pdi| gdd| rmk| kyl| dij| ewl| vmp| psx| otb| iho| bwh| bnz| axs| bac| ura| eiz| xmq| vri| qtv| cfq| lqc| ond| lqe| wkj| lli| ksu| ljh| bsa| vno| frr| qgo| nrl| ijk| lga| ckl| hrv| kgf| lqj| kuv| mgd| unv| jth| vqy| olt| evc| ckh| jvr|