以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  [求助] 如何证明这道图论题?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=15836)


--  作者:Logician
--  发布时间:3/20/2005 9:19:00 AM

--  [求助] 如何证明这道图论题?
Definition 1: Let G = <V,E> be a graph. If X is another graph and {V_x | x∈V(X)} is a partition of V into connected subsets such that, for any two vertices x,y∈X, there is a V_x-V_y edge (i.e. an edge (i,j) where i∈V_x and j∈V_y) in G if and only if (x,y)∈ E(X), we call G "an MX" and write "G = MX". If G=MX is a subgraph of another graph Y, we call X "a minor of Y".

Definition 2: If we replace the edges of X with independent paths between their ends (so that none of these paths has an inner vertex on another path or in X), we call the graph G obtained "a subdivision of X" and write "G = TX". If G=TX is the subgraph of another graph Y, then X is "a topological minor of Y".

Problem: show that, if Δ(X) ≤ 3, then every MX contains a TX; thus, every minor with maximum degree at most 3 of a graph is also its topological minor.


--  作者:ljb
--  发布时间:3/20/2005 10:00:00 PM

--  
such a easy problem~~~
the only thing you need to do is to find a brance node in one brance set

in one brance set, there is at most three node which connects other three different branch set(since \triangle(X)<=3.),call this three node output
pick a path connects two output, and pick an other path connect the 3rd output to the previous path. the intersecting node is brance node.

retaining these paths and edges between brance set leaves a TX.


--  作者:ljb
--  发布时间:3/20/2005 10:03:00 PM

--  
I think you are reading Dxxxx's book, so i use that book's term~~~
good book&good luck~:)
--  作者:Logician
--  发布时间:3/21/2005 12:30:00 PM

--  
Yep.
That's great!
Thank you very much!
:)

PS: Yes, I am reading Reinhard's book. It's really great (though some contents are a little bit too much for me......).

以下是引用ljb在2005-3-20 22:00:08的发言:
such a easy problem~~~
the only thing you need to do is to find a brance node in one brance set

in one brance set, there is at most three node which connects other three different branch set(since \triangle(X)<=3.),call this three node output
pick a path connects two output, and pick an other path connect the 3rd output to the previous path. the intersecting node is brance node.

retaining these paths and edges between brance set leaves a TX.



--  作者:ljb
--  发布时间:3/21/2005 12:30:00 PM

--  
~~~~~~~
some content are not that useful for CSer,such as "extremal graph theory and ramsey theory" I think,although they are really beautiful theory.

--  作者:Logician
--  发布时间:3/21/2005 12:30:00 PM

--  
IC.
Thanks for your advice. :)

以下是引用ljb在2000-1-1 9:12:08的发言:
~~~~~~~
some content are not that useful for CSer,such as "extremal graph theory and ramsey theory" I think,although they are really beautiful theory.



W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
1,391.602ms