The Student Room Group

Graph Theory Induction Proof

Using induction on |G|, show that if e(G)\geq|G| then G contains a cycle

Any help would be appreciated.
(edited 8 years ago)
Original post by megafobia
Using induction on |G|
, show that if e|G|\geq|G| then G contains a cycle

Any help would be appreciated.

Don't know if I can help, but it would be useful to know what "e|G|" is. ?
Reply 2
Original post by ghostwalker
Don't know if I can help, but it would be useful to know what "e|G|" is. ?


It was a typo. Sorry.
Original post by megafobia
It was a typo. Sorry.


:cool: so it's the number of edges.

And what's the restriction on G? Simple? Multiple edges between two vertices? Loops allowed? I presume it's undirected.

Edit: It would also help to know your definition of a cycle.
(edited 8 years ago)
Original post by megafobia
...


I'm asking you the above questions as there are various types of graphs, and the meaning of terms varies.
What's your base case going to be?
My last post on this thread:

In your induction step, for the graph with n+1 vertices, treat the cases where the minimum degree of the vertices is 0, 1, >1 separately.

Will probably work - without knowing what your definitions are.
(edited 8 years ago)
Original post by ghostwalker
My last post on this thread:

In your induction step, for the graph with n+1 vertices, treat the cases where the minimum degree of the vertices is 0, 1, >1 separately.

Will probably work - without knowing what your definitions are.
PRSOM (Although a phrase involving horses and water comes to mind w.r.t. the OP).
Original post by Raiden10
...


Do see the forum guidelines on posting full solutions - sticky at top of forum.
Original post by ghostwalker
Do see the forum guidelines on posting full solutions - sticky at top of forum.


Notwithstanding I refuse to believe that anyone is going ever to learn proof by induction without having multitudes of complete proofs by induction thrown at them.

Giving hints and asking beginning students of "proof" to realise what took mathematicians quite some amount of time to properly formalize seems rather optimistic.

There aren't probably any results in graph theory more fundamental than this, so it seems strange in the extreme to leave it as an exercise. I also feel it's not really possible to simplify the proof very much, so ability to give hints is limited, by the short length of the proof.
(edited 8 years ago)

Quick Reply

Latest