On page 102, we defined the binary relation connected on the set of vertices of a

Perform a depth-first search on the following graph; whenever theres a choice of vertices, pick the one that is alphabetically first. Classify each edge as a tree edge or back edge, and give the pre and post number of each vertex.

Perform depth-first search on each of the following graphs; whenever theres a choice of vertices, pick the one that is alphabetically first. Classify each edge as a tree edge, forward edge, back edge, or cross edge, and give the pre and post number of each vertex (a) Image (b) Image

Run the DFS-based topological ordering algorithm on the following graph. Whenever you have a choice of vertices to explore, always pick the one that is alphabetically first. (a) Indicate the pre and post numbers of the nodes. (b) What are the sources and sinks of the graph? (c) What topological ordering is found by the algorithm? (d) How many topological orderings does this graph have?

Run the strongly connected components algorithm on the following directed graphs G. When doing DFS on GR: whenever there is a choice of vertices to explore, always pick the one that is alphabetically first. (i) Image (ii) Image In each case answer the following questions. (a) In what order are the strongly connected components (SCCs) found? (b) Which are source SCCs and which are sink SCCs? (c) Draw the metagraph (each meta-node is an SCC of G). (d) What is the minimum number of edges you must add to this graph to make it strongly connected?

The reverse of a directed graph G = (V, E) is another directed graph GR = (V, ER) on the same vertex set, but with all edges reversed; that is, ER = {(v, u) : (u, v) E}. Give a linear-time algorithm for computing the reverse of a graph in adjacency list format.

In an undirected graph, the degree d(u) of a vertex u is the number of neighbors u has, or equivalently, the number of edges incident upon it. In a directed graph, we distinguish between the indegree din(u), which is the number of edges into u, and the outdegree dout(u), the number of edges leaving u. (a) Show that in an undirected graph, P uV d(u) = 2|E|. (b) Use part (a) to show that in an undirected graph, there must be an even number of vertices whose degree is odd. (c) Does a similar statement hold for the number of vertices with odd indegree in a directed graph?

A bipartite graph is a graph G = (V, E) whose vertices can be partitioned into two sets (V = V1V2 and V1 V2 = ) such that there are no edges between vertices in the same set (for instance, if u, v V1, then there is no edge between u and v). (a) Give a linear-time algorithm to determine whether an undirected graph is bipartite. (b) There are many other ways to formulate this property. For instance, an undirected graph is bipartite if and only if it can be colored with just two colors. Prove the following formulation: an undirected graph is bipartite if and only if it contains no cycles of odd length. (c) At most how many colors are needed to color in an undirected graph with exactly one oddlength cycle?

Pouring water. We have three containers whose sizes are 10 pints, 7 pints, and 4 pints, respectively. The 7-pint and 4-pint containers start out full of water, but the 10-pint container is initially empty. We are allowed one type of operation: pouring the contents of one container into another, stopping only when the source container is empty or the destination container is full. We want to know if there is a sequence of pourings that leaves exactly 2 pints in the 7- or 4-pint container. (a) Model this as a graph problem: give a precise definition of the graph involved and state the specific question about this graph that needs to be answered. (b) What algorithm should be applied to solve the problem? (c) Find the answer by applying the algorithm.

For each node u in an undirected graph, let twodegree[u] be the sum of the degrees of us neighbors. Show how to compute the entire array of twodegree[] values in linear time, given a graph in adjacency list format.

Rewrite the explore procedure (Figure 3.3) so that it is non-recursive (that is, explicitly use a stack). The calls to previsit and postvisit should be positioned so that they have the same effect as in the recursive procedure.

Design a linear-time algorithm which, given an undirected graph G and a particular edge e in it, determines whether G has a cycle containing e.

Either prove or give a counterexample: if {u, v} is an edge in an undirected graph, and during depth-first search post(u) <post(v), then v is an ancestor of u in the DFS tree.

Undirected vs. directed connectivity. (a) Prove that in any connected undirected graph G = (V, E) there is a vertex v V whose removal leaves G connected. (Hint: Consider the DFS search tree for G.) (b) Give an example of a strongly connected directed graph G = (V, E) such that, for every v V , removing v from G leaves a directed graph that is not strongly connected. (c) In an undirected graph with 2 connected components it is always possible to make the graph connected by adding only one edge. Give an example of a directed graph with two strongly connected components such that no addition of one edge can make the graph strongly connected.

The chapter suggests an alternative algorithm for linearization (topological sorting), which repeatedly removes source nodes from the graph (page 101). Show that this algorithm can be implemented in linear time.

The police department in the city of Computopia has made all streets one-way. The mayor contends that there is still a way to drive legally from any intersection in the city to any other intersection, but the opposition is not convinced. A computer program is needed to determine whether the mayor is right. However, the city elections are coming up soon, and there is just enough time to run a linear-time algorithm. (a) Formulate this problem graph-theoretically, and explain why it can indeed be solved in linear time. (b) Suppose it now turns out that the mayors original claim is false. She next claims something weaker: if you start driving from town hall, navigating one-way streets, then no matter where you reach, there is always a way to drive legally back to the town hall. Formulate this weaker property as a graph-theoretic problem, and carefully show how it too can be checked in linear time.

Suppose a CS curriculum consists of n courses, all of them mandatory. The prerequisite graph G has a node for each course, and an edge from course v to course w if and only if v is a prerequisite for w. Find an algorithm that works directly with this graph representation, and computes the minimum number of semesters necessary to complete the curriculum (assume that a student can take any number of courses in one semester). The running time of your algorithm should be linear.

Infinite paths. Let G = (V, E) be a directed graph with a designated start vertex s V , a set VG V of good vertices, and a set VB V of bad vertices. An infinite trace p of G is an infinite sequence v0v1v2 of vertices vi V such that (1) v0 = s, and (2) for all i 0, (vi , vi+1) E. That is, p is an infinite path in G starting at vertex s. Since the set V of vertices is finite, every infinite trace of G must visit some vertices infinitely often. (a) If p is an infinite trace, let Inf(p) V be the set of vertices that occur infinitely often in p. Show that Inf(p) is a subset of a strongly connected component of G. (b) Describe an algorithm that determines if G has an infinite trace. (c) Describe an algorithm that determines if G has an infinite trace that visits some good vertex in VG infinitely often. (d) Describe an algorithm that determines if G has an infinite trace that visits some good vertex in VG infinitely often, but visits no bad vertex in VB infinitely often.

You are given a binary tree T = (V, E) (in adjacency list format), along with a designated root node r V . Recall that u is said to be an ancestor of v in the rooted tree, if the path from r to v in T passes through u. You wish to preprocess the tree so that queries of the form is u an ancestor of v? can be answered in constant time. The preprocessing itself should take linear time. How can this be done?

As in the previous problem, you are given a binary tree T = (V, E) with designated root node. In addition, there is an array \(x[\cdot]\) with a value for each node in V. Define a new array \(z[\cdot]\) as follows: for each \(u \in V\), z[u] = the maximum of the x-values associated with u’s descendants. Give a linear-time algorithm which calculates the entire z-array.

You are given a tree T = (V, E) along with a designated root node r V . The parent of any node v 6= r, denoted p(v), is defined to be the node adjacent to v in the path from r to v. By convention, p(r) = r. For k > 1, define p k (v) = p k1 (p(v)) and p 1 (v) = p(v) (so p k (v) is the kth ancestor of v). Each vertex v of the tree has an associated non-negative integer label l(v). Give a linear-time algorithm to update the labels of all the vertices in T according to the following rule: lnew(v) = l(p l(v) (v)).

Give a linear-time algorithm to find an odd-length cycle in a directed graph. (Hint: First solve this problem under the assumption that the graph is strongly connected.)

Give an efficient algorithm which takes as input a directed graph G = (V, E), and determines whether or not there is a vertex s V from which all other vertices are reachable.

Give an efficient algorithm that takes as input a directed acyclic graph G = (V, E), and two vertices s, \(t \in V\), and outputs the number of different directed paths from s to t in G.

Give a linear-time algorithm for the following task. Input: A directed acyclic graph G Question: Does G contain a directed path that touches every vertex exactly once?

You are given a directed graph in which each node u V has an associated price pu which is a positive integer. Define the array cost as follows: for each u V , cost[u] = price of the cheapest node reachable from u (including u itself). For instance, in the graph below (with prices shown for each vertex), the cost values of the nodes A, B, C, D, E, F are 2, 1, 4, 1, 4, 5, respectively. Your goal is to design an algorithm that fills in the entire cost array (i.e., for all vertices). (a) Give a linear-time algorithm that works for directed acyclic graphs. (Hint: Handle the vertices in a particular order.) (b) Extend this to a linear-time algorithm that works for all directed graphs. (Hint: Recall the two-tiered structure of directed graphs.)

An Eulerian tour in an undirected graph is a cycle that is allowed to pass through each vertex multiple times, but must use each edge exactly once. This simple concept was used by Euler in 1736 to solve the famous Konigsberg bridge problem, which launched the field of graph theory. The city of Konigsberg (now called Kaliningrad, in western Russia) is the meeting point of two rivers with a small island in the middle. There are seven bridges across the rivers, and a popular recreational question of the time was to determine whether it is possible to perform a tour in which each bridge is crossed exactly once. Euler formulated the relevant information as a graph with four nodes (denoting land masses) and seven edges (denoting bridges), as shown here. Notice an unusual feature of this problem: multiple edges between certain pairs of nodes. (a) Show that an undirected graph has an Eulerian tour if and only if all its vertices have even degree. Conclude that there is no Eulerian tour of the Konigsberg bridges. (b) An Eulerian path is a path which uses each edge exactly once. Can you give a similar if-and-only-if characterization of which undirected graphs have Eulerian paths? (c) Can you give an analog of part (a) for directed graphs?

Two paths in a graph are called edge-disjoint if they have no edges in common. Show that in any undirected graph, it is possible to pair up the vertices of odd degree and find paths between each such pair so that all these paths are edge-disjoint.

In the 2SAT problem, you are given a set of clauses, where each clause is the disjunction (OR) of two literals (a literal is a Boolean variable or the negation of a Boolean variable). You are looking for a way to assign a value true or false to each of the variables so that all clauses are satisfied that is, there is at least one true literal in each clause. For example, heres an instance of 2SAT: (x1 x2) (x1 x3) (x1 x2) (x3 x4) (x1 x4). This instance has a satisfying assignment: set x1, x2, x3, and x4 to true, false, false, and true, respectively. (a) Are there other satisfying truth assignments of this 2SAT formula? If so, find them all. (b) Give an instance of 2SAT with four variables, and with no satisfying assignment. The purpose of this problem is to lead you to a way of solving 2SAT efficiently by reducing it to the problem of finding the strongly connected components of a directed graph. Given an instance I of 2SAT with n variables and m clauses, construct a directed graph GI = (V, E) as follows. GI has 2n nodes, one for each variable and its negation. GI has 2m edges: for each clause ( ) of I (where , are literals), GI has an edge from from the negation of to , and one from the negation of to . Note that the clause ( ) is equivalent to either of the implications or . In this sense, GI records all implications in I. (c) Carry out this construction for the instance of 2SAT given above, and for the instance you constructed in (b). (d) Show that if GI has a strongly connected component containing both x and x for some variable x, then I has no satisfying assignment. (e) Now show the converse of (d): namely, that if none of GI s strongly connected components contain both a literal and its negation, then the instance I must be satisfiable. (Hint: Assign values to the variables as follows: repeatedly pick a sink strongly connected component of GI . Assign value true to all literals in the sink, assign false to their negations, and delete all of these. Show that this ends up discovering a satisfying assignment.) (f) Conclude that there is a linear-time algorithm for solving 2SAT.

Let S be a finite set. A binary relation on S is simply a collection R of ordered pairs (x, y) \(\in S \times S\). For instance, S might be a set of people, and each such pair (x, y) \(\in R\) might mean “x knows y.” An equivalence relation is a binary relation which satisfies three properties: Reflexivity: (x, x) \(\in R\) for all \(x \in S\) Symmetry: if (x, y) \(\in R\) then (y, x) \(\in R\) Transitivity: if (x, y) \(\in R\) and (y, z) \(\in R\) then (x, z) \(\in R\) For instance, the binary relation “has the same birthday as” is an equivalence relation, whereas “is the father of” is not, since it violates all three properties. Show that an equivalence relation partitions set S into disjoint groups \(S_{1}, S_{2}, \ldots, S_{k}\) (in other words, \(S=S_{1} \cup S_{2} \cup \cdots \cup S_{k}\) and \(S_{i} \cap S_{j}=\emptyset\) for all \(i \neq j\)) such that: Any two members of a group are related, that is, (x, y) \(\in R\) for any x, y \in S_{i} , for any i. Members of different groups are not related, that is, for all \(i \neq j\), for all \(x \in S_{i}\) and \(y \in S_{j}\), we have (x, y) \(\in R\). (Hint: Represent an equivalence relation by an undirected graph.)

On page 91, we defined the binary relation “connected” on the set of vertices of a directed graph. Show that this is an equivalence relation (see Exercise 3.29), and conclude that it partitions the vertices into disjoint strongly connected components.

Biconnected components Let G = (V, E) be an undirected graph. For any two edges e, e 0 E, well say e e 0 if either e = e 0 or there is a (simple) cycle containing both e and e 0 . (a) Show that is an equivalence relation (recall Exercise 3.29) on the edges. The equivalence classes into which this relation partitions the edges are called the biconnected components of G. A bridge is an edge which is in a biconnected component all by itself. A separating vertex is a vertex whose removal disconnects the graph. (b) Partition the edges of the graph below into biconnected components, and identify the bridges and separating vertices. Not only do biconnected components partition the edges of the graph, they also almost partition the vertices in the following sense. (c) Associate with each biconnected component all the vertices that are endpoints of its edges. Show that the vertices corresponding to two different biconnected components are either disjoint or intersect in a single separating vertex. (d) Collapse each biconnected component into a single meta-node, and retain individual nodes for each separating vertex. (So there are edges between each component-node and its separating vertices.) Show that the resulting graph is a tree. DFS can be used to identify the biconnected components, bridges, and separating vertices of a graph in linear time. (e) Show that the root of the DFS tree is a separating vertex if and only if it has more than one child in the tree. (f) Show that a non-root vertex v of the DFS tree is a separating vertex if and only if it has a child v 0 none of whose descendants (including itself) has a backedge to a proper ancestor of v. (g) For each vertex u define: low(u) = min  pre(u) pre(w) where (v, w) is a backedge for some descendant v of u Show that the entire array of low values can be computed in linear time. (h) Show how to compute all separating vertices, bridges, and biconnected components of a graph in linear time. (Hint: Use low to identify separating vertices, and run another DFS with an extra stack of edges to remove biconnected components one at a time.)