Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Discrete Mathematics, Set Theory and Logic
Reply
 
Thread Tools Display Modes
  #1  
Old November 19th, 2008, 06:11 AM
Junior Member
 
Join Date: Nov 2008
Posts: 27
Country:
Thanks: 10
Thanked 1 Time in 1 Post
davidmccormick is on a distinguished road
Default Graph Theory

Is it possible to partition k8 into 2 planar subgraphs?

Any help would be appreciated.
Reply With Quote
Advertisement
 
  #2  
Old November 19th, 2008, 11:12 AM
MHF Contributor

 
Join Date: Aug 2006
Posts: 6,575
Thanks: 65
Thanked 2,431 Times in 2,226 Posts
Plato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond repute
Default

Here is a theorem relating the number of edges to the number of vertices in a planar graph: V \geqslant 3 \Rightarrow \quad E \leqslant 3V - 6.
In K_8 there are 28 edges. If you partition that graph into two subgraph you get \left\{ {E_1 ,V_1 } \right\}\,\& \,\left\{ {E_2 ,V_2 } \right\} where \left\{ \begin{gathered} E_1 + E_2 = 28 \hfill \\ V_1 + V_2 = 8 \hfill \\ \end{gathered} \right..
Now try for a contradiction.
Reply With Quote
The following users thank Plato for this useful post:
Donate to MHF
  #3  
Old November 19th, 2008, 12:11 PM
Junior Member
 
Join Date: Nov 2008
Posts: 27
Country:
Thanks: 10
Thanked 1 Time in 1 Post
davidmccormick is on a distinguished road
Default

Thank you very much for your help.
Reply With Quote
  #4  
Old November 21st, 2008, 12:55 PM
Newbie
 
Join Date: Nov 2008
Posts: 4
Country:
Thanks: 0
Thanked 0 Times in 0 Posts
arnaud89 is on a distinguished road
Default

I am not quite sure about that answer since you dont necesserally have 28 edges for your 2 subgraphs.
And I (think) have found a example when it works:
-k4 and k4
Reply With Quote
  #5  
Old November 21st, 2008, 02:15 PM
MHF Contributor

 
Join Date: Aug 2006
Posts: 6,575
Thanks: 65
Thanked 2,431 Times in 2,226 Posts
Plato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond repute
Default

Quote:
Originally Posted by davidmccormick View Post
Is it possible to partition k8 into 2 planar subgraphs?
Quote:
Originally Posted by arnaud89 View Post
I am not quite sure about that answer since you dont necesserally have 28 edges for your 2 subgraphs.

Yes you do have all 28 edges.
The question says to partition K_8 into two subgraphs.
I assume that is using the term partition in the standard way.
Reply With Quote
  #6  
Old November 21st, 2008, 02:35 PM
Newbie
 
Join Date: Nov 2008
Posts: 4
Country:
Thanks: 0
Thanked 0 Times in 0 Posts
arnaud89 is on a distinguished road
Default

can you not delete some edges when partitioning your graph??

and why does k4 doesnt work?

thanks
Reply With Quote
  #7  
Old November 21st, 2008, 03:07 PM
MHF Contributor

 
Join Date: Aug 2006
Posts: 6,575
Thanks: 65
Thanked 2,431 Times in 2,226 Posts
Plato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond repute
Default

Quote:
Originally Posted by arnaud89 View Post
can you not delete some edges when partitioning your graph??
No you cannot.
Do you know what it means to have a partition of a set?
In this case, the partition has two cells, nonempty, disjoint and their union is the graph.
Reply With Quote
  #8  
Old November 21st, 2008, 03:27 PM
Newbie
 
Join Date: Nov 2008
Posts: 4
Country:
Thanks: 0
Thanked 0 Times in 0 Posts
arnaud89 is on a distinguished road
Default

yes I understand that. But surely a subgraph G of H is obtained by deleting some vertices and/or edges.
so if it cut k8 in the middle , i delete all the crossing edges and i am left with the complete graph on four vertices which is planar.

Whats wrong with that argument?
thanks.
Reply With Quote
  #9  
Old November 21st, 2008, 03:58 PM
MHF Contributor

 
Join Date: Aug 2006
Posts: 6,575
Thanks: 65
Thanked 2,431 Times in 2,226 Posts
Plato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond reputePlato has a reputation beyond repute
Default

Are you left with two disjoint subgraphs such that their union is K_8?
Reply With Quote
  #10  
Old July 4th, 2009, 05:20 AM
Newbie
 
Join Date: Jul 2009
Posts: 4
Country:
Thanks: 0
Thanked 0 Times in 0 Posts
sriram is on a distinguished road
Default sriram.v

K_8 has 28 edges k_4 + k_4 has 6+6 12 edges

let the graph k_8 have vertices x1,x2,x3,x4,x5,x6,x7,x8

consider a
First graph k_4 with x1,x2,x3,x4 and the edges from x1,x2,x3 to the vertices x5,x6 and x4 to x7,x8

second graph k_4 with x5,x6,x7,x8 and the edges x4 to the vertices x5,x6 and the edges x1,x2,x3 to x7,x8

my email id 140580@gmail.com
Reply With Quote
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 12:51 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.