Professional Documents
Culture Documents
Advice For Solving Graph Theory Problems
Advice For Solving Graph Theory Problems
Proving theorems from scruth is dicult - but rewarding - art. It requires focus, patience,
and inspiration. With a hard problem, It is impossible to simply read out the problem and
then start writing the solution. There are two distinct phases to solve such problems.
First o, you need to experiment, and imagine the situation.. try to understand the
properties involved and search for the key idea(s) which will get you to the solution. In
this post and the following ones we will present some tools which i hope will be helpful
in this search. Second, after you have found the key idea, you need to formalize your
argument and write out a proper proof. This is also a skill which takes time and patience
to master.
1
is completed it can be quite tricky to imagine what is going on before you draw a few of
them on the page.
1.3 Induction
Induction is an incredibly powerful tool for solving graph theory problems. Most graph
theorists are very quick to try unduction on |V(G)| or |E(G)| or something else.. after
all, as soon as you say you are proceeding by induction on k, you have armed yourself
with the knowledge that the problem is true for all smaller values of k (assuming you
have settled the base case).
There are no black or white rules for when this method will succeed, but frequently
problems which succumb to an induction proof are those where you make a fairly subtle
change to the graph (i.e. delete a single vertex or edge) since in this case the solution for
smaller graph tends to convey considerable information about the original.
2
1.7 Choose an extreme example
Frequently problems can get complicated simply because there are so many possibilities.
Quite often, you can cut down on some of these cases be simply considering an extreme
example. For instance, if you know that G has a cycle with property A, consider choosing
a shortest (or longest) cycle with property A. the maximality/minimality of the case you
are considering lay simplify the analysis considerably.