11.08.2013 Views

1.2. PATHS, CYCLES, AND TRAILS - People.stat.sfu.ca

1.2. PATHS, CYCLES, AND TRAILS - People.stat.sfu.ca

1.2. PATHS, CYCLES, AND TRAILS - People.stat.sfu.ca

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

19 Chapter 1: Fundamental Concepts Section 1.2: Paths, Cycles, and Trails 20<br />

c) The edge set of every closed trail <strong>ca</strong>n be partitioned into edge sets of<br />

cycles—TRUE. The vertices and edges of a closed trail form an even graph,<br />

and Proposition <strong>1.2.</strong>27 applies.<br />

d) If a maximal trail in a graph is not closed, then its endpoints have<br />

odd degree. If an endpoint v is different from the other endpoint, then the<br />

trail uses an odd number of edges incident to v. If v has even degree, then<br />

there remains an incident edge at v on which to extend the trail.<br />

<strong>1.2.</strong>2. Walks in K4.<br />

a) K4 has a walk that is not a trail; repeat an edge.<br />

b) K4 has a trail that is not closed and is not a path; traverse a triangle<br />

and then one additional edge.<br />

c) The closed trails in K4 that are not cycles are single vertices. A closed<br />

trail has even vertex degrees; in K4 this requires degrees 2 or 0, which<br />

forbids connected nontrivial graphs that are not cycles. By convention, a<br />

single vertex forms a closed trail that is not a cycle.<br />

<strong>1.2.</strong>3. The non-coprimality graph with vertex set {1, . . . , 15}. Vertices<br />

1,11,13 are isolated. The remainder induce a single component. It has<br />

a spanning path 7,14,10,5,15,3,9,12,8,6,4,2. Thus there are four components,<br />

and the maximal path length is 11.<br />

<strong>1.2.</strong>4. Effect on the adjacency and incidence matrices of deleting a vertex or<br />

edge. Assume that the graph has no loops.<br />

Consider the vertex ordering v1, . . . , vn. Deleting edge vivj simply<br />

deletes the corresponding column of the incidence matrix; in the adjacency<br />

matrix it reduces positions i, j and j, i by one.<br />

Deleting a vertex vi eliminates the ith row of the incidence matrix,<br />

and it also deletes the column for each edge incident to vi. In the adjacency<br />

matrix, the ith row and ith column vanish, and there is no effect on the<br />

rest of the matrix.<br />

<strong>1.2.</strong>5. If v is a vertex in a connected graph G, then v has a neighbor in every<br />

component of G − v. Since G is connected, the vertices in one component of<br />

G − v must have paths in G to every other component of G − v, and a path<br />

<strong>ca</strong>n only leave a component of G − v via v. Hence v has a neighbor in each<br />

component.<br />

No cut-vertex has degree 1. If G is connected and G − v has k components,<br />

then having a neighbor in each such component yields dG(v) ≥ k. If<br />

v is a cut-vertex, then k ≥ 2, and hence dG(v) ≥ 2.<br />

<strong>1.2.</strong>6. The paw. Maximal paths: acb, abcd, bacd (two are maximum paths).<br />

Maximal cliques: abc, cd (one is a maximum clique). Maximal independent<br />

sets: c, bd, ad (two are maximum independent sets).<br />

b•<br />

a•<br />

c<br />

• •d<br />

<strong>1.2.</strong>7. A bipartite graph has a unique bipartition (except for interchanging<br />

the two partite sets) if and only if it is connected. Let G be a bipartite graph.<br />

If u and v are vertices in distinct components, then there is a bipartition in<br />

which u and v are in the same partite set and another in which they are in<br />

opposite partite sets.<br />

If G is connected, then from a fixed vertex u we <strong>ca</strong>n walk to all other<br />

vertices. A vertex v must be in the same partite set as u if there is a u, vwalk<br />

of even length, and it must be in the opposite set if there is a u, v-walk<br />

of odd length.<br />

<strong>1.2.</strong>8. The biclique Km,n is Eulerian if and only if m and n are both even or<br />

one of them is 0. The graph is connected. It vertices have degrees m and<br />

n (if both are nonzero), which are all even if and only if m and n are both<br />

even. When m or n is 0, the graph has no edges and is Eulerian.<br />

<strong>1.2.</strong>9. The minimum number of trails that decompose the Petersen graph is<br />

5. The Petersen graph has exactly 10 vertices of odd degree, so it needs at<br />

least 5 trails, and Theorem <strong>1.2.</strong>33 implies that five trails suffice.<br />

The Petersen graph does have a decomposition into five paths. Given<br />

the drawing of the Petersen graph consisting of two disjoint 5-cycles and<br />

edges between them, form paths consisting of one edge from each cycle and<br />

one edge joining them.<br />

<strong>1.2.</strong>10. Statements about Eulerian graphs.<br />

a) Every Eulerian bipartite graph has an even number of edges—TRUE.<br />

Proof 1. Every vertex has even degree. We <strong>ca</strong>n count the edges by<br />

summing the degrees of the vertices in one partite set; this counts every<br />

edge exactly once. Since the summands are all even, the total is also even.<br />

Proof 2. Since every walk alternates between the partite sets, following<br />

an Eulerian circuit and ending at the initial vertex requires taking an<br />

even number of steps.<br />

Proof 3. Every Eulerian graph has even vertex degrees and decomposes<br />

into cycles. In a bipartite graph, every cycle has even length. Hence<br />

the number of edges is a sum of even numbers.<br />

b) Every Eulerian simple graph with an even number of vertices has<br />

an even number of edges—FALSE. The union of an even cycle and an odd<br />

cycle that share one vertex is an Eulerian graph with an even number of<br />

vertices and an odd number of edges.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!