00:01
All right, so we're going to prove by counterpositive the following statement.
00:04
So it's if, this is the statement, if we have a graph g with v vertices and e edges, such that v is less than e plus 1, then there's two things here.
00:52
It must contain a cycle, then g must contain a cycle.
01:02
And by virtue of that, not a forest.
01:09
And is not a forest.
01:11
This is our statement we're trying to prove.
01:13
Now the contrapositive, and so what that means is, so we have this statement here, which is like, if p, then q, right? p, then q.
01:23
If p, then q.
01:24
If we have the graph g, blah, blah, blah, then q, which is g must contain a cycle, therefore not forest.
01:32
The contrapositive is if not p, if not p, or if not q, excuse me, then not p.
01:40
So for us, what that means is our statement is as follows.
01:45
If we have a graph g that does not can't cycle, and therefore is a forest, so if g is a forest, then v is greater than or equal to e plus 1.
02:07
So this is the contraposives.
02:09
So we're switching the order and we're negating that we're negating, the state the components of our statement and we're switching the order.
02:17
That's what it means there.
02:19
All right.
02:19
So and we are also going to complete this proof by ordering these statements.
02:28
And let's go ahead and do that.
02:31
So the first thing we need to do is establish the fact that establish the fact that g is a forest.
02:42
So let g be an acyclic forest right there.
02:45
So it's going to be statement one.
02:46
These are the statements in order.
02:47
So it's going to go one.
02:49
And then what we're going to do is we're going to define t is a tree that exists as a connected component for us g.
02:55
And e t be the number of edges of t and vt is number of vertices of t.
02:59
So we're going to go step 9 or statement 9.
03:01
I don't need to put circles around these, i guess.
03:03
We can just do statement one and statement nine.
03:07
Is that? actually, you know what i'll do is i'll reiterate the order.
03:13
So this will be first.
03:16
This will be second all right then what we're going to do is we're going to say for all t et equals vt minus 1 so this is our third statement so it's going to be statement 10 and the reason for that is because we're defining the number the edges and vertices and how they relate to the tree all right and then from there the sum of all et in the forest g produces e which is the sum of all vt in the forest g well the sum of vt and the force g produces v.
03:49
So this will be our fourth.
03:51
So statement eight.
03:57
Right.
03:58
So there's that.
04:00
And then after we state that, now we can do, we can show what those sums, some, those sums are.
04:08
So we have, and we're reading the statement, the sum of all, et and the forest c produces e...