S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Sun, 1 Dec 2024 05:45:57 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 1 post ] 
Author Message
PostPosted: Wed, 22 Mar 2017 03:14:29 UTC 
Offline
Member

Joined: Thu, 27 Feb 2014 07:25:06 UTC
Posts: 27
1. G is chordal iff G has a Perfect Elimination Scheme/Ordering (PES)
2. G is chordal iff every induced subgraph H of G has a simplicial vertex of H.

Show directly (ie, don't use the above) to show that G has a PES iff every induced subgraph H of G has a simplicial vertex.

(->) Assume G has PES = [v_1, v_2, ..., v_n] By definition every v_i is simplicial in the graph H=G[v_i, v_{i+1}, ... v_n] (ie H = the graph induced by the vertices v_i, v_{i+1}, ... ,v_n in G). I need to show that given any subset of PES, say H = G[x_1, x_2, ..., x_m] that this graph has a simplicial vertex. I'm pretty sure that this needs to be done BWOC. If each graph didn't have a simplicial vertex then there wouldn't be a PES ordering. But I'm not exactly sure how to show this. It seems so simple and direct and I'm stuck. I guess I need the why this is true and I'm missing it.

(<-) Assume every induced subgraph H of G has a simplicial vertex then G has a PES. Again, I'm pretty sure to do this by contradiction but it seems too simple to say that if each subgraph didn't have a simplicial vertex then there wouldn't be a PES ordering. Which would be the same proof as the (->) part. I guess I'm missing the how this happens because it seems so direct from definition. I'm going in circles!

Any help is appreciated! Thank you so much!


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
cron
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2017 phpBB Group.
Copyright © 1999-2017 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA