How Can Induction Be Used to Prove Paths in Graphs with Odd Degree Vertices?

Click For Summary
SUMMARY

The discussion centers on proving that a graph G with exactly 2k vertices of odd degree contains k edge-disjoint paths connecting each pair of odd degree vertices. The proof employs mathematical induction, starting with the base case of 2 vertices of odd degree, where an Eulerian path theorem confirms the existence of such paths. The inductive step involves transforming a graph with 2(k+1) odd vertices into one with 2k odd vertices by adding an edge, thus allowing the application of the induction hypothesis. The challenge arises in ensuring that the removal of the added edge does not disrupt the established paths.

PREREQUISITES
  • Understanding of graph theory concepts, specifically odd degree vertices.
  • Familiarity with mathematical induction techniques.
  • Knowledge of Eulerian paths and their properties.
  • Ability to analyze edge-disjoint paths in graphs.
NEXT STEPS
  • Study the properties of Eulerian paths in depth, focusing on conditions for their existence.
  • Explore advanced topics in graph theory, such as the Tutte-Berge theorem.
  • Learn about strengthening induction hypotheses in mathematical proofs.
  • Investigate algorithms for finding edge-disjoint paths in graphs.
USEFUL FOR

Mathematicians, computer scientists, and students studying graph theory, particularly those interested in pathfinding algorithms and induction proofs.

mss2718
Messages
2
Reaction score
0
prove : Let G be a graph that has exactly 2k vertices of odd degree. Show that
there are k edge-disjoint paths each of which joins a different pair of ver-
tices of odd degree.

I have to prove this with induction on k. There is a hint that I need to strenghten my induction hypothosis but I do not know what to strengthen it to. This is what i have tried so far:


Base: with 2 vertices of odd degree, we can use a theorem already proved, that states that an eularien path exists if a graph has 2 vertcies of odd degree.

Inductive step: Let G be a graph with 2(k+1) odd vertices, if we add an edge between any 2 of the odd vertices they become even and we get a graph with (2k) odd vertices. I can use my IH to conclude that this graph has k edge-disjoint paths...



The problem is that when I take away this edge i have no way of saying conclusivly that I did not destroy one of those paths beccause I am taking away an edge not adding one in. Any help would be much appreciated.
 
Physics news on Phys.org
can anyone help
 

Similar threads

Replies
1
Views
2K
Replies
3
Views
3K
Replies
11
Views
6K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K