Starting from:
$35

$29

PROGRAMMING ASSIGNMENT #4 Solution




Programming Assignment



Given an adjacency matrix for graph G, your assignment is to determine whether G is strongly connected. If G is strongly connected, return true. Otherwise, return false. Your algorithm should run in O(n2) time.




Input: An adjacency matrix of directed graph G.




Output: A boolean value (true or false).




An undirected graph is considered connected when there exists a path between every pair of nodes in the graph, that is for all vertices v; w 2 G there exists a path between v and w. Connectivity can be con rmed through a DSF traversal. A directed graph is considered weakly connected if the underlying undirected graph is connected and strongly connected if there exists a directed path between all vertices. Speci cally, for all vertices v; w 2 G there must exists a path from v to w and from w to v.




A DFS traversal on a directed graph will only check the `outbound' paths from a node v not the inbound, meaning one DFS traversal is not su cient for testing connectivity on a directed graph. There is O(n3) algorithm to con rm strong connectivity which runs a DFS traversal from every node on the graph, however a faster algorithm exists.




Not every unique path must be con rmed individually, if there exists a path from w to v and a path from v to u, then a wu-path runs through v. If G is strongly connected, there must exist a wv-path and a vu-path for all w; v; u 2 G, therefore strong connectivity can be tested by simply verifying that all vertices in G, and in the reverse of G, GT , are visited by traversals rooted in an arbitrary starting point v. The spanning tree generated by DFS (or BFS) on G rooted at a starting vertex v 2 G gives a set of outbound paths from v to other vertices w 2 G. A set of inbound paths from other vertices to v can be obtained by running DFS on the graph GT , a graph constructed by reversing the direction of all arcs in G. This graph is called the transpose graph of G because the adjacency matrix of GT is the transpose of the adjacency matrix of G. Pseudocode for this algorithm is given below.




A Java template has been provided containing an empty function strongly Connected, which




takes the adjacency matrix as its only argument. Your task is to write the body of the




strongly Connected function. You must use the provided Java template as the basis of your




submission, and put your implementation inside the strongly Connected function in the template.




You may not change the name, return type or parameters of the strongly Connected function.




You may add additional functions as needed. You are not permitted to change any aspect of the







1






strongly Connected class (including adding, removing, or renaming its contents).







The main function in the template contains code to help you test your implementation by entering test data or reading it from a le. You may modify the main function, but only the contents of the strongly Connected function (and any functions you have added) will be marked, since the main function will be deleted before marking begins. Please read through the comments in the template le before starting.







Test Datasets



A set of input les containing test data are available on conneX. You should ensure that your implementation gives the correct answer on these test les before submitting. It may also be helpful to test your implementation on a variety of other inputs, since the posted data may not cover all possible cases.




Evaluation Criteria



The programming assignment will be marked out of 40, based on a combination of automated testing (using large test arrays similar to the ones posted on conneX) and human inspection.




Score
Description






0
- 8
Submission does not compile or does not conform to the provided




template.




9 - 17
The implemented algrorithm does not test connectivity or is sub-




stantially inaccurate on the tested inputs.






17
- 25
The implemented algorithm tests weak connectivity or is substan-




tially inaccurate on the tested inputs.






25
- 33
The implemented algorithm is correct and has a O(n3) running




time.






33
- 40
The implemented algorithm is correct and has a O(n2) running




time.









To be properly tested, every submission must compile correctly as submitted, and must be based on the provided template. If your submission does not compile for any reason (even trivial mistakes like typos), or was not based on the template, it will receive at most 8 out of 40. The best way to make sure your submission is correct is to download it from conneX after submitting and test it. You are not permitted to revise your submission after the due date, and late submissions will not be accepted, so you should ensure that you have submitted the correct version of your code before the due date. conneX will allow you to change your submission before the due date if you notice a mistake. After submitting your assignment, conneX will automatically send you a con rmation email. If you do not receive such an email, your submission was not received. If you have problems with the submission process, send an email to the instructor before the due date.



















2












Algorithm 1 Test Whether a Directed Graph G is Strongly Connected







procedure DFS(G, covered, current)




covered[current] true




totalCovered 1




for each outbound neighbor v of current do




if covered[v] = true then




fv has already been visitedg

Continue




end if




totalCovered totalCovered + DFS(G, covered, v)




end for




return totalCovered




end procedure




procedure DFSTranpose(G, covered, current)




covered[current] true




totalCovered 1




for each inbound neighbor v of current do




if covered[v] = true then




fv has already been visitedg

Continue




end if




totalCovered totalCovered + DFSTranspose(G, covered, v)




end for




return totalCovered




end procedure




procedure StrongConnectivityTest(G, covered, current)




jGj
covered Array of size n, initialized to false




An arbitrary vertex of G



fTraverse arcs from v in Gg




if DFS(G, covered, v) < n then return false




end if




Reset every value of covered to false fTraverse arcs from v in GT g




if DFS(GT , covered, v) < n then return false




end if return true




end procedure
















3

More products