{"id":27063,"date":"2018-01-02T21:58:23","date_gmt":"2018-01-02T16:28:23","guid":{"rendered":"https:\/\/www.wikitechy.com\/technology\/?p=27063"},"modified":"2018-01-02T21:58:23","modified_gmt":"2018-01-02T16:28:23","slug":"c-programming-bridges-graph","status":"publish","type":"post","link":"https:\/\/www.wikitechy.com\/technology\/c-programming-bridges-graph\/","title":{"rendered":"C++ programming Bridges in a graph"},"content":{"rendered":"

An edge in an undirected connected graph is a bridge iff removing it disconnects the graph. <\/span>For a disconnected undirected graph, definition is similar, a bridge is an edge removing which increases number of connected components.
\nLike Articulation Points<\/a>,bridges represent vulnerabilities in a connected network and are useful for designing reliable networks. For example, in a wired computer network, an articulation point indicates the critical computers and a bridge indicates the critical wires or connections.<\/p>\n

Following are some example graphs with bridges highlighted with red color.<\/p>\n

How to find all bridges in a given graph?<\/strong>
\nA simple approach is to one by one remove all edges and see if removal of a edge causes disconnected graph. Following are steps of simple approach for connected graph.<\/p>\n

1) For every edge (u, v), do following
\n\u2026..a) Remove (u, v) from graph
\n..\u2026b) See if the graph remains connected (We can either use BFS or DFS)
\n\u2026..c) Add (u, v) back to the graph.<\/p>\n

Time complexity of above method is O(E*(V+E)) for a graph represented using adjacency list. Can we do better?<\/p>\n

A O(V+E) algorithm to find all Bridges<\/strong>
\nThe idea is similar to O(V+E) algorithm for Articulation Points<\/a>. We do DFS traversal of the given graph. In DFS tree an edge (u, v) (u is parent of v in DFS tree) is bridge if there does not exit any other alternative to reach u or an ancestor of u from subtree rooted with v. As discussed in the previous post<\/a>, the value low[v] indicates earliest visited vertex reachable from subtree rooted with v. The condition for an edge (u, v) to be a bridge is, \u201clow[v] > disc[u]\u201d<\/em>.<\/p>\n[ad type=\u201dbanner\u201d]\n

C++ programming :<\/p>\n[pastacode lang=\u201dcpp\u201d manual=\u201d%2F%2F%20A%20C%2B%2B%20program%20to%20find%20bridges%20in%20a%20given%20undirected%20graph%0A%23include%3Ciostream%3E%0A%23include%20%3Clist%3E%0A%23define%20NIL%20-1%0Ausing%20namespace%20std%3B%0A%20%0A%2F%2F%20A%20class%20that%20represents%20an%20undirected%20graph%0Aclass%20Graph%0A%7B%0A%20%20%20%20int%20V%3B%20%20%20%20%2F%2F%20No.%20of%20vertices%0A%20%20%20%20list%3Cint%3E%20*adj%3B%20%20%20%20%2F%2F%20A%20dynamic%20array%20of%20adjacency%20lists%0A%20%20%20%20void%20bridgeUtil(int%20v%2C%20bool%20visited%5B%5D%2C%20int%20disc%5B%5D%2C%20int%20low%5B%5D%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20int%20parent%5B%5D)%3B%0Apublic%3A%0A%20%20%20%20Graph(int%20V)%3B%20%20%20%2F%2F%20Constructor%0A%20%20%20%20void%20addEdge(int%20v%2C%20int%20w)%3B%20%20%20%2F%2F%20to%20add%20an%20edge%20to%20graph%0A%20%20%20%20void%20bridge()%3B%20%20%20%20%2F%2F%20prints%20all%20bridges%0A%7D%3B%0A%20%0AGraph%3A%3AGraph(int%20V)%0A%7B%0A%20%20%20%20this-%3EV%20%3D%20V%3B%0A%20%20%20%20adj%20%3D%20new%20list%3Cint%3E%5BV%5D%3B%0A%7D%0A%20%0Avoid%20Graph%3A%3AaddEdge(int%20v%2C%20int%20w)%0A%7B%0A%20%20%20%20adj%5Bv%5D.push_back(w)%3B%0A%20%20%20%20adj%5Bw%5D.push_back(v)%3B%20%20%2F%2F%20Note%3A%20the%20graph%20is%20undirected%0A%7D%0A%20%0A%2F%2F%20A%20recursive%20function%20that%20finds%20and%20prints%20bridges%20using%0A%2F%2F%20DFS%20traversal%0A%2F%2F%20u%20\u2013%3E%20The%20vertex%20to%20be%20visited%20next%0A%2F%2F%20visited%5B%5D%20\u2013%3E%20keeps%20tract%20of%20visited%20vertices%0A%2F%2F%20disc%5B%5D%20\u2013%3E%20Stores%20discovery%20times%20of%20visited%20vertices%0A%2F%2F%20parent%5B%5D%20\u2013%3E%20Stores%20parent%20vertices%20in%20DFS%20tree%0Avoid%20Graph%3A%3AbridgeUtil(int%20u%2C%20bool%20visited%5B%5D%2C%20int%20disc%5B%5D%2C%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20int%20low%5B%5D%2C%20int%20parent%5B%5D)%0A%7B%0A%20%20%20%20%2F%2F%20A%20static%20variable%20is%20used%20for%20simplicity%2C%20we%20can%20%0A%20%20%20%20%2F%2F%20avoid%20use%20of%20static%20variable%20by%20passing%20a%20pointer.%0A%20%20%20%20static%20int%20time%20%3D%200%3B%0A%20%0A%20%20%20%20%2F%2F%20Mark%20the%20current%20node%20as%20visited%0A%20%20%20%20visited%5Bu%5D%20%3D%20true%3B%0A%20%0A%20%20%20%20%2F%2F%20Initialize%20discovery%20time%20and%20low%20value%0A%20%20%20%20disc%5Bu%5D%20%3D%20low%5Bu%5D%20%3D%20%2B%2Btime%3B%0A%20%0A%20%20%20%20%2F%2F%20Go%20through%20all%20vertices%20aadjacent%20to%20this%0A%20%20%20%20list%3Cint%3E%3A%3Aiterator%20i%3B%0A%20%20%20%20for%20(i%20%3D%20adj%5Bu%5D.begin()%3B%20i%20!%3D%20adj%5Bu%5D.end()%3B%20%2B%2Bi)%0A%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20int%20v%20%3D%20*i%3B%20%20%2F%2F%20v%20is%20current%20adjacent%20of%20u%0A%20%0A%20%20%20%20%20%20%20%20%2F%2F%20If%20v%20is%20not%20visited%20yet%2C%20then%20recur%20for%20it%0A%20%20%20%20%20%20%20%20if%20(!visited%5Bv%5D)%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20parent%5Bv%5D%20%3D%20u%3B%0A%20%20%20%20%20%20%20%20%20%20%20%20bridgeUtil(v%2C%20visited%2C%20disc%2C%20low%2C%20parent)%3B%0A%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20Check%20if%20the%20subtree%20rooted%20with%20v%20has%20a%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20connection%20to%20one%20of%20the%20ancestors%20of%20u%0A%20%20%20%20%20%20%20%20%20%20%20%20low%5Bu%5D%20%20%3D%20min(low%5Bu%5D%2C%20low%5Bv%5D)%3B%0A%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20If%20the%20lowest%20vertex%20reachable%20from%20subtree%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20under%20v%20is%20%20below%20u%20in%20DFS%20tree%2C%20then%20u-v%20%0A%20%20%20%20%20%20%20%20%20%20%20%20%2F%2F%20is%20a%20bridge%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20(low%5Bv%5D%20%3E%20disc%5Bu%5D)%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20cout%20%3C%3C%20u%20%3C%3C%22%20%22%20%3C%3C%20v%20%3C%3C%20endl%3B%0A%20%20%20%20%20%20%20%20%7D%0A%20%0A%20%20%20%20%20%20%20%20%2F%2F%20Update%20low%20value%20of%20u%20for%20parent%20function%20calls.%0A%20%20%20%20%20%20%20%20else%20if%20(v%20!%3D%20parent%5Bu%5D)%0A%20%20%20%20%20%20%20%20%20%20%20%20low%5Bu%5D%20%20%3D%20min(low%5Bu%5D%2C%20disc%5Bv%5D)%3B%0A%20%20%20%20%7D%0A%7D%0A%20%0A%2F%2F%20DFS%20based%20function%20to%20find%20all%20bridges.%20It%20uses%20recursive%20%0A%2F%2F%20function%20bridgeUtil()%0Avoid%20Graph%3A%3Abridge()%0A%7B%0A%20%20%20%20%2F%2F%20Mark%20all%20the%20vertices%20as%20not%20visited%0A%20%20%20%20bool%20*visited%20%3D%20new%20bool%5BV%5D%3B%0A%20%20%20%20int%20*disc%20%3D%20new%20int%5BV%5D%3B%0A%20%20%20%20int%20*low%20%3D%20new%20int%5BV%5D%3B%0A%20%20%20%20int%20*parent%20%3D%20new%20int%5BV%5D%3B%0A%20%0A%20%20%20%20%2F%2F%20Initialize%20parent%20and%20visited%20arrays%0A%20%20%20%20for%20(int%20i%20%3D%200%3B%20i%20%3C%20V%3B%20i%2B%2B)%0A%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20parent%5Bi%5D%20%3D%20NIL%3B%0A%20%20%20%20%20%20%20%20visited%5Bi%5D%20%3D%20false%3B%0A%20%20%20%20%7D%0A%20%0A%20%20%20%20%2F%2F%20Call%20the%20recursive%20helper%20function%20to%20find%20Bridges%0A%20%20%20%20%2F%2F%20in%20DFS%20tree%20rooted%20with%20vertex%20\u2019i\u2019%0A%20%20%20%20for%20(int%20i%20%3D%200%3B%20i%20%3C%20V%3B%20i%2B%2B)%0A%20%20%20%20%20%20%20%20if%20(visited%5Bi%5D%20%3D%3D%20false)%0A%20%20%20%20%20%20%20%20%20%20%20%20bridgeUtil(i%2C%20visited%2C%20disc%2C%20low%2C%20parent)%3B%0A%7D%0A%20%0A%2F%2F%20Driver%20program%20to%20test%20above%20function%0Aint%20main()%0A%7B%0A%20%20%20%20%2F%2F%20Create%20graphs%20given%20in%20above%20diagrams%0A%20%20%20%20cout%20%3C%3C%20%22%5CnBridges%20in%20first%20graph%20%5Cn%22%3B%0A%20%20%20%20Graph%20g1(5)%3B%0A%20%20%20%20g1.addEdge(1%2C%200)%3B%0A%20%20%20%20g1.addEdge(0%2C%202)%3B%0A%20%20%20%20g1.addEdge(2%2C%201)%3B%0A%20%20%20%20g1.addEdge(0%2C%203)%3B%0A%20%20%20%20g1.addEdge(3%2C%204)%3B%0A%20%20%20%20g1.bridge()%3B%0A%20%0A%20%20%20%20cout%20%3C%3C%20%22%5CnBridges%20in%20second%20graph%20%5Cn%22%3B%0A%20%20%20%20Graph%20g2(4)%3B%0A%20%20%20%20g2.addEdge(0%2C%201)%3B%0A%20%20%20%20g2.addEdge(1%2C%202)%3B%0A%20%20%20%20g2.addEdge(2%2C%203)%3B%0A%20%20%20%20g2.bridge()%3B%0A%20%0A%20%20%20%20cout%20%3C%3C%20%22%5CnBridges%20in%20third%20graph%20%5Cn%22%3B%0A%20%20%20%20Graph%20g3(7)%3B%0A%20%20%20%20g3.addEdge(0%2C%201)%3B%0A%20%20%20%20g3.addEdge(1%2C%202)%3B%0A%20%20%20%20g3.addEdge(2%2C%200)%3B%0A%20%20%20%20g3.addEdge(1%2C%203)%3B%0A%20%20%20%20g3.addEdge(1%2C%204)%3B%0A%20%20%20%20g3.addEdge(1%2C%206)%3B%0A%20%20%20%20g3.addEdge(3%2C%205)%3B%0A%20%20%20%20g3.addEdge(4%2C%205)%3B%0A%20%20%20%20g3.bridge()%3B%0A%20%0A%20%20%20%20return%200%3B%0A%7D\u201d message=\u201d\u201d highlight=\u201d\u201d provider=\u201dmanual\u201d\/]\n

Output:<\/p>\n

Bridges in first graph\r\n3 4\r\n0 3\r\n\r\nBridges in second graph\r\n2 3\r\n1 2\r\n0 1\r\n\r\nBridges in third graph\r\n1 6<\/pre>\n[ad type=\u201dbanner\u201d]\n","protected":false},"excerpt":{"rendered":"
C++ programming Bridges in a graph,An edge in an un directed connected graph is a bridge if removing it disconnects the graph.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[78385,73906],"tags":[79021,80897,83824,83825,83829,83819,83820,83823,83828,83822,80896,83827,83826,83821],"class_list":["post-27063","post","type-post","status-publish","format-standard","hentry","category-connectivity","category-graph-algorithms","tag-articulation-points-and-bridges","tag-articulation-points-in-a-graph","tag-bridge-design-pattern-c","tag-bridge-design-pattern-sourcemaking","tag-bridge-dfs","tag-bridge-pattern-c-example","tag-bridge-pattern-real-world-example","tag-c-patterns","tag-check-if-edge-is-bridge","tag-composite-pattern-c","tag-cut-vertex-graph-theory","tag-find-bridges-in-directed-graph","tag-source-making-bridge","tag-when-to-use-bridge-pattern"],"_links":{"self":[{"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/posts\/27063","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/comments?post=27063"}],"version-history":[{"count":0,"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/posts\/27063\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/media?parent=27063"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/categories?post=27063"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wikitechy.com\/technology\/wp-json\/wp\/v2\/tags?post=27063"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}